From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 5 Apr 2020 20:14:49 +0000 (+0100)
Subject: fix syntax error in system
X-Git-Tag: convert-csv-opcode-to-binary~2928
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9a4012b31563923b466ea4889ee8c8847527ff16;p=libreriscv.git

fix syntax error in system
---

diff --git a/openpower/isa/system.mdwn b/openpower/isa/system.mdwn
index b1be77cc7..48bacc2c4 100644
--- a/openpower/isa/system.mdwn
+++ b/openpower/isa/system.mdwn
@@ -67,7 +67,7 @@ XL-Form
 * rfid LEV
 
     MSR[51] <- (MSR[3] & SRR1[51]) | ((¬MSR[3] & MSR[51]))
-    MSR[3] <- MSR[3] & SRR1[3])
+    MSR[3] <- (MSR[3] & SRR1[3])
     if (MSR[29:31] != 0b010) | (SRR1[29:31] != 0b000) then
         MSR[29:31] <- SRR1[29:31]
     MSR[48] <- SRR1[48] | SRR1[49]