test/Transforms/InstCombine/maxnum.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -instcombine < %s | FileCheck %s
   3
   4 declare float @llvm.maxnum.f32(float, float)
   5 declare <2 x float> @llvm.maxnum.v2f32(<2 x float>, <2 x float>)
   6 declare <4 x float> @llvm.maxnum.v4f32(<4 x float>, <4 x float>)
   7
   8 declare double @llvm.maxnum.f64(double, double)
   9 declare <2 x double> @llvm.maxnum.v2f64(<2 x double>, <2 x double>)
  10
  11 define float @constant_fold_maxnum_f32() {
  12 ; CHECK-LABEL: @constant_fold_maxnum_f32(
  13 ; CHECK-NEXT:    ret float 2.000000e+00
  14 ;
  15   %x = call float @llvm.maxnum.f32(float 1.0, float 2.0)
  16   ret float %x
  17 }
  18
  19 define float @constant_fold_maxnum_f32_inv() {
  20 ; CHECK-LABEL: @constant_fold_maxnum_f32_inv(
  21 ; CHECK-NEXT:    ret float 2.000000e+00
  22 ;
  23   %x = call float @llvm.maxnum.f32(float 2.0, float 1.0)
  24   ret float %x
  25 }
  26
  27 define float @constant_fold_maxnum_f32_nan0() {
  28 ; CHECK-LABEL: @constant_fold_maxnum_f32_nan0(
  29 ; CHECK-NEXT:    ret float 2.000000e+00
  30 ;
  31   %x = call float @llvm.maxnum.f32(float 0x7FF8000000000000, float 2.0)
  32   ret float %x
  33 }
  34
  35 define float @constant_fold_maxnum_f32_nan1() {
  36 ; CHECK-LABEL: @constant_fold_maxnum_f32_nan1(
  37 ; CHECK-NEXT:    ret float 2.000000e+00
  38 ;
  39   %x = call float @llvm.maxnum.f32(float 2.0, float 0x7FF8000000000000)
  40   ret float %x
  41 }
  42
  43 define float @constant_fold_maxnum_f32_nan_nan() {
  44 ; CHECK-LABEL: @constant_fold_maxnum_f32_nan_nan(
  45 ; CHECK-NEXT:    ret float 0x7FF8000000000000
  46 ;
  47   %x = call float @llvm.maxnum.f32(float 0x7FF8000000000000, float 0x7FF8000000000000)
  48   ret float %x
  49 }
  50
  51 define float @constant_fold_maxnum_f32_p0_p0() {
  52 ; CHECK-LABEL: @constant_fold_maxnum_f32_p0_p0(
  53 ; CHECK-NEXT:    ret float 0.000000e+00
  54 ;
  55   %x = call float @llvm.maxnum.f32(float 0.0, float 0.0)
  56   ret float %x
  57 }
  58
  59 define float @constant_fold_maxnum_f32_p0_n0() {
  60 ; CHECK-LABEL: @constant_fold_maxnum_f32_p0_n0(
  61 ; CHECK-NEXT:    ret float 0.000000e+00
  62 ;
  63   %x = call float @llvm.maxnum.f32(float 0.0, float -0.0)
  64   ret float %x
  65 }
  66
  67 define float @constant_fold_maxnum_f32_n0_p0() {
  68 ; CHECK-LABEL: @constant_fold_maxnum_f32_n0_p0(
  69 ; CHECK-NEXT:    ret float -0.000000e+00
  70 ;
  71   %x = call float @llvm.maxnum.f32(float -0.0, float 0.0)
  72   ret float %x
  73 }
  74
  75 define float @constant_fold_maxnum_f32_n0_n0() {
  76 ; CHECK-LABEL: @constant_fold_maxnum_f32_n0_n0(
  77 ; CHECK-NEXT:    ret float -0.000000e+00
  78 ;
  79   %x = call float @llvm.maxnum.f32(float -0.0, float -0.0)
  80   ret float %x
  81 }
  82
  83 define <4 x float> @constant_fold_maxnum_v4f32() {
  84 ; CHECK-LABEL: @constant_fold_maxnum_v4f32(
  85 ; CHECK-NEXT:    ret <4 x float> <float 2.000000e+00, float 8.000000e+00, float 1.000000e+01, float 9.000000e+00>
  86 ;
  87   %x = call <4 x float> @llvm.maxnum.v4f32(<4 x float> <float 1.0, float 8.0, float 3.0, float 9.0>, <4 x float> <float 2.0, float 2.0, float 10.0, float 5.0>)
  88   ret <4 x float> %x
  89 }
  90
  91 define double @constant_fold_maxnum_f64() {
  92 ; CHECK-LABEL: @constant_fold_maxnum_f64(
  93 ; CHECK-NEXT:    ret double 2.000000e+00
  94 ;
  95   %x = call double @llvm.maxnum.f64(double 1.0, double 2.0)
  96   ret double %x
  97 }
  98
  99 define double @constant_fold_maxnum_f64_nan0() {
 100 ; CHECK-LABEL: @constant_fold_maxnum_f64_nan0(
 101 ; CHECK-NEXT:    ret double 2.000000e+00
 102 ;
 103   %x = call double @llvm.maxnum.f64(double 0x7FF8000000000000, double 2.0)
 104   ret double %x
 105 }
 106
 107 define double @constant_fold_maxnum_f64_nan1() {
 108 ; CHECK-LABEL: @constant_fold_maxnum_f64_nan1(
 109 ; CHECK-NEXT:    ret double 2.000000e+00
 110 ;
 111   %x = call double @llvm.maxnum.f64(double 2.0, double 0x7FF8000000000000)
 112   ret double %x
 113 }
 114
 115 define double @constant_fold_maxnum_f64_nan_nan() {
 116 ; CHECK-LABEL: @constant_fold_maxnum_f64_nan_nan(
 117 ; CHECK-NEXT:    ret double 0x7FF8000000000000
 118 ;
 119   %x = call double @llvm.maxnum.f64(double 0x7FF8000000000000, double 0x7FF8000000000000)
 120   ret double %x
 121 }
 122
 123 define float @canonicalize_constant_maxnum_f32(float %x) {
 124 ; CHECK-LABEL: @canonicalize_constant_maxnum_f32(
 125 ; CHECK-NEXT:    [[Y:%.*]] = call float @llvm.maxnum.f32(float [[X:%.*]], float 1.000000e+00)
 126 ; CHECK-NEXT:    ret float [[Y]]
 127 ;
 128   %y = call float @llvm.maxnum.f32(float 1.0, float %x)
 129   ret float %y
 130 }
 131
 132 define float @maxnum_f32_nan_val(float %x) {
 133 ; CHECK-LABEL: @maxnum_f32_nan_val(
 134 ; CHECK-NEXT:    ret float [[X:%.*]]
 135 ;
 136   %y = call float @llvm.maxnum.f32(float 0x7FF8000000000000, float %x)
 137   ret float %y
 138 }
 139
 140 define float @maxnum_f32_val_nan(float %x) {
 141 ; CHECK-LABEL: @maxnum_f32_val_nan(
 142 ; CHECK-NEXT:    ret float [[X:%.*]]
 143 ;
 144   %y = call float @llvm.maxnum.f32(float %x, float 0x7FF8000000000000)
 145   ret float %y
 146 }
 147
 148 define float @fold_maxnum_f32_undef_undef(float %x) {
 149 ; CHECK-LABEL: @fold_maxnum_f32_undef_undef(
 150 ; CHECK-NEXT:    ret float undef
 151 ;
 152   %val = call float @llvm.maxnum.f32(float undef, float undef)
 153   ret float %val
 154 }
 155
 156 define float @maxnum_x_maxnum_x_y(float %x, float %y) {
 157 ; CHECK-LABEL: @maxnum_x_maxnum_x_y(
 158 ; CHECK-NEXT:    [[A:%.*]] = call float @llvm.maxnum.f32(float [[X:%.*]], float [[Y:%.*]])
 159 ; CHECK-NEXT:    ret float [[A]]
 160 ;
 161   %a = call float @llvm.maxnum.f32(float %x, float %y)
 162   %b = call float @llvm.maxnum.f32(float %x, float %a)
 163   ret float %b
 164 }
 165
 166 define float @maxnum_y_maxnum_x_y(float %x, float %y) {
 167 ; CHECK-LABEL: @maxnum_y_maxnum_x_y(
 168 ; CHECK-NEXT:    [[A:%.*]] = call float @llvm.maxnum.f32(float [[X:%.*]], float [[Y:%.*]])
 169 ; CHECK-NEXT:    ret float [[A]]
 170 ;
 171   %a = call float @llvm.maxnum.f32(float %x, float %y)
 172   %b = call float @llvm.maxnum.f32(float %y, float %a)
 173   ret float %b
 174 }
 175
 176 define float @maxnum_z_maxnum_x_y(float %x, float %y, float %z) {
 177 ; CHECK-LABEL: @maxnum_z_maxnum_x_y(
 178 ; CHECK-NEXT:    [[A:%.*]] = call float @llvm.maxnum.f32(float [[X:%.*]], float [[Y:%.*]])
 179 ; CHECK-NEXT:    [[B:%.*]] = call float @llvm.maxnum.f32(float [[Z:%.*]], float [[A]])
 180 ; CHECK-NEXT:    ret float [[B]]
 181 ;
 182   %a = call float @llvm.maxnum.f32(float %x, float %y)
 183   %b = call float @llvm.maxnum.f32(float %z, float %a)
 184   ret float %b
 185 }
 186
 187 define float @maxnum_maxnum_x_y_z(float %x, float %y, float %z) {
 188 ; CHECK-LABEL: @maxnum_maxnum_x_y_z(
 189 ; CHECK-NEXT:    [[A:%.*]] = call float @llvm.maxnum.f32(float [[X:%.*]], float [[Y:%.*]])
 190 ; CHECK-NEXT:    [[B:%.*]] = call float @llvm.maxnum.f32(float [[A]], float [[Z:%.*]])
 191 ; CHECK-NEXT:    ret float [[B]]
 192 ;
 193   %a = call float @llvm.maxnum.f32(float %x, float %y)
 194   %b = call float @llvm.maxnum.f32(float %a, float %z)
 195   ret float %b
 196 }
 197
 198 define float @maxnum4(float %x, float %y, float %z, float %w) {
 199 ; CHECK-LABEL: @maxnum4(
 200 ; CHECK-NEXT:    [[A:%.*]] = call float @llvm.maxnum.f32(float [[X:%.*]], float [[Y:%.*]])
 201 ; CHECK-NEXT:    [[B:%.*]] = call float @llvm.maxnum.f32(float [[Z:%.*]], float [[W:%.*]])
 202 ; CHECK-NEXT:    [[C:%.*]] = call float @llvm.maxnum.f32(float [[A]], float [[B]])
 203 ; CHECK-NEXT:    ret float [[C]]
 204 ;
 205   %a = call float @llvm.maxnum.f32(float %x, float %y)
 206   %b = call float @llvm.maxnum.f32(float %z, float %w)
 207   %c = call float @llvm.maxnum.f32(float %a, float %b)
 208   ret float %c
 209 }
 210
 211 define float @fold_maxnum_f32_inf_val(float %x) {
 212 ; CHECK-LABEL: @fold_maxnum_f32_inf_val(
 213 ; CHECK-NEXT:    ret float 0x7FF0000000000000
 214 ;
 215   %val = call float @llvm.maxnum.f32(float 0x7FF0000000000000, float %x)
 216   ret float %val
 217 }
 218
 219 define float @fold_maxnum_f32_neginf_val(float %x) {
 220 ; CHECK-LABEL: @fold_maxnum_f32_neginf_val(
 221 ; CHECK-NEXT:    [[VAL:%.*]] = call float @llvm.maxnum.f32(float [[X:%.*]], float 0xFFF0000000000000)
 222 ; CHECK-NEXT:    ret float [[VAL]]
 223 ;
 224   %val = call float @llvm.maxnum.f32(float 0xFFF0000000000000, float %x)
 225   ret float %val
 226 }
 227
 228 ; PR37404 - https://bugs.llvm.org/show_bug.cgi?id=37404
 229
 230 define <2 x float> @neg_neg(<2 x float> %x, <2 x float> %y) {
 231 ; CHECK-LABEL: @neg_neg(
 232 ; CHECK-NEXT:    [[TMP1:%.*]] = call <2 x float> @llvm.minnum.v2f32(<2 x float> [[X:%.*]], <2 x float> [[Y:%.*]])
 233 ; CHECK-NEXT:    [[R:%.*]] = fsub <2 x float> <float -0.000000e+00, float -0.000000e+00>, [[TMP1]]
 234 ; CHECK-NEXT:    ret <2 x float> [[R]]
 235 ;
 236   %negx = fsub <2 x float> <float -0.0, float -0.0>, %x
 237   %negy = fsub <2 x float> <float -0.0, float -0.0>, %y
 238   %r = call <2 x float> @llvm.maxnum.v2f32(<2 x float> %negx, <2 x float> %negy)
 239   ret <2 x float> %r
 240 }
 241
 242 ; FMF is not required, but it should be propagated from the intrinsic (not the fnegs).
 243
 244 define float @neg_neg_vec_fmf(float %x, float %y) {
 245 ; CHECK-LABEL: @neg_neg_vec_fmf(
 246 ; CHECK-NEXT:    [[TMP1:%.*]] = call fast float @llvm.minnum.f32(float [[X:%.*]], float [[Y:%.*]])
 247 ; CHECK-NEXT:    [[R:%.*]] = fsub fast float -0.000000e+00, [[TMP1]]
 248 ; CHECK-NEXT:    ret float [[R]]
 249 ;
 250   %negx = fsub arcp float -0.0, %x
 251   %negy = fsub afn float -0.0, %y
 252   %r = call fast float @llvm.maxnum.f32(float %negx, float %negy)
 253   ret float %r
 254 }
 255
 256 ; 1 extra use of an intermediate value should still allow the fold,
 257 ; but 2 would require more instructions than we started with.
 258
 259 declare void @use(float)
 260 define float @neg_neg_extra_use_x(float %x, float %y) {
 261 ; CHECK-LABEL: @neg_neg_extra_use_x(
 262 ; CHECK-NEXT:    [[NEGX:%.*]] = fsub float -0.000000e+00, [[X:%.*]]
 263 ; CHECK-NEXT:    [[TMP1:%.*]] = call float @llvm.minnum.f32(float [[X]], float [[Y:%.*]])
 264 ; CHECK-NEXT:    [[R:%.*]] = fsub float -0.000000e+00, [[TMP1]]
 265 ; CHECK-NEXT:    call void @use(float [[NEGX]])
 266 ; CHECK-NEXT:    ret float [[R]]
 267 ;
 268   %negx = fsub float -0.0, %x
 269   %negy = fsub float -0.0, %y
 270   %r = call float @llvm.maxnum.f32(float %negx, float %negy)
 271   call void @use(float %negx)
 272   ret float %r
 273 }
 274
 275 define float @neg_neg_extra_use_y(float %x, float %y) {
 276 ; CHECK-LABEL: @neg_neg_extra_use_y(
 277 ; CHECK-NEXT:    [[NEGY:%.*]] = fsub float -0.000000e+00, [[Y:%.*]]
 278 ; CHECK-NEXT:    [[TMP1:%.*]] = call float @llvm.minnum.f32(float [[X:%.*]], float [[Y]])
 279 ; CHECK-NEXT:    [[R:%.*]] = fsub float -0.000000e+00, [[TMP1]]
 280 ; CHECK-NEXT:    call void @use(float [[NEGY]])
 281 ; CHECK-NEXT:    ret float [[R]]
 282 ;
 283   %negx = fsub float -0.0, %x
 284   %negy = fsub float -0.0, %y
 285   %r = call float @llvm.maxnum.f32(float %negx, float %negy)
 286   call void @use(float %negy)
 287   ret float %r
 288 }
 289
 290 define float @neg_neg_extra_use_x_and_y(float %x, float %y) {
 291 ; CHECK-LABEL: @neg_neg_extra_use_x_and_y(
 292 ; CHECK-NEXT:    [[NEGX:%.*]] = fsub float -0.000000e+00, [[X:%.*]]
 293 ; CHECK-NEXT:    [[NEGY:%.*]] = fsub float -0.000000e+00, [[Y:%.*]]
 294 ; CHECK-NEXT:    [[R:%.*]] = call float @llvm.maxnum.f32(float [[NEGX]], float [[NEGY]])
 295 ; CHECK-NEXT:    call void @use(float [[NEGX]])
 296 ; CHECK-NEXT:    call void @use(float [[NEGY]])
 297 ; CHECK-NEXT:    ret float [[R]]
 298 ;
 299   %negx = fsub float -0.0, %x
 300   %negy = fsub float -0.0, %y
 301   %r = call float @llvm.maxnum.f32(float %negx, float %negy)
 302   call void @use(float %negx)
 303   call void @use(float %negy)
 304   ret float %r
 305 }
 306