1%verify "executed" 2%verify "forward, backward, self" 3 /* 4 * Unconditional branch, 32-bit offset. 5 * 6 * The branch distance is a signed code-unit offset. 7 */ 8 /* goto/32 AAAAAAAA */ 9 movl rSELF,%ecx 10 movl 2(rPC),%eax # eax<- AAAAAAAA 11 movl offThread_curHandlerTable(%ecx),rIBASE 12 FETCH_INST_INDEXED %eax 13 ADVANCE_PC_INDEXED %eax 14#if defined(WITH_JIT) 15 GET_JIT_PROF_TABLE %ecx %eax 16 cmp $$0, %eax 17 jne common_updateProfile # set up %ebx & %edx & rPC 18#endif 19 GOTO_NEXT 20