1/* Check calling convention in the vector ABI.  */
2
3/* { dg-do compile { target { s390*-*-* } } } */
4/* { dg-options "-O3 -mzarch -march=z13" } */
5
6/* { dg-final { scan-assembler "gnu_attribute 8, 2" } } */
7
8#include <stdarg.h>
9
10typedef int __attribute__((vector_size(16))) v4si;
11
12extern void bar (int, ...);
13
14void
15foo (int a)
16{
17  v4si b = (v4si){ a, a, a, a };
18  bar (1, b);
19}
20