| %verify "executed" |
| %verify "forward and backward" |
| /* |
| * Unconditional branch, 8-bit offset. |
| * |
| * The branch distance is a signed code-unit offset, which we need to |
| * double to get a byte offset. |
| */ |
| /* goto +AA */ |
| mov r0, rINST, lsl #16 @ r0<- AAxx0000 |
| movs r9, r0, asr #24 @ r9<- ssssssAA (sign-extended) |
| mov r9, r9, lsl #1 @ r9<- byte offset |
| bmi common_backwardBranch @ backward branch, do periodic checks |
| FETCH_ADVANCE_INST_RB(r9) @ update rPC, load rINST |
| GET_INST_OPCODE(ip) @ extract opcode from rINST |
| GOTO_OPCODE(ip) @ jump to next instruction |
| |