1; Test the handling of unnamed short vector arguments.
2;
3; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s -check-prefix=CHECK-VEC
4; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s -check-prefix=CHECK-STACK
5
6; This routine is called with two named vector argument (passed
7; in %v24 and %v26) and two unnamed vector arguments (passed
8; in the single-wide stack slots at 160 and 168).
9declare void @bar(<4 x i8>, <4 x i8>, ...)
10
11define void @foo() {
12; CHECK-VEC-LABEL: foo:
13; CHECK-VEC-DAG: vrepib %v24, 1
14; CHECK-VEC-DAG: vrepib %v26, 2
15; CHECK-VEC: brasl %r14, bar@PLT
16;
17; CHECK-STACK: .LCPI0_0:
18; CHECK-STACK: .quad	217020518463700992      # 0x303030300000000
19; CHECK-STACK: .quad	289360691284934656      # 0x404040400000000
20; CHECK-STACK-LABEL: foo:
21; CHECK-STACK: aghi %r15, -176
22; CHECK-STACK-DAG: larl [[REG1:%r[0-9]+]], .LCPI0_0
23; CHECK-STACK-DAG: vl [[VREG:%v[0-9]+]], 0([[REG1]])
24; CHECK-STACK-DAG: vst [[VREG]], 160(%r15)
25; CHECK-STACK: brasl %r14, bar@PLT
26
27  call void (<4 x i8>, <4 x i8>, ...) @bar
28              (<4 x i8> <i8 1, i8 1, i8 1, i8 1>,
29               <4 x i8> <i8 2, i8 2, i8 2, i8 2>,
30               <4 x i8> <i8 3, i8 3, i8 3, i8 3>,
31               <4 x i8> <i8 4, i8 4, i8 4, i8 4>)
32  ret void
33}
34
35