Fix for PR18396: Assertion: MO->isDead "Cannot fold physreg def".
[oota-llvm.git] / test / CodeGen / X86 / fma.ll
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