1  /* { dg-do run } */
       2  /* { dg-options "-O2 -fstack-clash-protection -Wno-psabi -fno-optimize-sibling-calls --param stack-clash-protection-probe-interval=12 --param stack-clash-protection-guard-size=12" } */
       3  /* { dg-require-effective-target supports_stack_clash_protection } */
       4  
       5  
       6  typedef float V __attribute__((vector_size (32)));
       7  
       8  __attribute__((noinline, noclone)) void
       9  foo (char *p)
      10  {
      11    asm volatile ("" : : "r" (p) : "memory");
      12  }
      13  
      14  __attribute__((noinline, noclone)) int
      15  f0 (int x, int y)
      16  {
      17    asm volatile ("" : : : "memory");  
      18    return x + y;
      19  }
      20  
      21  __attribute__((noinline, noclone)) void
      22  f1 (void)
      23  {
      24    char buf[64];
      25    foo (buf);
      26  }
      27  
      28  __attribute__((noinline, noclone)) void
      29  f2 (void)
      30  {
      31    char buf[12000];
      32    foo (buf);
      33  }
      34  
      35  __attribute__((noinline, noclone)) void
      36  f3 (void)
      37  {
      38    char buf[131072];
      39    foo (buf);
      40  }
      41  
      42  __attribute__((noinline, noclone)) void
      43  f4 (int x)
      44  {
      45    char vla[x];
      46    foo (vla);
      47  }
      48  
      49  __attribute__((noinline, noclone)) void
      50  f5 (int x)
      51  {
      52    char buf[12000];
      53    foo (buf);
      54    {
      55      char vla[x];
      56      foo (vla);
      57    }
      58    {
      59      char vla[x];
      60      foo (vla);
      61    }
      62  }
      63  
      64  V v;
      65  
      66  __attribute__((noinline, noclone)) int
      67  f6 (int x, int y, V a, V b, V c)
      68  {
      69    asm volatile ("" : : : "memory");  
      70    v = a + b + c;
      71    return x + y;
      72  }
      73  
      74  __attribute__((noinline, noclone)) void
      75  f7 (V a, V b, V c)
      76  {
      77    char buf[64];
      78    foo (buf);
      79    v = a + b + c;
      80  }
      81  
      82  __attribute__((noinline, noclone)) void
      83  f8 (V a, V b, V c)
      84  {
      85    char buf[12000];
      86    foo (buf);
      87    v = a + b + c;
      88  }
      89  
      90  __attribute__((noinline, noclone)) void
      91  f9 (V a, V b, V c)
      92  {
      93    char buf[131072];
      94    foo (buf);
      95    v = a + b + c;
      96  }
      97  
      98  __attribute__((noinline, noclone)) void
      99  f10 (int x, V a, V b, V c)
     100  {
     101    char vla[x];
     102    foo (vla);
     103    v = a + b + c;
     104  }
     105  
     106  __attribute__((noinline, noclone)) void
     107  f11 (int x, V a, V b, V c)
     108  {
     109    char buf[12000];
     110    foo (buf);
     111    v = a + b + c;
     112    {
     113      char vla[x];
     114      foo (vla);
     115    }
     116    {
     117      char vla[x];
     118      foo (vla);
     119    }
     120  }
     121  
     122  int
     123  main ()
     124  {
     125    f0 (2, 3);
     126    f1 ();
     127    f2 ();
     128    f3 ();
     129    f4 (12000);
     130    f5 (12000);
     131    f6 (2, 3, v, v, v);
     132    f7 (v, v, v);
     133    f8 (v, v, v);
     134    f9 (v, v, v);
     135    f10 (12000, v, v, v);
     136    f11 (12000, v, v, v);
     137    return 0;
     138  }
     139