	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_tl_parse_any_term              ## -- Begin function tl_parse_any_term
	.p2align	4, 0x90
_tl_parse_any_term:                     ## @tl_parse_any_term
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	movl	(%rdi), %edx
	leal	-128(%rdx), %eax
	cmpl	$7, %eax
	ja	LBB0_9
## %bb.1:
	leaq	LJTI0_0(%rip), %rcx
	movslq	(%rcx,%rax,4), %rax
	addq	%rcx, %rax
	jmpq	*%rax
LBB0_8:
	popq	%rbp
	jmp	_tl_parse_ident                 ## TAILCALL
LBB0_9:
	movq	_stderr@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str(%rip), %rsi
                                        ## kill: def $edx killed $edx killed $rdx
	callq	_fprintf
	xorl	%edi, %edi
	callq	_assert
	xorl	%eax, %eax
	popq	%rbp
	retq
LBB0_2:
	popq	%rbp
	jmp	_tl_parse_type_term             ## TAILCALL
LBB0_4:
	popq	%rbp
	jmp	_tl_parse_term                  ## TAILCALL
LBB0_6:
	popq	%rbp
	jmp	_tl_parse_subexpr               ## TAILCALL
LBB0_3:
	popq	%rbp
	jmp	_tl_parse_nat_term              ## TAILCALL
LBB0_7:
	popq	%rbp
	jmp	_tl_parse_nat_const             ## TAILCALL
LBB0_5:
	popq	%rbp
	jmp	_tl_parse_expr                  ## TAILCALL
	.cfi_endproc
	.p2align	2, 0x90
	.data_region jt32
.set L0_0_set_8, LBB0_8-LJTI0_0
.set L0_0_set_2, LBB0_2-LJTI0_0
.set L0_0_set_4, LBB0_4-LJTI0_0
.set L0_0_set_6, LBB0_6-LJTI0_0
.set L0_0_set_3, LBB0_3-LJTI0_0
.set L0_0_set_7, LBB0_7-LJTI0_0
.set L0_0_set_5, LBB0_5-LJTI0_0
LJTI0_0:
	.long	L0_0_set_8
	.long	L0_0_set_2
	.long	L0_0_set_8
	.long	L0_0_set_4
	.long	L0_0_set_6
	.long	L0_0_set_3
	.long	L0_0_set_7
	.long	L0_0_set_5
	.end_data_region
                                        ## -- End function
	.comm	_stderr,4,2                     ## @stderr
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"type = %d\n"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_tl_parse_any_term              ; -- Begin function tl_parse_any_term
	.p2align	2
_tl_parse_any_term:                     ; @tl_parse_any_term
	.cfi_startproc
; %bb.0:
	stp	x29, x30, [sp, #-16]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 16
	mov	x29, sp
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	ldr	w2, [x0]
	sub	w8, w2, #128
	cmp	w8, #7
	b.hi	LBB0_3
; %bb.1:
Lloh0:
	adrp	x9, lJTI0_0@PAGE
Lloh1:
	add	x9, x9, lJTI0_0@PAGEOFF
	adr	x10, LBB0_2
	ldrb	w11, [x9, x8]
	add	x10, x10, x11, lsl #2
	br	x10
LBB0_2:
	ldp	x29, x30, [sp], #16             ; 16-byte Folded Reload
	b	_tl_parse_ident
LBB0_3:
Lloh2:
	adrp	x8, _stderr@GOTPAGE
Lloh3:
	ldr	x8, [x8, _stderr@GOTPAGEOFF]
Lloh4:
	ldr	w0, [x8]
Lloh5:
	adrp	x1, l_.str@PAGE
Lloh6:
	add	x1, x1, l_.str@PAGEOFF
	bl	_fprintf
	mov	w0, #0
	bl	_assert
	mov	x0, #0
	ldp	x29, x30, [sp], #16             ; 16-byte Folded Reload
	ret
LBB0_4:
	ldp	x29, x30, [sp], #16             ; 16-byte Folded Reload
	b	_tl_parse_type_term
LBB0_5:
	ldp	x29, x30, [sp], #16             ; 16-byte Folded Reload
	b	_tl_parse_term
LBB0_6:
	ldp	x29, x30, [sp], #16             ; 16-byte Folded Reload
	b	_tl_parse_subexpr
LBB0_7:
	ldp	x29, x30, [sp], #16             ; 16-byte Folded Reload
	b	_tl_parse_nat_term
LBB0_8:
	ldp	x29, x30, [sp], #16             ; 16-byte Folded Reload
	b	_tl_parse_nat_const
LBB0_9:
	ldp	x29, x30, [sp], #16             ; 16-byte Folded Reload
	b	_tl_parse_expr
	.loh AdrpAdd	Lloh0, Lloh1
	.loh AdrpAdd	Lloh5, Lloh6
	.loh AdrpLdrGotLdr	Lloh2, Lloh3, Lloh4
	.cfi_endproc
	.section	__TEXT,__const
lJTI0_0:
	.byte	(LBB0_2-LBB0_2)>>2
	.byte	(LBB0_4-LBB0_2)>>2
	.byte	(LBB0_2-LBB0_2)>>2
	.byte	(LBB0_5-LBB0_2)>>2
	.byte	(LBB0_6-LBB0_2)>>2
	.byte	(LBB0_7-LBB0_2)>>2
	.byte	(LBB0_8-LBB0_2)>>2
	.byte	(LBB0_9-LBB0_2)>>2
                                        ; -- End function
	.comm	_stderr,4,2                     ; @stderr
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"type = %d\n"

.subsections_via_symbols
