add missing info
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Thu, 2 Apr 2020 14:00:56 +0000 (15:00 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Thu, 2 Apr 2020 14:00:56 +0000 (15:00 +0100)
openpower/isa/comparefixed.mdwn

index 600932cc04a7d70d699486f4c87b500ab2fb4674..b93d1066f6eda0e5f743874c7e22d49c5bdfc096 100644 (file)
@@ -1,5 +1,7 @@
 # Compare Immediate
 
+D-Form
+
 cmpi BF,L,RA,SI
 
     if L = 0 then a <-  EXTS((RA)[32:63])
@@ -9,8 +11,13 @@ cmpi BF,L,RA,SI
     else                      c <- 0b001
     CR[4*BF+32:4*BF+35] <- c || XER[SO]
 
+Special Registers Altered:
+    CR field BF
+
 # Compare
 
+X-Form
+
 cmp BF,L,RA,RB
 
     if L = 0 then a <-  EXTS((RA)[32:63] )
@@ -22,8 +29,13 @@ cmp BF,L,RA,RB
     else               c <-  0b001
     CR[4*BF+32:4*BF+35] <-  c || XER[SO]
 
+Special Registers Altered:
+    CR field BF
+
 # Compare Logical Immediate
 
+D-Form
+
 cmpli BF,L,RA,UI
 
     if L = 0 then a <- [0]*32 || (RA)[32:63]
@@ -35,6 +47,8 @@ cmpli BF,L,RA,UI
 
 # Compare Logical
 
+X-Form
+
 cmpl BF,L,RA,RB
 
     if L = 0 then a <- [0]*32 || (RA)[32:63]
@@ -46,7 +60,12 @@ cmpl BF,L,RA,RB
     else                c <-  0b001
     CR[4*BF+32:4*BF+35] <- c || XER[SO]
 
-# Compare Ranged Byte X-form
+Special Registers Altered:
+    CR field BF
+
+# Compare Ranged Byte
+
+X-form
 
 cmprb BF,L,RA,RB
 
@@ -68,7 +87,12 @@ cmprb BF,L,RA,RB
     CR[4×BF+34] <- 0b0
     CR[4×BF+35] <- 0b0
 
-# Compare Equal Byte X-form
+Special Registers Altered:
+    CR field BF
+
+# Compare Equal Byte
+
+X-form
 
 cmpeqb BF,RA,RB
 
@@ -88,3 +112,6 @@ cmpeqb BF,RA,RB
     CR[4×BF+34] <- 0b0
     CR[4×BF+35] <- 0b0
 
+Special Registers Altered:
+    CR field BF
+