diff options
| -rw-r--r-- | lib/Transforms/Scalar/JumpThreading.cpp | 2 | ||||
| -rw-r--r-- | test/Transforms/JumpThreading/crash.ll | 22 |
2 files changed, 23 insertions, 1 deletions
diff --git a/lib/Transforms/Scalar/JumpThreading.cpp b/lib/Transforms/Scalar/JumpThreading.cpp index f52110f..4918b73 100644 --- a/lib/Transforms/Scalar/JumpThreading.cpp +++ b/lib/Transforms/Scalar/JumpThreading.cpp @@ -267,7 +267,7 @@ ComputeValueKnownInPredecessors(Value *V, BasicBlock *BB,PredValueInfo &Result){ ConstantInt *CI = dyn_cast<ConstantInt>(V); Result.resize(TheFirstPHI->getNumIncomingValues()); for (unsigned i = 0, e = Result.size(); i != e; ++i) - Result.push_back(std::make_pair(CI, TheFirstPHI->getIncomingBlock(i))); + Result[i] = std::make_pair(CI, TheFirstPHI->getIncomingBlock(i)); return true; } diff --git a/test/Transforms/JumpThreading/crash.ll b/test/Transforms/JumpThreading/crash.ll index 862b403..7e2a2a0 100644 --- a/test/Transforms/JumpThreading/crash.ll +++ b/test/Transforms/JumpThreading/crash.ll @@ -170,3 +170,25 @@ bb32.i: ret i32 1 } + +define fastcc void @test5(i1 %tmp, i32 %tmp1) nounwind ssp { +entry: + br i1 %tmp, label %bb12, label %bb13 + + +bb12: + br label %bb13 + +bb13: + %.lcssa31 = phi i32 [ undef, %bb12 ], [ %tmp1, %entry ] + %A = and i1 undef, undef + br i1 %A, label %bb15, label %bb61 + +bb15: + ret void + + +bb61: + ret void +} + |