use widths.get(dw/sw) and test empty/non-empty after.

[openpower-isa.git] / openpower / isa / fixedtrap.mdwn

diff --git a/openpower/isa/fixedtrap.mdwn b/openpower/isa/fixedtrap.mdwn
index 52f4d373754fa8105651ad2f7ecd2e9c02e045f1..9e9df5794725f6631f70146e5d9d3113c1d00d44 100644 (file)
--- a/openpower/isa/fixedtrap.mdwn
+++ b/openpower/isa/fixedtrap.mdwn
@@ -34,8 +34,8 @@ X-Form
 
 Pseudo-code:
 
-    a <- EXTS((RA)[32:63])
-    b <- EXTS((RB)[32:63])
+    a <- EXTS((RA)[XLEN/2:XLEN-1])
+    b <- EXTS((RB)[XLEN/2:XLEN-1])
     if (a < b) & TO[0] then TRAP
     if (a > b) & TO[1] then TRAP
     if (a = b) & TO[2] then TRAP