| /* | |
| * Unconditional branch, 16-bit offset. | |
| * | |
| * The branch distance is a signed code-unit offset, which we need to | |
| * double to get a byte offset. | |
| */ | |
| /* goto/16 +AAAA */ | |
| lh rINST, 2(rPC) # rINST <- offset (sign-extended AAAA) | |
| b MterpCommonTakenBranchNoFlags |