OSchip
/
llvm-project
mirror of https://github.com/THU-DSP-LAB/llvm-project.git
13
0
Fork 6
Code Issues Packages Projects Releases Wiki Activity

[InstCombine] Add foldAndOfICmps test cases inspired by PR42691. 

icmp ne %x, INT_MIN can be treated similarly to icmp sgt %x, INT_MIN.
icmp ne %x, INT_MAX can be treated similarly to icmp slt %x, INT_MAX.
icmp ne %x, UINT_MAX can be treated similarly to icmp ult %x, UINT_MAX.

We already treat icmp ne %x, 0 similarly to icmp ugt %x, 0

llvm-svn: 366662
This commit is contained in:
Craig Topper 2019-07-22 02:43:43 +00:00
parent 3d68adebc5
commit ee5dc7e7ad
1 changed files with 39 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

39
llvm/test/Transforms/InstCombine/and-or-icmps.ll
View File

@ -338,3 +338,42 @@ define i1 @PR42691_7(i32 %x) {
%c = or i1 %c1, %c2
ret i1 %c
}
define i1 @PR42691_8(i32 %x) {
; CHECK-LABEL: @PR42691_8(
; CHECK-NEXT: [[C1:%.*]] = icmp slt i32 %x, 14
; CHECK-NEXT: [[C2:%.*]] = icmp ne i32 %x, -2147483648
; CHECK-NEXT: [[C:%.*]] = and i1 [[C1]], [[C2]]
; CHECK-NEXT: ret i1 [[C]]
;
%c1 = icmp slt i32 %x, 14
%c2 = icmp ne i32 %x, -2147483648
%c = and i1 %c1, %c2
ret i1 %c
}
define i1 @PR42691_9(i32 %x) {
; CHECK-LABEL: @PR42691_9(
; CHECK-NEXT: [[C1:%.*]] = icmp sgt i32 %x, 13
; CHECK-NEXT: [[C2:%.*]] = icmp ne i32 %x, 2147483647
; CHECK-NEXT: [[C:%.*]] = and i1 [[C1]], [[C2]]
; CHECK-NEXT: ret i1 [[C]]
;
%c1 = icmp sgt i32 %x, 13
%c2 = icmp ne i32 %x, 2147483647
%c = and i1 %c1, %c2
ret i1 %c
}
define i1 @PR42691_10(i32 %x) {
; CHECK-LABEL: @PR42691_10(
; CHECK-NEXT: [[C1:%.*]] = icmp ugt i32 %x, 13
; CHECK-NEXT: [[C2:%.*]] = icmp ne i32 %x, -1
; CHECK-NEXT: [[C:%.*]] = and i1 [[C1]], [[C2]]
; CHECK-NEXT: ret i1 [[C]]
;
%c1 = icmp ugt i32 %x, 13
%c2 = icmp ne i32 %x, 4294967295
%c = and i1 %c1, %c2
ret i1 %c
}