update tests to use FileCheck and exact checking
authorSanjay Patel <spatel@rotateright.com>
Mon, 15 Aug 2016 21:02:25 +0000 (21:02 +0000)
committerSanjay Patel <spatel@rotateright.com>
Mon, 15 Aug 2016 21:02:25 +0000 (21:02 +0000)
llvm-svn: 278741

llvm/test/Transforms/InstCombine/2008-01-29-AddICmp.ll

index 1f9c47c..d175762 100644 (file)
@@ -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
 }
+