OSDN Git Service

[InstCombine] update to use FileCheck with autogenerated exact checking
authorSanjay Patel <spatel@rotateright.com>
Mon, 20 Jun 2016 18:23:40 +0000 (18:23 +0000)
committerSanjay Patel <spatel@rotateright.com>
Mon, 20 Jun 2016 18:23:40 +0000 (18:23 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@273180 91177308-0d34-0410-b5e6-96231b3b80d8

test/Transforms/InstCombine/2007-11-22-IcmpCrash.ll

index f71b99c..c476bef 100644 (file)
@@ -1,16 +1,29 @@
-; RUN: opt < %s -instcombine -disable-output
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -instcombine -S | FileCheck %s
 ; PR1817
 
 define i1 @test1(i32 %X) {
-       %A = icmp slt i32 %X, 10
-       %B = icmp ult i32 %X, 10
-       %C = and i1 %A, %B
-       ret i1 %C
+; CHECK-LABEL: @test1(
+; CHECK-NEXT:    [[A:%.*]] = icmp slt i32 %X, 10
+; CHECK-NEXT:    [[B:%.*]] = icmp ult i32 %X, 10
+; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %A = icmp slt i32 %X, 10
+  %B = icmp ult i32 %X, 10
+  %C = and i1 %A, %B
+  ret i1 %C
 }
 
 define i1 @test2(i32 %X) {
-       %A = icmp slt i32 %X, 10
-       %B = icmp ult i32 %X, 10
-       %C = or i1 %A, %B
-       ret i1 %C
+; CHECK-LABEL: @test2(
+; CHECK-NEXT:    [[A:%.*]] = icmp slt i32 %X, 10
+; CHECK-NEXT:    [[B:%.*]] = icmp ult i32 %X, 10
+; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %A = icmp slt i32 %X, 10
+  %B = icmp ult i32 %X, 10
+  %C = or i1 %A, %B
+  ret i1 %C
 }