[llvm] 16da22d - [InstCombine] add tests for fcmp with fneg common operand; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Thu Mar 10 09:53:39 PST 2022
Author: Sanjay Patel
Date: 2022-03-10T12:53:31-05:00
New Revision: 16da22d45a7c4bfceef0fb54f49f5a2ace2e0911
URL: https://github.com/llvm/llvm-project/commit/16da22d45a7c4bfceef0fb54f49f5a2ace2e0911
DIFF: https://github.com/llvm/llvm-project/commit/16da22d45a7c4bfceef0fb54f49f5a2ace2e0911.diff
LOG: [InstCombine] add tests for fcmp with fneg common operand; NFC
Added:
Modified:
llvm/test/Transforms/InstCombine/fabs.ll
llvm/test/Transforms/InstCombine/fcmp.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/InstCombine/fabs.ll b/llvm/test/Transforms/InstCombine/fabs.ll
index c6b2116e1a5ec..6d42ca9989199 100644
--- a/llvm/test/Transforms/InstCombine/fabs.ll
+++ b/llvm/test/Transforms/InstCombine/fabs.ll
@@ -349,6 +349,19 @@ define fp128 @select_fcmp_ogt_zero(fp128 %x) {
ret fp128 %fabs
}
+define float @select_fcmp_ogt_fneg(float %a) {
+; CHECK-LABEL: @select_fcmp_ogt_fneg(
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A:%.*]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp olt float [[FNEG]], [[A]]
+; CHECK-NEXT: [[R:%.*]] = select nsz i1 [[CMP]], float [[A]], float [[FNEG]]
+; CHECK-NEXT: ret float [[R]]
+;
+ %fneg = fneg float %a
+ %cmp = fcmp ogt float %a, %fneg
+ %r = select nsz i1 %cmp, float %a, float %fneg
+ ret float %r
+}
+
define fp128 @select_fcmp_nnan_ogt_zero(fp128 %x) {
; CHECK-LABEL: @select_fcmp_nnan_ogt_zero(
; CHECK-NEXT: [[TMP1:%.*]] = call fp128 @llvm.fabs.f128(fp128 [[X:%.*]])
diff --git a/llvm/test/Transforms/InstCombine/fcmp.ll b/llvm/test/Transforms/InstCombine/fcmp.ll
index de8328c35ec02..5db6bd3c028e4 100644
--- a/llvm/test/Transforms/InstCombine/fcmp.ll
+++ b/llvm/test/Transforms/InstCombine/fcmp.ll
@@ -829,3 +829,347 @@ define i1 @lossy_uno(half %x) {
%r = fcmp uno float %e, 2049.0
ret i1 %r
}
+
+define i1 @fneg_oeq(float %a) {
+; CHECK-LABEL: @fneg_oeq(
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A:%.*]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp oeq float [[FNEG]], [[A]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %fneg = fneg float %a
+ %cmp = fcmp oeq float %fneg, %a
+ ret i1 %cmp
+}
+
+define i1 @fneg_ogt(half %a) {
+; CHECK-LABEL: @fneg_ogt(
+; CHECK-NEXT: [[FNEG:%.*]] = fneg half [[A:%.*]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp fast ogt half [[FNEG]], [[A]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %fneg = fneg half %a
+ %cmp = fcmp fast ogt half %fneg, %a
+ ret i1 %cmp
+}
+
+define <2 x i1> @fneg_oge(<2 x float> %a) {
+; CHECK-LABEL: @fneg_oge(
+; CHECK-NEXT: [[FNEG:%.*]] = fneg fast <2 x float> [[A:%.*]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp oge <2 x float> [[FNEG]], [[A]]
+; CHECK-NEXT: ret <2 x i1> [[CMP]]
+;
+ %fneg = fneg fast <2 x float> %a
+ %cmp = fcmp oge <2 x float> %fneg, %a
+ ret <2 x i1> %cmp
+}
+
+define i1 @fneg_olt(float %a, float* %q) {
+; CHECK-LABEL: @fneg_olt(
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A:%.*]]
+; CHECK-NEXT: store float [[FNEG]], float* [[Q:%.*]], align 4
+; CHECK-NEXT: [[CMP:%.*]] = fcmp olt float [[FNEG]], [[A]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %fneg = fneg float %a
+ store float %fneg, float* %q
+ %cmp = fcmp olt float %fneg, %a
+ ret i1 %cmp
+}
+
+define i1 @fneg_ole(float %a) {
+; CHECK-LABEL: @fneg_ole(
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A:%.*]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp nsz ole float [[FNEG]], [[A]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %fneg = fneg float %a
+ %cmp = fcmp nsz ole float %fneg, %a
+ ret i1 %cmp
+}
+
+define i1 @fneg_one(float %a) {
+; CHECK-LABEL: @fneg_one(
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A:%.*]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp nnan one float [[FNEG]], [[A]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %fneg = fneg float %a
+ %cmp = fcmp nnan one float %fneg, %a
+ ret i1 %cmp
+}
+
+define i1 @fneg_ord(float %a) {
+; CHECK-LABEL: @fneg_ord(
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A:%.*]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp ninf ord float [[FNEG]], [[A]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %fneg = fneg float %a
+ %cmp = fcmp ninf ord float %fneg, %a
+ ret i1 %cmp
+}
+
+define i1 @fneg_uno(float %a) {
+; CHECK-LABEL: @fneg_uno(
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A:%.*]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp uno float [[FNEG]], [[A]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %fneg = fneg float %a
+ %cmp = fcmp uno float %fneg, %a
+ ret i1 %cmp
+}
+
+define i1 @fneg_ueq(half %a) {
+; CHECK-LABEL: @fneg_ueq(
+; CHECK-NEXT: [[FNEG:%.*]] = fneg half [[A:%.*]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp fast ueq half [[FNEG]], [[A]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %fneg = fneg half %a
+ %cmp = fcmp fast ueq half %fneg, %a
+ ret i1 %cmp
+}
+
+define <2 x i1> @fneg_ugt(<2 x float> %a) {
+; CHECK-LABEL: @fneg_ugt(
+; CHECK-NEXT: [[FNEG:%.*]] = fneg fast <2 x float> [[A:%.*]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp ugt <2 x float> [[FNEG]], [[A]]
+; CHECK-NEXT: ret <2 x i1> [[CMP]]
+;
+ %fneg = fneg fast <2 x float> %a
+ %cmp = fcmp ugt <2 x float> %fneg, %a
+ ret <2 x i1> %cmp
+}
+
+define i1 @fneg_uge(float %a, float* %q) {
+; CHECK-LABEL: @fneg_uge(
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A:%.*]]
+; CHECK-NEXT: store float [[FNEG]], float* [[Q:%.*]], align 4
+; CHECK-NEXT: [[CMP:%.*]] = fcmp uge float [[FNEG]], [[A]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %fneg = fneg float %a
+ store float %fneg, float* %q
+ %cmp = fcmp uge float %fneg, %a
+ ret i1 %cmp
+}
+
+define i1 @fneg_ult(float %a) {
+; CHECK-LABEL: @fneg_ult(
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A:%.*]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp nsz ult float [[FNEG]], [[A]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %fneg = fneg float %a
+ %cmp = fcmp nsz ult float %fneg, %a
+ ret i1 %cmp
+}
+
+define i1 @fneg_ule(float %a) {
+; CHECK-LABEL: @fneg_ule(
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A:%.*]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp nnan ule float [[FNEG]], [[A]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %fneg = fneg float %a
+ %cmp = fcmp nnan ule float %fneg, %a
+ ret i1 %cmp
+}
+
+define i1 @fneg_une(float %a) {
+; CHECK-LABEL: @fneg_une(
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A:%.*]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp ninf une float [[FNEG]], [[A]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %fneg = fneg float %a
+ %cmp = fcmp ninf une float %fneg, %a
+ ret i1 %cmp
+}
+
+define i1 @fneg_oeq_swap(float %p) {
+; CHECK-LABEL: @fneg_oeq_swap(
+; CHECK-NEXT: [[A:%.*]] = fadd float [[P:%.*]], [[P]]
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp oeq float [[A]], [[FNEG]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %a = fadd float %p, %p ; thwart complexity-based canonicalization
+ %fneg = fneg float %a
+ %cmp = fcmp oeq float %a, %fneg
+ ret i1 %cmp
+}
+
+define i1 @fneg_ogt_swap(half %p) {
+; CHECK-LABEL: @fneg_ogt_swap(
+; CHECK-NEXT: [[A:%.*]] = fadd half [[P:%.*]], [[P]]
+; CHECK-NEXT: [[FNEG:%.*]] = fneg half [[A]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp fast ogt half [[A]], [[FNEG]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %a = fadd half %p, %p ; thwart complexity-based canonicalization
+ %fneg = fneg half %a
+ %cmp = fcmp fast ogt half %a, %fneg
+ ret i1 %cmp
+}
+
+define <2 x i1> @fneg_oge_swap(<2 x float> %p) {
+; CHECK-LABEL: @fneg_oge_swap(
+; CHECK-NEXT: [[A:%.*]] = fadd <2 x float> [[P:%.*]], [[P]]
+; CHECK-NEXT: [[FNEG:%.*]] = fneg fast <2 x float> [[A]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp oge <2 x float> [[A]], [[FNEG]]
+; CHECK-NEXT: ret <2 x i1> [[CMP]]
+;
+ %a = fadd <2 x float> %p, %p ; thwart complexity-based canonicalization
+ %fneg = fneg fast <2 x float> %a
+ %cmp = fcmp oge <2 x float> %a, %fneg
+ ret <2 x i1> %cmp
+}
+
+define i1 @fneg_olt_swap(float %p, float* %q) {
+; CHECK-LABEL: @fneg_olt_swap(
+; CHECK-NEXT: [[A:%.*]] = fadd float [[P:%.*]], [[P]]
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A]]
+; CHECK-NEXT: store float [[FNEG]], float* [[Q:%.*]], align 4
+; CHECK-NEXT: [[CMP:%.*]] = fcmp olt float [[A]], [[FNEG]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %a = fadd float %p, %p ; thwart complexity-based canonicalization
+ %fneg = fneg float %a
+ store float %fneg, float* %q
+ %cmp = fcmp olt float %a, %fneg
+ ret i1 %cmp
+}
+
+define i1 @fneg_ole_swap(float %p) {
+; CHECK-LABEL: @fneg_ole_swap(
+; CHECK-NEXT: [[A:%.*]] = fadd float [[P:%.*]], [[P]]
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp nsz ole float [[A]], [[FNEG]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %a = fadd float %p, %p ; thwart complexity-based canonicalization
+ %fneg = fneg float %a
+ %cmp = fcmp nsz ole float %a, %fneg
+ ret i1 %cmp
+}
+
+define i1 @fneg_one_swap(float %p) {
+; CHECK-LABEL: @fneg_one_swap(
+; CHECK-NEXT: [[A:%.*]] = fadd float [[P:%.*]], [[P]]
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp nnan one float [[A]], [[FNEG]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %a = fadd float %p, %p ; thwart complexity-based canonicalization
+ %fneg = fneg float %a
+ %cmp = fcmp nnan one float %a, %fneg
+ ret i1 %cmp
+}
+
+define i1 @fneg_ord_swap(float %p) {
+; CHECK-LABEL: @fneg_ord_swap(
+; CHECK-NEXT: [[A:%.*]] = fadd float [[P:%.*]], [[P]]
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp ninf ord float [[A]], [[FNEG]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %a = fadd float %p, %p ; thwart complexity-based canonicalization
+ %fneg = fneg float %a
+ %cmp = fcmp ninf ord float %a, %fneg
+ ret i1 %cmp
+}
+
+define i1 @fneg_uno_swap(float %p) {
+; CHECK-LABEL: @fneg_uno_swap(
+; CHECK-NEXT: [[A:%.*]] = fadd float [[P:%.*]], [[P]]
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp uno float [[A]], [[FNEG]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %a = fadd float %p, %p ; thwart complexity-based canonicalization
+ %fneg = fneg float %a
+ %cmp = fcmp uno float %a, %fneg
+ ret i1 %cmp
+}
+
+define i1 @fneg_ueq_swap(half %p) {
+; CHECK-LABEL: @fneg_ueq_swap(
+; CHECK-NEXT: [[A:%.*]] = fadd half [[P:%.*]], [[P]]
+; CHECK-NEXT: [[FNEG:%.*]] = fneg half [[A]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp fast ueq half [[A]], [[FNEG]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %a = fadd half %p, %p ; thwart complexity-based canonicalization
+ %fneg = fneg half %a
+ %cmp = fcmp fast ueq half %a, %fneg
+ ret i1 %cmp
+}
+
+define <2 x i1> @fneg_ugt_swap(<2 x float> %p) {
+; CHECK-LABEL: @fneg_ugt_swap(
+; CHECK-NEXT: [[A:%.*]] = fadd <2 x float> [[P:%.*]], [[P]]
+; CHECK-NEXT: [[FNEG:%.*]] = fneg fast <2 x float> [[A]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp ugt <2 x float> [[A]], [[FNEG]]
+; CHECK-NEXT: ret <2 x i1> [[CMP]]
+;
+ %a = fadd <2 x float> %p, %p ; thwart complexity-based canonicalization
+ %fneg = fneg fast <2 x float> %a
+ %cmp = fcmp ugt <2 x float> %a, %fneg
+ ret <2 x i1> %cmp
+}
+
+define i1 @fneg_uge_swap(float %p, float* %q) {
+; CHECK-LABEL: @fneg_uge_swap(
+; CHECK-NEXT: [[A:%.*]] = fadd float [[P:%.*]], [[P]]
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A]]
+; CHECK-NEXT: store float [[FNEG]], float* [[Q:%.*]], align 4
+; CHECK-NEXT: [[CMP:%.*]] = fcmp uge float [[A]], [[FNEG]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %a = fadd float %p, %p ; thwart complexity-based canonicalization
+ %fneg = fneg float %a
+ store float %fneg, float* %q
+ %cmp = fcmp uge float %a, %fneg
+ ret i1 %cmp
+}
+
+define i1 @fneg_ult_swap(float %p) {
+; CHECK-LABEL: @fneg_ult_swap(
+; CHECK-NEXT: [[A:%.*]] = fadd float [[P:%.*]], [[P]]
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp nsz ult float [[A]], [[FNEG]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %a = fadd float %p, %p ; thwart complexity-based canonicalization
+ %fneg = fneg float %a
+ %cmp = fcmp nsz ult float %a, %fneg
+ ret i1 %cmp
+}
+
+define i1 @fneg_ule_swap(float %p) {
+; CHECK-LABEL: @fneg_ule_swap(
+; CHECK-NEXT: [[A:%.*]] = fadd float [[P:%.*]], [[P]]
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp nnan ule float [[A]], [[FNEG]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %a = fadd float %p, %p ; thwart complexity-based canonicalization
+ %fneg = fneg float %a
+ %cmp = fcmp nnan ule float %a, %fneg
+ ret i1 %cmp
+}
+
+define i1 @fneg_une_swap(float %p) {
+; CHECK-LABEL: @fneg_une_swap(
+; CHECK-NEXT: [[A:%.*]] = fadd float [[P:%.*]], [[P]]
+; CHECK-NEXT: [[FNEG:%.*]] = fneg float [[A]]
+; CHECK-NEXT: [[CMP:%.*]] = fcmp ninf une float [[A]], [[FNEG]]
+; CHECK-NEXT: ret i1 [[CMP]]
+;
+ %a = fadd float %p, %p ; thwart complexity-based canonicalization
+ %fneg = fneg float %a
+ %cmp = fcmp ninf une float %a, %fneg
+ ret i1 %cmp
+}
More information about the llvm-commits
mailing list