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 7 */ 8 /* goto/16 +AAAA */ 9 movl rSELF,%ecx 10 movswl 2(rPC),%eax # eax<- ssssAAAA 11 movl offThread_curHandlerTable(%ecx),rIBASE 12 FETCH_INST_INDEXED %eax 13 ADVANCE_PC_INDEXED %eax 14 GOTO_NEXT 15