1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -march=x86-64 -mavx2 -fdump-tree-optimized" } */
       3  
       4  typedef int VInt __attribute__((vector_size(64)));
       5  
       6  void test(VInt*__restrict a, VInt*__restrict b, 
       7  	  VInt*__restrict c)
       8  {
       9    *a = *b + *c;
      10  }
      11  
      12  /* Vector loads and stores should be split.  */
      13  /* { dg-final { scan-tree-dump-not "vector\\(16\\)" "optimized" } } */