1%verify "executed" 2%verify "forward and backward" 3 /* 4 * Unconditional branch, 8-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 +AA */ 10 movl rSELF,%ecx 11 movsbl rINSTbl,%eax # eax<- ssssssAA 12 movl offThread_curHandlerTable(%ecx),rIBASE 13 FETCH_INST_INDEXED %eax 14 ADVANCE_PC_INDEXED %eax 15 GOTO_NEXT 16