From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sat, 22 Aug 2020 18:14:00 +0000 (+0100)
Subject: use (RA|0) instead of zero-test of RA
X-Git-Tag: convert-csv-opcode-to-binary~2218
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=26c7e408f87f14a00e6e350da3e93d191ad90d75;p=libreriscv.git

use (RA|0) instead of zero-test of RA
---

diff --git a/openpower/isa/fixedtrap.mdwn b/openpower/isa/fixedtrap.mdwn
index 7bb664933..fe1e97a83 100644
--- a/openpower/isa/fixedtrap.mdwn
+++ b/openpower/isa/fixedtrap.mdwn
@@ -85,10 +85,8 @@ A-Form
 
 Pseudo-code:
 
-    if RA=0 then a <-0
-    else a <-  (RA)
-    if CR[BC+32]=1 then RT <- a
-    else           RT <- (RB)
+    if CR[BC+32]=1 then RT <- (RA|0)
+    else                RT <- (RB)
 
 Special Registers Altered: