1 /* 2 * Unconditional branch, 32-bit offset. 3 * 4 * The branch distance is a signed code-unit offset, which we need to 5 * double to get a byte offset. 6 * 7 * Unlike most opcodes, this one is allowed to branch to itself, so 8 * our "backward branch" test must be "<=0" instead of "<0". 9 */ 10 /* goto/32 +AAAAAAAA */ 11 FETCH(rINST, 1) # rINST <- aaaa (lo) 12 FETCH(a1, 2) # a1 <- AAAA (hi) 13 INSERT_HIGH_HALF(rINST, a1) # rINST <- AAAAaaaa 14 b MterpCommonTakenBranchNoFlags 15