[llvm] 1bfd94b - [InstCombine] Precommit tests for PR139109 (NFC)
Antonio Frighetto via llvm-commits
llvm-commits at lists.llvm.org
Tue May 13 00:08:59 PDT 2025
Author: Antonio Frighetto
Date: 2025-05-13T09:03:56+02:00
New Revision: 1bfd94b1b90d57beeecea587bfee1a325ee4a1eb
URL: https://github.com/llvm/llvm-project/commit/1bfd94b1b90d57beeecea587bfee1a325ee4a1eb
DIFF: https://github.com/llvm/llvm-project/commit/1bfd94b1b90d57beeecea587bfee1a325ee4a1eb.diff
LOG: [InstCombine] Precommit tests for PR139109 (NFC)
Added:
Modified:
llvm/test/Transforms/InstCombine/icmp-binop.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/InstCombine/icmp-binop.ll b/llvm/test/Transforms/InstCombine/icmp-binop.ll
index 356489716fff9..997943b4ce680 100644
--- a/llvm/test/Transforms/InstCombine/icmp-binop.ll
+++ b/llvm/test/Transforms/InstCombine/icmp-binop.ll
@@ -359,3 +359,143 @@ define i1 @test_icmp_sgt_and_negpow2_invalid_c(i32 %add) {
%cmp = icmp sgt i32 %and, 48
ret i1 %cmp
}
+
+define i1 @icmp_eq_or_of_selects_with_constant(i1 %a, i1 %b) {
+; CHECK-LABEL: @icmp_eq_or_of_selects_with_constant(
+; CHECK-NEXT: [[S1:%.*]] = select i1 [[A:%.*]], i64 65536, i64 0
+; CHECK-NEXT: [[S2:%.*]] = select i1 [[B:%.*]], i64 256, i64 0
+; CHECK-NEXT: [[OR:%.*]] = or disjoint i64 [[S1]], [[S2]]
+; CHECK-NEXT: [[CMP:%.*]] = icmp eq i64 [[OR]], 65792
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %s1 = select i1 %a, i64 65536, i64 0
+ %s2 = select i1 %b, i64 256, i64 0
+ %or = or i64 %s1, %s2
+ %cmp = icmp eq i64 %or, 65792
+ ret i1 %cmp
+}
+
+define i1 @icmp_slt_and_of_selects_with_constant(i1 %a, i1 %b) {
+; CHECK-LABEL: @icmp_slt_and_of_selects_with_constant(
+; CHECK-NEXT: [[S1:%.*]] = select i1 [[A:%.*]], i8 1, i8 -4
+; CHECK-NEXT: [[S2:%.*]] = select i1 [[B:%.*]], i8 1, i8 -3
+; CHECK-NEXT: [[AND:%.*]] = and i8 [[S1]], [[S2]]
+; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[AND]], -2
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %s1 = select i1 %a, i8 1, i8 254
+ %s2 = select i1 %b, i8 1, i8 253
+ %and = and i8 %s1, %s2
+ %cmp = icmp slt i8 %and, 254
+ ret i1 %cmp
+}
+
+define i1 @icmp_sge_add_of_selects_with_constant(i1 %a, i1 %b) {
+; CHECK-LABEL: @icmp_sge_add_of_selects_with_constant(
+; CHECK-NEXT: [[S1:%.*]] = select i1 [[A:%.*]], i8 -8, i8 7
+; CHECK-NEXT: [[S2:%.*]] = select i1 [[B:%.*]], i8 16, i8 0
+; CHECK-NEXT: [[ADD:%.*]] = add nsw i8 [[S1]], [[S2]]
+; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i8 [[ADD]], -10
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %s1 = select i1 %a, i8 248, i8 7
+ %s2 = select i1 %b, i8 16, i8 0
+ %add = add i8 %s1, %s2
+ %cmp = icmp sge i8 %add, 247
+ ret i1 %cmp
+}
+
+define i1 @icmp_eq_or_of_selects_with_constant_multiuse_foldable(i1 %a, i1 %b) {
+; CHECK-LABEL: @icmp_eq_or_of_selects_with_constant_multiuse_foldable(
+; CHECK-NEXT: [[S1:%.*]] = select i1 [[A:%.*]], i64 65536, i64 0
+; CHECK-NEXT: [[S2:%.*]] = select i1 [[B:%.*]], i64 256, i64 0
+; CHECK-NEXT: [[OR:%.*]] = or disjoint i64 [[S1]], [[S2]]
+; CHECK-NEXT: call void @use64(i64 [[OR]])
+; CHECK-NEXT: [[CMP:%.*]] = icmp eq i64 [[OR]], 65792
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %s1 = select i1 %a, i64 65536, i64 0
+ %s2 = select i1 %b, i64 256, i64 0
+ %or = or i64 %s1, %s2
+ call void @use64(i64 %or)
+ %cmp = icmp eq i64 %or, 65792
+ ret i1 %cmp
+}
+
+define <2 x i1> @icmp_eq_or_of_selects_with_constant_vectorized(<2 x i1> %a, <2 x i1> %b) {
+; CHECK-LABEL: @icmp_eq_or_of_selects_with_constant_vectorized(
+; CHECK-NEXT: [[S1:%.*]] = select <2 x i1> [[A:%.*]], <2 x i64> splat (i64 65536), <2 x i64> zeroinitializer
+; CHECK-NEXT: [[S2:%.*]] = select <2 x i1> [[B:%.*]], <2 x i64> splat (i64 256), <2 x i64> zeroinitializer
+; CHECK-NEXT: [[OR:%.*]] = or disjoint <2 x i64> [[S1]], [[S2]]
+; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i64> [[OR]], splat (i64 65792)
+; CHECK-NEXT: ret <2 x i1> [[CMP]]
+;
+ %s1 = select <2 x i1> %a, <2 x i64> <i64 65536, i64 65536>, <2 x i64> zeroinitializer
+ %s2 = select <2 x i1> %b, <2 x i64> <i64 256, i64 256>, <2 x i64> zeroinitializer
+ %or = or <2 x i64> %s1, %s2
+ %cmp = icmp eq <2 x i64> %or, <i64 65792, i64 65792>
+ ret <2 x i1> %cmp
+}
+
+define <2 x i1> @icmp_eq_or_of_selects_with_scalar_cond_constant_vectorized(i1 %a, i1 %b) {
+; CHECK-LABEL: @icmp_eq_or_of_selects_with_scalar_cond_constant_vectorized(
+; CHECK-NEXT: [[S1:%.*]] = select i1 [[A:%.*]], <2 x i64> splat (i64 65536), <2 x i64> zeroinitializer
+; CHECK-NEXT: [[S2:%.*]] = select i1 [[B:%.*]], <2 x i64> splat (i64 256), <2 x i64> zeroinitializer
+; CHECK-NEXT: [[OR:%.*]] = or disjoint <2 x i64> [[S1]], [[S2]]
+; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i64> [[OR]], splat (i64 65792)
+; CHECK-NEXT: ret <2 x i1> [[CMP]]
+;
+ %s1 = select i1 %a, <2 x i64> <i64 65536, i64 65536>, <2 x i64> zeroinitializer
+ %s2 = select i1 %b, <2 x i64> <i64 256, i64 256>, <2 x i64> zeroinitializer
+ %or = or <2 x i64> %s1, %s2
+ %cmp = icmp eq <2 x i64> %or, <i64 65792, i64 65792>
+ ret <2 x i1> %cmp
+}
+
+; Negative tests.
+define i1 @icmp_eq_or_of_selects_with_constant_and_arg(i1 %a, i1 %b, i64 %arg) {
+; CHECK-LABEL: @icmp_eq_or_of_selects_with_constant_and_arg(
+; CHECK-NEXT: [[S1:%.*]] = select i1 [[A:%.*]], i64 65536, i64 [[ARG:%.*]]
+; CHECK-NEXT: [[S2:%.*]] = select i1 [[B:%.*]], i64 256, i64 0
+; CHECK-NEXT: [[OR:%.*]] = or i64 [[S1]], [[S2]]
+; CHECK-NEXT: [[CMP:%.*]] = icmp eq i64 [[OR]], 65792
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %s1 = select i1 %a, i64 65536, i64 %arg
+ %s2 = select i1 %b, i64 256, i64 0
+ %or = or i64 %s1, %s2
+ %cmp = icmp eq i64 %or, 65792
+ ret i1 %cmp
+}
+
+define i1 @icmp_eq_or_of_selects_with_constant_multiuse(i1 %a, i1 %b) {
+; CHECK-LABEL: @icmp_eq_or_of_selects_with_constant_multiuse(
+; CHECK-NEXT: [[S1:%.*]] = select i1 [[A:%.*]], i64 0, i64 65536
+; CHECK-NEXT: [[S2:%.*]] = select i1 [[B:%.*]], i64 0, i64 256
+; CHECK-NEXT: [[OR:%.*]] = or disjoint i64 [[S1]], [[S2]]
+; CHECK-NEXT: call void @use64(i64 [[OR]])
+; CHECK-NEXT: [[CMP:%.*]] = icmp eq i64 [[OR]], 65792
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %s1 = select i1 %a, i64 0, i64 65536
+ %s2 = select i1 %b, i64 0, i64 256
+ %or = or i64 %s1, %s2
+ call void @use64(i64 %or)
+ %cmp = icmp eq i64 %or, 65792
+ ret i1 %cmp
+}
+
+define <2 x i1> @icmp_eq_or_of_selects_with_constant_vectorized_nonsplat(<2 x i1> %a, <2 x i1> %b) {
+; CHECK-LABEL: @icmp_eq_or_of_selects_with_constant_vectorized_nonsplat(
+; CHECK-NEXT: [[S1:%.*]] = select <2 x i1> [[A:%.*]], <2 x i64> splat (i64 65536), <2 x i64> zeroinitializer
+; CHECK-NEXT: [[S2:%.*]] = select <2 x i1> [[B:%.*]], <2 x i64> <i64 256, i64 128>, <2 x i64> zeroinitializer
+; CHECK-NEXT: [[OR:%.*]] = or disjoint <2 x i64> [[S1]], [[S2]]
+; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i64> [[OR]], <i64 65792, i64 65664>
+; CHECK-NEXT: ret <2 x i1> [[CMP]]
+;
+ %s1 = select <2 x i1> %a, <2 x i64> <i64 65536, i64 65536>, <2 x i64> zeroinitializer
+ %s2 = select <2 x i1> %b, <2 x i64> <i64 256, i64 128>, <2 x i64> zeroinitializer
+ %or = or <2 x i64> %s1, %s2
+ %cmp = icmp eq <2 x i64> %or, <i64 65792, i64 65664>
+ ret <2 x i1> %cmp
+}
More information about the llvm-commits
mailing list