diff options
| author | Chris Lattner <sabre@nondot.org> | 2010-04-03 07:18:48 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2010-04-03 07:18:48 +0000 |
| commit | 96fd76638b6be492c5e470c3b9d5ca12628be5a9 (patch) | |
| tree | b9872bcf791c94a1e7bb1f4177a1a6805fb08b9c /test/Transforms/IndVarSimplify | |
| parent | bbb91498da1a4dc77332bf93d7c13060f0c63a70 (diff) | |
add integer overflow check for the fp induction variable
checker. Amusingly, we already had tests that we should
have rejects because they would be miscompiled in the
testsuite.
The remaining issue with this is that we don't check that
the branch causes us to exit the loop if it fails, so we
don't actually know if we remain in bounds.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@100284 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/IndVarSimplify')
| -rw-r--r-- | test/Transforms/IndVarSimplify/floating-point-iv.ll | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/Transforms/IndVarSimplify/floating-point-iv.ll b/test/Transforms/IndVarSimplify/floating-point-iv.ll index daeeaad8af..8f4b87048a 100644 --- a/test/Transforms/IndVarSimplify/floating-point-iv.ll +++ b/test/Transforms/IndVarSimplify/floating-point-iv.ll @@ -47,10 +47,10 @@ bb: ; preds = %bb, %entry %2 = fcmp olt double %1, -1.000000e+00 br i1 %2, label %bb, label %return -return: ; preds = %bb +return: ret void ; CHECK: @test3 -; CHECK: icmp +; CHECK: fcmp } define void @test4() nounwind { @@ -64,10 +64,10 @@ bb: ; preds = %bb, %entry %2 = fcmp olt double %1, 1.000000e+00 ; <i1> [#uses=1] br i1 %2, label %bb, label %return -return: ; preds = %bb +return: ret void ; CHECK: @test4 -; CHECK: icmp +; CHECK: fcmp } ; PR6761 |