1 %verify "executed" 2 %verify "forward, backward, self" 3 /* 4 * Unconditional branch, 32-bit offset. 5 * 6 * The branch distance is a signed code-unit offset. 7 * 8 * Unlike most opcodes, this one is allowed to branch to itself, so 9 * our "backward branch" test must be "<=0" instead of "<0". 10 */ 11 /* goto/32 AAAAAAAA */ 12 movl 2(rPC),rINST_FULL # rINST_FULL<- AAAAAAAA 13 cmpl $$0,rINST_FULL # test for <= 0 14 jle common_backwardBranch 15 movl rINST_FULL,%eax 16 FETCH_INST_INDEXED(%eax) 17 ADVANCE_PC_INDEXED(%eax) 18 GOTO_NEXT 19
