diff options
| author | Chris Lattner <sabre@nondot.org> | 2010-04-03 06:30:03 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2010-04-03 06:30:03 +0000 |
| commit | 40ea690f39bf11e43e95c3950fa26474459b09a8 (patch) | |
| tree | 3a75e286aa8eeccc3907ae561743b1ea66c2ed6f | |
| parent | 2508bcf17632732fe50c2bccc47cded891bcdff9 (diff) | |
| download | bcm5719-llvm-40ea690f39bf11e43e95c3950fa26474459b09a8.tar.gz bcm5719-llvm-40ea690f39bf11e43e95c3950fa26474459b09a8.zip | |
fix PR6761, a miscompilation due to the fp->int IV conversion
stuff. More bugs remain though.
llvm-svn: 100282
| -rw-r--r-- | llvm/lib/Transforms/Scalar/IndVarSimplify.cpp | 4 | ||||
| -rw-r--r-- | llvm/test/Transforms/IndVarSimplify/floating-point-iv.ll | 27 |
2 files changed, 25 insertions, 6 deletions
diff --git a/llvm/lib/Transforms/Scalar/IndVarSimplify.cpp b/llvm/lib/Transforms/Scalar/IndVarSimplify.cpp index da99890806d..70be6718084 100644 --- a/llvm/lib/Transforms/Scalar/IndVarSimplify.cpp +++ b/llvm/lib/Transforms/Scalar/IndVarSimplify.cpp @@ -709,9 +709,9 @@ void IndVarSimplify::HandleFloatingPointIV(Loop *L, PHINode *PN) { case CmpInst::FCMP_OGE: case CmpInst::FCMP_UGE: NewPred = CmpInst::ICMP_SGE; break; case CmpInst::FCMP_OLT: - case CmpInst::FCMP_ULT: NewPred = CmpInst::ICMP_ULT; break; + case CmpInst::FCMP_ULT: NewPred = CmpInst::ICMP_SLT; break; case CmpInst::FCMP_OLE: - case CmpInst::FCMP_ULE: NewPred = CmpInst::ICMP_ULE; break; + case CmpInst::FCMP_ULE: NewPred = CmpInst::ICMP_SLE; break; } const IntegerType *Int32Ty = Type::getInt32Ty(PN->getContext()); diff --git a/llvm/test/Transforms/IndVarSimplify/floating-point-iv.ll b/llvm/test/Transforms/IndVarSimplify/floating-point-iv.ll index 8d758467cb5..daeeaad8af7 100644 --- a/llvm/test/Transforms/IndVarSimplify/floating-point-iv.ll +++ b/llvm/test/Transforms/IndVarSimplify/floating-point-iv.ll @@ -41,10 +41,10 @@ entry: br label %bb bb: ; preds = %bb, %entry - %x.0.reg2mem.0 = phi double [ 0.000000e+00, %entry ], [ %1, %bb ] ; <double> [#uses=2] - %0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind ; <i32> [#uses=0] - %1 = fadd double %x.0.reg2mem.0, 1.000000e+00 ; <double> [#uses=2] - %2 = fcmp olt double %1, -1.000000e+00 ; <i1> [#uses=1] + %x.0.reg2mem.0 = phi double [ 0.000000e+00, %entry ], [ %1, %bb ] + %0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind + %1 = fadd double %x.0.reg2mem.0, 1.000000e+00 + %2 = fcmp olt double %1, -1.000000e+00 br i1 %2, label %bb, label %return return: ; preds = %bb @@ -70,4 +70,23 @@ return: ; preds = %bb ; CHECK: icmp } +; PR6761 +define void @test5() nounwind { +; <label>:0 + br label %1 + +; <label>:1 ; preds = %1, %0 + %2 = phi double [ 9.000000e+00, %0 ], [ %4, %1 ] ; <double> [#uses=1] + %3 = tail call i32 @foo(double 0.0) ; <i32> [#uses=0] + %4 = fadd double %2, -1.000000e+00 ; <double> [#uses=2] + %5 = fcmp ult double %4, 0.000000e+00 ; <i1> [#uses=1] + br i1 %5, label %exit, label %1 + +exit: + ret void + +; CHECK: @test5 +; CHECK: icmp eq i32 {{.*}}, 10 +; CHECK-NEXT: br i1 +} |
