1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes=instsimplify -S < %s | FileCheck %s 3 4declare float @llvm.minnum.f32(float, float) 5declare bfloat @llvm.minnum.bf16(bfloat, bfloat) 6declare half @llvm.minnum.f16(half, half) 7declare <4 x float> @llvm.minnum.v4f32(<4 x float>, <4 x float>) 8declare <4 x bfloat> @llvm.minnum.v4bf16(<4 x bfloat>, <4 x bfloat>) 9declare <4 x half> @llvm.minnum.v4f16(<4 x half>, <4 x half>) 10 11declare float @llvm.maxnum.f32(float, float) 12declare bfloat @llvm.maxnum.bf16(bfloat, bfloat) 13declare half @llvm.maxnum.f16(half, half) 14declare <4 x float> @llvm.maxnum.v4f32(<4 x float>, <4 x float>) 15declare <4 x bfloat> @llvm.maxnum.v4bf16(<4 x bfloat>, <4 x bfloat>) 16declare <4 x half> @llvm.maxnum.v4f16(<4 x half>, <4 x half>) 17 18declare float @llvm.minimum.f32(float, float) 19declare bfloat @llvm.minimum.bf16(bfloat, bfloat) 20declare half @llvm.minimum.f16(half, half) 21declare <4 x float> @llvm.minimum.v4f32(<4 x float>, <4 x float>) 22declare <4 x bfloat> @llvm.minimum.v4bf16(<4 x bfloat>, <4 x bfloat>) 23declare <4 x half> @llvm.minimum.v4f16(<4 x half>, <4 x half>) 24 25declare float @llvm.maximum.f32(float, float) 26declare bfloat @llvm.maximum.bf16(bfloat, bfloat) 27declare half @llvm.maximum.f16(half, half) 28declare <4 x float> @llvm.maximum.v4f32(<4 x float>, <4 x float>) 29declare <4 x bfloat> @llvm.maximum.v4bf16(<4 x bfloat>, <4 x bfloat>) 30declare <4 x half> @llvm.maximum.v4f16(<4 x half>, <4 x half>) 31 32declare i8 @llvm.smax.i8(i8, i8) 33declare <5 x i8> @llvm.smax.v5i8(<5 x i8>, <5 x i8>) 34 35declare i8 @llvm.smin.i8(i8, i8) 36declare <5 x i8> @llvm.smin.v5i8(<5 x i8>, <5 x i8>) 37 38declare i8 @llvm.umax.i8(i8, i8) 39declare <5 x i8> @llvm.umax.v5i8(<5 x i8>, <5 x i8>) 40 41declare i8 @llvm.umin.i8(i8, i8) 42declare <5 x i8> @llvm.umin.v5i8(<5 x i8>, <5 x i8>) 43 44define 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 52define 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 60define 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 70define <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 78define <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 86define <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 96define <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 104define 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 112define 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 120define 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 130define <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 138define <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 146define <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 156define <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 164define 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 172define 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 180define 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 190define <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 198define <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 206define <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 216define <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 224define 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 232define 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 240define 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 250define <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 258define <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 266define <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 276define <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 284define 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 292define <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 300define 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 308define <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 316define 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 324define <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 332define 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 340define <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} 347