	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_tl_parse_partial_comb_app_decl ## -- Begin function tl_parse_partial_comb_app_decl
	.p2align	4, 0x90
_tl_parse_partial_comb_app_decl:        ## @tl_parse_partial_comb_app_decl
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%r15
	pushq	%r14
	pushq	%r13
	pushq	%r12
	pushq	%rbx
	subq	$40, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	%esi, %r14d
	movq	%rdi, %r12
	movq	(%rdi), %rax
	movq	_type_partial_comb_app_decl@GOTPCREL(%rip), %rcx
	xorl	%edi, %edi
	cmpq	(%rcx), %rax
	sete	%dil
	callq	_assert
	movq	16(%r12), %rax
	movq	(%rax), %rax
	movl	(%rax), %esi
	movl	4(%rax), %edi
	testl	%r14d, %r14d
	je	LBB0_1
## %bb.2:
	callq	_tl_get_function
	jmp	LBB0_3
LBB0_1:
	callq	_tl_get_constructor
LBB0_3:
	movq	%rax, %rbx
	testq	%rax, %rax
	je	LBB0_4
## %bb.5:
	movl	%r14d, -60(%rbp)                ## 4-byte Spill
	movq	_L@GOTPCREL(%rip), %r14
	movq	(%r14), %rdi
	callq	_TL_INIT
	movq	_R@GOTPCREL(%rip), %r15
	movq	(%r15), %rdi
	callq	_TL_INIT
	movq	24(%rbx), %rdi
	callq	_tl_tree_dup
	movq	%rax, (%r14)
	movq	16(%rbx), %rdi
	callq	_tl_tree_dup
	movq	%rax, (%r15)
	movq	$0, -56(%rbp)
	movq	24(%rbx), %rdi
	movq	(%r14), %rsi
	leaq	-56(%rbp), %r14
	movq	%r14, %rdx
	callq	_change_var_ptrs
	movq	%rbx, -72(%rbp)                 ## 8-byte Spill
	movq	16(%rbx), %rdi
	movq	(%r15), %rsi
	movq	%r14, %rdx
	callq	_change_var_ptrs
	movq	-56(%rbp), %rdi
	callq	_tree_clear_var_value
	movq	%rax, -56(%rbp)
	xorl	%eax, %eax
	callq	_tl_buf_reset
	cmpl	$2, 8(%r12)
	jl	LBB0_10
## %bb.6:
	movl	$1, %ebx
	movq	_X@GOTPCREL(%rip), %r14
	movq	_Z@GOTPCREL(%rip), %r15
	jmp	LBB0_7
	.p2align	4, 0x90
LBB0_9:                                 ##   in Loop: Header=BB0_7 Depth=1
	movq	_R@GOTPCREL(%rip), %r13
	movq	(%r13), %rdi
	movq	(%r14), %rdx
	leaq	-48(%rbp), %rsi
	callq	_change_first_var
	movq	%rax, (%r15)
	xorl	%edi, %edi
	cmpq	(%r13), %rax
	sete	%dil
	callq	_assert
	movq	(%r14), %rdi
	movl	$1, %esi
	callq	_tl_buf_add_tree
	incq	%rbx
	movslq	8(%r12), %rax
	cmpq	%rax, %rbx
	jge	LBB0_10
LBB0_7:                                 ## =>This Inner Loop Header: Depth=1
	movq	(%r14), %rdi
	callq	_TL_INIT
	movq	(%r15), %rdi
	callq	_TL_INIT
	movq	16(%r12), %rax
	movq	(%rax,%rbx,8), %rdi
	xorl	%esi, %esi
	callq	_tl_parse_any_term
	movq	%rax, (%r14)
	movq	$0, -48(%rbp)
	movq	_L@GOTPCREL(%rip), %r13
	movq	(%r13), %rdi
	leaq	-48(%rbp), %rsi
	movq	%rax, %rdx
	callq	_change_first_var
	movq	%rax, (%r15)
	movq	%rax, (%r13)
	cmpq	$0, -48(%rbp)
	jne	LBB0_9
## %bb.8:                               ##   in Loop: Header=BB0_7 Depth=1
	leaq	L_.str.1(%rip), %rdi
	movl	%ebx, %esi
	xorl	%eax, %eax
	callq	_TL_ERROR
	jmp	LBB0_9
LBB0_10:
	movq	-72(%rbp), %r14                 ## 8-byte Reload
	movq	(%r14), %rcx
	movq	_buf_pos@GOTPCREL(%rip), %rax
	movl	(%rax), %r8d
	movq	_buf@GOTPCREL(%rip), %rax
	movl	(%rax), %r9d
	leaq	_tl_parse_partial_comb_app_decl._buf(%rip), %r12
	leaq	L_.str.2(%rip), %rdx
	movq	%r12, %rdi
	movl	$100000, %esi                   ## imm = 0x186A0
	xorl	%eax, %eax
	callq	_snprintf
	movl	32(%r14), %ebx
	movq	%r12, %rdi
	callq	_strlen
	cmpl	$0, -60(%rbp)                   ## 4-byte Folded Reload
	je	LBB0_11
## %bb.12:
	leaq	_tl_parse_partial_comb_app_decl._buf(%rip), %rsi
	movl	%ebx, %edi
	movl	%eax, %edx
	movl	$1, %ecx
	callq	_tl_add_function
	jmp	LBB0_13
LBB0_4:
	leaq	L_.str(%rip), %rdi
	xorl	%ebx, %ebx
	xorl	%eax, %eax
	callq	_TL_ERROR
	jmp	LBB0_16
LBB0_11:
	leaq	_tl_parse_partial_comb_app_decl._buf(%rip), %rsi
	movl	%ebx, %edi
	movl	%eax, %edx
	movl	$1, %ecx
	callq	_tl_add_constructor
LBB0_13:
	movq	%rax, %rbx
	movq	_L@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, 24(%rbx)
	movq	_R@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, 16(%rbx)
	movq	(%r14), %rcx
	leaq	_tl_parse_partial_comb_app_decl._buf(%rip), %r14
	leaq	L_.str.3(%rip), %rdx
	movq	%r14, %rdi
	movl	$100000, %esi                   ## imm = 0x186A0
	xorl	%eax, %eax
	callq	_snprintf
	movq	%r14, %rdi
	callq	_zstrdup
	movl	%eax, 12(%rbx)
	cmpl	$0, 8(%rbx)
	jne	LBB0_15
## %bb.14:
	movq	%rbx, %rdi
	callq	_tl_count_combinator_name
LBB0_15:
	movq	%rbx, %rdi
	callq	_tl_print_combinator
	movl	$1, %ebx
LBB0_16:
	movl	%ebx, %eax
	addq	$40, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_type_partial_comb_app_decl,8,3 ## @type_partial_comb_app_decl
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"Can not make partial app for undefined combinator\n"

	.comm	_L,8,3                          ## @L
	.comm	_R,8,3                          ## @R
	.comm	_X,8,3                          ## @X
	.comm	_Z,8,3                          ## @Z
	.comm	_TL_FAIL,4,2                    ## @TL_FAIL
L_.str.1:                               ## @.str.1
	.asciz	"Partial app: not enougth variables (i = %d)\n"

.zerofill __DATA,__bss,_tl_parse_partial_comb_app_decl._buf,100000,4 ## @tl_parse_partial_comb_app_decl._buf
L_.str.2:                               ## @.str.2
	.asciz	"%s%.*s"

	.comm	_buf_pos,4,2                    ## @buf_pos
	.comm	_buf,4,2                        ## @buf
L_.str.3:                               ## @.str.3
	.asciz	"%s"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_tl_parse_partial_comb_app_decl ; -- Begin function tl_parse_partial_comb_app_decl
	.p2align	2
_tl_parse_partial_comb_app_decl:        ; @tl_parse_partial_comb_app_decl
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #128
	.cfi_def_cfa_offset 128
	stp	x28, x27, [sp, #32]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #48]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #64]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #80]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #96]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #112]            ; 16-byte Folded Spill
	add	x29, sp, #112
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	.cfi_offset w21, -40
	.cfi_offset w22, -48
	.cfi_offset w23, -56
	.cfi_offset w24, -64
	.cfi_offset w25, -72
	.cfi_offset w26, -80
	.cfi_offset w27, -88
	.cfi_offset w28, -96
	mov	x20, x1
	mov	x21, x0
	ldr	x8, [x0]
Lloh0:
	adrp	x9, _type_partial_comb_app_decl@GOTPAGE
Lloh1:
	ldr	x9, [x9, _type_partial_comb_app_decl@GOTPAGEOFF]
Lloh2:
	ldr	x9, [x9]
	cmp	x8, x9
	cset	w0, eq
	bl	_assert
	ldr	x8, [x21, #16]
	ldr	x8, [x8]
	ldp	w1, w0, [x8]
	cbz	w20, LBB0_9
; %bb.1:
	bl	_tl_get_function
	mov	x19, x0
	cbz	x0, LBB0_10
LBB0_2:
Lloh3:
	adrp	x23, _L@GOTPAGE
Lloh4:
	ldr	x23, [x23, _L@GOTPAGEOFF]
	ldr	x0, [x23]
	bl	_TL_INIT
Lloh5:
	adrp	x24, _R@GOTPAGE
Lloh6:
	ldr	x24, [x24, _R@GOTPAGEOFF]
	ldr	x0, [x24]
	bl	_TL_INIT
	ldr	x0, [x19, #24]
	bl	_tl_tree_dup
	str	x0, [x23]
	ldr	x0, [x19, #16]
	bl	_tl_tree_dup
	str	x0, [x24]
	str	xzr, [sp, #24]
	ldr	x0, [x19, #24]
	ldr	x1, [x23]
	add	x2, sp, #24
	bl	_change_var_ptrs
	ldr	x0, [x19, #16]
	ldr	x1, [x24]
	add	x2, sp, #24
	bl	_change_var_ptrs
	ldr	x0, [sp, #24]
	bl	_tree_clear_var_value
	str	x0, [sp, #24]
	bl	_tl_buf_reset
	ldr	w8, [x21, #8]
	cmp	w8, #2
	b.lt	LBB0_7
; %bb.3:
	mov	w25, #1
Lloh7:
	adrp	x26, _X@GOTPAGE
Lloh8:
	ldr	x26, [x26, _X@GOTPAGEOFF]
Lloh9:
	adrp	x27, _Z@GOTPAGE
Lloh10:
	ldr	x27, [x27, _Z@GOTPAGEOFF]
Lloh11:
	adrp	x22, l_.str.1@PAGE
Lloh12:
	add	x22, x22, l_.str.1@PAGEOFF
	b	LBB0_5
LBB0_4:                                 ;   in Loop: Header=BB0_5 Depth=1
	ldr	x0, [x24]
	ldr	x2, [x26]
	add	x1, sp, #16
	bl	_change_first_var
	str	x0, [x27]
	ldr	x8, [x24]
	cmp	x0, x8
	cset	w0, eq
	bl	_assert
	ldr	x0, [x26]
	mov	w1, #1
	bl	_tl_buf_add_tree
	add	x25, x25, #1
	ldrsw	x8, [x21, #8]
	cmp	x25, x8
	b.ge	LBB0_7
LBB0_5:                                 ; =>This Inner Loop Header: Depth=1
	ldr	x0, [x26]
	bl	_TL_INIT
	ldr	x0, [x27]
	bl	_TL_INIT
	ldr	x8, [x21, #16]
	ldr	x0, [x8, x25, lsl #3]
	mov	w1, #0
	bl	_tl_parse_any_term
	mov	x2, x0
	str	x0, [x26]
	str	xzr, [sp, #16]
	ldr	x0, [x23]
	add	x1, sp, #16
	bl	_change_first_var
	str	x0, [x27]
	str	x0, [x23]
	ldr	x8, [sp, #16]
	cbnz	x8, LBB0_4
; %bb.6:                                ;   in Loop: Header=BB0_5 Depth=1
	str	x25, [sp]
	mov	x0, x22
	bl	_TL_ERROR
	b	LBB0_4
LBB0_7:
	ldr	x3, [x19]
Lloh13:
	adrp	x8, _buf_pos@GOTPAGE
Lloh14:
	ldr	x8, [x8, _buf_pos@GOTPAGEOFF]
Lloh15:
	adrp	x9, _buf@GOTPAGE
Lloh16:
	ldr	x9, [x9, _buf@GOTPAGEOFF]
Lloh17:
	ldr	w8, [x8]
Lloh18:
	ldr	w9, [x9]
	stp	x8, x9, [sp]
Lloh19:
	adrp	x22, _tl_parse_partial_comb_app_decl._buf@PAGE
Lloh20:
	add	x22, x22, _tl_parse_partial_comb_app_decl._buf@PAGEOFF
Lloh21:
	adrp	x2, l_.str.2@PAGE
Lloh22:
	add	x2, x2, l_.str.2@PAGEOFF
	mov	x0, x22
	mov	w1, #34464
	movk	w1, #1, lsl #16
	bl	_snprintf
	ldr	w21, [x19, #32]
	mov	x0, x22
	bl	_strlen
	mov	x2, x0
Lloh23:
	adrp	x1, _tl_parse_partial_comb_app_decl._buf@PAGE
Lloh24:
	add	x1, x1, _tl_parse_partial_comb_app_decl._buf@PAGEOFF
	mov	x0, x21
	mov	w3, #1
	cbz	w20, LBB0_11
; %bb.8:
	bl	_tl_add_function
	b	LBB0_12
LBB0_9:
	bl	_tl_get_constructor
	mov	x19, x0
	cbnz	x0, LBB0_2
LBB0_10:
Lloh25:
	adrp	x0, l_.str@PAGE
Lloh26:
	add	x0, x0, l_.str@PAGEOFF
	bl	_TL_ERROR
	mov	w0, #0
	b	LBB0_15
LBB0_11:
	bl	_tl_add_constructor
LBB0_12:
	mov	x20, x0
	ldr	x8, [x23]
	ldr	x9, [x24]
	stp	x9, x8, [x0, #16]
	ldr	x3, [x19]
Lloh27:
	adrp	x19, _tl_parse_partial_comb_app_decl._buf@PAGE
Lloh28:
	add	x19, x19, _tl_parse_partial_comb_app_decl._buf@PAGEOFF
Lloh29:
	adrp	x2, l_.str.3@PAGE
Lloh30:
	add	x2, x2, l_.str.3@PAGEOFF
	mov	x0, x19
	mov	w1, #34464
	movk	w1, #1, lsl #16
	bl	_snprintf
	mov	x0, x19
	bl	_zstrdup
	str	w0, [x20, #12]
	ldr	w8, [x20, #8]
	cbnz	w8, LBB0_14
; %bb.13:
	mov	x0, x20
	bl	_tl_count_combinator_name
LBB0_14:
	mov	x0, x20
	bl	_tl_print_combinator
	mov	w0, #1
LBB0_15:
	ldp	x29, x30, [sp, #112]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #96]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #80]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #64]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #48]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #32]             ; 16-byte Folded Reload
	add	sp, sp, #128
	ret
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh5, Lloh6
	.loh AdrpLdrGot	Lloh3, Lloh4
	.loh AdrpAdd	Lloh11, Lloh12
	.loh AdrpLdrGot	Lloh9, Lloh10
	.loh AdrpLdrGot	Lloh7, Lloh8
	.loh AdrpAdd	Lloh23, Lloh24
	.loh AdrpAdd	Lloh21, Lloh22
	.loh AdrpAdd	Lloh19, Lloh20
	.loh AdrpLdrGotLdr	Lloh15, Lloh16, Lloh18
	.loh AdrpLdrGotLdr	Lloh13, Lloh14, Lloh17
	.loh AdrpAdd	Lloh25, Lloh26
	.loh AdrpAdd	Lloh29, Lloh30
	.loh AdrpAdd	Lloh27, Lloh28
	.cfi_endproc
                                        ; -- End function
	.comm	_type_partial_comb_app_decl,8,3 ; @type_partial_comb_app_decl
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"Can not make partial app for undefined combinator\n"

	.comm	_L,8,3                          ; @L
	.comm	_R,8,3                          ; @R
	.comm	_X,8,3                          ; @X
	.comm	_Z,8,3                          ; @Z
	.comm	_TL_FAIL,4,2                    ; @TL_FAIL
l_.str.1:                               ; @.str.1
	.asciz	"Partial app: not enougth variables (i = %d)\n"

.zerofill __DATA,__bss,_tl_parse_partial_comb_app_decl._buf,100000,0 ; @tl_parse_partial_comb_app_decl._buf
l_.str.2:                               ; @.str.2
	.asciz	"%s%.*s"

	.comm	_buf_pos,4,2                    ; @buf_pos
	.comm	_buf,4,2                        ; @buf
l_.str.3:                               ; @.str.3
	.asciz	"%s"

.subsections_via_symbols
