1  /* PR target/100722 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O -msse2" } */
       4  
       5  typedef char int8x4_t __attribute__((vector_size(4)));
       6  
       7  void stack_callee (int8x4_t, int8x4_t, int8x4_t, int8x4_t,
       8  		   int8x4_t, int8x4_t, int8x4_t);
       9  
      10  int8x4_t stack_caller_x1;
      11  
      12  void stack_caller (void)
      13  {
      14    stack_callee (stack_caller_x1, stack_caller_x1, stack_caller_x1,
      15  		stack_caller_x1, stack_caller_x1, stack_caller_x1,
      16  		stack_caller_x1);
      17  }