[llvm] [InstCombine] Support minimumnum/maximumnum (PR #180529)
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Mon Feb 9 06:47:54 PST 2026
================
@@ -0,0 +1,447 @@
+; 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: 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)
+ 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: 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)
+ 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: [[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)
+ %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: [[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)
+ %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: 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)
+ 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: 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)
+ 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: 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)
+ 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: 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>)
+ 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: [[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
+ %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: [[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
+ %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: [[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
+ %negy = fsub fast <2 x double> <double -0.0, double -0.0>, %y
----------------
arsenm wrote:
```suggestion
%negx = fsub reassoc <2 x double> splat (double -0.0), %x
%negy = fsub fast <2 x double> splat (double -0.0), %y
```
https://github.com/llvm/llvm-project/pull/180529
More information about the llvm-commits
mailing list