# Compare Immediate
+D-Form
+
cmpi BF,L,RA,SI
if L = 0 then a <- EXTS((RA)[32:63])
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] )
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]
# Compare Logical
+X-Form
+
cmpl BF,L,RA,RB
if L = 0 then a <- [0]*32 || (RA)[32:63]
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
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
CR[4×BF+34] <- 0b0
CR[4×BF+35] <- 0b0
+Special Registers Altered:
+ CR field BF
+