diff options
| author | Owen Anderson <resistor@mac.com> | 2007-07-04 22:33:23 +0000 |
|---|---|---|
| committer | Owen Anderson <resistor@mac.com> | 2007-07-04 22:33:23 +0000 |
| commit | ec3ed5f8e4d763d3fe8352e4ff702054c5619bdb (patch) | |
| tree | c3b90c262474125db04437038812b0e21472a0f2 | |
| parent | 8ff70c2635bfd4e02c0140a5dc9ca909fffba35a (diff) | |
Fix another bug, this time in PREing select instructions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37878 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/Transforms/Scalar/GVNPRE.cpp | 3 | ||||
| -rw-r--r-- | test/Transforms/GVNPRE/2007-07-04-SelectInst.ll | 18 |
2 files changed, 19 insertions, 2 deletions
diff --git a/lib/Transforms/Scalar/GVNPRE.cpp b/lib/Transforms/Scalar/GVNPRE.cpp index 5d52aa4887..e5e3710643 100644 --- a/lib/Transforms/Scalar/GVNPRE.cpp +++ b/lib/Transforms/Scalar/GVNPRE.cpp @@ -1586,8 +1586,7 @@ void GVNPRE::insertion_pre(Value* e, BasicBlock* BB, newVal = new ExtractElementInst(s1, s2, S->getName()+".gvnpre", (*PI)->getTerminator()); else if (SelectInst* S = dyn_cast<SelectInst>(U)) - newVal = new SelectInst(S->getCondition(), S->getTrueValue(), - S->getFalseValue(), S->getName()+".gvnpre", + newVal = new SelectInst(s1, s2, s3, S->getName()+".gvnpre", (*PI)->getTerminator()); else if (CastInst* C = dyn_cast<CastInst>(U)) newVal = CastInst::create(C->getOpcode(), s1, C->getType(), diff --git a/test/Transforms/GVNPRE/2007-07-04-SelectInst.ll b/test/Transforms/GVNPRE/2007-07-04-SelectInst.ll new file mode 100644 index 0000000000..944a700593 --- /dev/null +++ b/test/Transforms/GVNPRE/2007-07-04-SelectInst.ll @@ -0,0 +1,18 @@ +; RUN: llvm-as < %s | opt -gvnpre | llvm-dis + +define void @set_depth_values(i32 %level) { +cond_true90: ; preds = %cond_next84 + br i1 false, label %cond_true105, label %cond_true151 + +cond_true105: ; preds = %cond_true90 + %tmp132 = add i32 %level, -3 ; <i32> [#uses=2] + %tmp133 = icmp sgt i32 %tmp132, 0 ; <i1> [#uses=1] + %max134 = select i1 %tmp133, i32 %tmp132, i32 1 ; <i32> [#uses=0] + br label %cond_true151 + +cond_true151: ; preds = %cond_true140, %cond_true105 + %tmp153 = add i32 %level, -3 ; <i32> [#uses=2] + %tmp154 = icmp sgt i32 %tmp153, 0 ; <i1> [#uses=1] + %max155 = select i1 %tmp154, i32 %tmp153, i32 1 ; <i32> [#uses=0] + ret void +} |