; offset = *:1 (lr + r3); r3 = zext(offset); if (inbounds) goto ; offset = *:1 (lr + r12); r3 = zext(offset); r3 = r3 * 2; r12 = lr + r3; ISAModeSwitch = (r12 & 1) != 1; TB = ISAModeSwitch; pc = r12 & 0xfffffffe; goto [pc]; ]]>