| %verify "executed" | |
| %verify "forward, backward, self" | |
| /* | |
| * Unconditional branch, 32-bit offset. | |
| * | |
| * The branch distance is a signed code-unit offset. | |
| */ | |
| /* goto/32 AAAAAAAA */ | |
| movl rSELF,%ecx | |
| movl 2(rPC),%eax # eax<- AAAAAAAA | |
| movl offThread_curHandlerTable(%ecx),rIBASE | |
| FETCH_INST_INDEXED %eax | |
| ADVANCE_PC_INDEXED %eax | |
| #if defined(WITH_JIT) | |
| GET_JIT_PROF_TABLE %ecx %eax | |
| cmp $$0, %eax | |
| jne common_updateProfile # set up %ebx & %edx & rPC | |
| #endif | |
| GOTO_NEXT |