blob: 3105503eda53b368091772cd881c24fbf87c38e9 [file] [log] [blame]
Ulrich Weigand9e3577f2013-05-06 16:17:29 +00001; Test the handling of GPR, FPR and stack arguments when no extension
2; type is given. This type of argument is used for passing structures, etc.
3;
4; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-INT
5; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-FLOAT
6; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-DOUBLE
7; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-FP128-1
8; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-FP128-2
9; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s -check-prefix=CHECK-STACK
10
11declare void @bar(i8, i16, i32, i64, float, double, fp128, i64,
12 float, double, i8, i16, i32, i64, float, double, fp128)
13
14; There are two indirect fp128 slots, one at offset 224 (the first available
15; byte after the outgoing arguments) and one immediately after it at 240.
16; These slots should be set up outside the glued call sequence, so would
17; normally use %f0/%f2 as the first available 128-bit pair. This choice
18; is hard-coded in the FP128 tests.
19;
Richard Sandiforda57e13b2013-06-27 09:38:48 +000020; The order of the CHECK-STACK stores doesn't matter. It would be OK to reorder
Ulrich Weigand9e3577f2013-05-06 16:17:29 +000021; them in response to future code changes.
22define void @foo() {
Stephen Lind24ab202013-07-14 06:24:09 +000023; CHECK-INT-LABEL: foo:
Richard Sandiforda57e13b2013-06-27 09:38:48 +000024; CHECK-INT-DAG: lhi %r2, 1
25; CHECK-INT-DAG: lhi %r3, 2
26; CHECK-INT-DAG: lhi %r4, 3
27; CHECK-INT-DAG: lghi %r5, 4
28; CHECK-INT-DAG: la %r6, {{224|240}}(%r15)
Ulrich Weigand9e3577f2013-05-06 16:17:29 +000029; CHECK-INT: brasl %r14, bar@PLT
30;
Stephen Lind24ab202013-07-14 06:24:09 +000031; CHECK-FLOAT-LABEL: foo:
Ulrich Weigand9e3577f2013-05-06 16:17:29 +000032; CHECK-FLOAT: lzer %f0
33; CHECK-FLOAT: lcebr %f4, %f0
34; CHECK-FLOAT: brasl %r14, bar@PLT
35;
Stephen Lind24ab202013-07-14 06:24:09 +000036; CHECK-DOUBLE-LABEL: foo:
Ulrich Weigand9e3577f2013-05-06 16:17:29 +000037; CHECK-DOUBLE: lzdr %f2
38; CHECK-DOUBLE: lcdbr %f6, %f2
39; CHECK-DOUBLE: brasl %r14, bar@PLT
40;
Stephen Lind24ab202013-07-14 06:24:09 +000041; CHECK-FP128-1-LABEL: foo:
Ulrich Weigand9e3577f2013-05-06 16:17:29 +000042; CHECK-FP128-1: aghi %r15, -256
43; CHECK-FP128-1: lzxr %f0
Richard Sandiforda57e13b2013-06-27 09:38:48 +000044; CHECK-FP128-1-DAG: std %f0, 224(%r15)
45; CHECK-FP128-1-DAG: std %f2, 232(%r15)
Ulrich Weigand9e3577f2013-05-06 16:17:29 +000046; CHECK-FP128-1: brasl %r14, bar@PLT
47;
Stephen Lind24ab202013-07-14 06:24:09 +000048; CHECK-FP128-2-LABEL: foo:
Ulrich Weigand9e3577f2013-05-06 16:17:29 +000049; CHECK-FP128-2: aghi %r15, -256
50; CHECK-FP128-2: lzxr %f0
Richard Sandiforda57e13b2013-06-27 09:38:48 +000051; CHECK-FP128-2-DAG: std %f0, 240(%r15)
52; CHECK-FP128-2-DAG: std %f2, 248(%r15)
Ulrich Weigand9e3577f2013-05-06 16:17:29 +000053; CHECK-FP128-2: brasl %r14, bar@PLT
54;
Stephen Lind24ab202013-07-14 06:24:09 +000055; CHECK-STACK-LABEL: foo:
Ulrich Weigand9e3577f2013-05-06 16:17:29 +000056; CHECK-STACK: aghi %r15, -256
57; CHECK-STACK: la [[REGISTER:%r[0-5]+]], {{224|240}}(%r15)
58; CHECK-STACK: stg [[REGISTER]], 216(%r15)
59; CHECK-STACK: mvghi 208(%r15), 0
60; CHECK-STACK: mvhi 204(%r15), 0
61; CHECK-STACK: mvghi 192(%r15), 9
62; CHECK-STACK: mvhi 188(%r15), 8
63; CHECK-STACK: mvhi 180(%r15), 7
64; CHECK-STACK: mvhi 172(%r15), 6
65; CHECK-STACK: mvghi 160(%r15), 5
66; CHECK-STACK: brasl %r14, bar@PLT
67
68 call void @bar (i8 1, i16 2, i32 3, i64 4, float 0.0, double 0.0,
69 fp128 0xL00000000000000000000000000000000, i64 5,
70 float -0.0, double -0.0, i8 6, i16 7, i32 8, i64 9, float 0.0,
71 double 0.0, fp128 0xL00000000000000000000000000000000)
72 ret void
73}