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(r0, 1) @ r0<- ssssAAAA (sign-extended) 11 adds r1, r0, r0 @ r1<- byte offset, flags set 12 FETCH_ADVANCE_INST_RB(r1) @ update rPC, load rINST 13 ldrmi rIBASE, [rSELF, #offThread_curHandlerTable] @ refresh handler base 14#if defined(WITH_JIT) 15 ldr r0, [rSELF, #offThread_pJitProfTable] 16 bmi common_testUpdateProfile @ (r0) hot trace head? 17#endif 18 GET_INST_OPCODE(ip) @ extract opcode from rINST 19 GOTO_OPCODE(ip) @ jump to next instruction 20