debug.ll

%mpz = type { i32, i32, i64* }
%block = type { %blockheader, [0 x i64*] }
%blockheader = type { i64 }

define void @scanStackRoots(i32) {
  ret void
}

define i32 @main(i32 %argc, i8** %argv) {
entry:
  %0 = call tailcc %block* @apply_rule_6870(%block* null, %block* null, %mpz* null, %block* null, %block* null, %mpz* null, %mpz* null, %mpz* null, %block* null, %block* null, %block* null, %mpz* null, %mpz* null, %mpz* null)
  ret i32 0
}

define internal tailcc %block* @apply_rule_6870(%block* %0, %block* %1, %mpz* %2, %block* %3, %block* %4, %mpz* %5, %mpz* %6, %mpz* %7, %block* %8, %block* %9, %block* %10, %mpz* %11, %mpz* %12, %mpz* %13) {
entry:
  %14 = tail call tailcc %block* @sender12(%mpz* %13, %mpz* %6, %mpz* %7, %mpz* %5, %block* %10, %mpz* %11, %block* null, %mpz* %2, %block* null, %mpz* %12, %block* %8, %block* %9)
  ret %block* null
}

define internal tailcc %block* @sender12(%mpz* %_1, %mpz* %_2, %mpz* %_3, %mpz* %_4, %block* %_5, %mpz* %_6, %block* %_7, %mpz* %_8, %block* %_9, %mpz* %_10, %block* %_11, %block* %_12) {
entry:
  call void @scanStackRoots(i32 2)
  %0 = tail call tailcc %block* @apply_rule_6300(%mpz* %_8, %block* %_9, %block* %_7, %mpz* %_4, %mpz* %_2, %mpz* %_3, %block* %_11, %block* %_12, %block* %_5, %mpz* %_6, %mpz* %_10, %mpz* %_1)
  ret %block* %0
}

define internal tailcc %block* @apply_rule_6300(%mpz* %0, %block* %1, %block* %2, %mpz* %3, %mpz* %4, %mpz* %5, %block* %6, %block* %7, %block* %8, %mpz* %9, %mpz* %10, %mpz* %11) {
entry:
  %12 = tail call tailcc %block* @sender4(%block* null, %mpz* %10, %block* null, %block* null)
  ret %block* %12
}

define internal tailcc %block* @sender4(%block* %_1, %mpz* %_2, %block* %_3, %block* %_4) {
entry:
  %0 = call tailcc %block* @apply_rule_6299()
  ret %block* %0
}

define internal tailcc %block* @apply_rule_6299() {
entry:
  %0 = tail call tailcc %block* @sender1(%block* null)
  ret %block* %0
}

define internal tailcc %block* @sender1(%block* %_1) {
entry:
  %0 = call tailcc %block* @apply_rule_6297()
  ret %block* %0
}

define internal tailcc %block* @apply_rule_6297() {
entry:
  %malloccall = tail call %block* @koreAllocAndCollect_p1s_blocks()
  ret %block* null
}


define internal %block* @koreAllocAndCollect_p1s_blocks() {
entry:
  call void @koreCollect()
  ret %block* null
}

define internal void @koreCollect() {
entry:
  call void @scanStackRoots(i32 4)
  ret void
}