RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-31 20:51:52 +01:00
Code Issues Projects Releases Wiki Activity

[InstCombine] Add new tests for icmp ugt/ult (add nuw X, C2), C

Browse Source 
Differential Revision: https://reviews.llvm.org/D51040

llvm-svn: 340284
This commit is contained in:
Nicola Zaghen 2018-08-21 15:27:32 +00:00
parent 5dec2cc6fc
commit a81fdef780
1 changed files with 43 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
test/Transforms/InstCombine/icmp-add.ll
View File

@ -281,3 +281,46 @@ define i1 @slt_zero_add_nuw_signbit(i8 %x) {
ret i1 %z
}
define i1 @reduce_add_ult(i32 %in) {
; CHECK-LABEL: @reduce_add_ult(
; CHECK-NEXT: [[A6:%.*]] = add nuw i32 [[IN:%.*]], 3
; CHECK-NEXT: [[A18:%.*]] = icmp ult i32 [[A6]], 12
; CHECK-NEXT: ret i1 [[A18]]
;
%a6 = add nuw i32 %in, 3
%a18 = icmp ult i32 %a6, 12
ret i1 %a18
}
define i1 @reduce_add_ugt(i32 %in) {
; CHECK-LABEL: @reduce_add_ugt(
; CHECK-NEXT: [[A6:%.*]] = add nuw i32 [[IN:%.*]], 3
; CHECK-NEXT: [[A18:%.*]] = icmp ugt i32 [[A6]], 12
; CHECK-NEXT: ret i1 [[A18]]
;
%a6 = add nuw i32 %in, 3
%a18 = icmp ugt i32 %a6, 12
ret i1 %a18
}
define i1 @reduce_add_ule(i32 %in) {
; CHECK-LABEL: @reduce_add_ule(
; CHECK-NEXT: [[A6:%.*]] = add nuw i32 [[IN:%.*]], 3
; CHECK-NEXT: [[A18:%.*]] = icmp ult i32 [[A6]], 13
; CHECK-NEXT: ret i1 [[A18]]
;
%a6 = add nuw i32 %in, 3
%a18 = icmp ule i32 %a6, 12
ret i1 %a18
}
define i1 @reduce_add_uge(i32 %in) {
; CHECK-LABEL: @reduce_add_uge(
; CHECK-NEXT: [[A6:%.*]] = add nuw i32 [[IN:%.*]], 3
; CHECK-NEXT: [[A18:%.*]] = icmp ugt i32 [[A6]], 11
; CHECK-NEXT: ret i1 [[A18]]
;
%a6 = add nuw i32 %in, 3
%a18 = icmp uge i32 %a6, 12
ret i1 %a18
}