1; Test explicit register names.
2;
3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
4
5; Test i32 GPRs.
6define i32 @f1() {
7; CHECK-LABEL: f1:
8; CHECK: lhi %r4, 1
9; CHECK: blah %r4
10; CHECK: lr %r2, %r4
11; CHECK: br %r14
12  %ret = call i32 asm "blah $0", "={r4},0" (i32 1)
13  ret i32 %ret
14}
15
16; Test i64 GPRs.
17define i64 @f2() {
18; CHECK-LABEL: f2:
19; CHECK: lghi %r4, 1
20; CHECK: blah %r4
21; CHECK: lgr %r2, %r4
22; CHECK: br %r14
23  %ret = call i64 asm "blah $0", "={r4},0" (i64 1)
24  ret i64 %ret
25}
26
27; Test i32 FPRs.
28define float @f3() {
29; CHECK-LABEL: f3:
30; CHECK: lzer %f4
31; CHECK: blah %f4
32; CHECK: ler %f0, %f4
33; CHECK: br %r14
34  %ret = call float asm "blah $0", "={f4},0" (float 0.0)
35  ret float %ret
36}
37
38; Test i64 FPRs.
39define double @f4() {
40; CHECK-LABEL: f4:
41; CHECK: lzdr %f4
42; CHECK: blah %f4
43; CHECK: ldr %f0, %f4
44; CHECK: br %r14
45  %ret = call double asm "blah $0", "={f4},0" (double 0.0)
46  ret double %ret
47}
48
49; Test i128 FPRs.
50define void @f5(fp128 *%dest) {
51; CHECK-LABEL: f5:
52; CHECK: lzxr %f4
53; CHECK: blah %f4
54; CHECK-DAG: std %f4, 0(%r2)
55; CHECK-DAG: std %f6, 8(%r2)
56; CHECK: br %r14
57  %ret = call fp128 asm "blah $0", "={f4},0" (fp128 0xL00000000000000000000000000000000)
58  store fp128 %ret, fp128 *%dest
59  ret void
60}
61
62; Test clobbers of GPRs and CC.
63define i32 @f6(i32 %in) {
64; CHECK-LABEL: f6:
65; CHECK: lr [[REG:%r[01345]]], %r2
66; CHECK: blah
67; CHECK: lr %r2, [[REG]]
68; CHECK: br %r14
69  call void asm sideeffect "blah", "~{r2},~{cc}"()
70  ret i32 %in
71}
72
73; Test clobbers of FPRs and CC.
74define float @f7(float %in) {
75; CHECK-LABEL: f7:
76; CHECK: ler [[REG:%f[1-7]]], %f0
77; CHECK: blah
78; CHECK: ler %f0, [[REG]]
79; CHECK: br %r14
80  call void asm sideeffect "blah", "~{f0},~{cc}"()
81  ret float %in
82}
83
84; Test that both registers in a GR128 pair get hoisted.
85define void @f8(i32 %count) {
86; CHECK-LABEL: f8
87; CHECK-DAG: lhi %r0, 0
88; CHECK-DAG: lhi %r1, 1
89; CHECK: %loop
90; CHECK-NOT: %r
91; CHECK: blah %r0, %r1
92; CHECK: br %r14
93entry:
94  br label %loop
95
96loop:
97  %this = phi i32 [ %count, %entry ], [ %next, %loop ]
98  call void asm sideeffect "blah $0, $1", "{r0},{r1}" (i32 0, i32 1)
99  %next = sub i32 %this, 1
100  %cmp = icmp ne i32 %next, 0
101  br i1 %cmp, label %loop, label %exit
102
103exit:
104  ret void
105}
106