double __fmaf(double a, double b, double c);
__fmaf inserts a VFMA.F32 instruction. Returns the value of + * .