gcc/testsuite/gcc.dg/fixed-point/noassoc.c

   1 /* { dg-do run } */
   2 /* { dg-options "-std=gnu99 -O0" } */
   3
   4 extern void abort (void);
   5
   6 /* Make sure GCC knows there is no associativity for saturating types.  */
   7
   8 /* Don't transform to (temp + (0.5r + 0.8r))  */
   9 _Sat _Fract add_test (_Sat _Fract temp)
  10 {
  11   return temp + 0.5r + 0.8r;
  12 }
  13
  14 /* Don't transform to (temp * ((-0.5r - 0.5r) * (-0.5r - 0.5r)))  */
  15 _Sat _Fract mul_test (_Sat _Fract temp)
  16 {
  17   return temp * (-0.5r - 0.5r) * (-0.5r - 0.5r);
  18 }
  19
  20 /* Don't transform to ((temp1 + temp2) * 0.5r)  */
  21 _Sat _Fract mul_add_test (_Sat _Fract temp1, _Sat _Fract temp2)
  22 {
  23   return temp1 * 0.5r + temp2 * 0.5r;
  24 }
  25
  26 /* Don't transform to ((temp1 - temp2) * 0.5r)  */
  27 _Sat _Fract mul_sub_test (_Sat _Fract temp1, _Sat _Fract temp2)
  28 {
  29   return temp1 * 0.5r - temp2 * 0.5r;
  30 }
  31
  32 int main ()
  33 {
  34   _Sat _Fract a;
  35
  36   a = add_test (-0.5r);
  37   if (a != 0.8r)
  38     abort ();
  39
  40   a = mul_test (0.1r);
  41   if (a != 0.1r)
  42     abort ();
  43
  44   a = mul_add_test (0.75r, 0.5r);
  45   if (a != 0.625r)
  46     abort ();
  47
  48   a = mul_sub_test (0.75r, -0.5r);
  49   if (a != 0.625r)
  50     abort ();
  51
  52   return 0;
  53 }