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 movswl 2(rPC),rINST_FULL # rINST_FULL<- ssssAAAA 10 testl rINST_FULL,rINST_FULL # test for <0 11 js common_backwardBranch 12 movl rINST_FULL,%eax 13 FETCH_INST_INDEXED(%eax) 14 ADVANCE_PC_INDEXED(%eax) 15 GOTO_NEXT 16
