diff options
| -rw-r--r-- | llvm/test/Transforms/InstCombine/2008-01-29-AddICmp.ll | 35 |
1 files changed, 25 insertions, 10 deletions
diff --git a/llvm/test/Transforms/InstCombine/2008-01-29-AddICmp.ll b/llvm/test/Transforms/InstCombine/2008-01-29-AddICmp.ll index 1f9c47c4f1e..d1757627ab8 100644 --- a/llvm/test/Transforms/InstCombine/2008-01-29-AddICmp.ll +++ b/llvm/test/Transforms/InstCombine/2008-01-29-AddICmp.ll @@ -1,20 +1,35 @@ -; RUN: opt < %s -instcombine -S | not grep "a.off" +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt < %s -instcombine -S | FileCheck %s + ; PR1949 define i1 @test1(i32 %a) { - %a.off = add i32 %a, 4 ; <i32> [#uses=1] - %C = icmp ult i32 %a.off, 4 ; <i1> [#uses=1] - ret i1 %C +; CHECK-LABEL: @test1( +; CHECK-NEXT: [[C:%.*]] = icmp ugt i32 %a, -5 +; CHECK-NEXT: ret i1 [[C]] +; + %b = add i32 %a, 4 + %c = icmp ult i32 %b, 4 + ret i1 %c } define i1 @test2(i32 %a) { - %a.off = sub i32 %a, 4 ; <i32> [#uses=1] - %C = icmp ugt i32 %a.off, -5 ; <i1> [#uses=1] - ret i1 %C +; CHECK-LABEL: @test2( +; CHECK-NEXT: [[C:%.*]] = icmp ult i32 %a, 4 +; CHECK-NEXT: ret i1 [[C]] +; + %b = sub i32 %a, 4 + %c = icmp ugt i32 %b, -5 + ret i1 %c } define i1 @test3(i32 %a) { - %a.off = add i32 %a, 4 ; <i32> [#uses=1] - %C = icmp slt i32 %a.off, 2147483652 ; <i1> [#uses=1] - ret i1 %C +; CHECK-LABEL: @test3( +; CHECK-NEXT: [[C:%.*]] = icmp sgt i32 %a, 2147483643 +; CHECK-NEXT: ret i1 [[C]] +; + %b = add i32 %a, 4 + %c = icmp slt i32 %b, 2147483652 + ret i1 %c } + |
