• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; Test the handling of unnamed 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 double-wide stack slots at 160 and 176).
9declare void @bar(<4 x i32>, <4 x i32>, ...)
10
11define void @foo() {
12; CHECK-VEC-LABEL: foo:
13; CHECK-VEC-DAG: vrepif %v24, 1
14; CHECK-VEC-DAG: vrepif %v26, 2
15; CHECK-VEC: brasl %r14, bar@PLT
16;
17; CHECK-STACK-LABEL: foo:
18; CHECK-STACK: aghi %r15, -192
19; CHECK-STACK-DAG: vrepif [[REG1:%v[0-9]+]], 3
20; CHECK-STACK-DAG: vst [[REG1]], 160(%r15)
21; CHECK-STACK-DAG: vrepif [[REG2:%v[0-9]+]], 4
22; CHECK-STACK-DAG: vst [[REG2]], 176(%r15)
23; CHECK-STACK: brasl %r14, bar@PLT
24
25  call void (<4 x i32>, <4 x i32>, ...) @bar
26              (<4 x i32> <i32 1, i32 1, i32 1, i32 1>,
27               <4 x i32> <i32 2, i32 2, i32 2, i32 2>,
28               <4 x i32> <i32 3, i32 3, i32 3, i32 3>,
29               <4 x i32> <i32 4, i32 4, i32 4, i32 4>)
30  ret void
31}
32