1/* Test that the compiler properly optimizes floating point multiply
2   and add instructions into vfmaddss, vfmsubss, vfnmaddss,
3   vfnmsubss on FMA4 systems.  */
4
5/* { dg-do compile { target { ! { ia32 } } } } */
6/* { dg-options "-O2 -funsafe-math-optimizations -mfma4 -mno-fma" } */
7
8extern void exit (int);
9
10float
11flt_mul_add (float a, float c)
12{
13  return (a * a) + c;
14}
15
16double
17dbl_mul_add (double a, double c)
18{
19  return (a * a) + c;
20}
21
22float
23flt_mul_sub (float a, float c)
24{
25  return (a * a) - c;
26}
27
28double
29dbl_mul_sub (double a, double c)
30{
31  return (a * a) - c;
32}
33
34float
35flt_neg_mul_add (float a, float c)
36{
37  return (-(a * a)) + c;
38}
39
40double
41dbl_neg_mul_add (double a, double c)
42{
43  return (-(a * a)) + c;
44}
45
46float  f[10] = { 2, 3, 4 };
47double d[10] = { 2, 3, 4 };
48
49int main ()
50{
51  f[3] = flt_mul_add (f[0], f[2]);
52  f[4] = flt_mul_sub (f[0], f[2]);
53  f[5] = flt_neg_mul_add (f[0], f[2]);
54
55  d[3] = dbl_mul_add (d[0], d[2]);
56  d[4] = dbl_mul_sub (d[0], d[2]);
57  d[5] = dbl_neg_mul_add (d[0], d[2]);
58  exit (0);
59}
60
61/* { dg-final { scan-assembler "vfmaddss" } } */
62/* { dg-final { scan-assembler "vfmaddsd" } } */
63/* { dg-final { scan-assembler "vfmsubss" } } */
64/* { dg-final { scan-assembler "vfmsubsd" } } */
65/* { dg-final { scan-assembler "vfnmaddss" } } */
66/* { dg-final { scan-assembler "vfnmaddsd" } } */
67