From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 5 Apr 2020 16:45:12 +0000 (+0100)
Subject: expand ellipsis
X-Git-Tag: convert-csv-opcode-to-binary~2932
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=99527c6641429664004e593bd5e394a2ed8f26eb;p=libreriscv.git

expand ellipsis
---

diff --git a/openpower/isa/sprset.mdwn b/openpower/isa/sprset.mdwn
index 14a2c2ba1..4165241ea 100644
--- 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: