[llvm] r278741 - update tests to use FileCheck and exact checking
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Mon Aug 15 14:02:26 PDT 2016
Author: spatel
Date: Mon Aug 15 16:02:25 2016
New Revision: 278741
URL: http://llvm.org/viewvc/llvm-project?rev=278741&view=rev
Log:
update tests to use FileCheck and exact checking
Modified:
llvm/trunk/test/Transforms/InstCombine/2008-01-29-AddICmp.ll
Modified: llvm/trunk/test/Transforms/InstCombine/2008-01-29-AddICmp.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/2008-01-29-AddICmp.ll?rev=278741&r1=278740&r2=278741&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/2008-01-29-AddICmp.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/2008-01-29-AddICmp.ll Mon Aug 15 16:02:25 2016
@@ -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
}
+
More information about the llvm-commits
mailing list