[llvm] [InstCombine] Support minimumnum/maximumnum (PR #180529)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Mon Feb 9 06:24:42 PST 2026
https://github.com/nikic created https://github.com/llvm/llvm-project/pull/180529
Support minimumnum/maximumnum intrinsics in various existing minnum/maxnum/minimum/maximum folds.
The test coverage has been copied from minnum/maxnum.
Proofs: https://alive2.llvm.org/ce/z/YMlLwO
Proofs that time out: https://alive2.llvm.org/ce/z/dJN8wj
>From e8a8227b9ca365a601b70bbb100544523717f00e Mon Sep 17 00:00:00 2001
From: Nikita Popov <npopov at redhat.com>
Date: Mon, 9 Feb 2026 14:53:35 +0100
Subject: [PATCH 1/2] Add tests
---
.../test/Transforms/InstCombine/maximumnum.ll | 402 +++++++++++++++
.../test/Transforms/InstCombine/minimumnum.ll | 471 ++++++++++++++++++
2 files changed, 873 insertions(+)
create mode 100644 llvm/test/Transforms/InstCombine/maximumnum.ll
create mode 100644 llvm/test/Transforms/InstCombine/minimumnum.ll
diff --git a/llvm/test/Transforms/InstCombine/maximumnum.ll b/llvm/test/Transforms/InstCombine/maximumnum.ll
new file mode 100644
index 0000000000000..39f328f8ecc21
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/maximumnum.ll
@@ -0,0 +1,402 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
+; RUN: opt -S -passes=instcombine < %s | FileCheck %s
+
+define float @maximumnum_f32_1_maximumnum_val_p0(float %x) {
+; CHECK-LABEL: define float @maximumnum_f32_1_maximumnum_val_p0(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[Y:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float 0.000000e+00)
+; CHECK-NEXT: [[Z:%.*]] = call float @llvm.maximumnum.f32(float [[Y]], float 1.000000e+00)
+; CHECK-NEXT: ret float [[Z]]
+;
+ %y = call float @llvm.maximumnum.f32(float %x, float 0.0)
+ %z = call float @llvm.maximumnum.f32(float %y, float 1.0)
+ ret float %z
+}
+
+define float @maximumnum_f32_1_maximumnum_p0_val_fast(float %x) {
+; CHECK-LABEL: define float @maximumnum_f32_1_maximumnum_p0_val_fast(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[Y:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float 0.000000e+00)
+; CHECK-NEXT: [[Z:%.*]] = call fast float @llvm.maximumnum.f32(float [[Y]], float 1.000000e+00)
+; CHECK-NEXT: ret float [[Z]]
+;
+ %y = call float @llvm.maximumnum.f32(float 0.0, float %x)
+ %z = call fast float @llvm.maximumnum.f32(float %y, float 1.0)
+ ret float %z
+}
+
+define float @maximumnum_f32_1_maximumnum_p0_val_fmf1(float %x) {
+; CHECK-LABEL: define float @maximumnum_f32_1_maximumnum_p0_val_fmf1(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[Y:%.*]] = call nnan float @llvm.maximumnum.f32(float [[X]], float 0.000000e+00)
+; CHECK-NEXT: [[Z:%.*]] = call nnan ninf float @llvm.maximumnum.f32(float [[Y]], float 1.000000e+00)
+; CHECK-NEXT: ret float [[Z]]
+;
+ %y = call nnan float @llvm.maximumnum.f32(float 0.0, float %x)
+ %z = call nnan ninf float @llvm.maximumnum.f32(float %y, float 1.0)
+ ret float %z
+}
+
+define float @maximumnum_f32_1_maximumnum_p0_val_fmf2(float %x) {
+; CHECK-LABEL: define float @maximumnum_f32_1_maximumnum_p0_val_fmf2(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[Y:%.*]] = call nnan ninf float @llvm.maximumnum.f32(float [[X]], float 0.000000e+00)
+; CHECK-NEXT: [[Z:%.*]] = call ninf float @llvm.maximumnum.f32(float [[Y]], float 1.000000e+00)
+; CHECK-NEXT: ret float [[Z]]
+;
+ %y = call nnan ninf float @llvm.maximumnum.f32(float 0.0, float %x)
+ %z = call ninf float @llvm.maximumnum.f32(float %y, float 1.0)
+ ret float %z
+}
+
+define float @maximumnum_f32_1_maximumnum_p0_val_fmf3(float %x) {
+; CHECK-LABEL: define float @maximumnum_f32_1_maximumnum_p0_val_fmf3(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[Y:%.*]] = call nnan ninf float @llvm.maximumnum.f32(float [[X]], float 0.000000e+00)
+; CHECK-NEXT: [[Z:%.*]] = call nnan ninf float @llvm.maximumnum.f32(float [[Y]], float 1.000000e+00)
+; CHECK-NEXT: ret float [[Z]]
+;
+ %y = call ninf nnan float @llvm.maximumnum.f32(float 0.0, float %x)
+ %z = call ninf nnan float @llvm.maximumnum.f32(float %y, float 1.0)
+ ret float %z
+}
+
+define float @maximumnum_f32_p0_maximumnum_val_n0(float %x) {
+; CHECK-LABEL: define float @maximumnum_f32_p0_maximumnum_val_n0(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[Y:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float -0.000000e+00)
+; CHECK-NEXT: [[Z:%.*]] = call float @llvm.maximumnum.f32(float [[Y]], float 0.000000e+00)
+; CHECK-NEXT: ret float [[Z]]
+;
+ %y = call float @llvm.maximumnum.f32(float %x, float -0.0)
+ %z = call float @llvm.maximumnum.f32(float %y, float 0.0)
+ ret float %z
+}
+
+define float @maximumnum_f32_1_maximumnum_p0_val(float %x) {
+; CHECK-LABEL: define float @maximumnum_f32_1_maximumnum_p0_val(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[Y:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float 0.000000e+00)
+; CHECK-NEXT: [[Z:%.*]] = call float @llvm.maximumnum.f32(float [[Y]], float 1.000000e+00)
+; CHECK-NEXT: ret float [[Z]]
+;
+ %y = call float @llvm.maximumnum.f32(float 0.0, float %x)
+ %z = call float @llvm.maximumnum.f32(float %y, float 1.0)
+ ret float %z
+}
+
+define <2 x float> @maximumnum_f32_1_maximumnum_val_p0_val_v2f32(<2 x float> %x) {
+; CHECK-LABEL: define <2 x float> @maximumnum_f32_1_maximumnum_val_p0_val_v2f32(
+; CHECK-SAME: <2 x float> [[X:%.*]]) {
+; CHECK-NEXT: [[Y:%.*]] = call <2 x float> @llvm.maximumnum.v2f32(<2 x float> [[X]], <2 x float> zeroinitializer)
+; CHECK-NEXT: [[Z:%.*]] = call <2 x float> @llvm.maximumnum.v2f32(<2 x float> [[Y]], <2 x float> splat (float 1.000000e+00))
+; CHECK-NEXT: ret <2 x float> [[Z]]
+;
+ %y = call <2 x float> @llvm.maximumnum.v2f32(<2 x float> %x, <2 x float> zeroinitializer)
+ %z = call <2 x float> @llvm.maximumnum.v2f32(<2 x float> %y, <2 x float><float 1.0, float 1.0>)
+ ret <2 x float> %z
+}
+
+define float @maximumnum4(float %x, float %y, float %z, float %w) {
+; CHECK-LABEL: define float @maximumnum4(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]], float [[Z:%.*]], float [[W:%.*]]) {
+; CHECK-NEXT: [[A:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float [[Y]])
+; CHECK-NEXT: [[B:%.*]] = call float @llvm.maximumnum.f32(float [[Z]], float [[W]])
+; CHECK-NEXT: [[C:%.*]] = call float @llvm.maximumnum.f32(float [[A]], float [[B]])
+; CHECK-NEXT: ret float [[C]]
+;
+ %a = call float @llvm.maximumnum.f32(float %x, float %y)
+ %b = call float @llvm.maximumnum.f32(float %z, float %w)
+ %c = call float @llvm.maximumnum.f32(float %a, float %b)
+ ret float %c
+}
+
+; PR37404 - https://bugs.llvm.org/show_bug.cgi?id=37404
+
+define <2 x float> @maximumnum_neg_neg(<2 x float> %x, <2 x float> %y) {
+; CHECK-LABEL: define <2 x float> @maximumnum_neg_neg(
+; CHECK-SAME: <2 x float> [[X:%.*]], <2 x float> [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg <2 x float> [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg <2 x float> [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call <2 x float> @llvm.maximumnum.v2f32(<2 x float> [[NEGX]], <2 x float> [[NEGY]])
+; CHECK-NEXT: ret <2 x float> [[R]]
+;
+ %negx = fsub <2 x float> <float -0.0, float -0.0>, %x
+ %negy = fsub <2 x float> <float -0.0, float -0.0>, %y
+ %r = call <2 x float> @llvm.maximumnum.v2f32(<2 x float> %negx, <2 x float> %negy)
+ ret <2 x float> %r
+}
+
+; FMF is not required, but it should be propagated from the intrinsic (not the fnegs).
+
+define float @maximumnum_neg_neg_vec_fmf(float %x, float %y) {
+; CHECK-LABEL: define float @maximumnum_neg_neg_vec_fmf(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg arcp float [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg afn float [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call fast float @llvm.maximumnum.f32(float [[NEGX]], float [[NEGY]])
+; CHECK-NEXT: ret float [[R]]
+;
+ %negx = fsub arcp float -0.0, %x
+ %negy = fsub afn float -0.0, %y
+ %r = call fast float @llvm.maximumnum.f32(float %negx, float %negy)
+ ret float %r
+}
+
+define float @maximumnum_unary_neg_neg_vec_fmf(float %x, float %y) {
+; CHECK-LABEL: define float @maximumnum_unary_neg_neg_vec_fmf(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg arcp float [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg afn float [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call fast float @llvm.maximumnum.f32(float [[NEGX]], float [[NEGY]])
+; CHECK-NEXT: ret float [[R]]
+;
+ %negx = fneg arcp float %x
+ %negy = fneg afn float %y
+ %r = call fast float @llvm.maximumnum.f32(float %negx, float %negy)
+ ret float %r
+}
+
+; 1 extra use of an intermediate value should still allow the fold,
+; but 2 would require more instructions than we started with.
+
+declare void @use(float)
+define float @maximumnum_neg_neg_extra_use_x(float %x, float %y) {
+; CHECK-LABEL: define float @maximumnum_neg_neg_extra_use_x(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg float [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call float @llvm.maximumnum.f32(float [[NEGX]], float [[NEGY]])
+; CHECK-NEXT: call void @use(float [[NEGX]])
+; CHECK-NEXT: ret float [[R]]
+;
+ %negx = fsub float -0.0, %x
+ %negy = fsub float -0.0, %y
+ %r = call float @llvm.maximumnum.f32(float %negx, float %negy)
+ call void @use(float %negx)
+ ret float %r
+}
+
+define float @maximumnum_unary_neg_neg_extra_use_x(float %x, float %y) {
+; CHECK-LABEL: define float @maximumnum_unary_neg_neg_extra_use_x(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg float [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call float @llvm.maximumnum.f32(float [[NEGX]], float [[NEGY]])
+; CHECK-NEXT: call void @use(float [[NEGX]])
+; CHECK-NEXT: ret float [[R]]
+;
+ %negx = fneg float %x
+ %negy = fneg float %y
+ %r = call float @llvm.maximumnum.f32(float %negx, float %negy)
+ call void @use(float %negx)
+ ret float %r
+}
+
+define float @maximumnum_neg_neg_extra_use_y(float %x, float %y) {
+; CHECK-LABEL: define float @maximumnum_neg_neg_extra_use_y(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg float [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call float @llvm.maximumnum.f32(float [[NEGX]], float [[NEGY]])
+; CHECK-NEXT: call void @use(float [[NEGY]])
+; CHECK-NEXT: ret float [[R]]
+;
+ %negx = fsub float -0.0, %x
+ %negy = fsub float -0.0, %y
+ %r = call float @llvm.maximumnum.f32(float %negx, float %negy)
+ call void @use(float %negy)
+ ret float %r
+}
+
+define float @maximumnum_unary_neg_neg_extra_use_y(float %x, float %y) {
+; CHECK-LABEL: define float @maximumnum_unary_neg_neg_extra_use_y(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg float [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call float @llvm.maximumnum.f32(float [[NEGX]], float [[NEGY]])
+; CHECK-NEXT: call void @use(float [[NEGY]])
+; CHECK-NEXT: ret float [[R]]
+;
+ %negx = fneg float %x
+ %negy = fneg float %y
+ %r = call float @llvm.maximumnum.f32(float %negx, float %negy)
+ call void @use(float %negy)
+ ret float %r
+}
+
+define float @maximumnum_neg_neg_extra_use_x_and_y(float %x, float %y) {
+; CHECK-LABEL: define float @maximumnum_neg_neg_extra_use_x_and_y(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg float [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call float @llvm.maximumnum.f32(float [[NEGX]], float [[NEGY]])
+; CHECK-NEXT: call void @use(float [[NEGX]])
+; CHECK-NEXT: call void @use(float [[NEGY]])
+; CHECK-NEXT: ret float [[R]]
+;
+ %negx = fsub float -0.0, %x
+ %negy = fsub float -0.0, %y
+ %r = call float @llvm.maximumnum.f32(float %negx, float %negy)
+ call void @use(float %negx)
+ call void @use(float %negy)
+ ret float %r
+}
+
+define float @maximumnum_unary_neg_neg_extra_use_x_and_y(float %x, float %y) {
+; CHECK-LABEL: define float @maximumnum_unary_neg_neg_extra_use_x_and_y(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg float [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call float @llvm.maximumnum.f32(float [[NEGX]], float [[NEGY]])
+; CHECK-NEXT: call void @use(float [[NEGX]])
+; CHECK-NEXT: call void @use(float [[NEGY]])
+; CHECK-NEXT: ret float [[R]]
+;
+ %negx = fneg float %x
+ %negy = fneg float %y
+ %r = call float @llvm.maximumnum.f32(float %negx, float %negy)
+ call void @use(float %negx)
+ call void @use(float %negy)
+ ret float %r
+}
+
+define float @maximumnum_reduce_precision(float %x, float %y) {
+; CHECK-LABEL: define float @maximumnum_reduce_precision(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
+; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
+; CHECK-NEXT: [[Y_EXT:%.*]] = fpext float [[Y]] to double
+; CHECK-NEXT: [[MAXIMUMNUM:%.*]] = call double @llvm.maximumnum.f64(double [[X_EXT]], double [[Y_EXT]])
+; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MAXIMUMNUM]] to float
+; CHECK-NEXT: ret float [[TRUNC]]
+;
+ %x.ext = fpext float %x to double
+ %y.ext = fpext float %y to double
+ %maximumnum = call double @llvm.maximumnum.f64(double %x.ext, double %y.ext)
+ %trunc = fptrunc double %maximumnum to float
+ ret float %trunc
+}
+
+define float @maximumnum_reduce_precision_fmf(float %x, float %y) {
+; CHECK-LABEL: define float @maximumnum_reduce_precision_fmf(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
+; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
+; CHECK-NEXT: [[Y_EXT:%.*]] = fpext float [[Y]] to double
+; CHECK-NEXT: [[MAXIMUMNUM:%.*]] = call nnan double @llvm.maximumnum.f64(double [[X_EXT]], double [[Y_EXT]])
+; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MAXIMUMNUM]] to float
+; CHECK-NEXT: ret float [[TRUNC]]
+;
+ %x.ext = fpext float %x to double
+ %y.ext = fpext float %y to double
+ %maximumnum = call nnan double @llvm.maximumnum.f64(double %x.ext, double %y.ext)
+ %trunc = fptrunc double %maximumnum to float
+ ret float %trunc
+}
+
+define float @maximumnum_reduce_precision_multi_use_0(float %x, float %y, ptr %p) {
+; CHECK-LABEL: define float @maximumnum_reduce_precision_multi_use_0(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]], ptr [[P:%.*]]) {
+; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
+; CHECK-NEXT: [[Y_EXT:%.*]] = fpext float [[Y]] to double
+; CHECK-NEXT: store double [[X_EXT]], ptr [[P]], align 8
+; CHECK-NEXT: [[MAXIMUMNUM:%.*]] = call double @llvm.maximumnum.f64(double [[X_EXT]], double [[Y_EXT]])
+; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MAXIMUMNUM]] to float
+; CHECK-NEXT: ret float [[TRUNC]]
+;
+ %x.ext = fpext float %x to double
+ %y.ext = fpext float %y to double
+ store double %x.ext, ptr %p
+ %maximumnum = call double @llvm.maximumnum.f64(double %x.ext, double %y.ext)
+ %trunc = fptrunc double %maximumnum to float
+ ret float %trunc
+}
+
+define float @reduce_precision_multi_use_1(float %x, float %y, ptr %p) {
+; CHECK-LABEL: define float @reduce_precision_multi_use_1(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]], ptr [[P:%.*]]) {
+; CHECK-NEXT: [[Y_EXT:%.*]] = fpext float [[X]] to double
+; CHECK-NEXT: [[Y_EXT1:%.*]] = fpext float [[Y]] to double
+; CHECK-NEXT: store double [[Y_EXT1]], ptr [[P]], align 8
+; CHECK-NEXT: [[MAXNUM:%.*]] = call double @llvm.maximumnum.f64(double [[Y_EXT]], double [[Y_EXT1]])
+; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MAXNUM]] to float
+; CHECK-NEXT: ret float [[TRUNC]]
+;
+ %x.ext = fpext float %x to double
+ %y.ext = fpext float %y to double
+ store double %y.ext, ptr %p
+ %maximumnum = call double @llvm.maximumnum.f64(double %x.ext, double %y.ext)
+ %trunc = fptrunc double %maximumnum to float
+ ret float %trunc
+}
+
+define float @maximumnum_reduce_precision_multi_use_2(float %x, float %y, ptr %p, ptr %p2) {
+; CHECK-LABEL: define float @maximumnum_reduce_precision_multi_use_2(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]], ptr [[P:%.*]], ptr [[P2:%.*]]) {
+; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
+; CHECK-NEXT: [[Y_EXT:%.*]] = fpext float [[Y]] to double
+; CHECK-NEXT: store double [[X_EXT]], ptr [[P]], align 8
+; CHECK-NEXT: store double [[Y_EXT]], ptr [[P2]], align 8
+; CHECK-NEXT: [[MAXIMUMNUM:%.*]] = call double @llvm.maximumnum.f64(double [[X_EXT]], double [[Y_EXT]])
+; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MAXIMUMNUM]] to float
+; CHECK-NEXT: ret float [[TRUNC]]
+;
+ %x.ext = fpext float %x to double
+ %y.ext = fpext float %y to double
+ store double %x.ext, ptr %p
+ store double %y.ext, ptr %p2
+ %maximumnum = call double @llvm.maximumnum.f64(double %x.ext, double %y.ext)
+ %trunc = fptrunc double %maximumnum to float
+ ret float %trunc
+}
+
+define float @maximumnum_negated_op(float %x) {
+; CHECK-LABEL: define float @maximumnum_negated_op(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X]]
+; CHECK-NEXT: [[R:%.*]] = call float @llvm.maximumnum.f32(float [[NEGX]], float [[X]])
+; CHECK-NEXT: ret float [[R]]
+;
+ %negx = fneg float %x
+ %r = call float @llvm.maximumnum.f32(float %negx, float %x)
+ ret float %r
+}
+
+define <2 x double> @maximumnum_negated_op_fmf_commute_vec(<2 x double> %x) {
+; CHECK-LABEL: define <2 x double> @maximumnum_negated_op_fmf_commute_vec(
+; CHECK-SAME: <2 x double> [[X:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg <2 x double> [[X]]
+; CHECK-NEXT: [[R:%.*]] = call nnan ninf nsz <2 x double> @llvm.maximumnum.v2f64(<2 x double> [[X]], <2 x double> [[NEGX]])
+; CHECK-NEXT: ret <2 x double> [[R]]
+;
+ %negx = fneg <2 x double> %x
+ %r = call nsz nnan ninf <2 x double> @llvm.maximumnum.v2f64(<2 x double> %x, <2 x double> %negx)
+ ret <2 x double> %r
+}
+
+define float @maximumnum_negated_op_extra_use(float %x) {
+; CHECK-LABEL: define float @maximumnum_negated_op_extra_use(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X]]
+; CHECK-NEXT: call void @use(float [[NEGX]])
+; CHECK-NEXT: [[R:%.*]] = call float @llvm.maximumnum.f32(float [[NEGX]], float [[X]])
+; CHECK-NEXT: ret float [[R]]
+;
+ %negx = fneg float %x
+ call void @use(float %negx)
+ %r = call float @llvm.maximumnum.f32(float %negx, float %x)
+ ret float %r
+}
+
+define float @maximumnum_negated_op_extra_use_comm(float %x) {
+; CHECK-LABEL: define float @maximumnum_negated_op_extra_use_comm(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X]]
+; CHECK-NEXT: call void @use(float [[NEGX]])
+; CHECK-NEXT: [[R:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float [[NEGX]])
+; CHECK-NEXT: ret float [[R]]
+;
+ %negx = fneg float %x
+ call void @use(float %negx)
+ %r = call float @llvm.maximumnum.f32(float %x, float %negx)
+ ret float %r
+}
diff --git a/llvm/test/Transforms/InstCombine/minimumnum.ll b/llvm/test/Transforms/InstCombine/minimumnum.ll
new file mode 100644
index 0000000000000..b0befc3abf17f
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/minimumnum.ll
@@ -0,0 +1,471 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
+; RUN: opt -S -passes=instcombine < %s | FileCheck %s
+
+define float @minimumnum_f32_1_minimumnum_val_p0(float %x) {
+; CHECK-LABEL: define float @minimumnum_f32_1_minimumnum_val_p0(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[Z:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float 0.000000e+00)
+; CHECK-NEXT: [[Z1:%.*]] = call float @llvm.minimumnum.f32(float [[Z]], float 1.000000e+00)
+; CHECK-NEXT: ret float [[Z1]]
+;
+ %y = call float @llvm.minimumnum.f32(float %x, float 0.0)
+ %z = call float @llvm.minimumnum.f32(float %y, float 1.0)
+ ret float %z
+}
+
+define float @minimumnum_f32_1_minimumnum_p0_val_fast(float %x) {
+; CHECK-LABEL: define float @minimumnum_f32_1_minimumnum_p0_val_fast(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[Z:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float 0.000000e+00)
+; CHECK-NEXT: [[Z1:%.*]] = call fast float @llvm.minimumnum.f32(float [[Z]], float 1.000000e+00)
+; CHECK-NEXT: ret float [[Z1]]
+;
+ %y = call float @llvm.minimumnum.f32(float 0.0, float %x)
+ %z = call fast float @llvm.minimumnum.f32(float %y, float 1.0)
+ ret float %z
+}
+
+define float @minimumnum_f32_1_minimumnum_p0_val_fmf1(float %x) {
+; CHECK-LABEL: define float @minimumnum_f32_1_minimumnum_p0_val_fmf1(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[Y:%.*]] = call nnan nsz float @llvm.minimumnum.f32(float [[X]], float 0.000000e+00)
+; CHECK-NEXT: [[Z:%.*]] = call nnan ninf float @llvm.minimumnum.f32(float [[Y]], float 1.000000e+00)
+; CHECK-NEXT: ret float [[Z]]
+;
+ %y = call nsz nnan float @llvm.minimumnum.f32(float 0.0, float %x)
+ %z = call nnan ninf float @llvm.minimumnum.f32(float %y, float 1.0)
+ ret float %z
+}
+
+define float @minimumnum_f32_1_minimumnum_p0_val_fmf2(float %x) {
+; CHECK-LABEL: define float @minimumnum_f32_1_minimumnum_p0_val_fmf2(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[Y:%.*]] = call nnan ninf float @llvm.minimumnum.f32(float [[X]], float 0.000000e+00)
+; CHECK-NEXT: [[Z:%.*]] = call ninf nsz float @llvm.minimumnum.f32(float [[Y]], float 1.000000e+00)
+; CHECK-NEXT: ret float [[Z]]
+;
+ %y = call nnan ninf float @llvm.minimumnum.f32(float 0.0, float %x)
+ %z = call nsz ninf float @llvm.minimumnum.f32(float %y, float 1.0)
+ ret float %z
+}
+
+define float @minimumnum_f32_1_minimumnum_p0_val_fmf3(float %x) {
+; CHECK-LABEL: define float @minimumnum_f32_1_minimumnum_p0_val_fmf3(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[Z:%.*]] = call nnan ninf nsz float @llvm.minimumnum.f32(float [[X]], float 0.000000e+00)
+; CHECK-NEXT: [[Z1:%.*]] = call nnan ninf nsz float @llvm.minimumnum.f32(float [[Z]], float 1.000000e+00)
+; CHECK-NEXT: ret float [[Z1]]
+;
+ %y = call nsz ninf nnan float @llvm.minimumnum.f32(float 0.0, float %x)
+ %z = call nsz ninf nnan float @llvm.minimumnum.f32(float %y, float 1.0)
+ ret float %z
+}
+
+define float @minimumnum_f32_p0_minimumnum_val_n0(float %x) {
+; CHECK-LABEL: define float @minimumnum_f32_p0_minimumnum_val_n0(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[Z:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float -0.000000e+00)
+; CHECK-NEXT: [[Z1:%.*]] = call float @llvm.minimumnum.f32(float [[Z]], float 0.000000e+00)
+; CHECK-NEXT: ret float [[Z1]]
+;
+ %y = call float @llvm.minimumnum.f32(float %x, float -0.0)
+ %z = call float @llvm.minimumnum.f32(float %y, float 0.0)
+ ret float %z
+}
+
+define float @minimumnum_f32_1_minimumnum_p0_val(float %x) {
+; CHECK-LABEL: define float @minimumnum_f32_1_minimumnum_p0_val(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[Z:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float 0.000000e+00)
+; CHECK-NEXT: [[Z1:%.*]] = call float @llvm.minimumnum.f32(float [[Z]], float 1.000000e+00)
+; CHECK-NEXT: ret float [[Z1]]
+;
+ %y = call float @llvm.minimumnum.f32(float 0.0, float %x)
+ %z = call float @llvm.minimumnum.f32(float %y, float 1.0)
+ ret float %z
+}
+
+define <2 x float> @minimumnum_f32_1_minimumnum_val_p0_val_v2f32(<2 x float> %x) {
+; CHECK-LABEL: define <2 x float> @minimumnum_f32_1_minimumnum_val_p0_val_v2f32(
+; CHECK-SAME: <2 x float> [[X:%.*]]) {
+; CHECK-NEXT: [[Z:%.*]] = call <2 x float> @llvm.minimumnum.v2f32(<2 x float> [[X]], <2 x float> zeroinitializer)
+; CHECK-NEXT: [[Z1:%.*]] = call <2 x float> @llvm.minimumnum.v2f32(<2 x float> [[Z]], <2 x float> splat (float 1.000000e+00))
+; CHECK-NEXT: ret <2 x float> [[Z1]]
+;
+ %y = call <2 x float> @llvm.minimumnum.v2f32(<2 x float> %x, <2 x float> zeroinitializer)
+ %z = call <2 x float> @llvm.minimumnum.v2f32(<2 x float> %y, <2 x float><float 1.0, float 1.0>)
+ ret <2 x float> %z
+}
+
+define float @minimumnum4(float %x, float %y, float %z, float %w) {
+; CHECK-LABEL: define float @minimumnum4(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]], float [[Z:%.*]], float [[W:%.*]]) {
+; CHECK-NEXT: [[A:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float [[Y]])
+; CHECK-NEXT: [[B:%.*]] = call float @llvm.minimumnum.f32(float [[Z]], float [[W]])
+; CHECK-NEXT: [[C:%.*]] = call float @llvm.minimumnum.f32(float [[A]], float [[B]])
+; CHECK-NEXT: ret float [[C]]
+;
+ %a = call float @llvm.minimumnum.f32(float %x, float %y)
+ %b = call float @llvm.minimumnum.f32(float %z, float %w)
+ %c = call float @llvm.minimumnum.f32(float %a, float %b)
+ ret float %c
+}
+
+define float @minimumnum_x_maximumnum_x_y(float %x, float %y) {
+; CHECK-LABEL: define float @minimumnum_x_maximumnum_x_y(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
+; CHECK-NEXT: [[A:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float [[Y]])
+; CHECK-NEXT: [[B:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float [[A]])
+; CHECK-NEXT: ret float [[B]]
+;
+ %a = call float @llvm.maximumnum.f32(float %x, float %y)
+ %b = call float @llvm.minimumnum.f32(float %x, float %a)
+ ret float %b
+}
+
+define float @maximumnum_x_minimumnum_x_y(float %x, float %y) {
+; CHECK-LABEL: define float @maximumnum_x_minimumnum_x_y(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
+; CHECK-NEXT: [[A:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float [[Y]])
+; CHECK-NEXT: [[B:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float [[A]])
+; CHECK-NEXT: ret float [[B]]
+;
+ %a = call float @llvm.minimumnum.f32(float %x, float %y)
+ %b = call float @llvm.maximumnum.f32(float %x, float %a)
+ ret float %b
+}
+
+; PR37405 - https://bugs.llvm.org/show_bug.cgi?id=37405
+
+define double @minimumnum_neg_neg(double %x, double %y) {
+; CHECK-LABEL: define double @minimumnum_neg_neg(
+; CHECK-SAME: double [[X:%.*]], double [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg double [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call double @llvm.minimumnum.f64(double [[NEGX]], double [[NEGY]])
+; CHECK-NEXT: ret double [[R]]
+;
+ %negx = fsub double -0.0, %x
+ %negy = fsub double -0.0, %y
+ %r = call double @llvm.minimumnum.f64(double %negx, double %negy)
+ ret double %r
+}
+
+define double @minimumnum_unary_neg_neg(double %x, double %y) {
+; CHECK-LABEL: define double @minimumnum_unary_neg_neg(
+; CHECK-SAME: double [[X:%.*]], double [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg double [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call double @llvm.minimumnum.f64(double [[NEGX]], double [[NEGY]])
+; CHECK-NEXT: ret double [[R]]
+;
+ %negx = fneg double %x
+ %negy = fneg double %y
+ %r = call double @llvm.minimumnum.f64(double %negx, double %negy)
+ ret double %r
+}
+
+; FMF is not required, but it should be propagated from the intrinsic (not the fnegs).
+; Also, make sure this works with vectors.
+
+define <2 x double> @minimumnum_neg_neg_vec_fmf(<2 x double> %x, <2 x double> %y) {
+; CHECK-LABEL: define <2 x double> @minimumnum_neg_neg_vec_fmf(
+; CHECK-SAME: <2 x double> [[X:%.*]], <2 x double> [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg reassoc <2 x double> [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg fast <2 x double> [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call nnan ninf <2 x double> @llvm.minimumnum.v2f64(<2 x double> [[NEGX]], <2 x double> [[NEGY]])
+; CHECK-NEXT: ret <2 x double> [[R]]
+;
+ %negx = fsub reassoc <2 x double> <double -0.0, double -0.0>, %x
+ %negy = fsub fast <2 x double> <double -0.0, double -0.0>, %y
+ %r = call nnan ninf <2 x double> @llvm.minimumnum.v2f64(<2 x double> %negx, <2 x double> %negy)
+ ret <2 x double> %r
+}
+
+define <2 x double> @minimumnum_unary_neg_neg_vec_fmf(<2 x double> %x, <2 x double> %y) {
+; CHECK-LABEL: define <2 x double> @minimumnum_unary_neg_neg_vec_fmf(
+; CHECK-SAME: <2 x double> [[X:%.*]], <2 x double> [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg reassoc <2 x double> [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg fast <2 x double> [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call nnan ninf <2 x double> @llvm.minimumnum.v2f64(<2 x double> [[NEGX]], <2 x double> [[NEGY]])
+; CHECK-NEXT: ret <2 x double> [[R]]
+;
+ %negx = fneg reassoc <2 x double> %x
+ %negy = fneg fast <2 x double> %y
+ %r = call nnan ninf <2 x double> @llvm.minimumnum.v2f64(<2 x double> %negx, <2 x double> %negy)
+ ret <2 x double> %r
+}
+
+; 1 extra use of an intermediate value should still allow the fold,
+; but 2 would require more instructions than we started with.
+
+declare void @use(double)
+define double @minimumnum_neg_neg_extra_use_x(double %x, double %y) {
+; CHECK-LABEL: define double @minimumnum_neg_neg_extra_use_x(
+; CHECK-SAME: double [[X:%.*]], double [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg double [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call double @llvm.minimumnum.f64(double [[NEGX]], double [[NEGY]])
+; CHECK-NEXT: call void @use(double [[NEGX]])
+; CHECK-NEXT: ret double [[R]]
+;
+ %negx = fsub double -0.0, %x
+ %negy = fsub double -0.0, %y
+ %r = call double @llvm.minimumnum.f64(double %negx, double %negy)
+ call void @use(double %negx)
+ ret double %r
+}
+
+define double @minimumnum_unary_neg_neg_extra_use_x(double %x, double %y) {
+; CHECK-LABEL: define double @minimumnum_unary_neg_neg_extra_use_x(
+; CHECK-SAME: double [[X:%.*]], double [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg double [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call double @llvm.minimumnum.f64(double [[NEGX]], double [[NEGY]])
+; CHECK-NEXT: call void @use(double [[NEGX]])
+; CHECK-NEXT: ret double [[R]]
+;
+ %negx = fneg double %x
+ %negy = fneg double %y
+ %r = call double @llvm.minimumnum.f64(double %negx, double %negy)
+ call void @use(double %negx)
+ ret double %r
+}
+
+define double @minimumnum_neg_neg_extra_use_y(double %x, double %y) {
+; CHECK-LABEL: define double @minimumnum_neg_neg_extra_use_y(
+; CHECK-SAME: double [[X:%.*]], double [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg double [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call double @llvm.minimumnum.f64(double [[NEGX]], double [[NEGY]])
+; CHECK-NEXT: call void @use(double [[NEGY]])
+; CHECK-NEXT: ret double [[R]]
+;
+ %negx = fsub double -0.0, %x
+ %negy = fsub double -0.0, %y
+ %r = call double @llvm.minimumnum.f64(double %negx, double %negy)
+ call void @use(double %negy)
+ ret double %r
+}
+
+define double @minimumnum_unary_neg_neg_extra_use_y(double %x, double %y) {
+; CHECK-LABEL: define double @minimumnum_unary_neg_neg_extra_use_y(
+; CHECK-SAME: double [[X:%.*]], double [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg double [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call double @llvm.minimumnum.f64(double [[NEGX]], double [[NEGY]])
+; CHECK-NEXT: call void @use(double [[NEGY]])
+; CHECK-NEXT: ret double [[R]]
+;
+ %negx = fneg double %x
+ %negy = fneg double %y
+ %r = call double @llvm.minimumnum.f64(double %negx, double %negy)
+ call void @use(double %negy)
+ ret double %r
+}
+
+define double @minimumnum_neg_neg_extra_use_x_and_y(double %x, double %y) {
+; CHECK-LABEL: define double @minimumnum_neg_neg_extra_use_x_and_y(
+; CHECK-SAME: double [[X:%.*]], double [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg double [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call double @llvm.minimumnum.f64(double [[NEGX]], double [[NEGY]])
+; CHECK-NEXT: call void @use(double [[NEGX]])
+; CHECK-NEXT: call void @use(double [[NEGY]])
+; CHECK-NEXT: ret double [[R]]
+;
+ %negx = fsub double -0.0, %x
+ %negy = fsub double -0.0, %y
+ %r = call double @llvm.minimumnum.f64(double %negx, double %negy)
+ call void @use(double %negx)
+ call void @use(double %negy)
+ ret double %r
+}
+
+define double @minimumnum_unary_neg_neg_extra_use_x_and_y(double %x, double %y) {
+; CHECK-LABEL: define double @minimumnum_unary_neg_neg_extra_use_x_and_y(
+; CHECK-SAME: double [[X:%.*]], double [[Y:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X]]
+; CHECK-NEXT: [[NEGY:%.*]] = fneg double [[Y]]
+; CHECK-NEXT: [[R:%.*]] = call double @llvm.minimumnum.f64(double [[NEGX]], double [[NEGY]])
+; CHECK-NEXT: call void @use(double [[NEGX]])
+; CHECK-NEXT: call void @use(double [[NEGY]])
+; CHECK-NEXT: ret double [[R]]
+;
+ %negx = fneg double %x
+ %negy = fneg double %y
+ %r = call double @llvm.minimumnum.f64(double %negx, double %negy)
+ call void @use(double %negx)
+ call void @use(double %negy)
+ ret double %r
+}
+
+define float @minimumnum_reduce_precision(float %x, float %y) {
+; CHECK-LABEL: define float @minimumnum_reduce_precision(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
+; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
+; CHECK-NEXT: [[Y_EXT:%.*]] = fpext float [[Y]] to double
+; CHECK-NEXT: [[MINIMUMNUM:%.*]] = call double @llvm.minimumnum.f64(double [[X_EXT]], double [[Y_EXT]])
+; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MINIMUMNUM]] to float
+; CHECK-NEXT: ret float [[TRUNC]]
+;
+ %x.ext = fpext float %x to double
+ %y.ext = fpext float %y to double
+ %minimumnum = call double @llvm.minimumnum.f64(double %x.ext, double %y.ext)
+ %trunc = fptrunc double %minimumnum to float
+ ret float %trunc
+}
+
+define float @minimumnum_reduce_precision_fmf(float %x, float %y) {
+; CHECK-LABEL: define float @minimumnum_reduce_precision_fmf(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
+; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
+; CHECK-NEXT: [[Y_EXT:%.*]] = fpext float [[Y]] to double
+; CHECK-NEXT: [[MINIMUMNUM:%.*]] = call nnan double @llvm.minimumnum.f64(double [[X_EXT]], double [[Y_EXT]])
+; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MINIMUMNUM]] to float
+; CHECK-NEXT: ret float [[TRUNC]]
+;
+ %x.ext = fpext float %x to double
+ %y.ext = fpext float %y to double
+ %minimumnum = call nnan double @llvm.minimumnum.f64(double %x.ext, double %y.ext)
+ %trunc = fptrunc double %minimumnum to float
+ ret float %trunc
+}
+
+define float @minimumnum_reduce_precision_multi_use_0(float %x, float %y, ptr %p) {
+; CHECK-LABEL: define float @minimumnum_reduce_precision_multi_use_0(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]], ptr [[P:%.*]]) {
+; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
+; CHECK-NEXT: [[Y_EXT:%.*]] = fpext float [[Y]] to double
+; CHECK-NEXT: store double [[X_EXT]], ptr [[P]], align 8
+; CHECK-NEXT: [[MINIMUMNUM:%.*]] = call double @llvm.minimumnum.f64(double [[X_EXT]], double [[Y_EXT]])
+; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MINIMUMNUM]] to float
+; CHECK-NEXT: ret float [[TRUNC]]
+;
+ %x.ext = fpext float %x to double
+ %y.ext = fpext float %y to double
+ store double %x.ext, ptr %p
+ %minimumnum = call double @llvm.minimumnum.f64(double %x.ext, double %y.ext)
+ %trunc = fptrunc double %minimumnum to float
+ ret float %trunc
+}
+
+define float @minimumnum_reduce_precision_multi_use_1(float %x, float %y, ptr %p) {
+; CHECK-LABEL: define float @minimumnum_reduce_precision_multi_use_1(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]], ptr [[P:%.*]]) {
+; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
+; CHECK-NEXT: [[Y_EXT:%.*]] = fpext float [[Y]] to double
+; CHECK-NEXT: store double [[Y_EXT]], ptr [[P]], align 8
+; CHECK-NEXT: [[MINIMUMNUM:%.*]] = call double @llvm.minimumnum.f64(double [[X_EXT]], double [[Y_EXT]])
+; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MINIMUMNUM]] to float
+; CHECK-NEXT: ret float [[TRUNC]]
+;
+ %x.ext = fpext float %x to double
+ %y.ext = fpext float %y to double
+ store double %y.ext, ptr %p
+ %minimumnum = call double @llvm.minimumnum.f64(double %x.ext, double %y.ext)
+ %trunc = fptrunc double %minimumnum to float
+ ret float %trunc
+}
+
+define float @minimumnum_reduce_precision_multi_use_2(float %x, float %y, ptr %p, ptr %p2) {
+; CHECK-LABEL: define float @minimumnum_reduce_precision_multi_use_2(
+; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]], ptr [[P:%.*]], ptr [[P2:%.*]]) {
+; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
+; CHECK-NEXT: [[Y_EXT:%.*]] = fpext float [[Y]] to double
+; CHECK-NEXT: store double [[X_EXT]], ptr [[P]], align 8
+; CHECK-NEXT: store double [[Y_EXT]], ptr [[P2]], align 8
+; CHECK-NEXT: [[MINIMUMNUM:%.*]] = call double @llvm.minimumnum.f64(double [[X_EXT]], double [[Y_EXT]])
+; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MINIMUMNUM]] to float
+; CHECK-NEXT: ret float [[TRUNC]]
+;
+ %x.ext = fpext float %x to double
+ %y.ext = fpext float %y to double
+ store double %x.ext, ptr %p
+ store double %y.ext, ptr %p2
+ %minimumnum = call double @llvm.minimumnum.f64(double %x.ext, double %y.ext)
+ %trunc = fptrunc double %minimumnum to float
+ ret float %trunc
+}
+
+define float @minimumnum_reduce_precision_const(float %x) {
+; CHECK-LABEL: define float @minimumnum_reduce_precision_const(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
+; CHECK-NEXT: [[MINIMUMNUM:%.*]] = call double @llvm.minimumnum.f64(double [[X_EXT]], double 1.000000e+00)
+; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MINIMUMNUM]] to float
+; CHECK-NEXT: ret float [[TRUNC]]
+;
+ %x.ext = fpext float %x to double
+ %minimumnum = call double @llvm.minimumnum.f64(double %x.ext, double 1.0)
+ %trunc = fptrunc double %minimumnum to float
+ ret float %trunc
+}
+
+define float @minimumnum_reduce_precision_const_not_lossless(float %x) {
+; CHECK-LABEL: define float @minimumnum_reduce_precision_const_not_lossless(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
+; CHECK-NEXT: [[MINIMUMNUM:%.*]] = call double @llvm.minimumnum.f64(double [[X_EXT]], double 1.000000e-01)
+; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MINIMUMNUM]] to float
+; CHECK-NEXT: ret float [[TRUNC]]
+;
+ %x.ext = fpext float %x to double
+ %minimumnum = call double @llvm.minimumnum.f64(double %x.ext, double 0.1)
+ %trunc = fptrunc double %minimumnum to float
+ ret float %trunc
+}
+
+define float @minimumnum_reduce_precision_const_multi_use(float %x) {
+; CHECK-LABEL: define float @minimumnum_reduce_precision_const_multi_use(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
+; CHECK-NEXT: call void @use(double [[X_EXT]])
+; CHECK-NEXT: [[MINIMUMNUM:%.*]] = call double @llvm.minimumnum.f64(double [[X_EXT]], double 1.000000e+00)
+; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MINIMUMNUM]] to float
+; CHECK-NEXT: ret float [[TRUNC]]
+;
+ %x.ext = fpext float %x to double
+ call void @use(double %x.ext)
+ %minimumnum = call double @llvm.minimumnum.f64(double %x.ext, double 1.0)
+ %trunc = fptrunc double %minimumnum to float
+ ret float %trunc
+}
+
+define float @minimumnum_negated_op(float %x) {
+; CHECK-LABEL: define float @minimumnum_negated_op(
+; CHECK-SAME: float [[X:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X]]
+; CHECK-NEXT: [[R:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float [[NEGX]])
+; CHECK-NEXT: ret float [[R]]
+;
+ %negx = fneg float %x
+ %r = call float @llvm.minimumnum.f32(float %x, float %negx)
+ ret float %r
+}
+
+define <2 x double> @minimumnum_negated_op_fmf_commute_vec(<2 x double> %x) {
+; CHECK-LABEL: define <2 x double> @minimumnum_negated_op_fmf_commute_vec(
+; CHECK-SAME: <2 x double> [[X:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg <2 x double> [[X]]
+; CHECK-NEXT: [[R:%.*]] = call nnan ninf nsz <2 x double> @llvm.minimumnum.v2f64(<2 x double> [[NEGX]], <2 x double> [[X]])
+; CHECK-NEXT: ret <2 x double> [[R]]
+;
+ %negx = fneg <2 x double> %x
+ %r = call nsz nnan ninf <2 x double> @llvm.minimumnum.v2f64(<2 x double> %negx, <2 x double> %x)
+ ret <2 x double> %r
+}
+
+define double @minimumnum_negated_op_extra_use(double %x) {
+; CHECK-LABEL: define double @minimumnum_negated_op_extra_use(
+; CHECK-SAME: double [[X:%.*]]) {
+; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X]]
+; CHECK-NEXT: call void @use(double [[NEGX]])
+; CHECK-NEXT: [[R:%.*]] = call double @llvm.minimumnum.f64(double [[NEGX]], double [[X]])
+; CHECK-NEXT: ret double [[R]]
+;
+ %negx = fneg double %x
+ call void @use(double %negx)
+ %r = call double @llvm.minimumnum.f64(double %negx, double %x)
+ ret double %r
+}
>From c2a5daa693b5d65cf03e00c5b8907e1c31268c71 Mon Sep 17 00:00:00 2001
From: Nikita Popov <npopov at redhat.com>
Date: Mon, 9 Feb 2026 15:06:48 +0100
Subject: [PATCH 2/2] Handle minimumnum and maximumnum
---
.../InstCombine/InstCombineCalls.cpp | 20 ++++-
.../test/Transforms/InstCombine/maximumnum.ll | 83 +++++++----------
.../test/Transforms/InstCombine/minimumnum.ll | 90 +++++++------------
3 files changed, 81 insertions(+), 112 deletions(-)
diff --git a/llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp b/llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
index 90bbd102868c5..6476a38b8a545 100644
--- a/llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
+++ b/llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
@@ -2801,6 +2801,8 @@ Instruction *InstCombinerImpl::visitCallInst(CallInst &CI) {
case Intrinsic::minnum:
case Intrinsic::maxnum:
+ case Intrinsic::minimumnum:
+ case Intrinsic::maximumnum:
case Intrinsic::minimum:
case Intrinsic::maximum: {
Value *Arg0 = II->getArgOperand(0);
@@ -2819,6 +2821,12 @@ Instruction *InstCombinerImpl::visitCallInst(CallInst &CI) {
case Intrinsic::minnum:
NewIID = Intrinsic::maxnum;
break;
+ case Intrinsic::maximumnum:
+ NewIID = Intrinsic::minimumnum;
+ break;
+ case Intrinsic::minimumnum:
+ NewIID = Intrinsic::maximumnum;
+ break;
case Intrinsic::maximum:
NewIID = Intrinsic::minimum;
break;
@@ -2850,6 +2858,12 @@ Instruction *InstCombinerImpl::visitCallInst(CallInst &CI) {
case Intrinsic::minnum:
Res = minnum(*C1, *C2);
break;
+ case Intrinsic::maximumnum:
+ Res = maximumnum(*C1, *C2);
+ break;
+ case Intrinsic::minimumnum:
+ Res = minimumnum(*C1, *C2);
+ break;
case Intrinsic::maximum:
Res = maximum(*C1, *C2);
break;
@@ -2899,13 +2913,15 @@ Instruction *InstCombinerImpl::visitCallInst(CallInst &CI) {
auto IsMinMaxOrXNegX = [IID, &X](Value *Op0, Value *Op1) {
if (match(Op0, m_FNeg(m_Value(X))) && match(Op1, m_Specific(X)))
return Op0->hasOneUse() ||
- (IID != Intrinsic::minimum && IID != Intrinsic::minnum);
+ (IID != Intrinsic::minimum && IID != Intrinsic::minnum &&
+ IID != Intrinsic::minimumnum);
return false;
};
if (IsMinMaxOrXNegX(Arg0, Arg1) || IsMinMaxOrXNegX(Arg1, Arg0)) {
Value *R = Builder.CreateUnaryIntrinsic(Intrinsic::fabs, X, II);
- if (IID == Intrinsic::minimum || IID == Intrinsic::minnum)
+ if (IID == Intrinsic::minimum || IID == Intrinsic::minnum ||
+ IID == Intrinsic::minimumnum)
R = Builder.CreateFNegFMF(R, II);
return replaceInstUsesWith(*II, R);
}
diff --git a/llvm/test/Transforms/InstCombine/maximumnum.ll b/llvm/test/Transforms/InstCombine/maximumnum.ll
index 39f328f8ecc21..8d58faaf233cf 100644
--- a/llvm/test/Transforms/InstCombine/maximumnum.ll
+++ b/llvm/test/Transforms/InstCombine/maximumnum.ll
@@ -4,8 +4,7 @@
define float @maximumnum_f32_1_maximumnum_val_p0(float %x) {
; CHECK-LABEL: define float @maximumnum_f32_1_maximumnum_val_p0(
; CHECK-SAME: float [[X:%.*]]) {
-; CHECK-NEXT: [[Y:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float 0.000000e+00)
-; CHECK-NEXT: [[Z:%.*]] = call float @llvm.maximumnum.f32(float [[Y]], float 1.000000e+00)
+; CHECK-NEXT: [[Z:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float 1.000000e+00)
; CHECK-NEXT: ret float [[Z]]
;
%y = call float @llvm.maximumnum.f32(float %x, float 0.0)
@@ -16,8 +15,7 @@ define float @maximumnum_f32_1_maximumnum_val_p0(float %x) {
define float @maximumnum_f32_1_maximumnum_p0_val_fast(float %x) {
; CHECK-LABEL: define float @maximumnum_f32_1_maximumnum_p0_val_fast(
; CHECK-SAME: float [[X:%.*]]) {
-; CHECK-NEXT: [[Y:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float 0.000000e+00)
-; CHECK-NEXT: [[Z:%.*]] = call fast float @llvm.maximumnum.f32(float [[Y]], float 1.000000e+00)
+; CHECK-NEXT: [[Z:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float 1.000000e+00)
; CHECK-NEXT: ret float [[Z]]
;
%y = call float @llvm.maximumnum.f32(float 0.0, float %x)
@@ -28,8 +26,7 @@ define float @maximumnum_f32_1_maximumnum_p0_val_fast(float %x) {
define float @maximumnum_f32_1_maximumnum_p0_val_fmf1(float %x) {
; CHECK-LABEL: define float @maximumnum_f32_1_maximumnum_p0_val_fmf1(
; CHECK-SAME: float [[X:%.*]]) {
-; CHECK-NEXT: [[Y:%.*]] = call nnan float @llvm.maximumnum.f32(float [[X]], float 0.000000e+00)
-; CHECK-NEXT: [[Z:%.*]] = call nnan ninf float @llvm.maximumnum.f32(float [[Y]], float 1.000000e+00)
+; CHECK-NEXT: [[Z:%.*]] = call nnan float @llvm.maximumnum.f32(float [[X]], float 1.000000e+00)
; CHECK-NEXT: ret float [[Z]]
;
%y = call nnan float @llvm.maximumnum.f32(float 0.0, float %x)
@@ -40,8 +37,7 @@ define float @maximumnum_f32_1_maximumnum_p0_val_fmf1(float %x) {
define float @maximumnum_f32_1_maximumnum_p0_val_fmf2(float %x) {
; CHECK-LABEL: define float @maximumnum_f32_1_maximumnum_p0_val_fmf2(
; CHECK-SAME: float [[X:%.*]]) {
-; CHECK-NEXT: [[Y:%.*]] = call nnan ninf float @llvm.maximumnum.f32(float [[X]], float 0.000000e+00)
-; CHECK-NEXT: [[Z:%.*]] = call ninf float @llvm.maximumnum.f32(float [[Y]], float 1.000000e+00)
+; CHECK-NEXT: [[Z:%.*]] = call ninf float @llvm.maximumnum.f32(float [[X]], float 1.000000e+00)
; CHECK-NEXT: ret float [[Z]]
;
%y = call nnan ninf float @llvm.maximumnum.f32(float 0.0, float %x)
@@ -52,8 +48,7 @@ define float @maximumnum_f32_1_maximumnum_p0_val_fmf2(float %x) {
define float @maximumnum_f32_1_maximumnum_p0_val_fmf3(float %x) {
; CHECK-LABEL: define float @maximumnum_f32_1_maximumnum_p0_val_fmf3(
; CHECK-SAME: float [[X:%.*]]) {
-; CHECK-NEXT: [[Y:%.*]] = call nnan ninf float @llvm.maximumnum.f32(float [[X]], float 0.000000e+00)
-; CHECK-NEXT: [[Z:%.*]] = call nnan ninf float @llvm.maximumnum.f32(float [[Y]], float 1.000000e+00)
+; CHECK-NEXT: [[Z:%.*]] = call nnan ninf float @llvm.maximumnum.f32(float [[X]], float 1.000000e+00)
; CHECK-NEXT: ret float [[Z]]
;
%y = call ninf nnan float @llvm.maximumnum.f32(float 0.0, float %x)
@@ -64,8 +59,7 @@ define float @maximumnum_f32_1_maximumnum_p0_val_fmf3(float %x) {
define float @maximumnum_f32_p0_maximumnum_val_n0(float %x) {
; CHECK-LABEL: define float @maximumnum_f32_p0_maximumnum_val_n0(
; CHECK-SAME: float [[X:%.*]]) {
-; CHECK-NEXT: [[Y:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float -0.000000e+00)
-; CHECK-NEXT: [[Z:%.*]] = call float @llvm.maximumnum.f32(float [[Y]], float 0.000000e+00)
+; CHECK-NEXT: [[Z:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float 0.000000e+00)
; CHECK-NEXT: ret float [[Z]]
;
%y = call float @llvm.maximumnum.f32(float %x, float -0.0)
@@ -76,8 +70,7 @@ define float @maximumnum_f32_p0_maximumnum_val_n0(float %x) {
define float @maximumnum_f32_1_maximumnum_p0_val(float %x) {
; CHECK-LABEL: define float @maximumnum_f32_1_maximumnum_p0_val(
; CHECK-SAME: float [[X:%.*]]) {
-; CHECK-NEXT: [[Y:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float 0.000000e+00)
-; CHECK-NEXT: [[Z:%.*]] = call float @llvm.maximumnum.f32(float [[Y]], float 1.000000e+00)
+; CHECK-NEXT: [[Z:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float 1.000000e+00)
; CHECK-NEXT: ret float [[Z]]
;
%y = call float @llvm.maximumnum.f32(float 0.0, float %x)
@@ -88,8 +81,7 @@ define float @maximumnum_f32_1_maximumnum_p0_val(float %x) {
define <2 x float> @maximumnum_f32_1_maximumnum_val_p0_val_v2f32(<2 x float> %x) {
; CHECK-LABEL: define <2 x float> @maximumnum_f32_1_maximumnum_val_p0_val_v2f32(
; CHECK-SAME: <2 x float> [[X:%.*]]) {
-; CHECK-NEXT: [[Y:%.*]] = call <2 x float> @llvm.maximumnum.v2f32(<2 x float> [[X]], <2 x float> zeroinitializer)
-; CHECK-NEXT: [[Z:%.*]] = call <2 x float> @llvm.maximumnum.v2f32(<2 x float> [[Y]], <2 x float> splat (float 1.000000e+00))
+; CHECK-NEXT: [[Z:%.*]] = call <2 x float> @llvm.maximumnum.v2f32(<2 x float> [[X]], <2 x float> splat (float 1.000000e+00))
; CHECK-NEXT: ret <2 x float> [[Z]]
;
%y = call <2 x float> @llvm.maximumnum.v2f32(<2 x float> %x, <2 x float> zeroinitializer)
@@ -116,9 +108,8 @@ define float @maximumnum4(float %x, float %y, float %z, float %w) {
define <2 x float> @maximumnum_neg_neg(<2 x float> %x, <2 x float> %y) {
; CHECK-LABEL: define <2 x float> @maximumnum_neg_neg(
; CHECK-SAME: <2 x float> [[X:%.*]], <2 x float> [[Y:%.*]]) {
-; CHECK-NEXT: [[NEGX:%.*]] = fneg <2 x float> [[X]]
-; CHECK-NEXT: [[NEGY:%.*]] = fneg <2 x float> [[Y]]
-; CHECK-NEXT: [[R:%.*]] = call <2 x float> @llvm.maximumnum.v2f32(<2 x float> [[NEGX]], <2 x float> [[NEGY]])
+; CHECK-NEXT: [[TMP1:%.*]] = call <2 x float> @llvm.minimumnum.v2f32(<2 x float> [[X]], <2 x float> [[Y]])
+; CHECK-NEXT: [[R:%.*]] = fneg <2 x float> [[TMP1]]
; CHECK-NEXT: ret <2 x float> [[R]]
;
%negx = fsub <2 x float> <float -0.0, float -0.0>, %x
@@ -132,9 +123,8 @@ define <2 x float> @maximumnum_neg_neg(<2 x float> %x, <2 x float> %y) {
define float @maximumnum_neg_neg_vec_fmf(float %x, float %y) {
; CHECK-LABEL: define float @maximumnum_neg_neg_vec_fmf(
; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
-; CHECK-NEXT: [[NEGX:%.*]] = fneg arcp float [[X]]
-; CHECK-NEXT: [[NEGY:%.*]] = fneg afn float [[Y]]
-; CHECK-NEXT: [[R:%.*]] = call fast float @llvm.maximumnum.f32(float [[NEGX]], float [[NEGY]])
+; CHECK-NEXT: [[TMP1:%.*]] = call fast float @llvm.minimumnum.f32(float [[X]], float [[Y]])
+; CHECK-NEXT: [[R:%.*]] = fneg fast float [[TMP1]]
; CHECK-NEXT: ret float [[R]]
;
%negx = fsub arcp float -0.0, %x
@@ -146,9 +136,8 @@ define float @maximumnum_neg_neg_vec_fmf(float %x, float %y) {
define float @maximumnum_unary_neg_neg_vec_fmf(float %x, float %y) {
; CHECK-LABEL: define float @maximumnum_unary_neg_neg_vec_fmf(
; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
-; CHECK-NEXT: [[NEGX:%.*]] = fneg arcp float [[X]]
-; CHECK-NEXT: [[NEGY:%.*]] = fneg afn float [[Y]]
-; CHECK-NEXT: [[R:%.*]] = call fast float @llvm.maximumnum.f32(float [[NEGX]], float [[NEGY]])
+; CHECK-NEXT: [[TMP1:%.*]] = call fast float @llvm.minimumnum.f32(float [[X]], float [[Y]])
+; CHECK-NEXT: [[R:%.*]] = fneg fast float [[TMP1]]
; CHECK-NEXT: ret float [[R]]
;
%negx = fneg arcp float %x
@@ -165,8 +154,8 @@ define float @maximumnum_neg_neg_extra_use_x(float %x, float %y) {
; CHECK-LABEL: define float @maximumnum_neg_neg_extra_use_x(
; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X]]
-; CHECK-NEXT: [[NEGY:%.*]] = fneg float [[Y]]
-; CHECK-NEXT: [[R:%.*]] = call float @llvm.maximumnum.f32(float [[NEGX]], float [[NEGY]])
+; CHECK-NEXT: [[TMP1:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float [[Y]])
+; CHECK-NEXT: [[R:%.*]] = fneg float [[TMP1]]
; CHECK-NEXT: call void @use(float [[NEGX]])
; CHECK-NEXT: ret float [[R]]
;
@@ -181,8 +170,8 @@ define float @maximumnum_unary_neg_neg_extra_use_x(float %x, float %y) {
; CHECK-LABEL: define float @maximumnum_unary_neg_neg_extra_use_x(
; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X]]
-; CHECK-NEXT: [[NEGY:%.*]] = fneg float [[Y]]
-; CHECK-NEXT: [[R:%.*]] = call float @llvm.maximumnum.f32(float [[NEGX]], float [[NEGY]])
+; CHECK-NEXT: [[TMP1:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float [[Y]])
+; CHECK-NEXT: [[R:%.*]] = fneg float [[TMP1]]
; CHECK-NEXT: call void @use(float [[NEGX]])
; CHECK-NEXT: ret float [[R]]
;
@@ -196,9 +185,9 @@ define float @maximumnum_unary_neg_neg_extra_use_x(float %x, float %y) {
define float @maximumnum_neg_neg_extra_use_y(float %x, float %y) {
; CHECK-LABEL: define float @maximumnum_neg_neg_extra_use_y(
; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
-; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X]]
; CHECK-NEXT: [[NEGY:%.*]] = fneg float [[Y]]
-; CHECK-NEXT: [[R:%.*]] = call float @llvm.maximumnum.f32(float [[NEGX]], float [[NEGY]])
+; CHECK-NEXT: [[TMP1:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float [[Y]])
+; CHECK-NEXT: [[R:%.*]] = fneg float [[TMP1]]
; CHECK-NEXT: call void @use(float [[NEGY]])
; CHECK-NEXT: ret float [[R]]
;
@@ -212,9 +201,9 @@ define float @maximumnum_neg_neg_extra_use_y(float %x, float %y) {
define float @maximumnum_unary_neg_neg_extra_use_y(float %x, float %y) {
; CHECK-LABEL: define float @maximumnum_unary_neg_neg_extra_use_y(
; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
-; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X]]
; CHECK-NEXT: [[NEGY:%.*]] = fneg float [[Y]]
-; CHECK-NEXT: [[R:%.*]] = call float @llvm.maximumnum.f32(float [[NEGX]], float [[NEGY]])
+; CHECK-NEXT: [[TMP1:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float [[Y]])
+; CHECK-NEXT: [[R:%.*]] = fneg float [[TMP1]]
; CHECK-NEXT: call void @use(float [[NEGY]])
; CHECK-NEXT: ret float [[R]]
;
@@ -264,10 +253,7 @@ define float @maximumnum_unary_neg_neg_extra_use_x_and_y(float %x, float %y) {
define float @maximumnum_reduce_precision(float %x, float %y) {
; CHECK-LABEL: define float @maximumnum_reduce_precision(
; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
-; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
-; CHECK-NEXT: [[Y_EXT:%.*]] = fpext float [[Y]] to double
-; CHECK-NEXT: [[MAXIMUMNUM:%.*]] = call double @llvm.maximumnum.f64(double [[X_EXT]], double [[Y_EXT]])
-; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MAXIMUMNUM]] to float
+; CHECK-NEXT: [[TRUNC:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float [[Y]])
; CHECK-NEXT: ret float [[TRUNC]]
;
%x.ext = fpext float %x to double
@@ -280,10 +266,7 @@ define float @maximumnum_reduce_precision(float %x, float %y) {
define float @maximumnum_reduce_precision_fmf(float %x, float %y) {
; CHECK-LABEL: define float @maximumnum_reduce_precision_fmf(
; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
-; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
-; CHECK-NEXT: [[Y_EXT:%.*]] = fpext float [[Y]] to double
-; CHECK-NEXT: [[MAXIMUMNUM:%.*]] = call nnan double @llvm.maximumnum.f64(double [[X_EXT]], double [[Y_EXT]])
-; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MAXIMUMNUM]] to float
+; CHECK-NEXT: [[TRUNC:%.*]] = call nnan float @llvm.maximumnum.f32(float [[X]], float [[Y]])
; CHECK-NEXT: ret float [[TRUNC]]
;
%x.ext = fpext float %x to double
@@ -297,10 +280,8 @@ define float @maximumnum_reduce_precision_multi_use_0(float %x, float %y, ptr %p
; CHECK-LABEL: define float @maximumnum_reduce_precision_multi_use_0(
; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]], ptr [[P:%.*]]) {
; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
-; CHECK-NEXT: [[Y_EXT:%.*]] = fpext float [[Y]] to double
; CHECK-NEXT: store double [[X_EXT]], ptr [[P]], align 8
-; CHECK-NEXT: [[MAXIMUMNUM:%.*]] = call double @llvm.maximumnum.f64(double [[X_EXT]], double [[Y_EXT]])
-; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MAXIMUMNUM]] to float
+; CHECK-NEXT: [[TRUNC:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float [[Y]])
; CHECK-NEXT: ret float [[TRUNC]]
;
%x.ext = fpext float %x to double
@@ -314,11 +295,9 @@ define float @maximumnum_reduce_precision_multi_use_0(float %x, float %y, ptr %p
define float @reduce_precision_multi_use_1(float %x, float %y, ptr %p) {
; CHECK-LABEL: define float @reduce_precision_multi_use_1(
; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]], ptr [[P:%.*]]) {
-; CHECK-NEXT: [[Y_EXT:%.*]] = fpext float [[X]] to double
; CHECK-NEXT: [[Y_EXT1:%.*]] = fpext float [[Y]] to double
; CHECK-NEXT: store double [[Y_EXT1]], ptr [[P]], align 8
-; CHECK-NEXT: [[MAXNUM:%.*]] = call double @llvm.maximumnum.f64(double [[Y_EXT]], double [[Y_EXT1]])
-; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MAXNUM]] to float
+; CHECK-NEXT: [[TRUNC:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float [[Y]])
; CHECK-NEXT: ret float [[TRUNC]]
;
%x.ext = fpext float %x to double
@@ -352,8 +331,7 @@ define float @maximumnum_reduce_precision_multi_use_2(float %x, float %y, ptr %p
define float @maximumnum_negated_op(float %x) {
; CHECK-LABEL: define float @maximumnum_negated_op(
; CHECK-SAME: float [[X:%.*]]) {
-; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X]]
-; CHECK-NEXT: [[R:%.*]] = call float @llvm.maximumnum.f32(float [[NEGX]], float [[X]])
+; CHECK-NEXT: [[R:%.*]] = call float @llvm.fabs.f32(float [[X]])
; CHECK-NEXT: ret float [[R]]
;
%negx = fneg float %x
@@ -364,8 +342,7 @@ define float @maximumnum_negated_op(float %x) {
define <2 x double> @maximumnum_negated_op_fmf_commute_vec(<2 x double> %x) {
; CHECK-LABEL: define <2 x double> @maximumnum_negated_op_fmf_commute_vec(
; CHECK-SAME: <2 x double> [[X:%.*]]) {
-; CHECK-NEXT: [[NEGX:%.*]] = fneg <2 x double> [[X]]
-; CHECK-NEXT: [[R:%.*]] = call nnan ninf nsz <2 x double> @llvm.maximumnum.v2f64(<2 x double> [[X]], <2 x double> [[NEGX]])
+; CHECK-NEXT: [[R:%.*]] = call nnan ninf nsz <2 x double> @llvm.fabs.v2f64(<2 x double> [[X]])
; CHECK-NEXT: ret <2 x double> [[R]]
;
%negx = fneg <2 x double> %x
@@ -378,7 +355,7 @@ define float @maximumnum_negated_op_extra_use(float %x) {
; CHECK-SAME: float [[X:%.*]]) {
; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X]]
; CHECK-NEXT: call void @use(float [[NEGX]])
-; CHECK-NEXT: [[R:%.*]] = call float @llvm.maximumnum.f32(float [[NEGX]], float [[X]])
+; CHECK-NEXT: [[R:%.*]] = call float @llvm.fabs.f32(float [[X]])
; CHECK-NEXT: ret float [[R]]
;
%negx = fneg float %x
@@ -392,7 +369,7 @@ define float @maximumnum_negated_op_extra_use_comm(float %x) {
; CHECK-SAME: float [[X:%.*]]) {
; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X]]
; CHECK-NEXT: call void @use(float [[NEGX]])
-; CHECK-NEXT: [[R:%.*]] = call float @llvm.maximumnum.f32(float [[X]], float [[NEGX]])
+; CHECK-NEXT: [[R:%.*]] = call float @llvm.fabs.f32(float [[X]])
; CHECK-NEXT: ret float [[R]]
;
%negx = fneg float %x
diff --git a/llvm/test/Transforms/InstCombine/minimumnum.ll b/llvm/test/Transforms/InstCombine/minimumnum.ll
index b0befc3abf17f..cbf5bfc442706 100644
--- a/llvm/test/Transforms/InstCombine/minimumnum.ll
+++ b/llvm/test/Transforms/InstCombine/minimumnum.ll
@@ -5,8 +5,7 @@ define float @minimumnum_f32_1_minimumnum_val_p0(float %x) {
; CHECK-LABEL: define float @minimumnum_f32_1_minimumnum_val_p0(
; CHECK-SAME: float [[X:%.*]]) {
; CHECK-NEXT: [[Z:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float 0.000000e+00)
-; CHECK-NEXT: [[Z1:%.*]] = call float @llvm.minimumnum.f32(float [[Z]], float 1.000000e+00)
-; CHECK-NEXT: ret float [[Z1]]
+; CHECK-NEXT: ret float [[Z]]
;
%y = call float @llvm.minimumnum.f32(float %x, float 0.0)
%z = call float @llvm.minimumnum.f32(float %y, float 1.0)
@@ -17,8 +16,7 @@ define float @minimumnum_f32_1_minimumnum_p0_val_fast(float %x) {
; CHECK-LABEL: define float @minimumnum_f32_1_minimumnum_p0_val_fast(
; CHECK-SAME: float [[X:%.*]]) {
; CHECK-NEXT: [[Z:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float 0.000000e+00)
-; CHECK-NEXT: [[Z1:%.*]] = call fast float @llvm.minimumnum.f32(float [[Z]], float 1.000000e+00)
-; CHECK-NEXT: ret float [[Z1]]
+; CHECK-NEXT: ret float [[Z]]
;
%y = call float @llvm.minimumnum.f32(float 0.0, float %x)
%z = call fast float @llvm.minimumnum.f32(float %y, float 1.0)
@@ -28,8 +26,7 @@ define float @minimumnum_f32_1_minimumnum_p0_val_fast(float %x) {
define float @minimumnum_f32_1_minimumnum_p0_val_fmf1(float %x) {
; CHECK-LABEL: define float @minimumnum_f32_1_minimumnum_p0_val_fmf1(
; CHECK-SAME: float [[X:%.*]]) {
-; CHECK-NEXT: [[Y:%.*]] = call nnan nsz float @llvm.minimumnum.f32(float [[X]], float 0.000000e+00)
-; CHECK-NEXT: [[Z:%.*]] = call nnan ninf float @llvm.minimumnum.f32(float [[Y]], float 1.000000e+00)
+; CHECK-NEXT: [[Z:%.*]] = call nnan float @llvm.minimumnum.f32(float [[X]], float 0.000000e+00)
; CHECK-NEXT: ret float [[Z]]
;
%y = call nsz nnan float @llvm.minimumnum.f32(float 0.0, float %x)
@@ -40,8 +37,7 @@ define float @minimumnum_f32_1_minimumnum_p0_val_fmf1(float %x) {
define float @minimumnum_f32_1_minimumnum_p0_val_fmf2(float %x) {
; CHECK-LABEL: define float @minimumnum_f32_1_minimumnum_p0_val_fmf2(
; CHECK-SAME: float [[X:%.*]]) {
-; CHECK-NEXT: [[Y:%.*]] = call nnan ninf float @llvm.minimumnum.f32(float [[X]], float 0.000000e+00)
-; CHECK-NEXT: [[Z:%.*]] = call ninf nsz float @llvm.minimumnum.f32(float [[Y]], float 1.000000e+00)
+; CHECK-NEXT: [[Z:%.*]] = call ninf float @llvm.minimumnum.f32(float [[X]], float 0.000000e+00)
; CHECK-NEXT: ret float [[Z]]
;
%y = call nnan ninf float @llvm.minimumnum.f32(float 0.0, float %x)
@@ -53,8 +49,7 @@ define float @minimumnum_f32_1_minimumnum_p0_val_fmf3(float %x) {
; CHECK-LABEL: define float @minimumnum_f32_1_minimumnum_p0_val_fmf3(
; CHECK-SAME: float [[X:%.*]]) {
; CHECK-NEXT: [[Z:%.*]] = call nnan ninf nsz float @llvm.minimumnum.f32(float [[X]], float 0.000000e+00)
-; CHECK-NEXT: [[Z1:%.*]] = call nnan ninf nsz float @llvm.minimumnum.f32(float [[Z]], float 1.000000e+00)
-; CHECK-NEXT: ret float [[Z1]]
+; CHECK-NEXT: ret float [[Z]]
;
%y = call nsz ninf nnan float @llvm.minimumnum.f32(float 0.0, float %x)
%z = call nsz ninf nnan float @llvm.minimumnum.f32(float %y, float 1.0)
@@ -65,8 +60,7 @@ define float @minimumnum_f32_p0_minimumnum_val_n0(float %x) {
; CHECK-LABEL: define float @minimumnum_f32_p0_minimumnum_val_n0(
; CHECK-SAME: float [[X:%.*]]) {
; CHECK-NEXT: [[Z:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float -0.000000e+00)
-; CHECK-NEXT: [[Z1:%.*]] = call float @llvm.minimumnum.f32(float [[Z]], float 0.000000e+00)
-; CHECK-NEXT: ret float [[Z1]]
+; CHECK-NEXT: ret float [[Z]]
;
%y = call float @llvm.minimumnum.f32(float %x, float -0.0)
%z = call float @llvm.minimumnum.f32(float %y, float 0.0)
@@ -77,8 +71,7 @@ define float @minimumnum_f32_1_minimumnum_p0_val(float %x) {
; CHECK-LABEL: define float @minimumnum_f32_1_minimumnum_p0_val(
; CHECK-SAME: float [[X:%.*]]) {
; CHECK-NEXT: [[Z:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float 0.000000e+00)
-; CHECK-NEXT: [[Z1:%.*]] = call float @llvm.minimumnum.f32(float [[Z]], float 1.000000e+00)
-; CHECK-NEXT: ret float [[Z1]]
+; CHECK-NEXT: ret float [[Z]]
;
%y = call float @llvm.minimumnum.f32(float 0.0, float %x)
%z = call float @llvm.minimumnum.f32(float %y, float 1.0)
@@ -89,8 +82,7 @@ define <2 x float> @minimumnum_f32_1_minimumnum_val_p0_val_v2f32(<2 x float> %x)
; CHECK-LABEL: define <2 x float> @minimumnum_f32_1_minimumnum_val_p0_val_v2f32(
; CHECK-SAME: <2 x float> [[X:%.*]]) {
; CHECK-NEXT: [[Z:%.*]] = call <2 x float> @llvm.minimumnum.v2f32(<2 x float> [[X]], <2 x float> zeroinitializer)
-; CHECK-NEXT: [[Z1:%.*]] = call <2 x float> @llvm.minimumnum.v2f32(<2 x float> [[Z]], <2 x float> splat (float 1.000000e+00))
-; CHECK-NEXT: ret <2 x float> [[Z1]]
+; CHECK-NEXT: ret <2 x float> [[Z]]
;
%y = call <2 x float> @llvm.minimumnum.v2f32(<2 x float> %x, <2 x float> zeroinitializer)
%z = call <2 x float> @llvm.minimumnum.v2f32(<2 x float> %y, <2 x float><float 1.0, float 1.0>)
@@ -140,9 +132,8 @@ define float @maximumnum_x_minimumnum_x_y(float %x, float %y) {
define double @minimumnum_neg_neg(double %x, double %y) {
; CHECK-LABEL: define double @minimumnum_neg_neg(
; CHECK-SAME: double [[X:%.*]], double [[Y:%.*]]) {
-; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X]]
-; CHECK-NEXT: [[NEGY:%.*]] = fneg double [[Y]]
-; CHECK-NEXT: [[R:%.*]] = call double @llvm.minimumnum.f64(double [[NEGX]], double [[NEGY]])
+; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.maximumnum.f64(double [[X]], double [[Y]])
+; CHECK-NEXT: [[R:%.*]] = fneg double [[TMP1]]
; CHECK-NEXT: ret double [[R]]
;
%negx = fsub double -0.0, %x
@@ -154,9 +145,8 @@ define double @minimumnum_neg_neg(double %x, double %y) {
define double @minimumnum_unary_neg_neg(double %x, double %y) {
; CHECK-LABEL: define double @minimumnum_unary_neg_neg(
; CHECK-SAME: double [[X:%.*]], double [[Y:%.*]]) {
-; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X]]
-; CHECK-NEXT: [[NEGY:%.*]] = fneg double [[Y]]
-; CHECK-NEXT: [[R:%.*]] = call double @llvm.minimumnum.f64(double [[NEGX]], double [[NEGY]])
+; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.maximumnum.f64(double [[X]], double [[Y]])
+; CHECK-NEXT: [[R:%.*]] = fneg double [[TMP1]]
; CHECK-NEXT: ret double [[R]]
;
%negx = fneg double %x
@@ -171,9 +161,8 @@ define double @minimumnum_unary_neg_neg(double %x, double %y) {
define <2 x double> @minimumnum_neg_neg_vec_fmf(<2 x double> %x, <2 x double> %y) {
; CHECK-LABEL: define <2 x double> @minimumnum_neg_neg_vec_fmf(
; CHECK-SAME: <2 x double> [[X:%.*]], <2 x double> [[Y:%.*]]) {
-; CHECK-NEXT: [[NEGX:%.*]] = fneg reassoc <2 x double> [[X]]
-; CHECK-NEXT: [[NEGY:%.*]] = fneg fast <2 x double> [[Y]]
-; CHECK-NEXT: [[R:%.*]] = call nnan ninf <2 x double> @llvm.minimumnum.v2f64(<2 x double> [[NEGX]], <2 x double> [[NEGY]])
+; CHECK-NEXT: [[TMP1:%.*]] = call nnan ninf <2 x double> @llvm.maximumnum.v2f64(<2 x double> [[X]], <2 x double> [[Y]])
+; CHECK-NEXT: [[R:%.*]] = fneg nnan ninf <2 x double> [[TMP1]]
; CHECK-NEXT: ret <2 x double> [[R]]
;
%negx = fsub reassoc <2 x double> <double -0.0, double -0.0>, %x
@@ -185,9 +174,8 @@ define <2 x double> @minimumnum_neg_neg_vec_fmf(<2 x double> %x, <2 x double> %y
define <2 x double> @minimumnum_unary_neg_neg_vec_fmf(<2 x double> %x, <2 x double> %y) {
; CHECK-LABEL: define <2 x double> @minimumnum_unary_neg_neg_vec_fmf(
; CHECK-SAME: <2 x double> [[X:%.*]], <2 x double> [[Y:%.*]]) {
-; CHECK-NEXT: [[NEGX:%.*]] = fneg reassoc <2 x double> [[X]]
-; CHECK-NEXT: [[NEGY:%.*]] = fneg fast <2 x double> [[Y]]
-; CHECK-NEXT: [[R:%.*]] = call nnan ninf <2 x double> @llvm.minimumnum.v2f64(<2 x double> [[NEGX]], <2 x double> [[NEGY]])
+; CHECK-NEXT: [[TMP1:%.*]] = call nnan ninf <2 x double> @llvm.maximumnum.v2f64(<2 x double> [[X]], <2 x double> [[Y]])
+; CHECK-NEXT: [[R:%.*]] = fneg nnan ninf <2 x double> [[TMP1]]
; CHECK-NEXT: ret <2 x double> [[R]]
;
%negx = fneg reassoc <2 x double> %x
@@ -204,8 +192,8 @@ define double @minimumnum_neg_neg_extra_use_x(double %x, double %y) {
; CHECK-LABEL: define double @minimumnum_neg_neg_extra_use_x(
; CHECK-SAME: double [[X:%.*]], double [[Y:%.*]]) {
; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X]]
-; CHECK-NEXT: [[NEGY:%.*]] = fneg double [[Y]]
-; CHECK-NEXT: [[R:%.*]] = call double @llvm.minimumnum.f64(double [[NEGX]], double [[NEGY]])
+; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.maximumnum.f64(double [[X]], double [[Y]])
+; CHECK-NEXT: [[R:%.*]] = fneg double [[TMP1]]
; CHECK-NEXT: call void @use(double [[NEGX]])
; CHECK-NEXT: ret double [[R]]
;
@@ -220,8 +208,8 @@ define double @minimumnum_unary_neg_neg_extra_use_x(double %x, double %y) {
; CHECK-LABEL: define double @minimumnum_unary_neg_neg_extra_use_x(
; CHECK-SAME: double [[X:%.*]], double [[Y:%.*]]) {
; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X]]
-; CHECK-NEXT: [[NEGY:%.*]] = fneg double [[Y]]
-; CHECK-NEXT: [[R:%.*]] = call double @llvm.minimumnum.f64(double [[NEGX]], double [[NEGY]])
+; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.maximumnum.f64(double [[X]], double [[Y]])
+; CHECK-NEXT: [[R:%.*]] = fneg double [[TMP1]]
; CHECK-NEXT: call void @use(double [[NEGX]])
; CHECK-NEXT: ret double [[R]]
;
@@ -235,9 +223,9 @@ define double @minimumnum_unary_neg_neg_extra_use_x(double %x, double %y) {
define double @minimumnum_neg_neg_extra_use_y(double %x, double %y) {
; CHECK-LABEL: define double @minimumnum_neg_neg_extra_use_y(
; CHECK-SAME: double [[X:%.*]], double [[Y:%.*]]) {
-; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X]]
; CHECK-NEXT: [[NEGY:%.*]] = fneg double [[Y]]
-; CHECK-NEXT: [[R:%.*]] = call double @llvm.minimumnum.f64(double [[NEGX]], double [[NEGY]])
+; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.maximumnum.f64(double [[X]], double [[Y]])
+; CHECK-NEXT: [[R:%.*]] = fneg double [[TMP1]]
; CHECK-NEXT: call void @use(double [[NEGY]])
; CHECK-NEXT: ret double [[R]]
;
@@ -251,9 +239,9 @@ define double @minimumnum_neg_neg_extra_use_y(double %x, double %y) {
define double @minimumnum_unary_neg_neg_extra_use_y(double %x, double %y) {
; CHECK-LABEL: define double @minimumnum_unary_neg_neg_extra_use_y(
; CHECK-SAME: double [[X:%.*]], double [[Y:%.*]]) {
-; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X]]
; CHECK-NEXT: [[NEGY:%.*]] = fneg double [[Y]]
-; CHECK-NEXT: [[R:%.*]] = call double @llvm.minimumnum.f64(double [[NEGX]], double [[NEGY]])
+; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.maximumnum.f64(double [[X]], double [[Y]])
+; CHECK-NEXT: [[R:%.*]] = fneg double [[TMP1]]
; CHECK-NEXT: call void @use(double [[NEGY]])
; CHECK-NEXT: ret double [[R]]
;
@@ -303,10 +291,7 @@ define double @minimumnum_unary_neg_neg_extra_use_x_and_y(double %x, double %y)
define float @minimumnum_reduce_precision(float %x, float %y) {
; CHECK-LABEL: define float @minimumnum_reduce_precision(
; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
-; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
-; CHECK-NEXT: [[Y_EXT:%.*]] = fpext float [[Y]] to double
-; CHECK-NEXT: [[MINIMUMNUM:%.*]] = call double @llvm.minimumnum.f64(double [[X_EXT]], double [[Y_EXT]])
-; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MINIMUMNUM]] to float
+; CHECK-NEXT: [[TRUNC:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float [[Y]])
; CHECK-NEXT: ret float [[TRUNC]]
;
%x.ext = fpext float %x to double
@@ -319,10 +304,7 @@ define float @minimumnum_reduce_precision(float %x, float %y) {
define float @minimumnum_reduce_precision_fmf(float %x, float %y) {
; CHECK-LABEL: define float @minimumnum_reduce_precision_fmf(
; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]]) {
-; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
-; CHECK-NEXT: [[Y_EXT:%.*]] = fpext float [[Y]] to double
-; CHECK-NEXT: [[MINIMUMNUM:%.*]] = call nnan double @llvm.minimumnum.f64(double [[X_EXT]], double [[Y_EXT]])
-; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MINIMUMNUM]] to float
+; CHECK-NEXT: [[TRUNC:%.*]] = call nnan float @llvm.minimumnum.f32(float [[X]], float [[Y]])
; CHECK-NEXT: ret float [[TRUNC]]
;
%x.ext = fpext float %x to double
@@ -336,10 +318,8 @@ define float @minimumnum_reduce_precision_multi_use_0(float %x, float %y, ptr %p
; CHECK-LABEL: define float @minimumnum_reduce_precision_multi_use_0(
; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]], ptr [[P:%.*]]) {
; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
-; CHECK-NEXT: [[Y_EXT:%.*]] = fpext float [[Y]] to double
; CHECK-NEXT: store double [[X_EXT]], ptr [[P]], align 8
-; CHECK-NEXT: [[MINIMUMNUM:%.*]] = call double @llvm.minimumnum.f64(double [[X_EXT]], double [[Y_EXT]])
-; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MINIMUMNUM]] to float
+; CHECK-NEXT: [[TRUNC:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float [[Y]])
; CHECK-NEXT: ret float [[TRUNC]]
;
%x.ext = fpext float %x to double
@@ -353,11 +333,9 @@ define float @minimumnum_reduce_precision_multi_use_0(float %x, float %y, ptr %p
define float @minimumnum_reduce_precision_multi_use_1(float %x, float %y, ptr %p) {
; CHECK-LABEL: define float @minimumnum_reduce_precision_multi_use_1(
; CHECK-SAME: float [[X:%.*]], float [[Y:%.*]], ptr [[P:%.*]]) {
-; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
; CHECK-NEXT: [[Y_EXT:%.*]] = fpext float [[Y]] to double
; CHECK-NEXT: store double [[Y_EXT]], ptr [[P]], align 8
-; CHECK-NEXT: [[MINIMUMNUM:%.*]] = call double @llvm.minimumnum.f64(double [[X_EXT]], double [[Y_EXT]])
-; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MINIMUMNUM]] to float
+; CHECK-NEXT: [[TRUNC:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float [[Y]])
; CHECK-NEXT: ret float [[TRUNC]]
;
%x.ext = fpext float %x to double
@@ -391,9 +369,7 @@ define float @minimumnum_reduce_precision_multi_use_2(float %x, float %y, ptr %p
define float @minimumnum_reduce_precision_const(float %x) {
; CHECK-LABEL: define float @minimumnum_reduce_precision_const(
; CHECK-SAME: float [[X:%.*]]) {
-; CHECK-NEXT: [[X_EXT:%.*]] = fpext float [[X]] to double
-; CHECK-NEXT: [[MINIMUMNUM:%.*]] = call double @llvm.minimumnum.f64(double [[X_EXT]], double 1.000000e+00)
-; CHECK-NEXT: [[TRUNC:%.*]] = fptrunc double [[MINIMUMNUM]] to float
+; CHECK-NEXT: [[TRUNC:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float 1.000000e+00)
; CHECK-NEXT: ret float [[TRUNC]]
;
%x.ext = fpext float %x to double
@@ -435,8 +411,8 @@ define float @minimumnum_reduce_precision_const_multi_use(float %x) {
define float @minimumnum_negated_op(float %x) {
; CHECK-LABEL: define float @minimumnum_negated_op(
; CHECK-SAME: float [[X:%.*]]) {
-; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X]]
-; CHECK-NEXT: [[R:%.*]] = call float @llvm.minimumnum.f32(float [[X]], float [[NEGX]])
+; CHECK-NEXT: [[TMP1:%.*]] = call float @llvm.fabs.f32(float [[X]])
+; CHECK-NEXT: [[R:%.*]] = fneg float [[TMP1]]
; CHECK-NEXT: ret float [[R]]
;
%negx = fneg float %x
@@ -447,8 +423,8 @@ define float @minimumnum_negated_op(float %x) {
define <2 x double> @minimumnum_negated_op_fmf_commute_vec(<2 x double> %x) {
; CHECK-LABEL: define <2 x double> @minimumnum_negated_op_fmf_commute_vec(
; CHECK-SAME: <2 x double> [[X:%.*]]) {
-; CHECK-NEXT: [[NEGX:%.*]] = fneg <2 x double> [[X]]
-; CHECK-NEXT: [[R:%.*]] = call nnan ninf nsz <2 x double> @llvm.minimumnum.v2f64(<2 x double> [[NEGX]], <2 x double> [[X]])
+; CHECK-NEXT: [[TMP1:%.*]] = call nnan ninf nsz <2 x double> @llvm.fabs.v2f64(<2 x double> [[X]])
+; CHECK-NEXT: [[R:%.*]] = fneg nnan ninf nsz <2 x double> [[TMP1]]
; CHECK-NEXT: ret <2 x double> [[R]]
;
%negx = fneg <2 x double> %x
More information about the llvm-commits
mailing list