Encoding:

REGIMM

000001

rs

TGEIU

01001

immediate

6

5

5

16

Format: 

TGEIU rs, immediate

MIPS32, removed in Release 6

Trap if Greater or Equal Immediate Unsigned

Purpose:

Trap if Greater or Equal Immediate Unsigned

To compare a GPR to a constant and do a conditional trap.

Description: 

 if GPR[rs] >= immediate then Trap

Compare the contents of GPR rs and the 16-bit sign-extended immediate as unsigned integers. If GPR rs is greater than or equal to immediate, then take a Trap exception.

Because the 16-bit immediate is sign-extended before comparison, the instruction can represent the smallest or largest unsigned numbers. The representable values are at the minimum [0, 32767] or maximum [max_unsigned-32767, max_unsigned] end of the unsigned range.

Restrictions:

None

Availability and Compatibility:

This instruction has been removed in Release 6.

Operation: 

if (0 || GPR[rs]) >= (0 || sign_extend(immediate)) then
   SignalException(Trap) 
endif

Exceptions:

Trap