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 bfloat @minnum_bfloat() {
  53 ; CHECK-LABEL: @minnum_bfloat(
  54 ; CHECK-NEXT:    ret bfloat 0xR40A0
  55 ;
  56   %1 = call bfloat @llvm.minnum.bf16(bfloat 5.0, bfloat 42.0)
  57   ret bfloat %1
  58 }
  59
  60 define half @minnum_half() {
  61 ; CHECK-LABEL: @minnum_half(
  62 ; CHECK-NEXT:    ret half 0xH4500
  63 ;
  64   %1 = call half @llvm.minnum.f16(half 5.0, half 42.0)
  65   ret half %1
  66 }
  67
  68 ; Check that minnum constant folds to propagate non-NaN or smaller argument
  69
  70 define <4 x float> @minnum_float_vec() {
  71 ; CHECK-LABEL: @minnum_float_vec(
  72 ; CHECK-NEXT:    ret <4 x float> <float 0x7FF8000000000000, float 5.000000e+00, float 4.200000e+01, float 5.000000e+00>
  73 ;
  74   %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.>)
  75   ret <4 x float> %1
  76 }
  77
  78 define <4 x bfloat> @minnum_bfloat_vec() {
  79 ; CHECK-LABEL: @minnum_bfloat_vec(
  80 ; CHECK-NEXT:    ret <4 x bfloat> <bfloat 0xR7FC0, bfloat 0xR40A0, bfloat 0xR4228, bfloat 0xR40A0>
  81 ;
  82   %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.>)
  83   ret <4 x bfloat> %1
  84 }
  85
  86 define <4 x half> @minnum_half_vec() {
  87 ; CHECK-LABEL: @minnum_half_vec(
  88 ; CHECK-NEXT:    ret <4 x half> <half 0xH7E00, half 0xH4500, half 0xH5140, half 0xH4500>
  89 ;
  90   %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.>)
  91   ret <4 x half> %1
  92 }
  93
  94 ; Check that minnum constant folds to propagate one of its argument zeros
  95
  96 define <4 x float> @minnum_float_zeros_vec() {
  97 ; CHECK-LABEL: @minnum_float_zeros_vec(
  98 ; CHECK-NEXT:    ret <4 x float> <float 0.000000e+00, float -0.000000e+00, float 0.000000e+00, float -0.000000e+00>
  99 ;
 100   %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>)
 101   ret <4 x float> %1
 102 }
 103
 104 define float @maxnum_float() {
 105 ; CHECK-LABEL: @maxnum_float(
 106 ; CHECK-NEXT:    ret float 4.200000e+01
 107 ;
 108   %1 = call float @llvm.maxnum.f32(float 5.0, float 42.0)
 109   ret float %1
 110 }
 111
 112 define bfloat @maxnum_bfloat() {
 113 ; CHECK-LABEL: @maxnum_bfloat(
 114 ; CHECK-NEXT:    ret bfloat 0xR4228
 115 ;
 116   %1 = call bfloat @llvm.maxnum.bf16(bfloat 5.0, bfloat 42.0)
 117   ret bfloat %1
 118 }
 119
 120 define half @maxnum_half() {
 121 ; CHECK-LABEL: @maxnum_half(
 122 ; CHECK-NEXT:    ret half 0xH5140
 123 ;
 124   %1 = call half @llvm.maxnum.f16(half 5.0, half 42.0)
 125   ret half %1
 126 }
 127
 128 ; Check that maxnum constant folds to propagate non-NaN or greater argument
 129
 130 define <4 x float> @maxnum_float_vec() {
 131 ; CHECK-LABEL: @maxnum_float_vec(
 132 ; CHECK-NEXT:    ret <4 x float> <float 0x7FF8000000000000, float 5.000000e+00, float 4.200000e+01, float 4.200000e+01>
 133 ;
 134   %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.>)
 135   ret <4 x float> %1
 136 }
 137
 138 define <4 x bfloat> @maxnum_bfloat_vec() {
 139 ; CHECK-LABEL: @maxnum_bfloat_vec(
 140 ; CHECK-NEXT:    ret <4 x bfloat> <bfloat 0xR7FC0, bfloat 0xR40A0, bfloat 0xR4228, bfloat 0xR4228>
 141 ;
 142   %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.>)
 143   ret <4 x bfloat> %1
 144 }
 145
 146 define <4 x half> @maxnum_half_vec() {
 147 ; CHECK-LABEL: @maxnum_half_vec(
 148 ; CHECK-NEXT:    ret <4 x half> <half 0xH7E00, half 0xH4500, half 0xH5140, half 0xH5140>
 149 ;
 150   %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.>)
 151   ret <4 x half> %1
 152 }
 153
 154 ; Check that maxnum constant folds to propagate one of its argument zeros
 155
 156 define <4 x float> @maxnum_float_zeros_vec() {
 157 ; CHECK-LABEL: @maxnum_float_zeros_vec(
 158 ; CHECK-NEXT:    ret <4 x float> <float 0.000000e+00, float -0.000000e+00, float 0.000000e+00, float -0.000000e+00>
 159 ;
 160   %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>)
 161   ret <4 x float> %1
 162 }
 163
 164 define float @minimum_float() {
 165 ; CHECK-LABEL: @minimum_float(
 166 ; CHECK-NEXT:    ret float 5.000000e+00
 167 ;
 168   %1 = call float @llvm.minimum.f32(float 5.0, float 42.0)
 169   ret float %1
 170 }
 171
 172 define bfloat @minimum_bfloat() {
 173 ; CHECK-LABEL: @minimum_bfloat(
 174 ; CHECK-NEXT:    ret bfloat 0xR40A0
 175 ;
 176   %1 = call bfloat @llvm.minimum.bf16(bfloat 5.0, bfloat 42.0)
 177   ret bfloat %1
 178 }
 179
 180 define half @minimum_half() {
 181 ; CHECK-LABEL: @minimum_half(
 182 ; CHECK-NEXT:    ret half 0xH4500
 183 ;
 184   %1 = call half @llvm.minimum.f16(half 5.0, half 42.0)
 185   ret half %1
 186 }
 187
 188 ; Check that minimum propagates its NaN or smaller argument
 189
 190 define <4 x float> @minimum_float_vec() {
 191 ; CHECK-LABEL: @minimum_float_vec(
 192 ; CHECK-NEXT:    ret <4 x float> <float 0x7FF8000000000000, float 0x7FF8000000000000, float 0x7FF8000000000000, float 5.000000e+00>
 193 ;
 194   %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.>)
 195   ret <4 x float> %1
 196 }
 197
 198 define <4 x bfloat> @minimum_bfloat_vec() {
 199 ; CHECK-LABEL: @minimum_bfloat_vec(
 200 ; CHECK-NEXT:    ret <4 x bfloat> <bfloat 0xR7FC0, bfloat 0xR7FC0, bfloat 0xR7FC0, bfloat 0xR40A0>
 201 ;
 202   %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.>)
 203   ret <4 x bfloat> %1
 204 }
 205
 206 define <4 x half> @minimum_half_vec() {
 207 ; CHECK-LABEL: @minimum_half_vec(
 208 ; CHECK-NEXT:    ret <4 x half> <half 0xH7E00, half 0xH7E00, half 0xH7E00, half 0xH4500>
 209 ;
 210   %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.>)
 211   ret <4 x half> %1
 212 }
 213
 214 ; Check that minimum treats -0.0 as smaller than 0.0 while constant folding
 215
 216 define <4 x float> @minimum_float_zeros_vec() {
 217 ; CHECK-LABEL: @minimum_float_zeros_vec(
 218 ; CHECK-NEXT:    ret <4 x float> <float 0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00>
 219 ;
 220   %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>)
 221   ret <4 x float> %1
 222 }
 223
 224 define float @maximum_float() {
 225 ; CHECK-LABEL: @maximum_float(
 226 ; CHECK-NEXT:    ret float 4.200000e+01
 227 ;
 228   %1 = call float @llvm.maximum.f32(float 5.0, float 42.0)
 229   ret float %1
 230 }
 231
 232 define bfloat @maximum_bfloat() {
 233 ; CHECK-LABEL: @maximum_bfloat(
 234 ; CHECK-NEXT:    ret bfloat 0xR4228
 235 ;
 236   %1 = call bfloat @llvm.maximum.bf16(bfloat 5.0, bfloat 42.0)
 237   ret bfloat %1
 238 }
 239
 240 define half @maximum_half() {
 241 ; CHECK-LABEL: @maximum_half(
 242 ; CHECK-NEXT:    ret half 0xH5140
 243 ;
 244   %1 = call half @llvm.maximum.f16(half 5.0, half 42.0)
 245   ret half %1
 246 }
 247
 248 ; Check that maximum propagates its NaN or greater argument
 249
 250 define <4 x float> @maximum_float_vec() {
 251 ; CHECK-LABEL: @maximum_float_vec(
 252 ; CHECK-NEXT:    ret <4 x float> <float 0x7FF8000000000000, float 0x7FF8000000000000, float 0x7FF8000000000000, float 4.200000e+01>
 253 ;
 254   %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.>)
 255   ret <4 x float> %1
 256 }
 257
 258 define <4 x bfloat> @maximum_bfloat_vec() {
 259 ; CHECK-LABEL: @maximum_bfloat_vec(
 260 ; CHECK-NEXT:    ret <4 x bfloat> <bfloat 0xR7FC0, bfloat 0xR7FC0, bfloat 0xR7FC0, bfloat 0xR4228>
 261 ;
 262   %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.>)
 263   ret <4 x bfloat> %1
 264 }
 265
 266 define <4 x half> @maximum_half_vec() {
 267 ; CHECK-LABEL: @maximum_half_vec(
 268 ; CHECK-NEXT:    ret <4 x half> <half 0xH7E00, half 0xH7E00, half 0xH7E00, half 0xH5140>
 269 ;
 270   %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.>)
 271   ret <4 x half> %1
 272 }
 273
 274 ; Check that maximum treats -0.0 as smaller than 0.0 while constant folding
 275
 276 define <4 x float> @maximum_float_zeros_vec() {
 277 ; CHECK-LABEL: @maximum_float_zeros_vec(
 278 ; CHECK-NEXT:    ret <4 x float> <float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float -0.000000e+00>
 279 ;
 280   %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>)
 281   ret <4 x float> %1
 282 }
 283
 284 define i8 @smax() {
 285 ; CHECK-LABEL: @smax(
 286 ; CHECK-NEXT:    ret i8 -127
 287 ;
 288   %r = call i8 @llvm.smax.i8(i8 128, i8 129)
 289   ret i8 %r
 290 }
 291
 292 define <5 x i8> @smax_vec() {
 293 ; CHECK-LABEL: @smax_vec(
 294 ; CHECK-NEXT:    ret <5 x i8> <i8 poison, i8 127, i8 poison, i8 42, i8 127>
 295 ;
 296   %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>)
 297   ret <5 x i8> %r
 298 }
 299
 300 define i8 @smin() {
 301 ; CHECK-LABEL: @smin(
 302 ; CHECK-NEXT:    ret i8 -128
 303 ;
 304   %r = call i8 @llvm.smin.i8(i8 128, i8 127)
 305   ret i8 %r
 306 }
 307
 308 define <5 x i8> @smin_vec() {
 309 ; CHECK-LABEL: @smin_vec(
 310 ; CHECK-NEXT:    ret <5 x i8> <i8 poison, i8 -128, i8 poison, i8 42, i8 -127>
 311 ;
 312   %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>)
 313   ret <5 x i8> %r
 314 }
 315
 316 define i8 @umax() {
 317 ; CHECK-LABEL: @umax(
 318 ; CHECK-NEXT:    ret i8 -128
 319 ;
 320   %r = call i8 @llvm.umax.i8(i8 128, i8 127)
 321   ret i8 %r
 322 }
 323
 324 define <5 x i8> @umax_vec() {
 325 ; CHECK-LABEL: @umax_vec(
 326 ; CHECK-NEXT:    ret <5 x i8> <i8 poison, i8 -1, i8 poison, i8 42, i8 -128>
 327 ;
 328   %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>)
 329   ret <5 x i8> %r
 330 }
 331
 332 define i8 @umin() {
 333 ; CHECK-LABEL: @umin(
 334 ; CHECK-NEXT:    ret i8 127
 335 ;
 336   %r = call i8 @llvm.umin.i8(i8 128, i8 127)
 337   ret i8 %r
 338 }
 339
 340 define <5 x i8> @umin_vec() {
 341 ; CHECK-LABEL: @umin_vec(
 342 ; CHECK-NEXT:    ret <5 x i8> <i8 poison, i8 0, i8 poison, i8 42, i8 42>
 343 ;
 344   %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>)
 345   ret <5 x i8> %r
 346 }