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 lh rINST, 2(rPC) # rINST <- aaaa (low) 12 lh a1, 4(rPC) # a1 <- AAAA (high) 13 ins rINST, a1, 16, 16 # rINST <- offset (sign-extended AAAAaaaa) 14 b MterpCommonTakenBranchNoFlags 15