From 2c48fe6757284e363248ea725ceedca8dd7ee272 Mon Sep 17 00:00:00 2001 From: Evan Cheng Date: Wed, 3 Jun 2009 09:00:27 +0000 Subject: [PATCH] Fix for PR4225: When rewriter reuse a value in a physical register , it clear the register kill operand marker and its kill ops information. However, the cleared operand may be a def of a super-register. Clear the kill ops info for the super-register's sub-registers as well. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@72758 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/CodeGen/VirtRegRewriter.cpp | 24 +- test/CodeGen/X86/2009-06-02-RewriterBug.ll | 362 +++++++++++++++++++++++++++++ 2 files changed, 381 insertions(+), 5 deletions(-) create mode 100644 test/CodeGen/X86/2009-06-02-RewriterBug.ll diff --git a/lib/CodeGen/VirtRegRewriter.cpp b/lib/CodeGen/VirtRegRewriter.cpp index b4c8bc12979..c31f622e249 100644 --- a/lib/CodeGen/VirtRegRewriter.cpp +++ b/lib/CodeGen/VirtRegRewriter.cpp @@ -411,9 +411,11 @@ static void InvalidateKill(unsigned Reg, std::vector &KillOps) { if (RegKills[Reg]) { KillOps[Reg]->setIsKill(false); - KillOps[Reg] = NULL; - RegKills.reset(Reg); - for (const unsigned *SR = TRI->getSubRegisters(Reg); *SR; ++SR) { + // KillOps[Reg] might be a def of a super-register. + unsigned KReg = KillOps[Reg]->getReg(); + KillOps[KReg] = NULL; + RegKills.reset(KReg); + for (const unsigned *SR = TRI->getSubRegisters(KReg); *SR; ++SR) { if (RegKills[*SR]) { KillOps[*SR]->setIsKill(false); KillOps[*SR] = NULL; @@ -516,8 +518,18 @@ static void UpdateKills(MachineInstr &MI, const TargetRegisterInfo* TRI, // That can't be right. Register is killed but not re-defined and it's // being reused. Let's fix that. KillOps[Reg]->setIsKill(false); - KillOps[Reg] = NULL; - RegKills.reset(Reg); + // KillOps[Reg] might be a def of a super-register. + unsigned KReg = KillOps[Reg]->getReg(); + KillOps[KReg] = NULL; + RegKills.reset(KReg); + + // Must be a def of a super-register. Its other sub-regsters are no + // longer killed as well. + for (const unsigned *SR = TRI->getSubRegisters(KReg); *SR; ++SR) { + KillOps[*SR] = NULL; + RegKills.reset(*SR); + } + if (!MI.isRegTiedToDefOperand(i)) // Unless it's a two-address operand, this is the new kill. MO.setIsKill(); @@ -1090,6 +1102,8 @@ private: VRM.RemoveMachineInstrFromMaps(&NextMI); MBB.erase(&NextMI); ++NumModRefUnfold; + if (NextMII == MBB.end()) + break; } while (FoldsStackSlotModRef(*NextMII, SS, PhysReg, TII, TRI, VRM)); // Store the value back into SS. diff --git a/test/CodeGen/X86/2009-06-02-RewriterBug.ll b/test/CodeGen/X86/2009-06-02-RewriterBug.ll new file mode 100644 index 00000000000..ea33b16f823 --- /dev/null +++ b/test/CodeGen/X86/2009-06-02-RewriterBug.ll @@ -0,0 +1,362 @@ +; RUN: llvm-as < %s | llc -mtriple=x86_64-undermydesk-freebsd8.0 -relocation-model=pic -disable-fp-elim +; PR4225 + +define void @sha256_block1(i32* nocapture %arr, i8* nocapture %in, i64 %num) nounwind { +entry: + br i1 undef, label %while.end, label %bb.nph + +bb.nph: ; preds = %entry + br label %while.body + +while.body: ; preds = %for.end, %bb.nph + %indvar2787 = phi i64 [ 0, %bb.nph ], [ %indvar.next2788, %for.end ] ; [#uses=2] + %tmp2791 = mul i64 %indvar2787, 44 ; [#uses=0] + %ctg22996 = getelementptr i8* %in, i64 0 ; [#uses=1] + %conv = zext i32 undef to i64 ; [#uses=1] + %conv11 = zext i32 undef to i64 ; [#uses=1] + %tmp18 = load i32* undef ; [#uses=1] + %conv19 = zext i32 %tmp18 to i64 ; [#uses=1] + %tmp30 = load i32* undef ; [#uses=1] + %conv31 = zext i32 %tmp30 to i64 ; [#uses=4] + %ptrincdec3065 = load i8* null ; [#uses=1] + %conv442709 = zext i8 %ptrincdec3065 to i64 ; [#uses=1] + %shl45 = shl i64 %conv442709, 16 ; [#uses=1] + %conv632707 = zext i8 undef to i64 ; [#uses=1] + %or = or i64 %shl45, 0 ; [#uses=1] + %or55 = or i64 %or, %conv632707 ; [#uses=1] + %or64 = or i64 %or55, 0 ; [#uses=1] + %shr85 = lshr i64 %conv31, 25 ; [#uses=0] + %add = add i64 %conv11, 1508970993 ; [#uses=1] + %add95 = add i64 %add, 0 ; [#uses=1] + %add98 = add i64 %add95, 0 ; [#uses=1] + %add99 = add i64 %add98, %or64 ; [#uses=1] + %add134 = add i64 %add99, 0 ; [#uses=4] + store i32 undef, i32* undef + %shl187 = shl i64 %add134, 21 ; [#uses=0] + %and203 = and i64 %add134, %conv31 ; [#uses=1] + %xor208 = xor i64 0, %and203 ; [#uses=1] + %add212 = add i64 0, %xor208 ; [#uses=1] + %add213 = add i64 %add212, 0 ; [#uses=1] + %add248 = add i64 %add213, 0 ; [#uses=3] + %conv2852690 = zext i8 undef to i64 ; [#uses=1] + %or277 = or i64 0, %conv2852690 ; [#uses=1] + %or286 = or i64 %or277, 0 ; [#uses=1] + %neg319 = xor i64 %add248, 4294967295 ; [#uses=1] + %and321 = and i64 %neg319, %conv31 ; [#uses=1] + %xor322 = xor i64 %and321, 0 ; [#uses=1] + %add314 = add i64 %conv, 2870763221 ; [#uses=1] + %add323 = add i64 %add314, %or286 ; [#uses=1] + %add326 = add i64 %add323, %xor322 ; [#uses=1] + %add327 = add i64 %add326, 0 ; [#uses=2] + %add362 = add i64 %add327, %conv19 ; [#uses=4] + %add365 = add i64 0, %add327 ; [#uses=3] + %shl409 = shl i64 %add362, 26 ; [#uses=0] + %and431 = and i64 %add362, %add248 ; [#uses=1] + %neg433 = xor i64 %add362, -1 ; [#uses=1] + %and435 = and i64 %add134, %neg433 ; [#uses=1] + %xor436 = xor i64 %and431, %and435 ; [#uses=1] + %add428 = add i64 %conv31, 3624381080 ; [#uses=1] + %add437 = add i64 %add428, 0 ; [#uses=1] + %add440 = add i64 %add437, %xor436 ; [#uses=1] + %add441 = add i64 %add440, 0 ; [#uses=1] + %shl443 = shl i64 %add365, 30 ; [#uses=1] + %and445 = lshr i64 %add365, 2 ; [#uses=1] + %shr446 = and i64 %and445, 1073741823 ; [#uses=1] + %or447 = or i64 %shr446, %shl443 ; [#uses=1] + %xor461 = xor i64 0, %or447 ; [#uses=1] + %add473 = add i64 %xor461, 0 ; [#uses=1] + %add479 = add i64 %add473, %add441 ; [#uses=3] + %conv4932682 = zext i8 undef to i64 ; [#uses=1] + %shl494 = shl i64 %conv4932682, 16 ; [#uses=1] + %ptrincdec4903012 = load i8* null ; [#uses=1] + %conv5032681 = zext i8 %ptrincdec4903012 to i64 ; [#uses=1] + %shl504 = shl i64 %conv5032681, 8 ; [#uses=1] + %ptrincdec5003009 = load i8* null ; [#uses=1] + %conv5132680 = zext i8 %ptrincdec5003009 to i64 ; [#uses=1] + %or495 = or i64 %shl494, 0 ; [#uses=1] + %or505 = or i64 %or495, %conv5132680 ; [#uses=1] + %or514 = or i64 %or505, %shl504 ; [#uses=1] + store i32 undef, i32* undef + %or540 = or i64 undef, 0 ; [#uses=0] + %add542 = add i64 %add134, 310598401 ; [#uses=1] + %add551 = add i64 %add542, %or514 ; [#uses=1] + %add554 = add i64 %add551, 0 ; [#uses=1] + %add555 = add i64 %add554, 0 ; [#uses=1] + %or561 = or i64 undef, undef ; [#uses=1] + %or567 = or i64 undef, undef ; [#uses=1] + %and572 = lshr i64 %add479, 22 ; [#uses=1] + %shr573 = and i64 %and572, 1023 ; [#uses=1] + %or574 = or i64 %shr573, 0 ; [#uses=1] + %xor568 = xor i64 %or567, %or574 ; [#uses=1] + %xor575 = xor i64 %xor568, %or561 ; [#uses=1] + %add587 = add i64 %xor575, 0 ; [#uses=1] + %add593 = add i64 %add587, %add555 ; [#uses=1] + %ptrincdec6043000 = load i8* null ; [#uses=1] + %conv6172676 = zext i8 %ptrincdec6043000 to i64 ; [#uses=1] + %shl618 = shl i64 %conv6172676, 8 ; [#uses=1] + %ptrincdec6142997 = load i8* %ctg22996 ; [#uses=1] + %conv6272675 = zext i8 %ptrincdec6142997 to i64 ; [#uses=1] + %or619 = or i64 0, %conv6272675 ; [#uses=1] + %or628 = or i64 %or619, %shl618 ; [#uses=1] + %add656 = add i64 %add248, 607225278 ; [#uses=1] + %add665 = add i64 %add656, %or628 ; [#uses=1] + %add668 = add i64 %add665, 0 ; [#uses=1] + %add669 = add i64 %add668, 0 ; [#uses=1] + %and699 = and i64 %add479, %add365 ; [#uses=1] + %xor700 = xor i64 0, %and699 ; [#uses=1] + %add701 = add i64 0, %xor700 ; [#uses=1] + %add707 = add i64 %add701, %add669 ; [#uses=4] + %ptrincdec6242994 = load i8* null ; [#uses=1] + %conv7122673 = zext i8 %ptrincdec6242994 to i64 ; [#uses=1] + %shl713 = shl i64 %conv7122673, 24 ; [#uses=1] + %conv7412670 = zext i8 undef to i64 ; [#uses=1] + %or723 = or i64 0, %shl713 ; [#uses=1] + %or733 = or i64 %or723, %conv7412670 ; [#uses=1] + %or742 = or i64 %or733, 0 ; [#uses=2] + %conv743 = trunc i64 %or742 to i32 ; [#uses=1] + store i32 %conv743, i32* undef + %xor762 = xor i64 undef, 0 ; [#uses=0] + %add770 = add i64 %add362, 1426881987 ; [#uses=1] + %add779 = add i64 %add770, %or742 ; [#uses=1] + %add782 = add i64 %add779, 0 ; [#uses=1] + %add783 = add i64 %add782, 0 ; [#uses=1] + %shl785 = shl i64 %add707, 30 ; [#uses=1] + %and787 = lshr i64 %add707, 2 ; [#uses=1] + %shr788 = and i64 %and787, 1073741823 ; [#uses=1] + %or789 = or i64 %shr788, %shl785 ; [#uses=1] + %shl791 = shl i64 %add707, 19 ; [#uses=0] + %xor803 = xor i64 0, %or789 ; [#uses=1] + %and813 = and i64 %add593, %add479 ; [#uses=1] + %xor814 = xor i64 0, %and813 ; [#uses=1] + %add815 = add i64 %xor803, %xor814 ; [#uses=1] + %add821 = add i64 %add815, %add783 ; [#uses=1] + %add1160 = add i64 0, %add707 ; [#uses=0] + %add1157 = add i64 undef, undef ; [#uses=0] + %ptrincdec11742940 = load i8* null ; [#uses=1] + %conv11872651 = zext i8 %ptrincdec11742940 to i64 ; [#uses=1] + %shl1188 = shl i64 %conv11872651, 8 ; [#uses=1] + %or1198 = or i64 0, %shl1188 ; [#uses=1] + store i32 undef, i32* undef + %add1226 = add i64 %or1198, 3248222580 ; [#uses=1] + %add1235 = add i64 %add1226, 0 ; [#uses=1] + %add1238 = add i64 %add1235, 0 ; [#uses=1] + %add1239 = add i64 %add1238, 0 ; [#uses=1] + br label %for.cond + +for.cond: ; preds = %for.body, %while.body + %add821.pn = phi i64 [ %add821, %while.body ], [ undef, %for.body ] ; [#uses=0] + %add1239.pn = phi i64 [ %add1239, %while.body ], [ 0, %for.body ] ; [#uses=0] + br i1 undef, label %for.end, label %for.body + +for.body: ; preds = %for.cond + br label %for.cond + +for.end: ; preds = %for.cond + %indvar.next2788 = add i64 %indvar2787, 1 ; [#uses=1] + br i1 undef, label %while.end, label %while.body + +while.end: ; preds = %for.end, %entry + ret void +} + +define void @sha256_block2(i32* nocapture %arr, i8* nocapture %in, i64 %num) nounwind { +entry: + br i1 undef, label %while.end, label %bb.nph + +bb.nph: ; preds = %entry + %arrayidx5 = getelementptr i32* %arr, i64 1 ; [#uses=1] + %arrayidx9 = getelementptr i32* %arr, i64 2 ; [#uses=2] + %arrayidx13 = getelementptr i32* %arr, i64 3 ; [#uses=2] + %arrayidx25 = getelementptr i32* %arr, i64 6 ; [#uses=1] + %arrayidx29 = getelementptr i32* %arr, i64 7 ; [#uses=1] + br label %while.body + +while.body: ; preds = %for.end, %bb.nph + %tmp3 = load i32* %arr ; [#uses=2] + %conv = zext i32 %tmp3 to i64 ; [#uses=1] + %tmp10 = load i32* %arrayidx9 ; [#uses=1] + %conv11 = zext i32 %tmp10 to i64 ; [#uses=1] + %tmp14 = load i32* %arrayidx13 ; [#uses=3] + %conv15 = zext i32 %tmp14 to i64 ; [#uses=2] + %tmp18 = load i32* undef ; [#uses=2] + %conv19 = zext i32 %tmp18 to i64 ; [#uses=1] + %conv23 = zext i32 undef to i64 ; [#uses=1] + %tmp26 = load i32* %arrayidx25 ; [#uses=1] + %conv27 = zext i32 %tmp26 to i64 ; [#uses=1] + %tmp30 = load i32* %arrayidx29 ; [#uses=2] + %conv31 = zext i32 %tmp30 to i64 ; [#uses=5] + %shl72 = shl i64 %conv31, 26 ; [#uses=1] + %shr = lshr i64 %conv31, 6 ; [#uses=1] + %or74 = or i64 %shl72, %shr ; [#uses=1] + %shr85 = lshr i64 %conv31, 25 ; [#uses=0] + %xor87 = xor i64 0, %or74 ; [#uses=1] + %and902706 = and i32 %tmp30, %tmp3 ; [#uses=1] + %and90 = zext i32 %and902706 to i64 ; [#uses=1] + %xor94 = xor i64 0, %and90 ; [#uses=1] + %add = add i64 %conv11, 1508970993 ; [#uses=1] + %add95 = add i64 %add, %xor94 ; [#uses=1] + %add98 = add i64 %add95, %xor87 ; [#uses=1] + %add99 = add i64 %add98, 0 ; [#uses=2] + %xor130 = zext i32 undef to i64 ; [#uses=1] + %add134 = add i64 %add99, %conv27 ; [#uses=2] + %add131 = add i64 %xor130, 0 ; [#uses=1] + %add137 = add i64 %add131, %add99 ; [#uses=5] + %conv1422700 = zext i8 undef to i64 ; [#uses=1] + %shl143 = shl i64 %conv1422700, 24 ; [#uses=1] + %ptrincdec1393051 = load i8* undef ; [#uses=1] + %conv1512699 = zext i8 %ptrincdec1393051 to i64 ; [#uses=1] + %shl152 = shl i64 %conv1512699, 16 ; [#uses=1] + %conv1712697 = zext i8 undef to i64 ; [#uses=1] + %or153 = or i64 %shl152, %shl143 ; [#uses=1] + %or163 = or i64 %or153, %conv1712697 ; [#uses=1] + %or172 = or i64 %or163, 0 ; [#uses=1] + %and203 = and i64 %add134, %conv31 ; [#uses=1] + %xor208 = xor i64 0, %and203 ; [#uses=1] + %add200 = add i64 0, 2453635748 ; [#uses=1] + %add209 = add i64 %add200, %or172 ; [#uses=1] + %add212 = add i64 %add209, %xor208 ; [#uses=1] + %add213 = add i64 %add212, 0 ; [#uses=2] + %shl228 = shl i64 %add137, 10 ; [#uses=1] + %and230 = lshr i64 %add137, 22 ; [#uses=1] + %shr231 = and i64 %and230, 1023 ; [#uses=1] + %or232 = or i64 %shr231, %shl228 ; [#uses=1] + %xor226 = xor i64 0, %or232 ; [#uses=1] + %xor233 = xor i64 %xor226, 0 ; [#uses=1] + %and2362695 = zext i32 undef to i64 ; [#uses=1] + %xor240 = and i64 %add137, %and2362695 ; [#uses=1] + %and2432694 = and i32 %tmp18, %tmp14 ; [#uses=1] + %and243 = zext i32 %and2432694 to i64 ; [#uses=1] + %xor244 = xor i64 %xor240, %and243 ; [#uses=1] + %add248 = add i64 %add213, %conv23 ; [#uses=2] + %add245 = add i64 %xor233, %xor244 ; [#uses=1] + %add251 = add i64 %add245, %add213 ; [#uses=1] + %conv2752691 = zext i8 undef to i64 ; [#uses=1] + %shl276 = shl i64 %conv2752691, 8 ; [#uses=0] + %and317 = and i64 %add248, %add134 ; [#uses=1] + %neg319 = xor i64 %add248, 4294967295 ; [#uses=1] + %and321 = and i64 %neg319, %conv31 ; [#uses=1] + %xor322 = xor i64 %and321, %and317 ; [#uses=1] + %add314 = add i64 %conv, 2870763221 ; [#uses=1] + %add323 = add i64 %add314, 0 ; [#uses=1] + %add326 = add i64 %add323, %xor322 ; [#uses=1] + %add327 = add i64 %add326, 0 ; [#uses=2] + %and3502689 = xor i64 %add137, %conv15 ; [#uses=1] + %xor354 = and i64 %add251, %and3502689 ; [#uses=1] + %and357 = and i64 %add137, %conv15 ; [#uses=1] + %xor358 = xor i64 %xor354, %and357 ; [#uses=1] + %add362 = add i64 %add327, %conv19 ; [#uses=1] + %add359 = add i64 0, %xor358 ; [#uses=1] + %add365 = add i64 %add359, %add327 ; [#uses=1] + %add770 = add i64 %add362, 1426881987 ; [#uses=1] + %add779 = add i64 %add770, 0 ; [#uses=1] + %add782 = add i64 %add779, 0 ; [#uses=1] + %add783 = add i64 %add782, 0 ; [#uses=2] + %add818 = add i64 %add783, %add365 ; [#uses=1] + %add821 = add i64 0, %add783 ; [#uses=1] + store i32 undef, i32* undef + %add1046 = add i64 undef, undef ; [#uses=1] + %add1160 = add i64 undef, undef ; [#uses=1] + store i32 0, i32* undef + %add1235 = add i64 0, %add818 ; [#uses=1] + %add1238 = add i64 %add1235, 0 ; [#uses=1] + %add1239 = add i64 %add1238, 0 ; [#uses=1] + br label %for.cond + +for.cond: ; preds = %for.body, %while.body + %h.0 = phi i64 [ undef, %while.body ], [ %add2035, %for.body ] ; [#uses=1] + %g.0 = phi i64 [ %add1046, %while.body ], [ undef, %for.body ] ; [#uses=1] + %f.0 = phi i64 [ %add1160, %while.body ], [ undef, %for.body ] ; [#uses=1] + %add821.pn = phi i64 [ %add821, %while.body ], [ undef, %for.body ] ; [#uses=0] + %add1239.pn2648 = phi i64 [ %add1239, %while.body ], [ undef, %for.body ] ; [#uses=0] + %d.0 = phi i64 [ undef, %while.body ], [ %add2038, %for.body ] ; [#uses=2] + br i1 undef, label %for.end, label %for.body + +for.body: ; preds = %for.cond + %conv1390 = zext i32 undef to i64 ; [#uses=1] + %add1375 = add i64 0, %h.0 ; [#uses=1] + %add1384 = add i64 %add1375, 0 ; [#uses=1] + %add1391 = add i64 %add1384, %conv1390 ; [#uses=1] + %add1392 = add i64 %add1391, 0 ; [#uses=2] + %or1411 = or i64 0, undef ; [#uses=1] + %xor1405 = xor i64 0, %or1411 ; [#uses=1] + %xor1412 = xor i64 %xor1405, 0 ; [#uses=1] + %add1427 = add i64 %add1392, %d.0 ; [#uses=1] + %add1424 = add i64 %xor1412, 0 ; [#uses=1] + %add1430 = add i64 %add1424, %add1392 ; [#uses=5] + %tmp1438 = load i32* undef ; [#uses=1] + %conv1439 = zext i32 %tmp1438 to i64 ; [#uses=4] + %shl1441 = shl i64 %conv1439, 25 ; [#uses=1] + %shr1444 = lshr i64 %conv1439, 7 ; [#uses=1] + %or1445 = or i64 %shl1441, %shr1444 ; [#uses=1] + %shr1450 = lshr i64 %conv1439, 18 ; [#uses=1] + %or1451 = or i64 0, %shr1450 ; [#uses=1] + %shr1454 = lshr i64 %conv1439, 3 ; [#uses=1] + %xor1452 = xor i64 %or1451, %shr1454 ; [#uses=1] + %xor1455 = xor i64 %xor1452, %or1445 ; [#uses=1] + %conv1464 = zext i32 undef to i64 ; [#uses=4] + %shl1466 = shl i64 %conv1464, 15 ; [#uses=1] + %shr1469 = lshr i64 %conv1464, 17 ; [#uses=1] + %or1470 = or i64 %shl1466, %shr1469 ; [#uses=1] + %shr1475 = lshr i64 %conv1464, 19 ; [#uses=1] + %or1476 = or i64 0, %shr1475 ; [#uses=1] + %shr1479 = lshr i64 %conv1464, 10 ; [#uses=1] + %xor1477 = xor i64 %or1476, %shr1479 ; [#uses=1] + %xor1480 = xor i64 %xor1477, %or1470 ; [#uses=1] + %tmp1499 = load i32* null ; [#uses=1] + %conv1500 = zext i32 %tmp1499 to i64 ; [#uses=1] + %add1491 = add i64 %conv1500, 0 ; [#uses=1] + %add1501 = add i64 %add1491, %xor1455 ; [#uses=1] + %add1502 = add i64 %add1501, %xor1480 ; [#uses=1] + %conv1504 = and i64 %add1502, 4294967295 ; [#uses=1] + %tmp1541 = load i32* undef ; [#uses=1] + %conv1542 = zext i32 %tmp1541 to i64 ; [#uses=1] + %add1527 = add i64 %conv1542, %g.0 ; [#uses=1] + %add1536 = add i64 %add1527, 0 ; [#uses=1] + %add1543 = add i64 %add1536, %conv1504 ; [#uses=1] + %add1544 = add i64 %add1543, 0 ; [#uses=1] + %shl1546 = shl i64 %add1430, 30 ; [#uses=1] + %and1548 = lshr i64 %add1430, 2 ; [#uses=1] + %shr1549 = and i64 %and1548, 1073741823 ; [#uses=1] + %or1550 = or i64 %shr1549, %shl1546 ; [#uses=1] + %shl1552 = shl i64 %add1430, 19 ; [#uses=1] + %or1556 = or i64 0, %shl1552 ; [#uses=1] + %shl1559 = shl i64 %add1430, 10 ; [#uses=1] + %or1563 = or i64 0, %shl1559 ; [#uses=1] + %xor1557 = xor i64 %or1556, %or1563 ; [#uses=1] + %xor1564 = xor i64 %xor1557, %or1550 ; [#uses=1] + %add1576 = add i64 %xor1564, 0 ; [#uses=1] + %add1582 = add i64 %add1576, %add1544 ; [#uses=3] + store i32 undef, i32* undef + %tmp1693 = load i32* undef ; [#uses=1] + %conv1694 = zext i32 %tmp1693 to i64 ; [#uses=1] + %add1679 = add i64 %conv1694, %f.0 ; [#uses=1] + %add1688 = add i64 %add1679, 0 ; [#uses=1] + %add1695 = add i64 %add1688, 0 ; [#uses=1] + %add1696 = add i64 %add1695, 0 ; [#uses=1] + %shl1698 = shl i64 %add1582, 30 ; [#uses=0] + %shl1704 = shl i64 %add1582, 19 ; [#uses=0] + %add1734 = add i64 0, %add1696 ; [#uses=1] + %add1983 = add i64 0, %add1427 ; [#uses=1] + %add1992 = add i64 %add1983, 0 ; [#uses=1] + %add1999 = add i64 %add1992, 0 ; [#uses=1] + %add2000 = add i64 %add1999, 0 ; [#uses=2] + %and2030 = and i64 %add1734, %add1582 ; [#uses=1] + %xor2031 = xor i64 0, %and2030 ; [#uses=1] + %add2035 = add i64 %add2000, %add1430 ; [#uses=1] + %add2032 = add i64 0, %xor2031 ; [#uses=1] + %add2038 = add i64 %add2032, %add2000 ; [#uses=1] + store i32 0, i32* undef + br label %for.cond + +for.end: ; preds = %for.cond + store i32 undef, i32* %arrayidx5 + store i32 undef, i32* %arrayidx9 + %d.02641 = trunc i64 %d.0 to i32 ; [#uses=1] + %conv2524 = add i32 %tmp14, %d.02641 ; [#uses=1] + store i32 %conv2524, i32* %arrayidx13 + %exitcond2789 = icmp eq i64 undef, %num ; [#uses=1] + br i1 %exitcond2789, label %while.end, label %while.body + +while.end: ; preds = %for.end, %entry + ret void +} -- 2.11.0