1 %verify "executed" 2 %verify "forward and backward" 3 /* 4 * Unconditional branch, 16-bit offset. 5 * 6 * The branch distance is a signed code-unit offset, which we need to 7 * double to get a byte offset. 8 */ 9 /* goto/16 +AAAA */ 10 FETCH_S(a0, 1) # a0 <- ssssAAAA (sign-extended) 11 addu a1, a0, a0 # a1 <- byte offset, flags set 12 FETCH_ADVANCE_INST_RB(a1) # update rPC, load rINST 13 bgez a1, 1f 14 lw rIBASE, offThread_curHandlerTable(rSELF) # refresh handler base 15 1: 16 #if defined(WITH_JIT) 17 lw a0, offThread_pJitProfTable(rSELF) 18 bltz a1, common_testUpdateProfile # (a0) hot trace head? 19 #endif 20 GET_INST_OPCODE(t0) # extract opcode from rINST 21 GOTO_OPCODE(t0) # jump to next instruction 22