[llvm-branch-commits] [llvm] ca7e270 - [SLP] add more FMF tests for fmax/fmin reductions; NFC
Sanjay Patel via llvm-branch-commits
llvm-branch-commits at lists.llvm.org
Mon Jan 18 09:30:25 PST 2021
Author: Sanjay Patel
Date: 2021-01-18T12:25:28-05:00
New Revision: ca7e27054c25c2bc6cf88879d73745699251412c
URL: https://github.com/llvm/llvm-project/commit/ca7e27054c25c2bc6cf88879d73745699251412c
DIFF: https://github.com/llvm/llvm-project/commit/ca7e27054c25c2bc6cf88879d73745699251412c.diff
LOG: [SLP] add more FMF tests for fmax/fmin reductions; NFC
Added:
Modified:
llvm/test/Transforms/SLPVectorizer/X86/fmaxnum.ll
llvm/test/Transforms/SLPVectorizer/X86/fminnum.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/SLPVectorizer/X86/fmaxnum.ll b/llvm/test/Transforms/SLPVectorizer/X86/fmaxnum.ll
index 23f2196b2425..e2754862399e 100644
--- a/llvm/test/Transforms/SLPVectorizer/X86/fmaxnum.ll
+++ b/llvm/test/Transforms/SLPVectorizer/X86/fmaxnum.ll
@@ -392,6 +392,33 @@ define float @reduction_v4f32_nnan(float* %p) {
ret float %m3
}
+define float @reduction_v4f32_not_fast(float* %p) {
+; CHECK-LABEL: @reduction_v4f32_not_fast(
+; CHECK-NEXT: [[G1:%.*]] = getelementptr inbounds float, float* [[P:%.*]], i64 1
+; CHECK-NEXT: [[G2:%.*]] = getelementptr inbounds float, float* [[P]], i64 2
+; CHECK-NEXT: [[G3:%.*]] = getelementptr inbounds float, float* [[P]], i64 3
+; CHECK-NEXT: [[T0:%.*]] = load float, float* [[P]], align 4
+; CHECK-NEXT: [[T1:%.*]] = load float, float* [[G1]], align 4
+; CHECK-NEXT: [[T2:%.*]] = load float, float* [[G2]], align 4
+; CHECK-NEXT: [[T3:%.*]] = load float, float* [[G3]], align 4
+; CHECK-NEXT: [[M1:%.*]] = tail call float @llvm.maxnum.f32(float [[T1]], float [[T0]])
+; CHECK-NEXT: [[M2:%.*]] = tail call float @llvm.maxnum.f32(float [[T2]], float [[M1]])
+; CHECK-NEXT: [[M3:%.*]] = tail call float @llvm.maxnum.f32(float [[T3]], float [[M2]])
+; CHECK-NEXT: ret float [[M3]]
+;
+ %g1 = getelementptr inbounds float, float* %p, i64 1
+ %g2 = getelementptr inbounds float, float* %p, i64 2
+ %g3 = getelementptr inbounds float, float* %p, i64 3
+ %t0 = load float, float* %p, align 4
+ %t1 = load float, float* %g1, align 4
+ %t2 = load float, float* %g2, align 4
+ %t3 = load float, float* %g3, align 4
+ %m1 = tail call float @llvm.maxnum.f32(float %t1, float %t0)
+ %m2 = tail call float @llvm.maxnum.f32(float %t2, float %m1)
+ %m3 = tail call float @llvm.maxnum.f32(float %t3, float %m2)
+ ret float %m3
+}
+
define float @reduction_v8f32_fast(float* %p) {
; CHECK-LABEL: @reduction_v8f32_fast(
; CHECK-NEXT: [[G1:%.*]] = getelementptr inbounds float, float* [[P:%.*]], i64 1
@@ -485,4 +512,31 @@ define double @reduction_v4f64_fast(double* %p) {
ret double %m3
}
+define double @reduction_v4f64_wrong_fmf(double* %p) {
+; CHECK-LABEL: @reduction_v4f64_wrong_fmf(
+; CHECK-NEXT: [[G1:%.*]] = getelementptr inbounds double, double* [[P:%.*]], i64 1
+; CHECK-NEXT: [[G2:%.*]] = getelementptr inbounds double, double* [[P]], i64 2
+; CHECK-NEXT: [[G3:%.*]] = getelementptr inbounds double, double* [[P]], i64 3
+; CHECK-NEXT: [[T0:%.*]] = load double, double* [[P]], align 4
+; CHECK-NEXT: [[T1:%.*]] = load double, double* [[G1]], align 4
+; CHECK-NEXT: [[T2:%.*]] = load double, double* [[G2]], align 4
+; CHECK-NEXT: [[T3:%.*]] = load double, double* [[G3]], align 4
+; CHECK-NEXT: [[M1:%.*]] = tail call ninf nsz double @llvm.maxnum.f64(double [[T1]], double [[T0]])
+; CHECK-NEXT: [[M2:%.*]] = tail call ninf nsz double @llvm.maxnum.f64(double [[T2]], double [[M1]])
+; CHECK-NEXT: [[M3:%.*]] = tail call ninf nsz double @llvm.maxnum.f64(double [[T3]], double [[M2]])
+; CHECK-NEXT: ret double [[M3]]
+;
+ %g1 = getelementptr inbounds double, double* %p, i64 1
+ %g2 = getelementptr inbounds double, double* %p, i64 2
+ %g3 = getelementptr inbounds double, double* %p, i64 3
+ %t0 = load double, double* %p, align 4
+ %t1 = load double, double* %g1, align 4
+ %t2 = load double, double* %g2, align 4
+ %t3 = load double, double* %g3, align 4
+ %m1 = tail call ninf nsz double @llvm.maxnum.f64(double %t1, double %t0)
+ %m2 = tail call ninf nsz double @llvm.maxnum.f64(double %t2, double %m1)
+ %m3 = tail call ninf nsz double @llvm.maxnum.f64(double %t3, double %m2)
+ ret double %m3
+}
+
attributes #0 = { nounwind }
diff --git a/llvm/test/Transforms/SLPVectorizer/X86/fminnum.ll b/llvm/test/Transforms/SLPVectorizer/X86/fminnum.ll
index 81bcfb2f1e9b..15a7848f8eca 100644
--- a/llvm/test/Transforms/SLPVectorizer/X86/fminnum.ll
+++ b/llvm/test/Transforms/SLPVectorizer/X86/fminnum.ll
@@ -392,6 +392,33 @@ define float @reduction_v4f32_nnan(float* %p) {
ret float %m3
}
+define float @reduction_v4f32_wrong_fmf(float* %p) {
+; CHECK-LABEL: @reduction_v4f32_wrong_fmf(
+; CHECK-NEXT: [[G1:%.*]] = getelementptr inbounds float, float* [[P:%.*]], i64 1
+; CHECK-NEXT: [[G2:%.*]] = getelementptr inbounds float, float* [[P]], i64 2
+; CHECK-NEXT: [[G3:%.*]] = getelementptr inbounds float, float* [[P]], i64 3
+; CHECK-NEXT: [[T0:%.*]] = load float, float* [[P]], align 4
+; CHECK-NEXT: [[T1:%.*]] = load float, float* [[G1]], align 4
+; CHECK-NEXT: [[T2:%.*]] = load float, float* [[G2]], align 4
+; CHECK-NEXT: [[T3:%.*]] = load float, float* [[G3]], align 4
+; CHECK-NEXT: [[M1:%.*]] = tail call reassoc nsz float @llvm.minnum.f32(float [[T1]], float [[T0]])
+; CHECK-NEXT: [[M2:%.*]] = tail call reassoc nsz float @llvm.minnum.f32(float [[T2]], float [[M1]])
+; CHECK-NEXT: [[M3:%.*]] = tail call reassoc nsz float @llvm.minnum.f32(float [[T3]], float [[M2]])
+; CHECK-NEXT: ret float [[M3]]
+;
+ %g1 = getelementptr inbounds float, float* %p, i64 1
+ %g2 = getelementptr inbounds float, float* %p, i64 2
+ %g3 = getelementptr inbounds float, float* %p, i64 3
+ %t0 = load float, float* %p, align 4
+ %t1 = load float, float* %g1, align 4
+ %t2 = load float, float* %g2, align 4
+ %t3 = load float, float* %g3, align 4
+ %m1 = tail call reassoc nsz float @llvm.minnum.f32(float %t1, float %t0)
+ %m2 = tail call reassoc nsz float @llvm.minnum.f32(float %t2, float %m1)
+ %m3 = tail call reassoc nsz float @llvm.minnum.f32(float %t3, float %m2)
+ ret float %m3
+}
+
define float @reduction_v8f32_fast(float* %p) {
; CHECK-LABEL: @reduction_v8f32_fast(
; CHECK-NEXT: [[G1:%.*]] = getelementptr inbounds float, float* [[P:%.*]], i64 1
@@ -485,4 +512,31 @@ define double @reduction_v4f64_fast(double* %p) {
ret double %m3
}
+define double @reduction_v4f64_not_fast(double* %p) {
+; CHECK-LABEL: @reduction_v4f64_not_fast(
+; CHECK-NEXT: [[G1:%.*]] = getelementptr inbounds double, double* [[P:%.*]], i64 1
+; CHECK-NEXT: [[G2:%.*]] = getelementptr inbounds double, double* [[P]], i64 2
+; CHECK-NEXT: [[G3:%.*]] = getelementptr inbounds double, double* [[P]], i64 3
+; CHECK-NEXT: [[T0:%.*]] = load double, double* [[P]], align 4
+; CHECK-NEXT: [[T1:%.*]] = load double, double* [[G1]], align 4
+; CHECK-NEXT: [[T2:%.*]] = load double, double* [[G2]], align 4
+; CHECK-NEXT: [[T3:%.*]] = load double, double* [[G3]], align 4
+; CHECK-NEXT: [[M1:%.*]] = tail call double @llvm.minnum.f64(double [[T1]], double [[T0]])
+; CHECK-NEXT: [[M2:%.*]] = tail call double @llvm.minnum.f64(double [[T2]], double [[M1]])
+; CHECK-NEXT: [[M3:%.*]] = tail call double @llvm.minnum.f64(double [[T3]], double [[M2]])
+; CHECK-NEXT: ret double [[M3]]
+;
+ %g1 = getelementptr inbounds double, double* %p, i64 1
+ %g2 = getelementptr inbounds double, double* %p, i64 2
+ %g3 = getelementptr inbounds double, double* %p, i64 3
+ %t0 = load double, double* %p, align 4
+ %t1 = load double, double* %g1, align 4
+ %t2 = load double, double* %g2, align 4
+ %t3 = load double, double* %g3, align 4
+ %m1 = tail call double @llvm.minnum.f64(double %t1, double %t0)
+ %m2 = tail call double @llvm.minnum.f64(double %t2, double %m1)
+ %m3 = tail call double @llvm.minnum.f64(double %t3, double %m2)
+ ret double %m3
+}
+
attributes #0 = { nounwind }
More information about the llvm-branch-commits
mailing list