1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -instcombine < %s | FileCheck %s 3 4declare float @llvm.minimum.f32(float, float) 5declare <2 x float> @llvm.minimum.v2f32(<2 x float>, <2 x float>) 6declare <4 x float> @llvm.minimum.v4f32(<4 x float>, <4 x float>) 7 8declare double @llvm.minimum.f64(double, double) 9declare <2 x double> @llvm.minimum.v2f64(<2 x double>, <2 x double>) 10 11declare float @llvm.maximum.f32(float, float) 12 13define float @constant_fold_minimum_f32() { 14; CHECK-LABEL: @constant_fold_minimum_f32( 15; CHECK-NEXT: ret float 1.000000e+00 16; 17 %x = call float @llvm.minimum.f32(float 1.0, float 2.0) 18 ret float %x 19} 20 21define float @constant_fold_minimum_f32_inv() { 22; CHECK-LABEL: @constant_fold_minimum_f32_inv( 23; CHECK-NEXT: ret float 1.000000e+00 24; 25 %x = call float @llvm.minimum.f32(float 2.0, float 1.0) 26 ret float %x 27} 28 29define float @constant_fold_minimum_f32_nan0() { 30; CHECK-LABEL: @constant_fold_minimum_f32_nan0( 31; CHECK-NEXT: ret float 0x7FF8000000000000 32; 33 %x = call float @llvm.minimum.f32(float 0x7FF8000000000000, float 2.0) 34 ret float %x 35} 36 37define float @constant_fold_minimum_f32_nan1() { 38; CHECK-LABEL: @constant_fold_minimum_f32_nan1( 39; CHECK-NEXT: ret float 0x7FF8000000000000 40; 41 %x = call float @llvm.minimum.f32(float 2.0, float 0x7FF8000000000000) 42 ret float %x 43} 44 45define float @constant_fold_minimum_f32_nan_nan() { 46; CHECK-LABEL: @constant_fold_minimum_f32_nan_nan( 47; CHECK-NEXT: ret float 0x7FF8000000000000 48; 49 %x = call float @llvm.minimum.f32(float 0x7FF8000000000000, float 0x7FF8000000000000) 50 ret float %x 51} 52 53define float @constant_fold_minimum_f32_p0_p0() { 54; CHECK-LABEL: @constant_fold_minimum_f32_p0_p0( 55; CHECK-NEXT: ret float 0.000000e+00 56; 57 %x = call float @llvm.minimum.f32(float 0.0, float 0.0) 58 ret float %x 59} 60 61define float @constant_fold_minimum_f32_p0_n0() { 62; CHECK-LABEL: @constant_fold_minimum_f32_p0_n0( 63; CHECK-NEXT: ret float -0.000000e+00 64; 65 %x = call float @llvm.minimum.f32(float 0.0, float -0.0) 66 ret float %x 67} 68 69define float @constant_fold_minimum_f32_n0_p0() { 70; CHECK-LABEL: @constant_fold_minimum_f32_n0_p0( 71; CHECK-NEXT: ret float -0.000000e+00 72; 73 %x = call float @llvm.minimum.f32(float -0.0, float 0.0) 74 ret float %x 75} 76 77define float @constant_fold_minimum_f32_n0_n0() { 78; CHECK-LABEL: @constant_fold_minimum_f32_n0_n0( 79; CHECK-NEXT: ret float -0.000000e+00 80; 81 %x = call float @llvm.minimum.f32(float -0.0, float -0.0) 82 ret float %x 83} 84 85define <4 x float> @constant_fold_minimum_v4f32() { 86; CHECK-LABEL: @constant_fold_minimum_v4f32( 87; CHECK-NEXT: ret <4 x float> <float 1.000000e+00, float 2.000000e+00, float 3.000000e+00, float 5.000000e+00> 88; 89 %x = call <4 x float> @llvm.minimum.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>) 90 ret <4 x float> %x 91} 92 93define double @constant_fold_minimum_f64() { 94; CHECK-LABEL: @constant_fold_minimum_f64( 95; CHECK-NEXT: ret double 1.000000e+00 96; 97 %x = call double @llvm.minimum.f64(double 1.0, double 2.0) 98 ret double %x 99} 100 101define double @constant_fold_minimum_f64_nan0() { 102; CHECK-LABEL: @constant_fold_minimum_f64_nan0( 103; CHECK-NEXT: ret double 0x7FF8000000000000 104; 105 %x = call double @llvm.minimum.f64(double 0x7FF8000000000000, double 2.0) 106 ret double %x 107} 108 109define double @constant_fold_minimum_f64_nan1() { 110; CHECK-LABEL: @constant_fold_minimum_f64_nan1( 111; CHECK-NEXT: ret double 0x7FF8000000000000 112; 113 %x = call double @llvm.minimum.f64(double 2.0, double 0x7FF8000000000000) 114 ret double %x 115} 116 117define double @constant_fold_minimum_f64_nan_nan() { 118; CHECK-LABEL: @constant_fold_minimum_f64_nan_nan( 119; CHECK-NEXT: ret double 0x7FF8000000000000 120; 121 %x = call double @llvm.minimum.f64(double 0x7FF8000000000000, double 0x7FF8000000000000) 122 ret double %x 123} 124 125define float @canonicalize_constant_minimum_f32(float %x) { 126; CHECK-LABEL: @canonicalize_constant_minimum_f32( 127; CHECK-NEXT: [[Y:%.*]] = call float @llvm.minimum.f32(float [[X:%.*]], float 1.000000e+00) 128; CHECK-NEXT: ret float [[Y]] 129; 130 %y = call float @llvm.minimum.f32(float 1.0, float %x) 131 ret float %y 132} 133 134define float @minimum_f32_nan_val(float %x) { 135; CHECK-LABEL: @minimum_f32_nan_val( 136; CHECK-NEXT: ret float 0x7FF8000000000000 137; 138 %y = call float @llvm.minimum.f32(float 0x7FF8000000000000, float %x) 139 ret float %y 140} 141 142define float @minimum_f32_val_nan(float %x) { 143; CHECK-LABEL: @minimum_f32_val_nan( 144; CHECK-NEXT: ret float 0x7FF8000000000000 145; 146 %y = call float @llvm.minimum.f32(float %x, float 0x7FF8000000000000) 147 ret float %y 148} 149 150define float @minimum_f32_1_minimum_val_p0(float %x) { 151; CHECK-LABEL: @minimum_f32_1_minimum_val_p0( 152; CHECK-NEXT: [[TMP1:%.*]] = call float @llvm.minimum.f32(float [[X:%.*]], float 0.000000e+00) 153; CHECK-NEXT: ret float [[TMP1]] 154; 155 %y = call float @llvm.minimum.f32(float %x, float 0.0) 156 %z = call float @llvm.minimum.f32(float %y, float 1.0) 157 ret float %z 158} 159 160define float @minimum_f32_1_minimum_p0_val_fast(float %x) { 161; CHECK-LABEL: @minimum_f32_1_minimum_p0_val_fast( 162; CHECK-NEXT: [[TMP1:%.*]] = call fast float @llvm.minimum.f32(float [[X:%.*]], float 0.000000e+00) 163; CHECK-NEXT: ret float [[TMP1]] 164; 165 %y = call float @llvm.minimum.f32(float 0.0, float %x) 166 %z = call fast float @llvm.minimum.f32(float %y, float 1.0) 167 ret float %z 168} 169 170define float @minimum_f32_1_minimum_p0_val_nnan_ninf(float %x) { 171; CHECK-LABEL: @minimum_f32_1_minimum_p0_val_nnan_ninf( 172; CHECK-NEXT: [[TMP1:%.*]] = call nnan ninf float @llvm.minimum.f32(float [[X:%.*]], float 0.000000e+00) 173; CHECK-NEXT: ret float [[TMP1]] 174; 175 %y = call float @llvm.minimum.f32(float 0.0, float %x) 176 %z = call nnan ninf float @llvm.minimum.f32(float %y, float 1.0) 177 ret float %z 178} 179 180define float @minimum_f32_p0_minimum_val_n0(float %x) { 181; CHECK-LABEL: @minimum_f32_p0_minimum_val_n0( 182; CHECK-NEXT: [[TMP1:%.*]] = call float @llvm.minimum.f32(float [[X:%.*]], float -0.000000e+00) 183; CHECK-NEXT: ret float [[TMP1]] 184; 185 %y = call float @llvm.minimum.f32(float %x, float -0.0) 186 %z = call float @llvm.minimum.f32(float %y, float 0.0) 187 ret float %z 188} 189 190define float @minimum_f32_1_minimum_p0_val(float %x) { 191; CHECK-LABEL: @minimum_f32_1_minimum_p0_val( 192; CHECK-NEXT: [[TMP1:%.*]] = call float @llvm.minimum.f32(float [[X:%.*]], float 0.000000e+00) 193; CHECK-NEXT: ret float [[TMP1]] 194; 195 %y = call float @llvm.minimum.f32(float 0.0, float %x) 196 %z = call float @llvm.minimum.f32(float %y, float 1.0) 197 ret float %z 198} 199 200define <2 x float> @minimum_f32_1_minimum_val_p0_val_v2f32(<2 x float> %x) { 201; CHECK-LABEL: @minimum_f32_1_minimum_val_p0_val_v2f32( 202; CHECK-NEXT: [[TMP1:%.*]] = call <2 x float> @llvm.minimum.v2f32(<2 x float> [[X:%.*]], <2 x float> zeroinitializer) 203; CHECK-NEXT: ret <2 x float> [[TMP1]] 204; 205 %y = call <2 x float> @llvm.minimum.v2f32(<2 x float> %x, <2 x float> zeroinitializer) 206 %z = call <2 x float> @llvm.minimum.v2f32(<2 x float> %y, <2 x float><float 1.0, float 1.0>) 207 ret <2 x float> %z 208} 209 210define float @minimum4(float %x, float %y, float %z, float %w) { 211; CHECK-LABEL: @minimum4( 212; CHECK-NEXT: [[A:%.*]] = call float @llvm.minimum.f32(float [[X:%.*]], float [[Y:%.*]]) 213; CHECK-NEXT: [[B:%.*]] = call float @llvm.minimum.f32(float [[Z:%.*]], float [[W:%.*]]) 214; CHECK-NEXT: [[C:%.*]] = call float @llvm.minimum.f32(float [[A]], float [[B]]) 215; CHECK-NEXT: ret float [[C]] 216; 217 %a = call float @llvm.minimum.f32(float %x, float %y) 218 %b = call float @llvm.minimum.f32(float %z, float %w) 219 %c = call float @llvm.minimum.f32(float %a, float %b) 220 ret float %c 221} 222 223define float @minimum_x_maximum_x_y(float %x, float %y) { 224; CHECK-LABEL: @minimum_x_maximum_x_y( 225; CHECK-NEXT: [[A:%.*]] = call float @llvm.maximum.f32(float [[X:%.*]], float [[Y:%.*]]) 226; CHECK-NEXT: [[B:%.*]] = call float @llvm.minimum.f32(float [[X]], float [[A]]) 227; CHECK-NEXT: ret float [[B]] 228; 229 %a = call float @llvm.maximum.f32(float %x, float %y) 230 %b = call float @llvm.minimum.f32(float %x, float %a) 231 ret float %b 232} 233 234define float @maximum_x_minimum_x_y(float %x, float %y) { 235; CHECK-LABEL: @maximum_x_minimum_x_y( 236; CHECK-NEXT: [[A:%.*]] = call float @llvm.minimum.f32(float [[X:%.*]], float [[Y:%.*]]) 237; CHECK-NEXT: [[B:%.*]] = call float @llvm.maximum.f32(float [[X]], float [[A]]) 238; CHECK-NEXT: ret float [[B]] 239; 240 %a = call float @llvm.minimum.f32(float %x, float %y) 241 %b = call float @llvm.maximum.f32(float %x, float %a) 242 ret float %b 243} 244 245; PR37405 - https://bugs.llvm.org/show_bug.cgi?id=37405 246 247define double @neg_neg(double %x, double %y) { 248; CHECK-LABEL: @neg_neg( 249; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.maximum.f64(double [[X:%.*]], double [[Y:%.*]]) 250; CHECK-NEXT: [[R:%.*]] = fneg double [[TMP1]] 251; CHECK-NEXT: ret double [[R]] 252; 253 %negx = fsub double -0.0, %x 254 %negy = fsub double -0.0, %y 255 %r = call double @llvm.minimum.f64(double %negx, double %negy) 256 ret double %r 257} 258 259define double @unary_neg_neg(double %x, double %y) { 260; CHECK-LABEL: @unary_neg_neg( 261; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.maximum.f64(double [[X:%.*]], double [[Y:%.*]]) 262; CHECK-NEXT: [[R:%.*]] = fneg double [[TMP1]] 263; CHECK-NEXT: ret double [[R]] 264; 265 %negx = fneg double %x 266 %negy = fneg double %y 267 %r = call double @llvm.minimum.f64(double %negx, double %negy) 268 ret double %r 269} 270 271; FMF is not required, but it should be propagated from the intrinsic (not the fnegs). 272; Also, make sure this works with vectors. 273 274define <2 x double> @neg_neg_vec_fmf(<2 x double> %x, <2 x double> %y) { 275; CHECK-LABEL: @neg_neg_vec_fmf( 276; CHECK-NEXT: [[TMP1:%.*]] = call nnan ninf <2 x double> @llvm.maximum.v2f64(<2 x double> [[X:%.*]], <2 x double> [[Y:%.*]]) 277; CHECK-NEXT: [[R:%.*]] = fneg nnan ninf <2 x double> [[TMP1]] 278; CHECK-NEXT: ret <2 x double> [[R]] 279; 280 %negx = fsub reassoc <2 x double> <double -0.0, double -0.0>, %x 281 %negy = fsub fast <2 x double> <double -0.0, double -0.0>, %y 282 %r = call nnan ninf <2 x double> @llvm.minimum.v2f64(<2 x double> %negx, <2 x double> %negy) 283 ret <2 x double> %r 284} 285 286define <2 x double> @unary_neg_neg_vec_fmf(<2 x double> %x, <2 x double> %y) { 287; CHECK-LABEL: @unary_neg_neg_vec_fmf( 288; CHECK-NEXT: [[TMP1:%.*]] = call nnan ninf <2 x double> @llvm.maximum.v2f64(<2 x double> [[X:%.*]], <2 x double> [[Y:%.*]]) 289; CHECK-NEXT: [[R:%.*]] = fneg nnan ninf <2 x double> [[TMP1]] 290; CHECK-NEXT: ret <2 x double> [[R]] 291; 292 %negx = fneg reassoc <2 x double> %x 293 %negy = fneg fast <2 x double> %y 294 %r = call nnan ninf <2 x double> @llvm.minimum.v2f64(<2 x double> %negx, <2 x double> %negy) 295 ret <2 x double> %r 296} 297 298; 1 extra use of an intermediate value should still allow the fold, 299; but 2 would require more instructions than we started with. 300 301declare void @use(double) 302define double @neg_neg_extra_use_x(double %x, double %y) { 303; CHECK-LABEL: @neg_neg_extra_use_x( 304; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X:%.*]] 305; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.maximum.f64(double [[X]], double [[Y:%.*]]) 306; CHECK-NEXT: [[R:%.*]] = fneg double [[TMP1]] 307; CHECK-NEXT: call void @use(double [[NEGX]]) 308; CHECK-NEXT: ret double [[R]] 309; 310 %negx = fsub double -0.0, %x 311 %negy = fsub double -0.0, %y 312 %r = call double @llvm.minimum.f64(double %negx, double %negy) 313 call void @use(double %negx) 314 ret double %r 315} 316 317define double @unary_neg_neg_extra_use_x(double %x, double %y) { 318; CHECK-LABEL: @unary_neg_neg_extra_use_x( 319; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X:%.*]] 320; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.maximum.f64(double [[X]], double [[Y:%.*]]) 321; CHECK-NEXT: [[R:%.*]] = fneg double [[TMP1]] 322; CHECK-NEXT: call void @use(double [[NEGX]]) 323; CHECK-NEXT: ret double [[R]] 324; 325 %negx = fneg double %x 326 %negy = fneg double %y 327 %r = call double @llvm.minimum.f64(double %negx, double %negy) 328 call void @use(double %negx) 329 ret double %r 330} 331 332define double @neg_neg_extra_use_y(double %x, double %y) { 333; CHECK-LABEL: @neg_neg_extra_use_y( 334; CHECK-NEXT: [[NEGY:%.*]] = fneg double [[Y:%.*]] 335; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.maximum.f64(double [[X:%.*]], double [[Y]]) 336; CHECK-NEXT: [[R:%.*]] = fneg double [[TMP1]] 337; CHECK-NEXT: call void @use(double [[NEGY]]) 338; CHECK-NEXT: ret double [[R]] 339; 340 %negx = fsub double -0.0, %x 341 %negy = fsub double -0.0, %y 342 %r = call double @llvm.minimum.f64(double %negx, double %negy) 343 call void @use(double %negy) 344 ret double %r 345} 346 347define double @unary_neg_neg_extra_use_y(double %x, double %y) { 348; CHECK-LABEL: @unary_neg_neg_extra_use_y( 349; CHECK-NEXT: [[NEGY:%.*]] = fneg double [[Y:%.*]] 350; CHECK-NEXT: [[TMP1:%.*]] = call double @llvm.maximum.f64(double [[X:%.*]], double [[Y]]) 351; CHECK-NEXT: [[R:%.*]] = fneg double [[TMP1]] 352; CHECK-NEXT: call void @use(double [[NEGY]]) 353; CHECK-NEXT: ret double [[R]] 354; 355 %negx = fneg double %x 356 %negy = fneg double %y 357 %r = call double @llvm.minimum.f64(double %negx, double %negy) 358 call void @use(double %negy) 359 ret double %r 360} 361 362define double @neg_neg_extra_use_x_and_y(double %x, double %y) { 363; CHECK-LABEL: @neg_neg_extra_use_x_and_y( 364; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X:%.*]] 365; CHECK-NEXT: [[NEGY:%.*]] = fneg double [[Y:%.*]] 366; CHECK-NEXT: [[R:%.*]] = call double @llvm.minimum.f64(double [[NEGX]], double [[NEGY]]) 367; CHECK-NEXT: call void @use(double [[NEGX]]) 368; CHECK-NEXT: call void @use(double [[NEGY]]) 369; CHECK-NEXT: ret double [[R]] 370; 371 %negx = fsub double -0.0, %x 372 %negy = fsub double -0.0, %y 373 %r = call double @llvm.minimum.f64(double %negx, double %negy) 374 call void @use(double %negx) 375 call void @use(double %negy) 376 ret double %r 377} 378 379define double @unary_neg_neg_extra_use_x_and_y(double %x, double %y) { 380; CHECK-LABEL: @unary_neg_neg_extra_use_x_and_y( 381; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X:%.*]] 382; CHECK-NEXT: [[NEGY:%.*]] = fneg double [[Y:%.*]] 383; CHECK-NEXT: [[R:%.*]] = call double @llvm.minimum.f64(double [[NEGX]], double [[NEGY]]) 384; CHECK-NEXT: call void @use(double [[NEGX]]) 385; CHECK-NEXT: call void @use(double [[NEGY]]) 386; CHECK-NEXT: ret double [[R]] 387; 388 %negx = fneg double %x 389 %negy = fneg double %y 390 %r = call double @llvm.minimum.f64(double %negx, double %negy) 391 call void @use(double %negx) 392 call void @use(double %negy) 393 ret double %r 394} 395 396define float @reduce_precision(float %x, float %y) { 397; CHECK-LABEL: @reduce_precision( 398; CHECK-NEXT: [[MINIMUM:%.*]] = call float @llvm.minimum.f32(float [[X:%.*]], float [[Y:%.*]]) 399; CHECK-NEXT: ret float [[MINIMUM]] 400; 401 %x.ext = fpext float %x to double 402 %y.ext = fpext float %y to double 403 %minimum = call double @llvm.minimum.f64(double %x.ext, double %y.ext) 404 %trunc = fptrunc double %minimum to float 405 ret float %trunc 406} 407 408define float @reduce_precision_fmf(float %x, float %y) { 409; CHECK-LABEL: @reduce_precision_fmf( 410; CHECK-NEXT: [[MINIMUM:%.*]] = call nnan float @llvm.minimum.f32(float [[X:%.*]], float [[Y:%.*]]) 411; CHECK-NEXT: ret float [[MINIMUM]] 412; 413 %x.ext = fpext float %x to double 414 %y.ext = fpext float %y to double 415 %minimum = call nnan double @llvm.minimum.f64(double %x.ext, double %y.ext) 416 %trunc = fptrunc double %minimum to float 417 ret float %trunc 418} 419