1 ; RUN: llc < %s -mtriple=i386-apple-darwin10 -mattr=+fma,-fma4 | FileCheck %s --check-prefix=CHECK-FMA-INST 2 ; RUN: llc < %s -mtriple=i386-apple-darwin10 -mattr=-fma,-fma4 | FileCheck %s --check-prefix=CHECK-FMA-CALL 3 ; RUN: llc < %s -mtriple=x86_64-apple-darwin10 -mattr=+fma,-fma4 | FileCheck %s --check-prefix=CHECK-FMA-INST 4 ; RUN: llc < %s -mtriple=x86_64-apple-darwin10 -mattr=-fma,-fma4 | FileCheck %s --check-prefix=CHECK-FMA-CALL 5 ; RUN: llc < %s -march=x86 -mcpu=bdver2 -mattr=-fma4 | FileCheck %s --check-prefix=CHECK-FMA-INST 6 ; RUN: llc < %s -march=x86 -mcpu=bdver2 -mattr=-fma,-fma4 | FileCheck %s --check-prefix=CHECK-FMA-CALL 7 8 ; CHECK: test_f32 9 ; CHECK-FMA-INST: vfmadd213ss 10 ; CHECK-FMA-CALL: fmaf 11 12 define float @test_f32(float %a, float %b, float %c) nounwind readnone ssp { 13 entry: 14 %call = tail call float @llvm.fma.f32(float %a, float %b, float %c) nounwind readnone 15 ret float %call 16 } 17 18 ; CHECK: test_f64 19 ; CHECK-FMA-INST: vfmadd213sd 20 ; CHECK-FMA-CALL: fma 21 22 define double @test_f64(double %a, double %b, double %c) nounwind readnone ssp { 23 entry: 24 %call = tail call double @llvm.fma.f64(double %a, double %b, double %c) nounwind readnone 25 ret double %call 26 } 27 28 ; CHECK: test_f80 29 ; CHECK: fmal 30 31 define x86_fp80 @test_f80(x86_fp80 %a, x86_fp80 %b, x86_fp80 %c) nounwind readnone ssp { 32 entry: 33 %call = tail call x86_fp80 @llvm.fma.f80(x86_fp80 %a, x86_fp80 %b, x86_fp80 %c) nounwind readnone 34 ret x86_fp80 %call 35 } 36 37 ; CHECK: test_f32_cst 38 ; CHECK-NOT: fma 39 define float @test_f32_cst() nounwind readnone ssp { 40 entry: 41 %call = tail call float @llvm.fma.f32(float 3.0, float 3.0, float 3.0) nounwind readnone 42 ret float %call 43 } 44 45 declare float @llvm.fma.f32(float, float, float) nounwind readnone 46 declare double @llvm.fma.f64(double, double, double) nounwind readnone 47 declare x86_fp80 @llvm.fma.f80(x86_fp80, x86_fp80, x86_fp80) nounwind readnone 48
