fix mtcrf

diff --git a/openpower/isa/sprset.mdwn b/openpower/isa/sprset.mdwn
index 0b7f9a120cc4f24ba6365aaa914fcba801f988ec..7ac5d5ad05e60d9a8092376d073abbfa1cca669e 100644 (file)
--- a/openpower/isa/sprset.mdwn
+++ b/openpower/isa/sprset.mdwn
@@ -75,8 +75,8 @@ XFX-Form
 
 * mtcrf FXM,RS
 
-    mask <- (FXM[0]*4 || FXM[1]*4 || FXM[2]*4 || FXM[3]*4 ||
-             FXM[4]*4 || FXM[5]*4 || FXM[6]*4 || FXM[7]*4)
+    mask <- ([FXM[0]]*4 || [FXM[1]]*4 || [FXM[2]]*4 || [FXM[3]]*4 ||
+             [FXM[4]]*4 || [FXM[5]]*4 || [FXM[6]]*4 || [FXM[7]]*4)
     CR <- ((RS)[32:63] & mask) | (CR & ¬mask)
 
 Special Registers Altered: