slt $t1, $t0, $t2
beq $t0, $0, loc1
addi $t0, $t0, 1
loc1: addi $t0, $t0, 1
Register Initial Final Memory Initial Final
value Value value Value
$t0 0x00000005 ? 0x00070004 0x19B09BE1 ?
$t1 0xF0001023 ? 0x00070000 0x789119ED ?
$t2 0x00070000 ? 0x0006FFFC 0x5555AAAA ?