1  /* { dg-do compile } */
       2  /* { dg-require-effective-target ia32 } */
       3  /* { dg-prune-output "ABI for passing parameters" } */
       4  /* { dg-options "-Winline -O2 -mno-sse" } */
       5  
       6  typedef double v2df __attribute__ ((vector_size (16)));
       7  v2df p;
       8  void q(v2df t) /* { dg-warning "SSE" } */
       9  {
      10  	p=t;
      11  }