; RUN: llc -mtriple=x86_64-unknown-linux-gnu -O0 --frame-pointer=non-leaf %s -o - | FileCheck %s
%block = type { %blockheader, [0 x ptr] }
%blockheader = type { i64 }
define void @scanStackRoots(i32) {
ret void
}
define i32 @main(i32 %argc, ptr %argv) {
entry:
%0 = call tailcc ptr @apply_rule_6870(ptr null, ptr null)
ret i32 0
}
define internal tailcc ptr @apply_rule_6870(ptr %0, ptr %1) {
entry:
%2 = tail call tailcc ptr @sender12(ptr %0, ptr %1)
ret ptr null
}
define internal tailcc ptr @sender12(ptr %0, ptr %1) {
; CHECK-LABEL: sender12:
; CHECK: .cfi_startproc
; CHECK: subq $8160, %rsp
; CHECK: pushq %rbp
; CHECK: .cfi_def_cfa_offset 8176
; CHECK: .cfi_offset %rbp, -8176
entry:
%a = alloca [1024 x i32]
%b = load [1024 x i32], ptr %a
call void @scanStackRoots(i32 1)
%2 = tail call tailcc ptr @apply_rule_6300(ptr %0, ptr %1, [1024 x i32] %b)
ret ptr %2
}
define internal tailcc ptr @apply_rule_6300(ptr %0, ptr %1, [1024 x i32] %2) {
entry:
%3 = tail call tailcc ptr @sender4(ptr %0, ptr %1)
ret ptr %3
}
define internal tailcc ptr @sender4(ptr %0, ptr %1) {
entry:
call void @scanStackRoots(i32 2)
ret ptr null
}