[llvm] r273180 - [InstCombine] update to use FileCheck with autogenerated exact checking

Sanjay Patel via llvm-commits llvm-commits at lists.llvm.org
Mon Jun 20 11:23:41 PDT 2016


Author: spatel
Date: Mon Jun 20 13:23:40 2016
New Revision: 273180

URL: http://llvm.org/viewvc/llvm-project?rev=273180&view=rev
Log:
[InstCombine] update to use FileCheck with autogenerated exact checking

Modified:
    llvm/trunk/test/Transforms/InstCombine/2007-11-22-IcmpCrash.ll

Modified: llvm/trunk/test/Transforms/InstCombine/2007-11-22-IcmpCrash.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/2007-11-22-IcmpCrash.ll?rev=273180&r1=273179&r2=273180&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/2007-11-22-IcmpCrash.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/2007-11-22-IcmpCrash.ll Mon Jun 20 13:23:40 2016
@@ -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
 }




More information about the llvm-commits mailing list