| ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s |
| ; |
| ; Test saving of vararg registers and backchain with packed stack. |
| |
| %struct.__va_list_tag = type { i64, i64, i8*, i8* } |
| declare void @llvm.va_start(i8*) |
| |
| attributes #0 = { nounwind "packed-stack"="true" } |
| define void @fun0(i64 %g0, double %d0, i64 %n, ...) #0 { |
| ; CHECK-LABEL: fun0: |
| ; CHECK: stmg %r4, %r15, 32(%r15) |
| ; CHECK-NEXT: aghi %r15, -192 |
| ; CHECK-NEXT: std %f2, 328(%r15) |
| ; CHECK-NEXT: std %f4, 336(%r15) |
| ; CHECK-NEXT: std %f6, 344(%r15) |
| ; CHECK-NEXT: la %r0, 352(%r15) |
| ; CHECK-NEXT: stg %r0, 176(%r15) |
| ; CHECK-NEXT: la %r0, 192(%r15) |
| ; CHECK-NEXT: stg %r0, 184(%r15) |
| ; CHECK-NEXT: mvghi 160(%r15), 2 |
| ; CHECK-NEXT: mvghi 168(%r15), 1 |
| ; CHECK-NEXT: lmg %r6, %r15, 240(%r15) |
| ; CHECK-NEXT: br %r14 |
| entry: |
| %vl = alloca [1 x %struct.__va_list_tag], align 8 |
| %0 = bitcast [1 x %struct.__va_list_tag]* %vl to i8* |
| call void @llvm.va_start(i8* nonnull %0) |
| ret void |
| } |
| |
| attributes #1 = { nounwind "packed-stack"="true" "use-soft-float"="true" } |
| define void @fun1(i64 %g0, double %d0, i64 %n, ...) #1 { |
| ; CHECK-LABEL: fun1: |
| ; CHECK: stmg %r5, %r15, 72(%r15) |
| ; CHECK-NEXT: aghi %r15, -160 |
| ; CHECK-NEXT: la %r0, 192(%r15) |
| ; CHECK-NEXT: stg %r0, 184(%r15) |
| ; CHECK-NEXT: la %r0, 320(%r15) |
| ; CHECK-NEXT: stg %r0, 176(%r15) |
| ; CHECK-NEXT: mvghi 168(%r15), 0 |
| ; CHECK-NEXT: mvghi 160(%r15), 3 |
| ; CHECK-NEXT: lmg %r6, %r15, 240(%r15) |
| ; CHECK-NEXT: br %r14 |
| entry: |
| %vl = alloca [1 x %struct.__va_list_tag], align 8 |
| %0 = bitcast [1 x %struct.__va_list_tag]* %vl to i8* |
| call void @llvm.va_start(i8* nonnull %0) |
| ret void |
| } |
| |
| attributes #2 = { nounwind "packed-stack"="true" "use-soft-float"="true" "backchain"} |
| define void @fun2(i64 %g0, double %d0, i64 %n, ...) #2 { |
| ; CHECK-LABEL: fun2: |
| ; CHECK: stmg %r5, %r15, 64(%r15) |
| ; CHECK-NEXT: lgr %r1, %r15 |
| ; CHECK-NEXT: aghi %r15, -168 |
| ; CHECK-NEXT: stg %r1, 152(%r15) |
| ; CHECK-NEXT: la %r0, 192(%r15) |
| ; CHECK-NEXT: stg %r0, 184(%r15) |
| ; CHECK-NEXT: la %r0, 328(%r15) |
| ; CHECK-NEXT: stg %r0, 176(%r15) |
| ; CHECK-NEXT: mvghi 168(%r15), 0 |
| ; CHECK-NEXT: mvghi 160(%r15), 3 |
| ; CHECK-NEXT: lmg %r6, %r15, 240(%r15) |
| ; CHECK-NEXT: br %r14 |
| entry: |
| %vl = alloca [1 x %struct.__va_list_tag], align 8 |
| %0 = bitcast [1 x %struct.__va_list_tag]* %vl to i8* |
| call void @llvm.va_start(i8* nonnull %0) |
| ret void |
| } |
| |