# Trap Word Immediate

D-Form

* twi TO,RA,SI

Pseudo-code:

    a <- EXTS((RA)[32:63])
    if (a < EXTS(SI)) & TO[0]  then TRAP
    if (a > EXTS(SI)) & TO[1]  then TRAP
    if (a = EXTS(SI)) & TO[2]  then TRAP
    if (a <u EXTS(SI)) & TO[3] then TRAP
    if (a >u EXTS(SI)) & TO[4] then TRAP

Special Registers Altered:

    None

# Trap Word

X-Form

* tw TO,RA,RB

Pseudo-code:

    a <- EXTS((RA)[32:63])
    b <- EXTS((RB)[32:63])
    if (a < b) & TO[0] then TRAP
    if (a > b) & TO[1] then TRAP
    if (a = b) & TO[2] then TRAP
    if (a <u b) & TO[3] then TRAP
    if (a >u b) & TO[4] then TRAP

Special Registers Altered:

    None

# Trap Doubleword Immediate

D-Form

* tdi TO,RA,SI

Pseudo-code:

    a <- (RA)
    b <- EXTS(SI)
    if (a < b) & TO[0] then TRAP
    if (a > b) & TO[1] then TRAP
    if (a = b) & TO[2] then TRAP
    if (a <u  b) & TO[3] then TRAP
    if (a >u  b) & TO[4]  then TRAP

Special Registers Altered:

    None

# Trap Doubleword

X-Form

* td TO,RA,RB

Pseudo-code:

    a <- (RA)
    b <- (RB)
    if (a < b) & TO[0] then TRAP
    if (a > b) & TO[1] then TRAP
    if (a = b) & TO[2] then TRAP
    if (a <u b) & TO[3] then TRAP
    if (a >u b) & TO[4]  then TRAP

Special Registers Altered:

    None

# Integer Select

A-Form

* isel RT,RA,RB,BC

Pseudo-code:

    if CR[BC+32]=1 then RT <- (RA|0)
    else                RT <- (RB)

Special Registers Altered:

    None