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