RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-19 19:12:56 +02:00
Code Issues Projects Releases Wiki Activity

update tests to use FileCheck and exact checking

Browse Source 
llvm-svn: 278741
This commit is contained in:
Sanjay Patel 2016-08-15 21:02:25 +00:00
parent 2169ec7470
commit 7fe8825678
1 changed files with 25 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

35
test/Transforms/InstCombine/2008-01-29-AddICmp.ll
View 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
}