add "Pseudo-code" keyword due to ikiwiki bug

[libreriscv.git] / openpower / isa / comparefixed.mdwn

diff --git a/openpower/isa/comparefixed.mdwn b/openpower/isa/comparefixed.mdwn
index 163b320964c19b330aa650de5d880568c1f3991b..48e45ec354675df7002f84237a2f054cba44ba54 100644 (file)
--- a/openpower/isa/comparefixed.mdwn
+++ b/openpower/isa/comparefixed.mdwn
@@ -4,6 +4,8 @@ D-Form
 
 * cmpi BF,L,RA,SI
 
+Pseudo-code:
+
     if L = 0 then a <-  EXTS((RA)[32:63])
     else a <-  (RA)
     if      a < EXTS(SI) then c <- 0b100
@@ -16,11 +18,14 @@ Special Registers Altered:
     CR field BF
 
 # Compare
+# Compare
 
 X-Form
 
 * cmp BF,L,RA,RB
 
+Pseudo-code:
+
     if L = 0 then
         a <-  EXTS((RA)[32:63] )
         b <- EXTS((RB)[32:63])
@@ -37,11 +42,14 @@ Special Registers Altered:
     CR field BF
 
 # Compare Logical Immediate
+# Compare Logical Immediate
 
 D-Form
 
 * cmpli BF,L,RA,UI
 
+Pseudo-code:
+
     if L = 0 then a <- [0]*32 || (RA)[32:63]
     else a <- (RA)
     if      a <u ( [0]*48 || UI) then c <- 0b100
@@ -54,11 +62,14 @@ Special Registers Altered:
     CR field BF
 
 # Compare Logical
+# Compare Logical
 
 X-Form
 
 * cmpl BF,L,RA,RB
 
+Pseudo-code:
+
     if L = 0 then
         a <- [0]*32 || (RA)[32:63]
         b <- [0]*32 || (RB)[32:63]
@@ -75,11 +86,14 @@ Special Registers Altered:
     CR field BF
 
 # Compare Ranged Byte
+# Compare Ranged Byte
 
 X-Form
 
 * cmprb BF,L,RA,RB
 
+Pseudo-code:
+
     src1    <- EXTZ((RA)[56:63])
     src21hi <- EXTZ((RB)[32:39])
     src21lo <- EXTZ((RB)[40:47])
@@ -100,11 +114,14 @@ Special Registers Altered:
     CR field BF
 
 # Compare Equal Byte
+# Compare Equal Byte
 
 X-Form
 
 * cmpeqb BF,RA,RB
 
+Pseudo-code:
+
     src1 <- GPR[RA]
     src1 <- src1[56:63]
     match <- ((src1 = (RB)[00:07]) |