ir.cfg.linkInCodeOrder(testBB, nextBB);
BasicBlock shift32BB = testBB.splitNodeAt(s,ir);
ir.cfg.linkInCodeOrder(testBB, shift32BB);
BasicBlock shift64BB = testBB.splitNodeAt(s,ir);
ir.cfg.linkInCodeOrder(testBB, shift64BB);
<BUG>Register lhsReg = Binary.getResult(s).getRegister();
</BUG>
Register lowlhsReg = ir.regpool.getSecondReg(lhsReg);
<BUG>Operand val1 = Binary.getVal1(s);
</BUG>
Register rhsReg;

ir.cfg.linkInCodeOrder(testBB, nextBB);
BasicBlock shift32BB = testBB.splitNodeAt(s,ir);
ir.cfg.linkInCodeOrder(testBB, shift32BB);
BasicBlock shift64BB = testBB.splitNodeAt(s,ir);
ir.cfg.linkInCodeOrder(testBB, shift64BB);
Register lhsReg = Binary.getClearResult(s).getRegister();
Register lowlhsReg = ir.regpool.getSecondReg(lhsReg);
Operand val1 = Binary.getClearVal1(s);
Register rhsReg;
