Compare Immediate

D-Form

• cmpi BF,L,RA,SI

Pseudo-code:

if L = 0 then a <- EXTS((RA)[XLEN/2:XLEN-1])
else a <-  (RA)
if      a < EXTS(SI) then c <- 0b100
else if a > EXTS(SI) then c <- 0b010
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

Pseudo-code:

if L = 0 then
    a <- EXTS((RA)[XLEN/2:XLEN-1])
    b <- EXTS((RB)[XLEN/2:XLEN-1])
else
    a <- (RA)
    b <- (RB)
if      a < b then c <-  0b100
else if a > b then c <-  0b010
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

Pseudo-code:

if L = 0 then a <- [0]*(XLEN/2) || (RA)[XLEN/2:XLEN-1]
else a <- (RA)
if      a <u ([0]*(XLEN-16) || UI) then c <- 0b100
else if a >u ([0]*(XLEN-16) || UI) then c <- 0b010
else                             c <- 0b001
CR[4*BF+32:4*BF+35] <- c || XER[SO]

Special Registers Altered:

CR field BF

Compare Logical

X-Form

• cmpl BF,L,RA,RB

Pseudo-code:

if L = 0 then
    a <- [0]*(XLEN/2) || (RA)[XLEN/2:XLEN-1]
    b <- [0]*(XLEN/2) || (RB)[XLEN/2:XLEN-1]
else
    a <-  (RA)
    b <-  (RB)
if      a <u b then c <- 0b100
else if a >u b then c <- 0b010
else                c <-  0b001
CR[4*BF+32:4*BF+35] <- c || XER[SO]

Special Registers Altered:

CR field BF

Compare Ranged Byte

X-Form

• cmprb BF,L,RA,RB

Pseudo-code:

src1    <- EXTZ((RA)[XLEN-8:XLEN-1])
src21hi <- EXTZ((RB)[XLEN-32:XLEN-23])
src21lo <- EXTZ((RB)[XLEN-24:XLEN-17])
src22hi <- EXTZ((RB)[XLEN-16:XLEN-9])
src22lo <- EXTZ((RB)[XLEN-8:XLEN-1])
if L=0 then
   in_range <-  (src22lo  <= src1) & (src1 <=  src22hi)
else
   in_range <- (((src21lo  <= src1) & (src1 <=  src21hi)) |
                ((src22lo  <= src1) & (src1 <=  src22hi)))
CR[4*BF+32] <- 0b0
CR[4*BF+33] <- in_range
CR[4*BF+34] <- 0b0
CR[4*BF+35] <- 0b0

Special Registers Altered:

CR field BF

Compare Equal Byte

X-Form

• cmpeqb BF,RA,RB

Pseudo-code:

src1 <- GPR[RA]
src1 <- src1[XLEN-8:XLEN-1]
match <- 0b0
for i = 0 to ((XLEN/8)-1)
    match <- (match | (src1 = (RB)[8*i:8*i+7]))
CR[4*BF+32] <- 0b0
CR[4*BF+33] <- match
CR[4*BF+34] <- 0b0
CR[4*BF+35] <- 0b0

Special Registers Altered:

CR field BF