From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 7 Apr 2020 15:59:21 +0000 (+0100)
Subject: fix mtcrf
X-Git-Tag: convert-csv-opcode-to-binary~2910
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fca319e3b7a6fb0199a019df5a0404890dc9cf96;p=libreriscv.git

fix mtcrf
---

diff --git a/openpower/isa/sprset.mdwn b/openpower/isa/sprset.mdwn
index 0b7f9a120..7ac5d5ad0 100644
--- 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: