	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_tl_expression_parse            ## -- Begin function tl_expression_parse
	.p2align	4, 0x90
_tl_expression_parse:                   ## @tl_expression_parse
	.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	$24, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rsi, %r12
	movq	%rdi, %r14
	movq	(%rsi), %r13
	movq	%r13, %rdi
	movl	$61, %esi
	callq	_strchr
	testq	%rax, %rax
	je	LBB0_1
## %bb.17:
	movq	%rax, %rbx
	cmpq	%r13, %rax
	je	LBB0_20
## %bb.18:
	cmpb	$32, -1(%rbx)
	jne	LBB0_20
## %bb.19:
	cmpb	$32, 1(%rbx)
	jne	LBB0_20
## %bb.22:
	movq	%rbx, %r15
	incq	%r15
	movq	%r15, %rdi
	movl	$61, %esi
	callq	_strchr
	testq	%rax, %rax
	je	LBB0_24
## %bb.23:
	leaq	L_.str.3(%rip), %rsi
	jmp	LBB0_21
LBB0_20:
	leaq	L_.str.2(%rip), %rsi
LBB0_21:
	movq	%r14, %rdi
	movq	%r13, %rdx
	jmp	LBB0_6
LBB0_1:
	movq	%r14, %rdi
	movq	%r12, %rsi
	movq	%r13, %rdx
	movl	$1, %ecx
	callq	_tl_expresion_split
	movq	%rax, 48(%r12)
	testq	%rax, %rax
	je	LBB0_2
## %bb.3:
	movq	$0, 32(%r12)
	movq	_tlet_polymorphic_instance@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, 8(%r12)
	cmpq	$0, 16(%r12)
	je	LBB0_7
## %bb.4:
	movq	(%r12), %rdx
	leaq	L_.str(%rip), %rsi
	jmp	LBB0_5
LBB0_2:
	movl	$-1, %eax
LBB0_13:
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_7:
	movq	8(%r14), %rax
	movq	_TL_SECTION_TYPES@GOTPCREL(%rip), %r15
	movq	(%r15), %rcx
	movq	%rcx, %rdx
	shlq	$6, %rdx
	movq	56(%rax,%rdx), %rbx
	cmpq	%r12, %rbx
	je	LBB0_16
## %bb.8:
	movq	_tlet_polymorphic@GOTPCREL(%rip), %r13
	.p2align	4, 0x90
LBB0_9:                                 ## =>This Inner Loop Header: Depth=1
	shlq	$6, %rcx
	addq	%rax, %rcx
	xorl	%edi, %edi
	cmpq	%rcx, %rbx
	setne	%dil
	callq	_assert
	movq	8(%rbx), %rax
	cmpq	(%r13), %rax
	jne	LBB0_14
## %bb.10:                              ##   in Loop: Header=BB0_9 Depth=1
	movq	32(%rbx), %rdi
	movq	48(%r12), %rsi
	callq	_tl_token_polymorphic_match
	testq	%rax, %rax
	jne	LBB0_11
LBB0_14:                                ##   in Loop: Header=BB0_9 Depth=1
	movq	56(%rbx), %rbx
	cmpq	%r12, %rbx
	je	LBB0_16
## %bb.15:                              ##   in Loop: Header=BB0_9 Depth=1
	movq	8(%r14), %rax
	movq	(%r15), %rcx
	jmp	LBB0_9
LBB0_16:
	movq	(%r12), %rdx
	leaq	L_.str.1(%rip), %rsi
LBB0_5:
	movq	%r14, %rdi
LBB0_6:
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_tl_failf                       ## TAILCALL
LBB0_24:
	movl	%r13d, %edx
	notl	%edx
	addl	%ebx, %edx
	movq	%r13, %rdi
	xorl	%esi, %esi
	callq	_cstr_substr
	movq	%rax, -64(%rbp)
	movq	%r14, %rdi
	movq	%r12, %rsi
	movq	%rax, %rdx
	xorl	%ecx, %ecx
	callq	_tl_expresion_split
	movq	%rax, 48(%r12)
	leaq	-64(%rbp), %rdi
	callq	_cstr_free
	movq	48(%r12), %rax
	testq	%rax, %rax
	je	LBB0_25
## %bb.27:
	movq	(%rax), %rdi
	movl	$35, %esi
	callq	_strchr
	testq	%rax, %rax
	je	LBB0_30
## %bb.28:
	movq	%rax, %rbx
	movl	$0, -48(%rbp)
	leaq	1(%rax), %rdi
	leaq	L_.str.5(%rip), %rsi
	leaq	-48(%rbp), %rdx
	leaq	-41(%rbp), %rcx
	callq	_sscanf
	cmpl	$1, %eax
	jne	LBB0_40
## %bb.29:
	movl	-48(%rbp), %eax
	movl	%eax, 24(%r12)
	movq	48(%r12), %rax
	movq	(%rax), %rdi
	movq	%rdi, -56(%rbp)
	subl	%edi, %ebx
	xorl	%esi, %esi
	movl	%ebx, %edx
	callq	_cstr_substr
	movq	48(%r12), %rcx
	movq	%rax, (%rcx)
	leaq	-56(%rbp), %rdi
	callq	_cstr_free
LBB0_30:
	movq	_tlet_simple@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, 8(%r12)
	xorl	%ecx, %ecx
	cmpq	$0, 16(%r12)
	sete	%cl
	movq	%r14, %rdi
	movq	%r12, %rsi
	movq	%r15, %rdx
	callq	_tl_expresion_split
	movq	%rax, 32(%r12)
	testq	%rax, %rax
	je	LBB0_31
## %bb.33:
	movq	16(%r12), %rcx
	movq	_TL_SECTION_FUNCTIONS@GOTPCREL(%rip), %rdx
	cmpq	(%rdx), %rcx
	jne	LBB0_36
## %bb.34:
	movq	%rax, %rdi
LBB0_35:
	callq	_cstr_join_with_sugar
	movq	%rax, 40(%r12)
	jmp	LBB0_12
LBB0_11:
	movq	%r12, %rdi
	movq	%rbx, %rsi
	callq	_tl_expression_expand
LBB0_12:
	xorl	%eax, %eax
	jmp	LBB0_13
LBB0_25:
	movq	(%r12), %rdx
	leaq	L_.str.4(%rip), %rsi
	jmp	LBB0_26
LBB0_40:
	movq	(%r12), %rdx
	leaq	L_.str.6(%rip), %rsi
	jmp	LBB0_26
LBB0_31:
	movl	$-1, %eax
	cmpl	$0, (%r14)
	jne	LBB0_13
## %bb.32:
	movq	(%r12), %rdx
	leaq	L_.str.7(%rip), %rsi
	jmp	LBB0_26
LBB0_36:
	movq	%r12, %rdi
	callq	_tl_expression_is_polymorhic
	testq	%rax, %rax
	je	LBB0_38
## %bb.37:
	movq	_tlet_polymorphic@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, 8(%r12)
	jmp	LBB0_12
LBB0_38:
	movq	32(%r12), %rdi
	cmpq	$0, (%rdi)
	je	LBB0_35
## %bb.39:
	movq	(%r12), %rdx
	leaq	L_.str.8(%rip), %rsi
LBB0_26:
	movq	%r14, %rdi
	callq	_tl_failf
	jmp	LBB0_13
	.cfi_endproc
                                        ## -- End function
	.comm	_tlet_polymorphic_instance,8,3  ## @tlet_polymorphic_instance
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"polymorphic instance in the '---functions---' section, expr: %s"

	.comm	_TL_SECTION_TYPES,8,3           ## @TL_SECTION_TYPES
	.comm	_tlet_polymorphic,8,3           ## @tlet_polymorphic
L_.str.1:                               ## @.str.1
	.asciz	"don't find polymorphic rule, expr: %s"

L_.str.2:                               ## @.str.2
	.asciz	"'=' should be surrounded by spaces, expr: %s"

L_.str.3:                               ## @.str.3
	.asciz	"'=' occures multiple times, expr: %s"

L_.str.4:                               ## @.str.4
	.asciz	"empty lhs, expr: %s\n"

L_.str.5:                               ## @.str.5
	.asciz	"%x%c"

L_.str.6:                               ## @.str.6
	.asciz	"can't parse combinator magic number, expr: %s"

	.comm	_tlet_simple,8,3                ## @tlet_simple
L_.str.7:                               ## @.str.7
	.asciz	"empty rhs, expr: %s\n"

	.comm	_TL_SECTION_FUNCTIONS,8,3       ## @TL_SECTION_FUNCTIONS
L_.str.8:                               ## @.str.8
	.asciz	"rhs contains more than one word, but it isn't polymorhic (args should be in ['alpha', 'beta', ...]), expr: %s\n"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_tl_expression_parse            ; -- Begin function tl_expression_parse
	.p2align	2
_tl_expression_parse:                   ; @tl_expression_parse
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #96
	.cfi_def_cfa_offset 96
	stp	x24, x23, [sp, #32]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #48]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #64]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #80]             ; 16-byte Folded Spill
	add	x29, sp, #80
	.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
	mov	x19, x1
	mov	x20, x0
	ldr	x22, [x1]
	mov	x0, x22
	mov	w1, #61
	bl	_strchr
	cbz	x0, LBB0_8
; %bb.1:
	mov	x23, x0
	cmp	x0, x22
	b.eq	LBB0_6
; %bb.2:
	ldurb	w8, [x23, #-1]
	cmp	w8, #32
	b.ne	LBB0_6
; %bb.3:
	mov	x21, x23
	ldrb	w8, [x21, #1]!
	cmp	w8, #32
	b.ne	LBB0_6
; %bb.4:
	mov	x0, x21
	mov	w1, #61
	bl	_strchr
	cbz	x0, LBB0_20
; %bb.5:
Lloh0:
	adrp	x1, l_.str.3@PAGE
Lloh1:
	add	x1, x1, l_.str.3@PAGEOFF
	b	LBB0_7
LBB0_6:
Lloh2:
	adrp	x1, l_.str.2@PAGE
Lloh3:
	add	x1, x1, l_.str.2@PAGEOFF
LBB0_7:
	mov	x0, x20
	mov	x2, x22
	b	LBB0_19
LBB0_8:
	mov	x0, x20
	mov	x1, x19
	mov	x2, x22
	mov	w3, #1
	bl	_tl_expresion_split
	str	x0, [x19, #48]
	cbz	x0, LBB0_31
; %bb.9:
	str	xzr, [x19, #32]
Lloh4:
	adrp	x8, _tlet_polymorphic_instance@GOTPAGE
Lloh5:
	ldr	x8, [x8, _tlet_polymorphic_instance@GOTPAGEOFF]
Lloh6:
	ldr	x8, [x8]
	str	x8, [x19, #8]
	ldr	x8, [x19, #16]
	cbz	x8, LBB0_11
; %bb.10:
	ldr	x2, [x19]
Lloh7:
	adrp	x1, l_.str@PAGE
Lloh8:
	add	x1, x1, l_.str@PAGEOFF
	b	LBB0_18
LBB0_11:
	ldr	x8, [x20, #8]
Lloh9:
	adrp	x22, _TL_SECTION_TYPES@GOTPAGE
Lloh10:
	ldr	x22, [x22, _TL_SECTION_TYPES@GOTPAGEOFF]
	ldr	x9, [x22]
	add	x10, x8, x9, lsl #6
	ldr	x21, [x10, #56]
	cmp	x21, x19
	b.eq	LBB0_17
; %bb.12:
Lloh11:
	adrp	x23, _tlet_polymorphic@GOTPAGE
Lloh12:
	ldr	x23, [x23, _tlet_polymorphic@GOTPAGEOFF]
LBB0_13:                                ; =>This Inner Loop Header: Depth=1
	add	x8, x8, x9, lsl #6
	cmp	x21, x8
	cset	w0, ne
	bl	_assert
	ldr	x8, [x21, #8]
	ldr	x9, [x23]
	cmp	x8, x9
	b.ne	LBB0_15
; %bb.14:                               ;   in Loop: Header=BB0_13 Depth=1
	ldr	x0, [x21, #32]
	ldr	x1, [x19, #48]
	bl	_tl_token_polymorphic_match
	cbnz	x0, LBB0_27
LBB0_15:                                ;   in Loop: Header=BB0_13 Depth=1
	ldr	x21, [x21, #56]
	cmp	x21, x19
	b.eq	LBB0_17
; %bb.16:                               ;   in Loop: Header=BB0_13 Depth=1
	ldr	x8, [x20, #8]
	ldr	x9, [x22]
	b	LBB0_13
LBB0_17:
	ldr	x2, [x19]
Lloh13:
	adrp	x1, l_.str.1@PAGE
Lloh14:
	add	x1, x1, l_.str.1@PAGEOFF
LBB0_18:
	mov	x0, x20
LBB0_19:
	ldp	x29, x30, [sp, #80]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #64]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #48]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #32]             ; 16-byte Folded Reload
	add	sp, sp, #96
	b	_tl_failf
LBB0_20:
	mvn	w8, w22
	add	w2, w23, w8
	mov	x0, x22
	mov	w1, #0
	bl	_cstr_substr
	mov	x2, x0
	str	x0, [sp, #24]
	mov	x0, x20
	mov	x1, x19
	mov	w3, #0
	bl	_tl_expresion_split
	str	x0, [x19, #48]
	add	x0, sp, #24
	bl	_cstr_free
	ldr	x8, [x19, #48]
	cbz	x8, LBB0_28
; %bb.21:
	ldr	x0, [x8]
	mov	w1, #35
	bl	_strchr
	cbz	x0, LBB0_24
; %bb.22:
	mov	x22, x0
	str	wzr, [sp, #20]
	add	x0, x0, #1
Lloh15:
	adrp	x1, l_.str.5@PAGE
Lloh16:
	add	x1, x1, l_.str.5@PAGEOFF
	add	x2, sp, #20
	add	x3, sp, #19
	bl	_sscanf
	cmp	w0, #1
	b.ne	LBB0_29
; %bb.23:
	ldr	w8, [sp, #20]
	str	w8, [x19, #24]
	ldr	x8, [x19, #48]
	ldr	x0, [x8]
	str	x0, [sp, #8]
	sub	w2, w22, w0
	mov	w1, #0
	bl	_cstr_substr
	ldr	x8, [x19, #48]
	str	x0, [x8]
	add	x0, sp, #8
	bl	_cstr_free
LBB0_24:
Lloh17:
	adrp	x8, _tlet_simple@GOTPAGE
Lloh18:
	ldr	x8, [x8, _tlet_simple@GOTPAGEOFF]
Lloh19:
	ldr	x8, [x8]
	str	x8, [x19, #8]
	ldr	x8, [x19, #16]
	cmp	x8, #0
	cset	w3, eq
	mov	x0, x20
	mov	x1, x19
	mov	x2, x21
	bl	_tl_expresion_split
	str	x0, [x19, #32]
	cbz	x0, LBB0_30
; %bb.25:
	ldr	x8, [x19, #16]
Lloh20:
	adrp	x9, _TL_SECTION_FUNCTIONS@GOTPAGE
Lloh21:
	ldr	x9, [x9, _TL_SECTION_FUNCTIONS@GOTPAGEOFF]
Lloh22:
	ldr	x9, [x9]
	cmp	x8, x9
	b.ne	LBB0_33
LBB0_26:
	bl	_cstr_join_with_sugar
	mov	x8, x0
	mov	w0, #0
	str	x8, [x19, #40]
	b	LBB0_32
LBB0_27:
	mov	x0, x19
	mov	x1, x21
	bl	_tl_expression_expand
	mov	w0, #0
	b	LBB0_32
LBB0_28:
	ldr	x2, [x19]
Lloh23:
	adrp	x1, l_.str.4@PAGE
Lloh24:
	add	x1, x1, l_.str.4@PAGEOFF
	b	LBB0_38
LBB0_29:
	ldr	x2, [x19]
Lloh25:
	adrp	x1, l_.str.6@PAGE
Lloh26:
	add	x1, x1, l_.str.6@PAGEOFF
	b	LBB0_38
LBB0_30:
	ldr	w8, [x20]
	cbz	w8, LBB0_35
LBB0_31:
	mov	w0, #-1
LBB0_32:
	ldp	x29, x30, [sp, #80]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #64]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #48]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #32]             ; 16-byte Folded Reload
	add	sp, sp, #96
	ret
LBB0_33:
	mov	x0, x19
	bl	_tl_expression_is_polymorhic
	cbz	x0, LBB0_36
; %bb.34:
	mov	w0, #0
Lloh27:
	adrp	x8, _tlet_polymorphic@GOTPAGE
Lloh28:
	ldr	x8, [x8, _tlet_polymorphic@GOTPAGEOFF]
Lloh29:
	ldr	x8, [x8]
	str	x8, [x19, #8]
	b	LBB0_32
LBB0_35:
	ldr	x2, [x19]
Lloh30:
	adrp	x1, l_.str.7@PAGE
Lloh31:
	add	x1, x1, l_.str.7@PAGEOFF
	b	LBB0_38
LBB0_36:
	ldr	x0, [x19, #32]
	ldr	x8, [x0]
	cbz	x8, LBB0_26
; %bb.37:
	ldr	x2, [x19]
Lloh32:
	adrp	x1, l_.str.8@PAGE
Lloh33:
	add	x1, x1, l_.str.8@PAGEOFF
LBB0_38:
	mov	x0, x20
	bl	_tl_failf
	b	LBB0_32
	.loh AdrpAdd	Lloh0, Lloh1
	.loh AdrpAdd	Lloh2, Lloh3
	.loh AdrpLdrGotLdr	Lloh4, Lloh5, Lloh6
	.loh AdrpAdd	Lloh7, Lloh8
	.loh AdrpLdrGot	Lloh9, Lloh10
	.loh AdrpLdrGot	Lloh11, Lloh12
	.loh AdrpAdd	Lloh13, Lloh14
	.loh AdrpAdd	Lloh15, Lloh16
	.loh AdrpLdrGotLdr	Lloh17, Lloh18, Lloh19
	.loh AdrpLdrGotLdr	Lloh20, Lloh21, Lloh22
	.loh AdrpAdd	Lloh23, Lloh24
	.loh AdrpAdd	Lloh25, Lloh26
	.loh AdrpLdrGotLdr	Lloh27, Lloh28, Lloh29
	.loh AdrpAdd	Lloh30, Lloh31
	.loh AdrpAdd	Lloh32, Lloh33
	.cfi_endproc
                                        ; -- End function
	.comm	_tlet_polymorphic_instance,8,3  ; @tlet_polymorphic_instance
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"polymorphic instance in the '---functions---' section, expr: %s"

	.comm	_TL_SECTION_TYPES,8,3           ; @TL_SECTION_TYPES
	.comm	_tlet_polymorphic,8,3           ; @tlet_polymorphic
l_.str.1:                               ; @.str.1
	.asciz	"don't find polymorphic rule, expr: %s"

l_.str.2:                               ; @.str.2
	.asciz	"'=' should be surrounded by spaces, expr: %s"

l_.str.3:                               ; @.str.3
	.asciz	"'=' occures multiple times, expr: %s"

l_.str.4:                               ; @.str.4
	.asciz	"empty lhs, expr: %s\n"

l_.str.5:                               ; @.str.5
	.asciz	"%x%c"

l_.str.6:                               ; @.str.6
	.asciz	"can't parse combinator magic number, expr: %s"

	.comm	_tlet_simple,8,3                ; @tlet_simple
l_.str.7:                               ; @.str.7
	.asciz	"empty rhs, expr: %s\n"

	.comm	_TL_SECTION_FUNCTIONS,8,3       ; @TL_SECTION_FUNCTIONS
l_.str.8:                               ; @.str.8
	.asciz	"rhs contains more than one word, but it isn't polymorhic (args should be in ['alpha', 'beta', ...]), expr: %s\n"

.subsections_via_symbols
