1 ; RUN: llc < %s -march=ppc32 -fp-contract=fast -mattr=-vsx | FileCheck %s
2 ; RUN: llc < %s -mtriple=powerpc64-unknown-linux-gnu -fp-contract=fast -mattr=+vsx -mcpu=pwr7 | FileCheck -check-prefix=CHECK-VSX %s
4 declare double @dummy1(double) #0
5 declare double @dummy2(double, double) #0
6 declare double @dummy3(double, double, double) #0
8 define double @test_FMADD1(double %A, double %B, double %C) {
9 %D = fmul double %A, %B ; <double> [#uses=1]
10 %E = fadd double %C, %D ; <double> [#uses=1]
12 ; CHECK-LABEL: test_FMADD1:
16 ; CHECK-VSX-LABEL: test_FMADD1:
17 ; CHECK-VSX: xsmaddmdp
21 define double @test_FMADD2(double %A, double %B, double %C) {
22 %D = fmul double %A, %B ; <double> [#uses=1]
23 %E = fadd double %D, %C ; <double> [#uses=1]
25 ; CHECK-LABEL: test_FMADD2:
29 ; CHECK-VSX-LABEL: test_FMADD2:
30 ; CHECK-VSX: xsmaddmdp
34 define double @test_FMSUB1(double %A, double %B, double %C) {
35 %D = fmul double %A, %B ; <double> [#uses=1]
36 %E = fsub double %D, %C ; <double> [#uses=1]
38 ; CHECK-LABEL: test_FMSUB1:
42 ; CHECK-VSX-LABEL: test_FMSUB1:
43 ; CHECK-VSX: xsmsubmdp
47 define double @test_FMSUB2(double %A, double %B, double %C, double %D) {
48 %E = fmul double %A, %B ; <double> [#uses=2]
49 %F = fadd double %E, %C ; <double> [#uses=1]
50 %G = fsub double %E, %D ; <double> [#uses=1]
51 %H = call double @dummy2(double %F, double %G) ; <double> [#uses=1]
53 ; CHECK-LABEL: test_FMSUB2:
57 ; CHECK-VSX-LABEL: test_FMSUB2:
58 ; CHECK-VSX: xsmaddadp
59 ; CHECK-VSX-NEXT: xsmsubmdp
62 define double @test_FNMADD1(double %A, double %B, double %C) {
63 %D = fmul double %A, %B ; <double> [#uses=1]
64 %E = fadd double %D, %C ; <double> [#uses=1]
65 %F = fsub double -0.000000e+00, %E ; <double> [#uses=1]
67 ; CHECK-LABEL: test_FNMADD1:
71 ; CHECK-VSX-LABEL: test_FNMADD1:
72 ; CHECK-VSX: xsnmaddmdp
76 define double @test_FNMADD2(double %A, double %B, double %C) {
77 %D = fmul double %A, %B ; <double> [#uses=1]
78 %E = fadd double %C, %D ; <double> [#uses=1]
79 %F = fsub double -0.000000e+00, %E ; <double> [#uses=1]
81 ; CHECK-LABEL: test_FNMADD2:
85 ; CHECK-VSX-LABEL: test_FNMADD2:
86 ; CHECK-VSX: xsnmaddmdp
90 define double @test_FNMSUB1(double %A, double %B, double %C) {
91 %D = fmul double %A, %B ; <double> [#uses=1]
92 %E = fsub double %C, %D ; <double> [#uses=1]
94 ; CHECK-LABEL: test_FNMSUB1:
98 ; CHECK-VSX-LABEL: test_FNMSUB1:
99 ; CHECK-VSX: xsnmsubmdp
102 define double @test_FNMSUB2(double %A, double %B, double %C) {
103 %D = fmul double %A, %B ; <double> [#uses=1]
104 %E = fsub double %D, %C ; <double> [#uses=1]
105 %F = fsub double -0.000000e+00, %E ; <double> [#uses=1]
107 ; CHECK-LABEL: test_FNMSUB2:
111 ; CHECK-VSX-LABEL: test_FNMSUB2:
112 ; CHECK-VSX: xsnmsubmdp
113 ; CHECK-VSX-NEXT: blr
116 define float @test_FNMSUBS(float %A, float %B, float %C) {
117 %D = fmul float %A, %B ; <float> [#uses=1]
118 %E = fsub float %D, %C ; <float> [#uses=1]
119 %F = fsub float -0.000000e+00, %E ; <float> [#uses=1]
121 ; CHECK-LABEL: test_FNMSUBS:
125 ; CHECK-VSX-LABEL: test_FNMSUBS:
127 ; CHECK-VSX-NEXT: blr