[llvm] [InstCombine] Clean up bitwise folds without one-use check (PR #80587)
Yingwei Zheng via llvm-commits
llvm-commits at lists.llvm.org
Sun Feb 4 04:05:18 PST 2024
https://github.com/dtcxzyw updated https://github.com/llvm/llvm-project/pull/80587
>From 8b14a46e67859ee90a79ccd3c26bf56eaf981ead Mon Sep 17 00:00:00 2001
From: Yingwei Zheng <dtcxzyw2333 at gmail.com>
Date: Sun, 4 Feb 2024 19:58:11 +0800
Subject: [PATCH 1/2] [InstCombine] Add pre-commit tests. NFC.
---
llvm/test/Transforms/InstCombine/or-xor.ll | 72 +++++++++++++
llvm/test/Transforms/InstCombine/or.ll | 113 +++++++++++++++++++++
2 files changed, 185 insertions(+)
diff --git a/llvm/test/Transforms/InstCombine/or-xor.ll b/llvm/test/Transforms/InstCombine/or-xor.ll
index 443a0898df0d7..93351be5babe6 100644
--- a/llvm/test/Transforms/InstCombine/or-xor.ll
+++ b/llvm/test/Transforms/InstCombine/or-xor.ll
@@ -1094,3 +1094,75 @@ define i32 @PR75692_3(i32 %x, i32 %y) {
%t4 = or i32 %t2, %t3
ret i32 %t4
}
+
+define i32 @or_xor_not(i32 %x, i32 %y) {
+; CHECK-LABEL: @or_xor_not(
+; CHECK-NEXT: [[X_NOT:%.*]] = xor i32 [[X:%.*]], -1
+; CHECK-NEXT: [[OR1:%.*]] = or i32 [[X_NOT]], [[Y:%.*]]
+; CHECK-NEXT: ret i32 [[OR1]]
+;
+ %not = xor i32 %y, -1
+ %xor = xor i32 %x, %not
+ %or1 = or i32 %xor, %y
+ ret i32 %or1
+}
+
+define i32 @or_xor_not_uses1(i32 %x, i32 %y) {
+; CHECK-LABEL: @or_xor_not_uses1(
+; CHECK-NEXT: [[NOT:%.*]] = xor i32 [[Y:%.*]], -1
+; CHECK-NEXT: call void @use(i32 [[NOT]])
+; CHECK-NEXT: [[X_NOT:%.*]] = xor i32 [[X:%.*]], -1
+; CHECK-NEXT: [[OR1:%.*]] = or i32 [[X_NOT]], [[Y]]
+; CHECK-NEXT: ret i32 [[OR1]]
+;
+ %not = xor i32 %y, -1
+ call void @use(i32 %not)
+ %xor = xor i32 %x, %not
+ %or1 = or i32 %xor, %y
+ ret i32 %or1
+}
+
+define i32 @or_xor_not_uses2(i32 %x, i32 %y) {
+; CHECK-LABEL: @or_xor_not_uses2(
+; CHECK-NEXT: [[TMP1:%.*]] = xor i32 [[Y:%.*]], [[X:%.*]]
+; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[TMP1]], -1
+; CHECK-NEXT: call void @use(i32 [[XOR]])
+; CHECK-NEXT: [[OR1:%.*]] = or i32 [[XOR]], [[Y]]
+; CHECK-NEXT: ret i32 [[OR1]]
+;
+ %not = xor i32 %y, -1
+ %xor = xor i32 %x, %not
+ call void @use(i32 %xor)
+ %or1 = or i32 %xor, %y
+ ret i32 %or1
+}
+
+define i32 @or_xor_and_commuted1(i32 %x, i32 %y) {
+; CHECK-LABEL: @or_xor_and_commuted1(
+; CHECK-NEXT: [[YY:%.*]] = mul i32 [[Y:%.*]], [[Y]]
+; CHECK-NEXT: [[X_NOT:%.*]] = xor i32 [[X:%.*]], -1
+; CHECK-NEXT: [[OR1:%.*]] = or i32 [[YY]], [[X_NOT]]
+; CHECK-NEXT: ret i32 [[OR1]]
+;
+ %yy = mul i32 %y, %y ; thwart complexity-based ordering
+ %not = xor i32 %yy, -1
+ %xor = xor i32 %not, %x
+ %or1 = or i32 %yy, %xor
+ ret i32 %or1
+}
+
+define i32 @or_xor_and_commuted2(i32 %x, i32 %y) {
+; CHECK-LABEL: @or_xor_and_commuted2(
+; CHECK-NEXT: [[YY:%.*]] = mul i32 [[Y:%.*]], [[Y]]
+; CHECK-NEXT: [[XX:%.*]] = mul i32 [[X:%.*]], [[X]]
+; CHECK-NEXT: [[XX_NOT:%.*]] = xor i32 [[XX]], -1
+; CHECK-NEXT: [[OR1:%.*]] = or i32 [[YY]], [[XX_NOT]]
+; CHECK-NEXT: ret i32 [[OR1]]
+;
+ %yy = mul i32 %y, %y ; thwart complexity-based ordering
+ %xx = mul i32 %x, %x ; thwart complexity-based ordering
+ %not = xor i32 %yy, -1
+ %xor = xor i32 %xx, %not
+ %or1 = or i32 %xor, %yy
+ ret i32 %or1
+}
diff --git a/llvm/test/Transforms/InstCombine/or.ll b/llvm/test/Transforms/InstCombine/or.ll
index 2238b6bcc5653..d8d29092b9ab1 100644
--- a/llvm/test/Transforms/InstCombine/or.ll
+++ b/llvm/test/Transforms/InstCombine/or.ll
@@ -753,6 +753,37 @@ define i32 @test45(i32 %x, i32 %y, i32 %z) {
ret i32 %or1
}
+define i32 @test45_uses1(i32 %x, i32 %y, i32 %z) {
+; CHECK-LABEL: @test45_uses1(
+; CHECK-NEXT: [[OR:%.*]] = or i32 [[Y:%.*]], [[Z:%.*]]
+; CHECK-NEXT: call void @use(i32 [[OR]])
+; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[X:%.*]], [[Z]]
+; CHECK-NEXT: [[OR1:%.*]] = or i32 [[TMP1]], [[Y]]
+; CHECK-NEXT: ret i32 [[OR1]]
+;
+ %or = or i32 %y, %z
+ call void @use(i32 %or)
+ %and = and i32 %x, %or
+ %or1 = or i32 %and, %y
+ ret i32 %or1
+}
+
+define i32 @test45_uses2(i32 %x, i32 %y, i32 %z) {
+; CHECK-LABEL: @test45_uses2(
+; CHECK-NEXT: [[OR:%.*]] = or i32 [[Y:%.*]], [[Z:%.*]]
+; CHECK-NEXT: [[AND:%.*]] = and i32 [[OR]], [[X:%.*]]
+; CHECK-NEXT: call void @use(i32 [[AND]])
+; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[X]], [[Z]]
+; CHECK-NEXT: [[OR1:%.*]] = or i32 [[TMP1]], [[Y]]
+; CHECK-NEXT: ret i32 [[OR1]]
+;
+ %or = or i32 %y, %z
+ %and = and i32 %x, %or
+ call void @use(i32 %and)
+ %or1 = or i32 %and, %y
+ ret i32 %or1
+}
+
define i32 @test45_commuted1(i32 %x, i32 %y, i32 %z) {
; CHECK-LABEL: @test45_commuted1(
; CHECK-NEXT: [[YY:%.*]] = mul i32 [[Y:%.*]], [[Y]]
@@ -1901,3 +1932,85 @@ define i32 @test_or_add_xor(i32 %a, i32 %b, i32 %c) {
%or = or i32 %add, %a
ret i32 %or
}
+
+define i32 @or_xor_and(i32 %x, i32 %y, i32 %z) {
+; CHECK-LABEL: @or_xor_and(
+; CHECK-NEXT: [[OR1:%.*]] = or i32 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: ret i32 [[OR1]]
+;
+ %and = and i32 %y, %z
+ %xor = xor i32 %x, %and
+ %or1 = or i32 %xor, %y
+ ret i32 %or1
+}
+
+define i32 @or_xor_and_uses1(i32 %x, i32 %y, i32 %z) {
+; CHECK-LABEL: @or_xor_and_uses1(
+; CHECK-NEXT: [[AND:%.*]] = and i32 [[Y:%.*]], [[Z:%.*]]
+; CHECK-NEXT: call void @use(i32 [[AND]])
+; CHECK-NEXT: [[OR1:%.*]] = or i32 [[X:%.*]], [[Y]]
+; CHECK-NEXT: ret i32 [[OR1]]
+;
+ %and = and i32 %y, %z
+ call void @use(i32 %and)
+ %xor = xor i32 %x, %and
+ %or1 = or i32 %xor, %y
+ ret i32 %or1
+}
+
+define i32 @or_xor_and_uses2(i32 %x, i32 %y, i32 %z) {
+; CHECK-LABEL: @or_xor_and_uses2(
+; CHECK-NEXT: [[AND:%.*]] = and i32 [[Y:%.*]], [[Z:%.*]]
+; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[AND]], [[X:%.*]]
+; CHECK-NEXT: call void @use(i32 [[XOR]])
+; CHECK-NEXT: [[OR1:%.*]] = or i32 [[X]], [[Y]]
+; CHECK-NEXT: ret i32 [[OR1]]
+;
+ %and = and i32 %y, %z
+ %xor = xor i32 %x, %and
+ call void @use(i32 %xor)
+ %or1 = or i32 %xor, %y
+ ret i32 %or1
+}
+
+define i32 @or_xor_and_commuted1(i32 %x, i32 %y, i32 %z) {
+; CHECK-LABEL: @or_xor_and_commuted1(
+; CHECK-NEXT: [[YY:%.*]] = mul i32 [[Y:%.*]], [[Y]]
+; CHECK-NEXT: [[OR1:%.*]] = or i32 [[YY]], [[X:%.*]]
+; CHECK-NEXT: ret i32 [[OR1]]
+;
+ %yy = mul i32 %y, %y ; thwart complexity-based ordering
+ %and = and i32 %yy, %z
+ %xor = xor i32 %and, %x
+ %or1 = or i32 %yy, %xor
+ ret i32 %or1
+}
+
+define i32 @or_xor_and_commuted2(i32 %x, i32 %y, i32 %z) {
+; CHECK-LABEL: @or_xor_and_commuted2(
+; CHECK-NEXT: [[YY:%.*]] = mul i32 [[Y:%.*]], [[Y]]
+; CHECK-NEXT: [[XX:%.*]] = mul i32 [[X:%.*]], [[X]]
+; CHECK-NEXT: [[OR1:%.*]] = or i32 [[XX]], [[YY]]
+; CHECK-NEXT: ret i32 [[OR1]]
+;
+ %yy = mul i32 %y, %y ; thwart complexity-based ordering
+ %xx = mul i32 %x, %x ; thwart complexity-based ordering
+ %and = and i32 %yy, %z
+ %xor = xor i32 %xx, %and
+ %or1 = or i32 %xor, %yy
+ ret i32 %or1
+}
+
+define i32 @or_xor_and_commuted3(i32 %x, i32 %y, i32 %z) {
+; CHECK-LABEL: @or_xor_and_commuted3(
+; CHECK-NEXT: [[YY:%.*]] = mul i32 [[Y:%.*]], [[Y]]
+; CHECK-NEXT: [[OR1:%.*]] = or i32 [[YY]], [[X:%.*]]
+; CHECK-NEXT: ret i32 [[OR1]]
+;
+ %yy = mul i32 %y, %y ; thwart complexity-based ordering
+ %zz = mul i32 %z, %z ; thwart complexity-based ordering
+ %and = and i32 %zz, %yy
+ %xor = xor i32 %and, %x
+ %or1 = or i32 %xor, %yy
+ ret i32 %or1
+}
>From f7214090bbcd416c159c8591af14ff6c4998bff4 Mon Sep 17 00:00:00 2001
From: Yingwei Zheng <dtcxzyw2333 at gmail.com>
Date: Sun, 4 Feb 2024 20:00:05 +0800
Subject: [PATCH 2/2] [InstCombine] Clean up bitwise folds without one-use
check
---
.../InstCombine/InstCombineAndOrXor.cpp | 19 -------------------
llvm/test/Transforms/InstCombine/or-xor.ll | 4 ++--
llvm/test/Transforms/InstCombine/or.ll | 13 ++++++-------
3 files changed, 8 insertions(+), 28 deletions(-)
diff --git a/llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp b/llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
index 1cfa797be2207..67f57b400e4ba 100644
--- a/llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
+++ b/llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
@@ -3573,14 +3573,6 @@ Instruction *InstCombinerImpl::visitOr(BinaryOperator &I) {
if (match(Op1, m_c_Xor(m_c_And(m_Value(A), m_Specific(Op0)), m_Value(C))))
return BinaryOperator::CreateOr(Op0, C);
- // ((B | C) & A) | B -> B | (A & C)
- if (match(Op0, m_c_And(m_c_Or(m_Specific(Op1), m_Value(C)), m_Value(A))))
- return BinaryOperator::CreateOr(Op1, Builder.CreateAnd(A, C));
-
- // B | ((B | C) & A) -> B | (A & C)
- if (match(Op1, m_c_And(m_c_Or(m_Specific(Op0), m_Value(C)), m_Value(A))))
- return BinaryOperator::CreateOr(Op0, Builder.CreateAnd(A, C));
-
if (Instruction *DeMorgan = matchDeMorgansLaws(I, *this))
return DeMorgan;
@@ -3633,17 +3625,6 @@ Instruction *InstCombinerImpl::visitOr(BinaryOperator &I) {
Value *Nand = Builder.CreateNot(Builder.CreateAnd(A, B), "nand");
return BinaryOperator::CreateOr(Nand, C);
}
-
- // A | (~A ^ B) --> ~B | A
- // B | (A ^ ~B) --> ~A | B
- if (Op1->hasOneUse() && match(A, m_Not(m_Specific(Op0)))) {
- Value *NotB = Builder.CreateNot(B, B->getName() + ".not");
- return BinaryOperator::CreateOr(NotB, Op0);
- }
- if (Op1->hasOneUse() && match(B, m_Not(m_Specific(Op0)))) {
- Value *NotA = Builder.CreateNot(A, A->getName() + ".not");
- return BinaryOperator::CreateOr(NotA, Op0);
- }
}
// A | ~(A | B) -> A | ~B
diff --git a/llvm/test/Transforms/InstCombine/or-xor.ll b/llvm/test/Transforms/InstCombine/or-xor.ll
index 93351be5babe6..0a322d6aa023f 100644
--- a/llvm/test/Transforms/InstCombine/or-xor.ll
+++ b/llvm/test/Transforms/InstCombine/or-xor.ll
@@ -1111,8 +1111,8 @@ define i32 @or_xor_not_uses1(i32 %x, i32 %y) {
; CHECK-LABEL: @or_xor_not_uses1(
; CHECK-NEXT: [[NOT:%.*]] = xor i32 [[Y:%.*]], -1
; CHECK-NEXT: call void @use(i32 [[NOT]])
-; CHECK-NEXT: [[X_NOT:%.*]] = xor i32 [[X:%.*]], -1
-; CHECK-NEXT: [[OR1:%.*]] = or i32 [[X_NOT]], [[Y]]
+; CHECK-NEXT: [[TMP1:%.*]] = xor i32 [[X:%.*]], -1
+; CHECK-NEXT: [[OR1:%.*]] = or i32 [[TMP1]], [[Y]]
; CHECK-NEXT: ret i32 [[OR1]]
;
%not = xor i32 %y, -1
diff --git a/llvm/test/Transforms/InstCombine/or.ll b/llvm/test/Transforms/InstCombine/or.ll
index d8d29092b9ab1..dc8bb214ad960 100644
--- a/llvm/test/Transforms/InstCombine/or.ll
+++ b/llvm/test/Transforms/InstCombine/or.ll
@@ -743,7 +743,7 @@ define i32 @test40d(i32 %a, i32 %b) {
define i32 @test45(i32 %x, i32 %y, i32 %z) {
; CHECK-LABEL: @test45(
-; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[X:%.*]], [[Z:%.*]]
+; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[Z:%.*]], [[X:%.*]]
; CHECK-NEXT: [[OR1:%.*]] = or i32 [[TMP1]], [[Y:%.*]]
; CHECK-NEXT: ret i32 [[OR1]]
;
@@ -757,7 +757,7 @@ define i32 @test45_uses1(i32 %x, i32 %y, i32 %z) {
; CHECK-LABEL: @test45_uses1(
; CHECK-NEXT: [[OR:%.*]] = or i32 [[Y:%.*]], [[Z:%.*]]
; CHECK-NEXT: call void @use(i32 [[OR]])
-; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[X:%.*]], [[Z]]
+; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[Z]], [[X:%.*]]
; CHECK-NEXT: [[OR1:%.*]] = or i32 [[TMP1]], [[Y]]
; CHECK-NEXT: ret i32 [[OR1]]
;
@@ -773,8 +773,7 @@ define i32 @test45_uses2(i32 %x, i32 %y, i32 %z) {
; CHECK-NEXT: [[OR:%.*]] = or i32 [[Y:%.*]], [[Z:%.*]]
; CHECK-NEXT: [[AND:%.*]] = and i32 [[OR]], [[X:%.*]]
; CHECK-NEXT: call void @use(i32 [[AND]])
-; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[X]], [[Z]]
-; CHECK-NEXT: [[OR1:%.*]] = or i32 [[TMP1]], [[Y]]
+; CHECK-NEXT: [[OR1:%.*]] = or i32 [[AND]], [[Y]]
; CHECK-NEXT: ret i32 [[OR1]]
;
%or = or i32 %y, %z
@@ -787,7 +786,7 @@ define i32 @test45_uses2(i32 %x, i32 %y, i32 %z) {
define i32 @test45_commuted1(i32 %x, i32 %y, i32 %z) {
; CHECK-LABEL: @test45_commuted1(
; CHECK-NEXT: [[YY:%.*]] = mul i32 [[Y:%.*]], [[Y]]
-; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[X:%.*]], [[Z:%.*]]
+; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[Z:%.*]], [[X:%.*]]
; CHECK-NEXT: [[OR1:%.*]] = or i32 [[YY]], [[TMP1]]
; CHECK-NEXT: ret i32 [[OR1]]
;
@@ -803,7 +802,7 @@ define i32 @test45_commuted2(i32 %x, i32 %y, i32 %z) {
; CHECK-NEXT: [[YY:%.*]] = mul i32 [[Y:%.*]], [[Y]]
; CHECK-NEXT: [[XX:%.*]] = mul i32 [[X:%.*]], [[X]]
; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[XX]], [[Z:%.*]]
-; CHECK-NEXT: [[OR1:%.*]] = or i32 [[YY]], [[TMP1]]
+; CHECK-NEXT: [[OR1:%.*]] = or i32 [[TMP1]], [[YY]]
; CHECK-NEXT: ret i32 [[OR1]]
;
%yy = mul i32 %y, %y ; thwart complexity-based ordering
@@ -819,7 +818,7 @@ define i32 @test45_commuted3(i32 %x, i32 %y, i32 %z) {
; CHECK-NEXT: [[YY:%.*]] = mul i32 [[Y:%.*]], [[Y]]
; CHECK-NEXT: [[ZZ:%.*]] = mul i32 [[Z:%.*]], [[Z]]
; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[ZZ]], [[X:%.*]]
-; CHECK-NEXT: [[OR1:%.*]] = or i32 [[YY]], [[TMP1]]
+; CHECK-NEXT: [[OR1:%.*]] = or i32 [[TMP1]], [[YY]]
; CHECK-NEXT: ret i32 [[OR1]]
;
%yy = mul i32 %y, %y ; thwart complexity-based ordering
More information about the llvm-commits
mailing list