111 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=x86_64 -enable-no-nans-fp-math -enable-no-signed-zeros-fp-math -mattr=+avx512f | FileCheck %s --check-prefix=CHECK_UNSAFE3; RUN: llc < %s -mtriple=x86_64 -enable-no-nans-fp-math -mattr=+avx512f | FileCheck %s4; RUN: llc < %s -mtriple=x86_64 -enable-no-signed-zeros-fp-math -mattr=+avx512f | FileCheck %s5; RUN: llc < %s -mtriple=x86_64 -mattr=+avx512f | FileCheck %s6; RUN: llc < %s -mtriple=x86_64 -mattr=+avx512f | FileCheck %s7 8define <16 x float> @test_max_v16f32(ptr %a_ptr, <16 x float> %b) {9; CHECK_UNSAFE-LABEL: test_max_v16f32:10; CHECK_UNSAFE: # %bb.0:11; CHECK_UNSAFE-NEXT: vmaxps (%rdi), %zmm0, %zmm012; CHECK_UNSAFE-NEXT: retq13;14; CHECK-LABEL: test_max_v16f32:15; CHECK: # %bb.0:16; CHECK-NEXT: vmovaps (%rdi), %zmm117; CHECK-NEXT: vmaxps %zmm0, %zmm1, %zmm018; CHECK-NEXT: retq19 %a = load <16 x float>, ptr %a_ptr20 %tmp = fcmp fast ogt <16 x float> %a, %b21 %tmp4 = select <16 x i1> %tmp, <16 x float> %a, <16 x float> %b22 ret <16 x float> %tmp4;23}24 25define <16 x float> @test_min_v16f32(ptr %a_ptr, <16 x float> %b) {26; CHECK_UNSAFE-LABEL: test_min_v16f32:27; CHECK_UNSAFE: # %bb.0:28; CHECK_UNSAFE-NEXT: vminps (%rdi), %zmm0, %zmm029; CHECK_UNSAFE-NEXT: retq30;31; CHECK-LABEL: test_min_v16f32:32; CHECK: # %bb.0:33; CHECK-NEXT: vmovaps (%rdi), %zmm134; CHECK-NEXT: vminps %zmm0, %zmm1, %zmm035; CHECK-NEXT: retq36 %a = load <16 x float>, ptr %a_ptr37 %tmp = fcmp fast olt <16 x float> %a, %b38 %tmp4 = select <16 x i1> %tmp, <16 x float> %a, <16 x float> %b39 ret <16 x float> %tmp4;40}41 42define <8 x double> @test_max_v8f64(ptr %a_ptr, <8 x double> %b) {43; CHECK_UNSAFE-LABEL: test_max_v8f64:44; CHECK_UNSAFE: # %bb.0:45; CHECK_UNSAFE-NEXT: vmaxpd (%rdi), %zmm0, %zmm046; CHECK_UNSAFE-NEXT: retq47;48; CHECK-LABEL: test_max_v8f64:49; CHECK: # %bb.0:50; CHECK-NEXT: vmovapd (%rdi), %zmm151; CHECK-NEXT: vmaxpd %zmm0, %zmm1, %zmm052; CHECK-NEXT: retq53 %a = load <8 x double>, ptr %a_ptr54 %tmp = fcmp fast ogt <8 x double> %a, %b55 %tmp4 = select <8 x i1> %tmp, <8 x double> %a, <8 x double> %b56 ret <8 x double> %tmp4;57}58 59define <8 x double> @test_min_v8f64(ptr %a_ptr, <8 x double> %b) {60; CHECK_UNSAFE-LABEL: test_min_v8f64:61; CHECK_UNSAFE: # %bb.0:62; CHECK_UNSAFE-NEXT: vminpd (%rdi), %zmm0, %zmm063; CHECK_UNSAFE-NEXT: retq64;65; CHECK-LABEL: test_min_v8f64:66; CHECK: # %bb.0:67; CHECK-NEXT: vmovapd (%rdi), %zmm168; CHECK-NEXT: vminpd %zmm0, %zmm1, %zmm069; CHECK-NEXT: retq70 %a = load <8 x double>, ptr %a_ptr71 %tmp = fcmp fast olt <8 x double> %a, %b72 %tmp4 = select <8 x i1> %tmp, <8 x double> %a, <8 x double> %b73 ret <8 x double> %tmp4;74}75 76define float @test_min_f32(float %a, ptr %ptr) {77; CHECK_UNSAFE-LABEL: test_min_f32:78; CHECK_UNSAFE: # %bb.0: # %entry79; CHECK_UNSAFE-NEXT: vminss (%rdi), %xmm0, %xmm080; CHECK_UNSAFE-NEXT: retq81;82; CHECK-LABEL: test_min_f32:83; CHECK: # %bb.0: # %entry84; CHECK-NEXT: vmovss {{.*#+}} xmm1 = mem[0],zero,zero,zero85; CHECK-NEXT: vminss %xmm0, %xmm1, %xmm086; CHECK-NEXT: retq87entry:88 %0 = load float, ptr %ptr89 %1 = fcmp fast olt float %0, %a90 %2 = select i1 %1, float %0, float %a91 ret float %292}93 94define double @test_max_f64(double %a, ptr %ptr) {95; CHECK_UNSAFE-LABEL: test_max_f64:96; CHECK_UNSAFE: # %bb.0: # %entry97; CHECK_UNSAFE-NEXT: vmaxsd (%rdi), %xmm0, %xmm098; CHECK_UNSAFE-NEXT: retq99;100; CHECK-LABEL: test_max_f64:101; CHECK: # %bb.0: # %entry102; CHECK-NEXT: vmovsd {{.*#+}} xmm1 = mem[0],zero103; CHECK-NEXT: vmaxsd %xmm0, %xmm1, %xmm0104; CHECK-NEXT: retq105entry:106 %0 = load double, ptr %ptr107 %1 = fcmp fast ogt double %0, %a108 %2 = select i1 %1, double %0, double %a109 ret double %2110}111