intel/llvm
1
0
Fork 0
mirror of https://github.com/intel/llvm.git synced 2026-01-15 12:25:46 +08:00
Code Issues Packages Projects Releases Wiki Activity

[InstCombine] Add test coverage for (icmp sgt/sle (1 << Y), 0). NFC"

Browse Source 
We already optimize the sgt case to (icmp ne Y, BitWidth-1), but
we miss optimizing sle because it canonicalizes to (icmp slt (1 << X), 1)
first.
This commit is contained in:
Craig Topper
2023-01-14 00:37:18 -08:00
parent 5be3894b60
commit bb83dc10f5
1 changed files with 42 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

42
llvm/test/Transforms/InstCombine/icmp.ll
View File

@@ -2158,6 +2158,48 @@ define <2 x i1> @icmp_shl_1_V_ult_2147483648_vec(<2 x i32> %V) {
ret <2 x i1> %cmp
}
define i1 @icmp_shl_1_V_sle_0(i32 %V) {
; CHECK-LABEL: @icmp_shl_1_V_sle_0(
; CHECK-NEXT: [[SHL:%.*]] = shl nuw i32 1, [[V:%.*]]
; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[SHL]], 1
; CHECK-NEXT: ret i1 [[CMP]]
;
%shl = shl i32 1, %V
%cmp = icmp sle i32 %shl, 0
ret i1 %cmp
}
define <2 x i1> @icmp_shl_1_V_sle_0_vec(<2 x i32> %V) {
; CHECK-LABEL: @icmp_shl_1_V_sle_0_vec(
; CHECK-NEXT: [[SHL:%.*]] = shl nuw <2 x i32> <i32 1, i32 1>, [[V:%.*]]
; CHECK-NEXT: [[CMP:%.*]] = icmp slt <2 x i32> [[SHL]], <i32 1, i32 1>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%shl = shl <2 x i32> <i32 1, i32 1>, %V
%cmp = icmp sle <2 x i32> %shl, <i32 0, i32 0>
ret <2 x i1> %cmp
}
define i1 @icmp_shl_1_V_sgt_0(i32 %V) {
; CHECK-LABEL: @icmp_shl_1_V_sgt_0(
; CHECK-NEXT: [[CMP:%.*]] = icmp ne i32 [[V:%.*]], 31
; CHECK-NEXT: ret i1 [[CMP]]
;
%shl = shl i32 1, %V
%cmp = icmp sgt i32 %shl, 0
ret i1 %cmp
}
define <2 x i1> @icmp_shl_1_V_sgt_0_vec(<2 x i32> %V) {
; CHECK-LABEL: @icmp_shl_1_V_sgt_0_vec(
; CHECK-NEXT: [[CMP:%.*]] = icmp ne <2 x i32> [[V:%.*]], <i32 31, i32 31>
; CHECK-NEXT: ret <2 x i1> [[CMP]]
;
%shl = shl <2 x i32> <i32 1, i32 1>, %V
%cmp = icmp sgt <2 x i32> %shl, <i32 0, i32 0>
ret <2 x i1> %cmp
}
define i1 @or_icmp_eq_B_0_icmp_ult_A_B(i64 %a, i64 %b) {
; CHECK-LABEL: @or_icmp_eq_B_0_icmp_ult_A_B(
; CHECK-NEXT: [[TMP1:%.*]] = add i64 [[B:%.*]], -1