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 movsbl rINST_HI,rINST_FULL # ebx<- ssssssAA 11 testl rINST_FULL,rINST_FULL # test for <0 12 js common_backwardBranch 13 movl rINST_FULL,%eax 14 FETCH_INST_INDEXED(%eax) 15 ADVANCE_PC_INDEXED(%eax) 16 GOTO_NEXT 17