gcc/testsuite/gcc.dg/pr110279-1.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-Ofast --param avoid-fma-max-bits=512 --param tree-reassoc-width=4 -fdump-tree-widening_mul-details" } */
   3 /* { dg-additional-options "-march=armv8.2-a" { target aarch64-*-* } } */
   4 /* { dg-additional-options "-march=2.0" { target hppa*-*-* } } */
   5
   6 #define LOOP_COUNT 800000000
   7 typedef double data_e;
   8
   9 /* Check that FMAs with backedge dependency are avoided. Otherwise there won't
  10    be FMA generated with "--param avoid-fma-max-bits=512".   */
  11
  12 data_e
  13 foo1 (data_e a, data_e b, data_e c, data_e d)
  14 {
  15   data_e result = 0;
  16
  17   for (int ic = 0; ic < LOOP_COUNT; ic++)
  18     {
  19       result += (a * b + c * d);
  20
  21       a -= 0.1;
  22       b += 0.9;
  23       c *= 1.02;
  24       d *= 0.61;
  25     }
  26
  27   return result;
  28 }
  29
  30 data_e
  31 foo2 (data_e a, data_e b, data_e c, data_e d)
  32 {
  33   data_e result = 0;
  34
  35   for (int ic = 0; ic < LOOP_COUNT; ic++)
  36     {
  37       result = a * b + result + c * d;
  38
  39       a -= 0.1;
  40       b += 0.9;
  41       c *= 1.02;
  42       d *= 0.61;
  43     }
  44
  45   return result;
  46 }
  47
  48 data_e
  49 foo3 (data_e a, data_e b, data_e c, data_e d)
  50 {
  51   data_e result = 0;
  52
  53   for (int ic = 0; ic < LOOP_COUNT; ic++)
  54     {
  55       result = result + a * b + c * d;
  56
  57       a -= 0.1;
  58       b += 0.9;
  59       c *= 1.02;
  60       d *= 0.61;
  61     }
  62
  63   return result;
  64 }
  65
  66 /* { dg-final { scan-tree-dump-times "Generated FMA" 3 "widening_mul"} } */