forked from OSchip/llvm-project
update tests to use FileCheck and exact checking
llvm-svn: 278741
This commit is contained in:
parent
78db2963f6
commit
55d87a88cc
|
@ -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
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in New Issue