expand ellipsis

diff --git a/openpower/isa/sprset.mdwn b/openpower/isa/sprset.mdwn
index 14a2c2ba1988e1114f2dac07338e0eed0e642f81..4165241ea82f7ee29cfe018fc40bbac38a1a5526 100644 (file)
--- a/openpower/isa/sprset.mdwn
+++ b/openpower/isa/sprset.mdwn
@@ -75,7 +75,8 @@ XFX-Form
 
 * mtcrf FXM,RS
 
-    mask <- FXM[0]*4 || FXM[1]*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: