| Ulrich Weigand | ce4c109 | 2015-05-05 19:25:42 +0000 | [diff] [blame^] | 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). |
| 9 | declare void @bar(<4 x i32>, <4 x i32>, ...) |
| 10 | |
| 11 | define 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 | } |