1 ; RUN: llc < %s -march=ppc32 -fp-contract=fast | FileCheck %s
3 declare double @dummy1(double) #0
4 declare double @dummy2(double, double) #0
5 declare double @dummy3(double, double, double) #0
7 define double @test_FMADD1(double %A, double %B, double %C) {
8 %D = fmul double %A, %B ; <double> [#uses=1]
9 %E = fadd double %C, %D ; <double> [#uses=1]
11 ; CHECK-LABEL: test_FMADD1:
16 define double @test_FMADD2(double %A, double %B, double %C) {
17 %D = fmul double %A, %B ; <double> [#uses=1]
18 %E = fadd double %D, %C ; <double> [#uses=1]
20 ; CHECK-LABEL: test_FMADD2:
25 define double @test_FMSUB1(double %A, double %B, double %C) {
26 %D = fmul double %A, %B ; <double> [#uses=1]
27 %E = fsub double %D, %C ; <double> [#uses=1]
29 ; CHECK-LABEL: test_FMSUB1:
34 define double @test_FMSUB2(double %A, double %B, double %C, double %D) {
35 %E = fmul double %A, %B ; <double> [#uses=2]
36 %F = fadd double %E, %C ; <double> [#uses=1]
37 %G = fsub double %E, %D ; <double> [#uses=1]
38 %H = call double @dummy2(double %F, double %G) ; <double> [#uses=1]
40 ; CHECK-LABEL: test_FMSUB2:
45 define double @test_FNMADD1(double %A, double %B, double %C) {
46 %D = fmul double %A, %B ; <double> [#uses=1]
47 %E = fadd double %D, %C ; <double> [#uses=1]
48 %F = fsub double -0.000000e+00, %E ; <double> [#uses=1]
50 ; CHECK-LABEL: test_FNMADD1:
55 define double @test_FNMADD2(double %A, double %B, double %C) {
56 %D = fmul double %A, %B ; <double> [#uses=1]
57 %E = fadd double %C, %D ; <double> [#uses=1]
58 %F = fsub double -0.000000e+00, %E ; <double> [#uses=1]
60 ; CHECK-LABEL: test_FNMADD2:
65 define double @test_FNMSUB1(double %A, double %B, double %C) {
66 %D = fmul double %A, %B ; <double> [#uses=1]
67 %E = fsub double %C, %D ; <double> [#uses=1]
69 ; CHECK-LABEL: test_FNMSUB1:
74 define double @test_FNMSUB2(double %A, double %B, double %C) {
75 %D = fmul double %A, %B ; <double> [#uses=1]
76 %E = fsub double %D, %C ; <double> [#uses=1]
77 %F = fsub double -0.000000e+00, %E ; <double> [#uses=1]
79 ; CHECK-LABEL: test_FNMSUB2:
84 define float @test_FNMSUBS(float %A, float %B, float %C) {
85 %D = fmul float %A, %B ; <float> [#uses=1]
86 %E = fsub float %D, %C ; <float> [#uses=1]
87 %F = fsub float -0.000000e+00, %E ; <float> [#uses=1]
89 ; CHECK-LABEL: test_FNMSUBS: