a1710eb3cd
The LIT test cases were migrated with the script provided by Nikita Popov. No manual changes were made. Committed without review since no functional changes, after consultation with uweigand.
258 lines
8.0 KiB
LLVM
258 lines
8.0 KiB
LLVM
; Test saving and restoring of call-saved FPRs.
|
|
;
|
|
; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
|
|
|
|
; This function should require all FPRs, but no other spill slots.
|
|
; We need to save and restore 8 of the 16 FPRs, so the frame size
|
|
; should be exactly 8 * 8 = 64. The CFA offset is 160
|
|
; (the caller-allocated part of the frame) + 64.
|
|
define void @f1(ptr %ptr) {
|
|
; CHECK-LABEL: f1:
|
|
; CHECK: aghi %r15, -64
|
|
; CHECK: .cfi_def_cfa_offset 224
|
|
; CHECK: std %f8, 56(%r15)
|
|
; CHECK: std %f9, 48(%r15)
|
|
; CHECK: std %f10, 40(%r15)
|
|
; CHECK: std %f11, 32(%r15)
|
|
; CHECK: std %f12, 24(%r15)
|
|
; CHECK: std %f13, 16(%r15)
|
|
; CHECK: std %f14, 8(%r15)
|
|
; CHECK: std %f15, 0(%r15)
|
|
; CHECK: .cfi_offset %f8, -168
|
|
; CHECK: .cfi_offset %f9, -176
|
|
; CHECK: .cfi_offset %f10, -184
|
|
; CHECK: .cfi_offset %f11, -192
|
|
; CHECK: .cfi_offset %f12, -200
|
|
; CHECK: .cfi_offset %f13, -208
|
|
; CHECK: .cfi_offset %f14, -216
|
|
; CHECK: .cfi_offset %f15, -224
|
|
; ...main function body...
|
|
; CHECK: ld %f8, 56(%r15)
|
|
; CHECK: ld %f9, 48(%r15)
|
|
; CHECK: ld %f10, 40(%r15)
|
|
; CHECK: ld %f11, 32(%r15)
|
|
; CHECK: ld %f12, 24(%r15)
|
|
; CHECK: ld %f13, 16(%r15)
|
|
; CHECK: ld %f14, 8(%r15)
|
|
; CHECK: ld %f15, 0(%r15)
|
|
; CHECK: aghi %r15, 64
|
|
; CHECK: br %r14
|
|
%l0 = load volatile float, ptr %ptr
|
|
%l1 = load volatile float, ptr %ptr
|
|
%l2 = load volatile float, ptr %ptr
|
|
%l3 = load volatile float, ptr %ptr
|
|
%l4 = load volatile float, ptr %ptr
|
|
%l5 = load volatile float, ptr %ptr
|
|
%l6 = load volatile float, ptr %ptr
|
|
%l7 = load volatile float, ptr %ptr
|
|
%l8 = load volatile float, ptr %ptr
|
|
%l9 = load volatile float, ptr %ptr
|
|
%l10 = load volatile float, ptr %ptr
|
|
%l11 = load volatile float, ptr %ptr
|
|
%l12 = load volatile float, ptr %ptr
|
|
%l13 = load volatile float, ptr %ptr
|
|
%l14 = load volatile float, ptr %ptr
|
|
%l15 = load volatile float, ptr %ptr
|
|
%add0 = fadd float %l0, %l0
|
|
%add1 = fadd float %l1, %add0
|
|
%add2 = fadd float %l2, %add1
|
|
%add3 = fadd float %l3, %add2
|
|
%add4 = fadd float %l4, %add3
|
|
%add5 = fadd float %l5, %add4
|
|
%add6 = fadd float %l6, %add5
|
|
%add7 = fadd float %l7, %add6
|
|
%add8 = fadd float %l8, %add7
|
|
%add9 = fadd float %l9, %add8
|
|
%add10 = fadd float %l10, %add9
|
|
%add11 = fadd float %l11, %add10
|
|
%add12 = fadd float %l12, %add11
|
|
%add13 = fadd float %l13, %add12
|
|
%add14 = fadd float %l14, %add13
|
|
%add15 = fadd float %l15, %add14
|
|
store volatile float %add0, ptr %ptr
|
|
store volatile float %add1, ptr %ptr
|
|
store volatile float %add2, ptr %ptr
|
|
store volatile float %add3, ptr %ptr
|
|
store volatile float %add4, ptr %ptr
|
|
store volatile float %add5, ptr %ptr
|
|
store volatile float %add6, ptr %ptr
|
|
store volatile float %add7, ptr %ptr
|
|
store volatile float %add8, ptr %ptr
|
|
store volatile float %add9, ptr %ptr
|
|
store volatile float %add10, ptr %ptr
|
|
store volatile float %add11, ptr %ptr
|
|
store volatile float %add12, ptr %ptr
|
|
store volatile float %add13, ptr %ptr
|
|
store volatile float %add14, ptr %ptr
|
|
store volatile float %add15, ptr %ptr
|
|
ret void
|
|
}
|
|
|
|
; Like f1, but requires one fewer FPR. We allocate in numerical order,
|
|
; so %f15 is the one that gets dropped.
|
|
define void @f2(ptr %ptr) {
|
|
; CHECK-LABEL: f2:
|
|
; CHECK: aghi %r15, -56
|
|
; CHECK: .cfi_def_cfa_offset 216
|
|
; CHECK: std %f8, 48(%r15)
|
|
; CHECK: std %f9, 40(%r15)
|
|
; CHECK: std %f10, 32(%r15)
|
|
; CHECK: std %f11, 24(%r15)
|
|
; CHECK: std %f12, 16(%r15)
|
|
; CHECK: std %f13, 8(%r15)
|
|
; CHECK: std %f14, 0(%r15)
|
|
; CHECK: .cfi_offset %f8, -168
|
|
; CHECK: .cfi_offset %f9, -176
|
|
; CHECK: .cfi_offset %f10, -184
|
|
; CHECK: .cfi_offset %f11, -192
|
|
; CHECK: .cfi_offset %f12, -200
|
|
; CHECK: .cfi_offset %f13, -208
|
|
; CHECK: .cfi_offset %f14, -216
|
|
; CHECK-NOT: %f15
|
|
; ...main function body...
|
|
; CHECK: ld %f8, 48(%r15)
|
|
; CHECK: ld %f9, 40(%r15)
|
|
; CHECK: ld %f10, 32(%r15)
|
|
; CHECK: ld %f11, 24(%r15)
|
|
; CHECK: ld %f12, 16(%r15)
|
|
; CHECK: ld %f13, 8(%r15)
|
|
; CHECK: ld %f14, 0(%r15)
|
|
; CHECK: aghi %r15, 56
|
|
; CHECK: br %r14
|
|
%l0 = load volatile float, ptr %ptr
|
|
%l1 = load volatile float, ptr %ptr
|
|
%l2 = load volatile float, ptr %ptr
|
|
%l3 = load volatile float, ptr %ptr
|
|
%l4 = load volatile float, ptr %ptr
|
|
%l5 = load volatile float, ptr %ptr
|
|
%l6 = load volatile float, ptr %ptr
|
|
%l7 = load volatile float, ptr %ptr
|
|
%l8 = load volatile float, ptr %ptr
|
|
%l9 = load volatile float, ptr %ptr
|
|
%l10 = load volatile float, ptr %ptr
|
|
%l11 = load volatile float, ptr %ptr
|
|
%l12 = load volatile float, ptr %ptr
|
|
%l13 = load volatile float, ptr %ptr
|
|
%l14 = load volatile float, ptr %ptr
|
|
%add0 = fadd float %l0, %l0
|
|
%add1 = fadd float %l1, %add0
|
|
%add2 = fadd float %l2, %add1
|
|
%add3 = fadd float %l3, %add2
|
|
%add4 = fadd float %l4, %add3
|
|
%add5 = fadd float %l5, %add4
|
|
%add6 = fadd float %l6, %add5
|
|
%add7 = fadd float %l7, %add6
|
|
%add8 = fadd float %l8, %add7
|
|
%add9 = fadd float %l9, %add8
|
|
%add10 = fadd float %l10, %add9
|
|
%add11 = fadd float %l11, %add10
|
|
%add12 = fadd float %l12, %add11
|
|
%add13 = fadd float %l13, %add12
|
|
%add14 = fadd float %l14, %add13
|
|
store volatile float %add0, ptr %ptr
|
|
store volatile float %add1, ptr %ptr
|
|
store volatile float %add2, ptr %ptr
|
|
store volatile float %add3, ptr %ptr
|
|
store volatile float %add4, ptr %ptr
|
|
store volatile float %add5, ptr %ptr
|
|
store volatile float %add6, ptr %ptr
|
|
store volatile float %add7, ptr %ptr
|
|
store volatile float %add8, ptr %ptr
|
|
store volatile float %add9, ptr %ptr
|
|
store volatile float %add10, ptr %ptr
|
|
store volatile float %add11, ptr %ptr
|
|
store volatile float %add12, ptr %ptr
|
|
store volatile float %add13, ptr %ptr
|
|
store volatile float %add14, ptr %ptr
|
|
ret void
|
|
}
|
|
|
|
; Like f1, but should require only one call-saved FPR.
|
|
define void @f3(ptr %ptr) {
|
|
; CHECK-LABEL: f3:
|
|
; CHECK: aghi %r15, -8
|
|
; CHECK: .cfi_def_cfa_offset 168
|
|
; CHECK: std %f8, 0(%r15)
|
|
; CHECK: .cfi_offset %f8, -168
|
|
; CHECK-NOT: %f9
|
|
; CHECK-NOT: %f10
|
|
; CHECK-NOT: %f11
|
|
; CHECK-NOT: %f12
|
|
; CHECK-NOT: %f13
|
|
; CHECK-NOT: %f14
|
|
; CHECK-NOT: %f15
|
|
; ...main function body...
|
|
; CHECK: ld %f8, 0(%r15)
|
|
; CHECK: aghi %r15, 8
|
|
; CHECK: br %r14
|
|
%l0 = load volatile float, ptr %ptr
|
|
%l1 = load volatile float, ptr %ptr
|
|
%l2 = load volatile float, ptr %ptr
|
|
%l3 = load volatile float, ptr %ptr
|
|
%l4 = load volatile float, ptr %ptr
|
|
%l5 = load volatile float, ptr %ptr
|
|
%l6 = load volatile float, ptr %ptr
|
|
%l7 = load volatile float, ptr %ptr
|
|
%l8 = load volatile float, ptr %ptr
|
|
%add0 = fadd float %l0, %l0
|
|
%add1 = fadd float %l1, %add0
|
|
%add2 = fadd float %l2, %add1
|
|
%add3 = fadd float %l3, %add2
|
|
%add4 = fadd float %l4, %add3
|
|
%add5 = fadd float %l5, %add4
|
|
%add6 = fadd float %l6, %add5
|
|
%add7 = fadd float %l7, %add6
|
|
%add8 = fadd float %l8, %add7
|
|
store volatile float %add0, ptr %ptr
|
|
store volatile float %add1, ptr %ptr
|
|
store volatile float %add2, ptr %ptr
|
|
store volatile float %add3, ptr %ptr
|
|
store volatile float %add4, ptr %ptr
|
|
store volatile float %add5, ptr %ptr
|
|
store volatile float %add6, ptr %ptr
|
|
store volatile float %add7, ptr %ptr
|
|
store volatile float %add8, ptr %ptr
|
|
ret void
|
|
}
|
|
|
|
; This function should use all call-clobbered FPRs but no call-saved ones.
|
|
; It shouldn't need to create a frame.
|
|
define void @f4(ptr %ptr) {
|
|
; CHECK-LABEL: f4:
|
|
; CHECK-NOT: %r15
|
|
; CHECK-NOT: %f8
|
|
; CHECK-NOT: %f9
|
|
; CHECK-NOT: %f10
|
|
; CHECK-NOT: %f11
|
|
; CHECK-NOT: %f12
|
|
; CHECK-NOT: %f13
|
|
; CHECK-NOT: %f14
|
|
; CHECK-NOT: %f15
|
|
; CHECK: br %r14
|
|
%l0 = load volatile float, ptr %ptr
|
|
%l1 = load volatile float, ptr %ptr
|
|
%l2 = load volatile float, ptr %ptr
|
|
%l3 = load volatile float, ptr %ptr
|
|
%l4 = load volatile float, ptr %ptr
|
|
%l5 = load volatile float, ptr %ptr
|
|
%l6 = load volatile float, ptr %ptr
|
|
%l7 = load volatile float, ptr %ptr
|
|
%add0 = fadd float %l0, %l0
|
|
%add1 = fadd float %l1, %add0
|
|
%add2 = fadd float %l2, %add1
|
|
%add3 = fadd float %l3, %add2
|
|
%add4 = fadd float %l4, %add3
|
|
%add5 = fadd float %l5, %add4
|
|
%add6 = fadd float %l6, %add5
|
|
%add7 = fadd float %l7, %add6
|
|
store volatile float %add0, ptr %ptr
|
|
store volatile float %add1, ptr %ptr
|
|
store volatile float %add2, ptr %ptr
|
|
store volatile float %add3, ptr %ptr
|
|
store volatile float %add4, ptr %ptr
|
|
store volatile float %add5, ptr %ptr
|
|
store volatile float %add6, ptr %ptr
|
|
store volatile float %add7, ptr %ptr
|
|
ret void
|
|
}
|