llvm/test/Transforms/InstSimplify/ConstProp/min-max.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=instsimplify -S < %s | FileCheck %s
   3
   4 declare float @llvm.minnum.f32(float, float)
   5 declare bfloat @llvm.minnum.bf16(bfloat, bfloat)
   6 declare half @llvm.minnum.f16(half, half)
   7 declare <4 x float> @llvm.minnum.v4f32(<4 x float>, <4 x float>)
   8 declare <4 x bfloat> @llvm.minnum.v4bf16(<4 x bfloat>, <4 x bfloat>)
   9 declare <4 x half> @llvm.minnum.v4f16(<4 x half>, <4 x half>)
  10
  11 declare float @llvm.maxnum.f32(float, float)
  12 declare bfloat @llvm.maxnum.bf16(bfloat, bfloat)
  13 declare half @llvm.maxnum.f16(half, half)
  14 declare <4 x float> @llvm.maxnum.v4f32(<4 x float>, <4 x float>)
  15 declare <4 x bfloat> @llvm.maxnum.v4bf16(<4 x bfloat>, <4 x bfloat>)
  16 declare <4 x half> @llvm.maxnum.v4f16(<4 x half>, <4 x half>)
  17
  18 declare float @llvm.minimum.f32(float, float)
  19 declare bfloat @llvm.minimum.bf16(bfloat, bfloat)
  20 declare half @llvm.minimum.f16(half, half)
  21 declare <4 x float> @llvm.minimum.v4f32(<4 x float>, <4 x float>)
  22 declare <4 x bfloat> @llvm.minimum.v4bf16(<4 x bfloat>, <4 x bfloat>)
  23 declare <4 x half> @llvm.minimum.v4f16(<4 x half>, <4 x half>)
  24
  25 declare float @llvm.maximum.f32(float, float)
  26 declare bfloat @llvm.maximum.bf16(bfloat, bfloat)
  27 declare half @llvm.maximum.f16(half, half)
  28 declare <4 x float> @llvm.maximum.v4f32(<4 x float>, <4 x float>)
  29 declare <4 x bfloat> @llvm.maximum.v4bf16(<4 x bfloat>, <4 x bfloat>)
  30 declare <4 x half> @llvm.maximum.v4f16(<4 x half>, <4 x half>)
  31
  32 declare i8 @llvm.smax.i8(i8, i8)
  33 declare <5 x i8> @llvm.smax.v5i8(<5 x i8>, <5 x i8>)
  34
  35 declare i8 @llvm.smin.i8(i8, i8)
  36 declare <5 x i8> @llvm.smin.v5i8(<5 x i8>, <5 x i8>)
  37
  38 declare i8 @llvm.umax.i8(i8, i8)
  39 declare <5 x i8> @llvm.umax.v5i8(<5 x i8>, <5 x i8>)
  40
  41 declare i8 @llvm.umin.i8(i8, i8)
  42 declare <5 x i8> @llvm.umin.v5i8(<5 x i8>, <5 x i8>)
  43
  44 define float @minnum_float() {
  45 ; CHECK-LABEL: @minnum_float(
  46 ; CHECK-NEXT:    ret float 5.000000e+00
  47 ;
  48   %1 = call float @llvm.minnum.f32(float 5.0, float 42.0)
  49   ret float %1
  50 }
  51
  52 define float @minnum_float_p0_n0() {
  53 ; CHECK-LABEL: @minnum_float_p0_n0(
  54 ; CHECK-NEXT:    ret float -0.000000e+00
  55 ;
  56   %min = call float @llvm.minnum.f32(float 0.0, float -0.0)
  57   ret float %min
  58 }
  59
  60 define float @minnum_float_n0_p0() {
  61 ; CHECK-LABEL: @minnum_float_n0_p0(
  62 ; CHECK-NEXT:    ret float -0.000000e+00
  63 ;
  64   %min = call float @llvm.minnum.f32(float -0.0, float 0.0)
  65   ret float %min
  66 }
  67
  68 define float @minnum_float_p0_qnan() {
  69 ; CHECK-LABEL: @minnum_float_p0_qnan(
  70 ; CHECK-NEXT:    ret float 0.000000e+00
  71 ;
  72   %min = call float @llvm.minnum.f32(float 0.0, float 0x7FF8000000000000)
  73   ret float %min
  74 }
  75
  76 define float @minnum_float_qnan_p0() {
  77 ; CHECK-LABEL: @minnum_float_qnan_p0(
  78 ; CHECK-NEXT:    ret float 0.000000e+00
  79 ;
  80   %min = call float @llvm.minnum.f32(float 0x7FF8000000000000, float 0.0)
  81   ret float %min
  82 }
  83
  84 define bfloat @minnum_bfloat() {
  85 ; CHECK-LABEL: @minnum_bfloat(
  86 ; CHECK-NEXT:    ret bfloat 0xR40A0
  87 ;
  88   %1 = call bfloat @llvm.minnum.bf16(bfloat 5.0, bfloat 42.0)
  89   ret bfloat %1
  90 }
  91
  92 define half @minnum_half() {
  93 ; CHECK-LABEL: @minnum_half(
  94 ; CHECK-NEXT:    ret half 0xH4500
  95 ;
  96   %1 = call half @llvm.minnum.f16(half 5.0, half 42.0)
  97   ret half %1
  98 }
  99
 100 ; Check that minnum constant folds to propagate non-NaN or smaller argument
 101
 102 define <4 x float> @minnum_float_vec() {
 103 ; CHECK-LABEL: @minnum_float_vec(
 104 ; CHECK-NEXT:    ret <4 x float> <float 0x7FF8000000000000, float 5.000000e+00, float 4.200000e+01, float 5.000000e+00>
 105 ;
 106   %1 = call <4 x float> @llvm.minnum.v4f32(<4 x float> <float 0x7FF8000000000000, float 0x7FF8000000000000, float 42., float 42.>, <4 x float> <float 0x7FF8000000000000, float 5., float 0x7FF8000000000000, float 5.>)
 107   ret <4 x float> %1
 108 }
 109
 110 define <4 x bfloat> @minnum_bfloat_vec() {
 111 ; CHECK-LABEL: @minnum_bfloat_vec(
 112 ; CHECK-NEXT:    ret <4 x bfloat> <bfloat 0xR7FC0, bfloat 0xR40A0, bfloat 0xR4228, bfloat 0xR40A0>
 113 ;
 114   %1 = call <4 x bfloat> @llvm.minnum.v4bf16(<4 x bfloat> <bfloat 0x7FF8000000000000, bfloat 0x7FF8000000000000, bfloat 42., bfloat 42.>, <4 x bfloat> <bfloat 0x7FF8000000000000, bfloat 5., bfloat 0x7FF8000000000000, bfloat 5.>)
 115   ret <4 x bfloat> %1
 116 }
 117
 118 define <4 x half> @minnum_half_vec() {
 119 ; CHECK-LABEL: @minnum_half_vec(
 120 ; CHECK-NEXT:    ret <4 x half> <half 0xH7E00, half 0xH4500, half 0xH5140, half 0xH4500>
 121 ;
 122   %1 = call <4 x half> @llvm.minnum.v4f16(<4 x half> <half 0x7FF8000000000000, half 0x7FF8000000000000, half 42., half 42.>, <4 x half> <half 0x7FF8000000000000, half 5., half 0x7FF8000000000000, half 5.>)
 123   ret <4 x half> %1
 124 }
 125
 126 ; Check that minnum constant folds to propagate one of its argument zeros
 127
 128 define <4 x float> @minnum_float_zeros_vec() {
 129 ; CHECK-LABEL: @minnum_float_zeros_vec(
 130 ; CHECK-NEXT:    ret <4 x float> <float 0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00>
 131 ;
 132   %1 = call <4 x float> @llvm.minnum.v4f32(<4 x float> <float 0.0, float -0.0, float 0.0, float -0.0>, <4 x float> <float 0.0, float 0.0, float -0.0, float -0.0>)
 133   ret <4 x float> %1
 134 }
 135
 136 define float @maxnum_float() {
 137 ; CHECK-LABEL: @maxnum_float(
 138 ; CHECK-NEXT:    ret float 4.200000e+01
 139 ;
 140   %1 = call float @llvm.maxnum.f32(float 5.0, float 42.0)
 141   ret float %1
 142 }
 143
 144 define float @maxnum_float_p0_n0() {
 145 ; CHECK-LABEL: @maxnum_float_p0_n0(
 146 ; CHECK-NEXT:    ret float 0.000000e+00
 147 ;
 148   %max = call float @llvm.maxnum.f32(float 0.0, float -0.0)
 149   ret float %max
 150 }
 151
 152 define float @maxnum_float_n0_p0() {
 153 ; CHECK-LABEL: @maxnum_float_n0_p0(
 154 ; CHECK-NEXT:    ret float 0.000000e+00
 155 ;
 156   %max = call float @llvm.maxnum.f32(float -0.0, float 0.0)
 157   ret float %max
 158 }
 159
 160 define float @maxnum_float_p0_qnan() {
 161 ; CHECK-LABEL: @maxnum_float_p0_qnan(
 162 ; CHECK-NEXT:    ret float 0.000000e+00
 163 ;
 164   %max = call float @llvm.maxnum.f32(float 0.0, float 0x7FF8000000000000)
 165   ret float %max
 166 }
 167
 168 define float @maxnum_float_qnan_p0() {
 169 ; CHECK-LABEL: @maxnum_float_qnan_p0(
 170 ; CHECK-NEXT:    ret float 0.000000e+00
 171 ;
 172   %max = call float @llvm.maxnum.f32(float 0x7FF8000000000000, float 0.0)
 173   ret float %max
 174 }
 175
 176 define bfloat @maxnum_bfloat() {
 177 ; CHECK-LABEL: @maxnum_bfloat(
 178 ; CHECK-NEXT:    ret bfloat 0xR4228
 179 ;
 180   %1 = call bfloat @llvm.maxnum.bf16(bfloat 5.0, bfloat 42.0)
 181   ret bfloat %1
 182 }
 183
 184 define half @maxnum_half() {
 185 ; CHECK-LABEL: @maxnum_half(
 186 ; CHECK-NEXT:    ret half 0xH5140
 187 ;
 188   %1 = call half @llvm.maxnum.f16(half 5.0, half 42.0)
 189   ret half %1
 190 }
 191
 192 ; Check that maxnum constant folds to propagate non-NaN or greater argument
 193
 194 define <4 x float> @maxnum_float_vec() {
 195 ; CHECK-LABEL: @maxnum_float_vec(
 196 ; CHECK-NEXT:    ret <4 x float> <float 0x7FF8000000000000, float 5.000000e+00, float 4.200000e+01, float 4.200000e+01>
 197 ;
 198   %1 = call <4 x float> @llvm.maxnum.v4f32(<4 x float> <float 0x7FF8000000000000, float 0x7FF8000000000000, float 42., float 42.>, <4 x float> <float 0x7FF8000000000000, float 5., float 0x7FF8000000000000, float 5.>)
 199   ret <4 x float> %1
 200 }
 201
 202 define <4 x bfloat> @maxnum_bfloat_vec() {
 203 ; CHECK-LABEL: @maxnum_bfloat_vec(
 204 ; CHECK-NEXT:    ret <4 x bfloat> <bfloat 0xR7FC0, bfloat 0xR40A0, bfloat 0xR4228, bfloat 0xR4228>
 205 ;
 206   %1 = call <4 x bfloat> @llvm.maxnum.v4bf16(<4 x bfloat> <bfloat 0x7FF8000000000000, bfloat 0x7FF8000000000000, bfloat 42., bfloat 42.>, <4 x bfloat> <bfloat 0x7FF8000000000000, bfloat 5., bfloat 0x7FF8000000000000, bfloat 5.>)
 207   ret <4 x bfloat> %1
 208 }
 209
 210 define <4 x half> @maxnum_half_vec() {
 211 ; CHECK-LABEL: @maxnum_half_vec(
 212 ; CHECK-NEXT:    ret <4 x half> <half 0xH7E00, half 0xH4500, half 0xH5140, half 0xH5140>
 213 ;
 214   %1 = call <4 x half> @llvm.maxnum.v4f16(<4 x half> <half 0x7FF8000000000000, half 0x7FF8000000000000, half 42., half 42.>, <4 x half> <half 0x7FF8000000000000, half 5., half 0x7FF8000000000000, half 5.>)
 215   ret <4 x half> %1
 216 }
 217
 218 ; Check that maxnum constant folds to propagate one of its argument zeros
 219
 220 define <4 x float> @maxnum_float_zeros_vec() {
 221 ; CHECK-LABEL: @maxnum_float_zeros_vec(
 222 ; CHECK-NEXT:    ret <4 x float> <float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float -0.000000e+00>
 223 ;
 224   %1 = call <4 x float> @llvm.maxnum.v4f32(<4 x float> <float 0.0, float -0.0, float 0.0, float -0.0>, <4 x float> <float 0.0, float 0.0, float -0.0, float -0.0>)
 225   ret <4 x float> %1
 226 }
 227
 228 define float @minimum_float() {
 229 ; CHECK-LABEL: @minimum_float(
 230 ; CHECK-NEXT:    ret float 5.000000e+00
 231 ;
 232   %1 = call float @llvm.minimum.f32(float 5.0, float 42.0)
 233   ret float %1
 234 }
 235
 236 define bfloat @minimum_bfloat() {
 237 ; CHECK-LABEL: @minimum_bfloat(
 238 ; CHECK-NEXT:    ret bfloat 0xR40A0
 239 ;
 240   %1 = call bfloat @llvm.minimum.bf16(bfloat 5.0, bfloat 42.0)
 241   ret bfloat %1
 242 }
 243
 244 define half @minimum_half() {
 245 ; CHECK-LABEL: @minimum_half(
 246 ; CHECK-NEXT:    ret half 0xH4500
 247 ;
 248   %1 = call half @llvm.minimum.f16(half 5.0, half 42.0)
 249   ret half %1
 250 }
 251
 252 ; Check that minimum propagates its NaN or smaller argument
 253
 254 define <4 x float> @minimum_float_vec() {
 255 ; CHECK-LABEL: @minimum_float_vec(
 256 ; CHECK-NEXT:    ret <4 x float> <float 0x7FF8000000000000, float 0x7FF8000000000000, float 0x7FF8000000000000, float 5.000000e+00>
 257 ;
 258   %1 = call <4 x float> @llvm.minimum.v4f32(<4 x float> <float 0x7FF8000000000000, float 0x7FF8000000000000, float 42., float 42.>, <4 x float> <float 0x7FF8000000000000, float 5., float 0x7FF8000000000000, float 5.>)
 259   ret <4 x float> %1
 260 }
 261
 262 define <4 x bfloat> @minimum_bfloat_vec() {
 263 ; CHECK-LABEL: @minimum_bfloat_vec(
 264 ; CHECK-NEXT:    ret <4 x bfloat> <bfloat 0xR7FC0, bfloat 0xR7FC0, bfloat 0xR7FC0, bfloat 0xR40A0>
 265 ;
 266   %1 = call <4 x bfloat> @llvm.minimum.v4bf16(<4 x bfloat> <bfloat 0x7FF8000000000000, bfloat 0x7FF8000000000000, bfloat 42., bfloat 42.>, <4 x bfloat> <bfloat 0x7FF8000000000000, bfloat 5., bfloat 0x7FF8000000000000, bfloat 5.>)
 267   ret <4 x bfloat> %1
 268 }
 269
 270 define <4 x half> @minimum_half_vec() {
 271 ; CHECK-LABEL: @minimum_half_vec(
 272 ; CHECK-NEXT:    ret <4 x half> <half 0xH7E00, half 0xH7E00, half 0xH7E00, half 0xH4500>
 273 ;
 274   %1 = call <4 x half> @llvm.minimum.v4f16(<4 x half> <half 0x7FF8000000000000, half 0x7FF8000000000000, half 42., half 42.>, <4 x half> <half 0x7FF8000000000000, half 5., half 0x7FF8000000000000, half 5.>)
 275   ret <4 x half> %1
 276 }
 277
 278 ; Check that minimum treats -0.0 as smaller than 0.0 while constant folding
 279
 280 define <4 x float> @minimum_float_zeros_vec() {
 281 ; CHECK-LABEL: @minimum_float_zeros_vec(
 282 ; CHECK-NEXT:    ret <4 x float> <float 0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00>
 283 ;
 284   %1 = call <4 x float> @llvm.minimum.v4f32(<4 x float> <float 0.0, float -0.0, float 0.0, float -0.0>, <4 x float> <float 0.0, float 0.0, float -0.0, float -0.0>)
 285   ret <4 x float> %1
 286 }
 287
 288 define float @maximum_float() {
 289 ; CHECK-LABEL: @maximum_float(
 290 ; CHECK-NEXT:    ret float 4.200000e+01
 291 ;
 292   %1 = call float @llvm.maximum.f32(float 5.0, float 42.0)
 293   ret float %1
 294 }
 295
 296 define bfloat @maximum_bfloat() {
 297 ; CHECK-LABEL: @maximum_bfloat(
 298 ; CHECK-NEXT:    ret bfloat 0xR4228
 299 ;
 300   %1 = call bfloat @llvm.maximum.bf16(bfloat 5.0, bfloat 42.0)
 301   ret bfloat %1
 302 }
 303
 304 define half @maximum_half() {
 305 ; CHECK-LABEL: @maximum_half(
 306 ; CHECK-NEXT:    ret half 0xH5140
 307 ;
 308   %1 = call half @llvm.maximum.f16(half 5.0, half 42.0)
 309   ret half %1
 310 }
 311
 312 ; Check that maximum propagates its NaN or greater argument
 313
 314 define <4 x float> @maximum_float_vec() {
 315 ; CHECK-LABEL: @maximum_float_vec(
 316 ; CHECK-NEXT:    ret <4 x float> <float 0x7FF8000000000000, float 0x7FF8000000000000, float 0x7FF8000000000000, float 4.200000e+01>
 317 ;
 318   %1 = call <4 x float> @llvm.maximum.v4f32(<4 x float> <float 0x7FF8000000000000, float 0x7FF8000000000000, float 42., float 42.>, <4 x float> <float 0x7FF8000000000000, float 5., float 0x7FF8000000000000, float 5.>)
 319   ret <4 x float> %1
 320 }
 321
 322 define <4 x bfloat> @maximum_bfloat_vec() {
 323 ; CHECK-LABEL: @maximum_bfloat_vec(
 324 ; CHECK-NEXT:    ret <4 x bfloat> <bfloat 0xR7FC0, bfloat 0xR7FC0, bfloat 0xR7FC0, bfloat 0xR4228>
 325 ;
 326   %1 = call <4 x bfloat> @llvm.maximum.v4bf16(<4 x bfloat> <bfloat 0x7FF8000000000000, bfloat 0x7FF8000000000000, bfloat 42., bfloat 42.>, <4 x bfloat> <bfloat 0x7FF8000000000000, bfloat 5., bfloat 0x7FF8000000000000, bfloat 5.>)
 327   ret <4 x bfloat> %1
 328 }
 329
 330 define <4 x half> @maximum_half_vec() {
 331 ; CHECK-LABEL: @maximum_half_vec(
 332 ; CHECK-NEXT:    ret <4 x half> <half 0xH7E00, half 0xH7E00, half 0xH7E00, half 0xH5140>
 333 ;
 334   %1 = call <4 x half> @llvm.maximum.v4f16(<4 x half> <half 0x7FF8000000000000, half 0x7FF8000000000000, half 42., half 42.>, <4 x half> <half 0x7FF8000000000000, half 5., half 0x7FF8000000000000, half 5.>)
 335   ret <4 x half> %1
 336 }
 337
 338 ; Check that maximum treats -0.0 as smaller than 0.0 while constant folding
 339
 340 define <4 x float> @maximum_float_zeros_vec() {
 341 ; CHECK-LABEL: @maximum_float_zeros_vec(
 342 ; CHECK-NEXT:    ret <4 x float> <float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float -0.000000e+00>
 343 ;
 344   %1 = call <4 x float> @llvm.maximum.v4f32(<4 x float> <float 0.0, float -0.0, float 0.0, float -0.0>, <4 x float> <float 0.0, float 0.0, float -0.0, float -0.0>)
 345   ret <4 x float> %1
 346 }
 347
 348 define i8 @smax() {
 349 ; CHECK-LABEL: @smax(
 350 ; CHECK-NEXT:    ret i8 -127
 351 ;
 352   %r = call i8 @llvm.smax.i8(i8 128, i8 129)
 353   ret i8 %r
 354 }
 355
 356 define <5 x i8> @smax_vec() {
 357 ; CHECK-LABEL: @smax_vec(
 358 ; CHECK-NEXT:    ret <5 x i8> <i8 poison, i8 127, i8 poison, i8 42, i8 127>
 359 ;
 360   %r = call <5 x i8> @llvm.smax.v5i8(<5 x i8> <i8 poison, i8 undef, i8 1, i8 42, i8 42>, <5 x i8> <i8 undef, i8 1, i8 poison, i8 42, i8 127>)
 361   ret <5 x i8> %r
 362 }
 363
 364 define i8 @smin() {
 365 ; CHECK-LABEL: @smin(
 366 ; CHECK-NEXT:    ret i8 -128
 367 ;
 368   %r = call i8 @llvm.smin.i8(i8 128, i8 127)
 369   ret i8 %r
 370 }
 371
 372 define <5 x i8> @smin_vec() {
 373 ; CHECK-LABEL: @smin_vec(
 374 ; CHECK-NEXT:    ret <5 x i8> <i8 poison, i8 -128, i8 poison, i8 42, i8 -127>
 375 ;
 376   %r = call <5 x i8> @llvm.smin.v5i8(<5 x i8> <i8 poison, i8 undef, i8 1, i8 42, i8 42>, <5 x i8> <i8 undef, i8 1, i8 poison, i8 42, i8 129>)
 377   ret <5 x i8> %r
 378 }
 379
 380 define i8 @umax() {
 381 ; CHECK-LABEL: @umax(
 382 ; CHECK-NEXT:    ret i8 -128
 383 ;
 384   %r = call i8 @llvm.umax.i8(i8 128, i8 127)
 385   ret i8 %r
 386 }
 387
 388 define <5 x i8> @umax_vec() {
 389 ; CHECK-LABEL: @umax_vec(
 390 ; CHECK-NEXT:    ret <5 x i8> <i8 poison, i8 -1, i8 poison, i8 42, i8 -128>
 391 ;
 392   %r = call <5 x i8> @llvm.umax.v5i8(<5 x i8> <i8 poison, i8 undef, i8 1, i8 42, i8 42>, <5 x i8> <i8 undef, i8 1, i8 poison, i8 42, i8 128>)
 393   ret <5 x i8> %r
 394 }
 395
 396 define i8 @umin() {
 397 ; CHECK-LABEL: @umin(
 398 ; CHECK-NEXT:    ret i8 127
 399 ;
 400   %r = call i8 @llvm.umin.i8(i8 128, i8 127)
 401   ret i8 %r
 402 }
 403
 404 define <5 x i8> @umin_vec() {
 405 ; CHECK-LABEL: @umin_vec(
 406 ; CHECK-NEXT:    ret <5 x i8> <i8 poison, i8 0, i8 poison, i8 42, i8 42>
 407 ;
 408   %r = call <5 x i8> @llvm.umin.v5i8(<5 x i8> <i8 poison, i8 undef, i8 1, i8 42, i8 42>, <5 x i8> <i8 undef, i8 1, i8 poison, i8 42, i8 128>)
 409   ret <5 x i8> %r
 410 }