; RUN: llc < %s -march=cellspu > %t1.s
; RUN: grep dfa    %t1.s | count 2
; RUN: grep dfs    %t1.s | count 2
; RUN: grep dfm    %t1.s | count 6
; RUN: grep dfma   %t1.s | count 2
; RUN: grep dfms   %t1.s | count 2
; RUN: grep dfnms  %t1.s | count 4
;
; This file includes double precision floating point arithmetic instructions
target datalayout = "E-p:32:32:128-f64:64:128-f32:32:128-i64:32:128-i32:32:128-i16:16:128-i8:8:128-i1:8:128-a0:0:128-v128:128:128-s0:128:128"
target triple = "spu"

define double @fadd(double %arg1, double %arg2) {
        %A = fadd double %arg1, %arg2
        ret double %A
}

define <2 x double> @fadd_vec(<2 x double> %arg1, <2 x double> %arg2) {
        %A = fadd <2 x double> %arg1, %arg2
        ret <2 x double> %A
}

define double @fsub(double %arg1, double %arg2) {
        %A = fsub double %arg1,  %arg2
        ret double %A
}

define <2 x double> @fsub_vec(<2 x double> %arg1, <2 x double> %arg2) {
        %A = fsub <2 x double> %arg1,  %arg2
        ret <2 x double> %A
}

define double @fmul(double %arg1, double %arg2) {
        %A = fmul double %arg1,  %arg2
        ret double %A
}

define <2 x double> @fmul_vec(<2 x double> %arg1, <2 x double> %arg2) {
        %A = fmul <2 x double> %arg1,  %arg2
        ret <2 x double> %A
}

define double @fma(double %arg1, double %arg2, double %arg3) {
        %A = fmul double %arg1,  %arg2
        %B = fadd double %A, %arg3
        ret double %B
}

define <2 x double> @fma_vec(<2 x double> %arg1, <2 x double> %arg2, <2 x double> %arg3) {
        %A = fmul <2 x double> %arg1,  %arg2
        %B = fadd <2 x double> %A, %arg3
        ret <2 x double> %B
}

define double @fms(double %arg1, double %arg2, double %arg3) {
        %A = fmul double %arg1,  %arg2
        %B = fsub double %A, %arg3
        ret double %B
}

define <2 x double> @fms_vec(<2 x double> %arg1, <2 x double> %arg2, <2 x double> %arg3) {
        %A = fmul <2 x double> %arg1,  %arg2
        %B = fsub <2 x double> %A, %arg3
        ret <2 x double> %B
}

; - (a * b - c)
define double @d_fnms_1(double %arg1, double %arg2, double %arg3) {
        %A = fmul double %arg1,  %arg2
        %B = fsub double %A, %arg3
        %C = fsub double -0.000000e+00, %B               ; <double> [#uses=1]
        ret double %C
}

; Annother way of getting fnms
; - ( a * b ) + c => c - (a * b)
define double @d_fnms_2(double %arg1, double %arg2, double %arg3) {
        %A = fmul double %arg1,  %arg2
        %B = fsub double %arg3, %A
        ret double %B
}

; FNMS: - (a * b - c) => c - (a * b)
define <2 x double> @d_fnms_vec_1(<2 x double> %arg1, <2 x double> %arg2, <2 x double> %arg3) {
        %A = fmul <2 x double> %arg1,  %arg2
        %B = fsub <2 x double> %arg3, %A
        ret <2 x double> %B
}

; Another way to get fnms using a constant vector
; - ( a * b - c)
define <2 x double> @d_fnms_vec_2(<2 x double> %arg1, <2 x double> %arg2, <2 x double> %arg3) {
        %A = fmul <2 x double> %arg1,  %arg2     ; <<2 x double>> [#uses=1]
        %B = fsub <2 x double> %A, %arg3 ; <<2 x double>> [#uses=1]
        %C = fsub <2 x double> < double -0.00000e+00, double -0.00000e+00 >, %B
        ret <2 x double> %C
}

;define double @fdiv_1(double %arg1, double %arg2) {
;       %A = fdiv double %arg1,  %arg2  ; <double> [#uses=1]
;       ret double %A
;}