34 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 52; RUN: llc -mtriple=x86_64-- --start-before=x86-isel -mattr=+avx,+fma %s -o - | FileCheck %s3 4define double @fma_folding(double %x) {5; CHECK-LABEL: fma_folding:6; CHECK: # %bb.0:7; CHECK-NEXT: vmovsd {{.*#+}} xmm0 = [1.0E+0,0.0E+0]8; CHECK-NEXT: retq9 %prod = fmul contract ninf nnan double %x, 0.010 %fused = fadd contract ninf nnan double %prod, 1.011 ret double %fused12}13 14define double @fma_no_folding(double %x) {15; CHECK-LABEL: fma_no_folding:16; CHECK: # %bb.0:17; CHECK-NEXT: vxorpd %xmm1, %xmm1, %xmm118; CHECK-NEXT: vfmadd213sd {{.*#+}} xmm0 = (xmm1 * xmm0) + mem19; CHECK-NEXT: retq20 %fused = call contract nnan ninf double @llvm.fma.f64(double %x, double 0.0, double -0.0)21 ret double %fused22}23 24define double @fma_no_fold_potential_nan(double %x) {25; CHECK-LABEL: fma_no_fold_potential_nan:26; CHECK: # %bb.0:27; CHECK-NEXT: vxorpd %xmm1, %xmm1, %xmm128; CHECK-NEXT: vfmadd213sd {{.*#+}} xmm0 = (xmm1 * xmm0) + mem29; CHECK-NEXT: retq30 %fused = call contract double @llvm.fma.f64(double %x, double 0.0, double 1.0)31 ret double %fused32}33 34