gcc/testsuite/gcc.dg/ipa/ipa-sra-15.c

   1 /* { dg-do run } */
   2 /* { dg-options "-O2 -fipa-sra -fdump-ipa-sra"  } */
   3
   4 /* Check of a recursive by-reference structure split.  The recursive functions
   5    have to be pure right from the start, otherwise the current AA would detect
   6    possible modification of data.  */
   7
   8 struct S
   9 {
  10   float red;
  11   void *blue;
  12   int green;
  13 };
  14
  15 void __attribute__((noipa))
  16 check (float r, int g, int g2)
  17 {
  18   if (r < 7.39 || r > 7.41
  19       || g != 6 || g2 != 6)
  20     __builtin_abort ();
  21   return;
  22 }
  23
  24 static int __attribute__((noinline, pure)) bar (struct S *s, int rec);
  25
  26 static int
  27 __attribute__((noinline, pure))
  28 foo (struct S *s , int rec)
  29 {
  30   int t = 0;
  31   if (rec)
  32     t = bar (s, 0);
  33   check (s->red, s->green, s->green);
  34   return t;
  35 }
  36
  37 static int
  38 __attribute__((noinline, pure))
  39 bar (struct S *s, int rec)
  40 {
  41   int t = foo (s, rec);
  42   return t + t;
  43 }
  44
  45 volatile int g;
  46
  47 int
  48 main (int argc, char **argv)
  49 {
  50   struct S s;
  51
  52   s.red = 7.4;
  53   s.green = 6;
  54   s.blue = &s;
  55
  56   g = bar (&s, 1);
  57   return 0;
  58 }
  59
  60 /* { dg-final { scan-ipa-dump-times "Will split parameter" 2 "sra" } } */
  61 /* { dg-final { scan-ipa-dump-times "component at byte offset" 4 "sra" } } */