1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -mavx512f" } */
       3  /* { dg-final { scan-assembler-not "and\[lq\]?\[\\t \]*\\$-64,\[\\t \]*%\[re\]?sp" } } */
       4  
       5  typedef int __v16si __attribute__ ((__vector_size__ (64)));
       6  
       7  void
       8  foo (__v16si x, int i0, int i1, int i2, int i3, int i4, int i5, __v16si *p)
       9  {
      10    *p = x;
      11  }