	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_verbose                        ## -- Begin function verbose
	.p2align	4, 0x90
_verbose:                               ## @verbose
	.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
	pushq	%rax
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	_vflag@GOTPCREL(%rip), %rax
	cmpl	$0, (%rax)
	je	LBB0_8
## %bb.1:
	movq	_Value_t@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_nrules@GOTPCREL(%rip), %r14
	movl	(%r14), %esi
	callq	_TMALLOC
	movq	_null_rules@GOTPCREL(%rip), %r13
	movl	%eax, (%r13)
	movl	%eax, %edi
	callq	_NO_SPACE
	movq	_verbose_file@GOTPCREL(%rip), %r15
	movl	(%r15), %edi
	leaq	L_.str(%rip), %rsi
	xorl	%ebx, %ebx
	xorl	%eax, %eax
	callq	_fprintf
	movq	_nstates@GOTPCREL(%rip), %r12
	cmpl	$0, (%r12)
	jle	LBB0_3
	.p2align	4, 0x90
LBB0_2:                                 ## =>This Inner Loop Header: Depth=1
	movl	%ebx, %edi
	callq	_print_state
	incl	%ebx
	cmpl	(%r12), %ebx
	jl	LBB0_2
LBB0_3:
	movl	(%r13), %edi
	callq	_FREE
	movq	_nunused@GOTPCREL(%rip), %rax
	cmpq	$0, (%rax)
	je	LBB0_5
## %bb.4:
	xorl	%eax, %eax
	callq	_log_unused
LBB0_5:
	movq	_SRtotal@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	_RRtotal@GOTPCREL(%rip), %rcx
	orq	(%rcx), %rax
	je	LBB0_7
## %bb.6:
	xorl	%eax, %eax
	callq	_log_conflicts
LBB0_7:
	movl	(%r15), %edi
	movq	_ntokens@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	movq	_nvars@GOTPCREL(%rip), %rax
	movl	(%rax), %ecx
	leaq	L_.str.1(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
	movl	(%r15), %edi
	movl	(%r14), %edx
	addl	$-2, %edx
	movl	(%r12), %ecx
	leaq	L_.str.2(%rip), %rsi
	xorl	%eax, %eax
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_fprintf                        ## TAILCALL
LBB0_8:
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_vflag,4,2                      ## @vflag
	.comm	_Value_t,4,2                    ## @Value_t
	.comm	_nrules,4,2                     ## @nrules
	.comm	_null_rules,4,2                 ## @null_rules
	.comm	_verbose_file,4,2               ## @verbose_file
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"\f\n"

	.comm	_nstates,4,2                    ## @nstates
	.comm	_nunused,8,3                    ## @nunused
	.comm	_SRtotal,8,3                    ## @SRtotal
	.comm	_RRtotal,8,3                    ## @RRtotal
L_.str.1:                               ## @.str.1
	.asciz	"\n\n%d terminals, %d nonterminals\n"

	.comm	_ntokens,4,2                    ## @ntokens
	.comm	_nvars,4,2                      ## @nvars
L_.str.2:                               ## @.str.2
	.asciz	"%d grammar rules, %d states\n"

	.comm	_nsyms,4,2                      ## @nsyms
	.comm	_symbol_name,8,3                ## @symbol_name
	.comm	_symbol_value,8,3               ## @symbol_value
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_verbose                        ; -- Begin function verbose
	.p2align	2
_verbose:                               ; @verbose
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #80
	.cfi_def_cfa_offset 80
	stp	x24, x23, [sp, #16]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #32]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #48]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #64]             ; 16-byte Folded Spill
	add	x29, sp, #64
	.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
Lloh0:
	adrp	x8, _vflag@GOTPAGE
Lloh1:
	ldr	x8, [x8, _vflag@GOTPAGEOFF]
Lloh2:
	ldr	w8, [x8]
	cbz	w8, LBB0_9
; %bb.1:
Lloh3:
	adrp	x8, _Value_t@GOTPAGE
Lloh4:
	ldr	x8, [x8, _Value_t@GOTPAGEOFF]
Lloh5:
	ldr	w0, [x8]
Lloh6:
	adrp	x20, _nrules@GOTPAGE
Lloh7:
	ldr	x20, [x20, _nrules@GOTPAGEOFF]
	ldr	w1, [x20]
	bl	_TMALLOC
Lloh8:
	adrp	x23, _null_rules@GOTPAGE
Lloh9:
	ldr	x23, [x23, _null_rules@GOTPAGEOFF]
	str	w0, [x23]
	bl	_NO_SPACE
Lloh10:
	adrp	x21, _verbose_file@GOTPAGE
Lloh11:
	ldr	x21, [x21, _verbose_file@GOTPAGEOFF]
	ldr	w0, [x21]
Lloh12:
	adrp	x1, l_.str@PAGE
Lloh13:
	add	x1, x1, l_.str@PAGEOFF
	bl	_fprintf
Lloh14:
	adrp	x22, _nstates@GOTPAGE
Lloh15:
	ldr	x22, [x22, _nstates@GOTPAGEOFF]
	ldr	w8, [x22]
	cmp	w8, #1
	b.lt	LBB0_4
; %bb.2:
	mov	w19, #0
LBB0_3:                                 ; =>This Inner Loop Header: Depth=1
	mov	x0, x19
	bl	_print_state
	add	w19, w19, #1
	ldr	w8, [x22]
	cmp	w19, w8
	b.lt	LBB0_3
LBB0_4:
	ldr	w0, [x23]
	bl	_FREE
Lloh16:
	adrp	x8, _nunused@GOTPAGE
Lloh17:
	ldr	x8, [x8, _nunused@GOTPAGEOFF]
Lloh18:
	ldr	x8, [x8]
	cbz	x8, LBB0_6
; %bb.5:
	bl	_log_unused
LBB0_6:
Lloh19:
	adrp	x8, _SRtotal@GOTPAGE
Lloh20:
	ldr	x8, [x8, _SRtotal@GOTPAGEOFF]
Lloh21:
	ldr	x8, [x8]
Lloh22:
	adrp	x9, _RRtotal@GOTPAGE
Lloh23:
	ldr	x9, [x9, _RRtotal@GOTPAGEOFF]
Lloh24:
	ldr	x9, [x9]
	orr	x8, x8, x9
	cbz	x8, LBB0_8
; %bb.7:
	bl	_log_conflicts
LBB0_8:
	ldr	w0, [x21]
Lloh25:
	adrp	x8, _ntokens@GOTPAGE
Lloh26:
	ldr	x8, [x8, _ntokens@GOTPAGEOFF]
Lloh27:
	adrp	x9, _nvars@GOTPAGE
Lloh28:
	ldr	x9, [x9, _nvars@GOTPAGEOFF]
Lloh29:
	ldr	w8, [x8]
Lloh30:
	ldr	w9, [x9]
	stp	x8, x9, [sp]
Lloh31:
	adrp	x1, l_.str.1@PAGE
Lloh32:
	add	x1, x1, l_.str.1@PAGEOFF
	bl	_fprintf
	ldr	w0, [x21]
	ldr	w8, [x20]
	sub	w8, w8, #2
	ldr	w9, [x22]
	stp	x8, x9, [sp]
Lloh33:
	adrp	x1, l_.str.2@PAGE
Lloh34:
	add	x1, x1, l_.str.2@PAGEOFF
	bl	_fprintf
LBB0_9:
	ldp	x29, x30, [sp, #64]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #48]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #32]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #80
	ret
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh14, Lloh15
	.loh AdrpAdd	Lloh12, Lloh13
	.loh AdrpLdrGot	Lloh10, Lloh11
	.loh AdrpLdrGot	Lloh8, Lloh9
	.loh AdrpLdrGot	Lloh6, Lloh7
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh16, Lloh17, Lloh18
	.loh AdrpLdrGotLdr	Lloh22, Lloh23, Lloh24
	.loh AdrpLdrGotLdr	Lloh19, Lloh20, Lloh21
	.loh AdrpAdd	Lloh33, Lloh34
	.loh AdrpAdd	Lloh31, Lloh32
	.loh AdrpLdrGotLdr	Lloh27, Lloh28, Lloh30
	.loh AdrpLdrGotLdr	Lloh25, Lloh26, Lloh29
	.cfi_endproc
                                        ; -- End function
	.comm	_vflag,4,2                      ; @vflag
	.comm	_Value_t,4,2                    ; @Value_t
	.comm	_nrules,4,2                     ; @nrules
	.comm	_null_rules,4,2                 ; @null_rules
	.comm	_verbose_file,4,2               ; @verbose_file
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"\f\n"

	.comm	_nstates,4,2                    ; @nstates
	.comm	_nunused,8,3                    ; @nunused
	.comm	_SRtotal,8,3                    ; @SRtotal
	.comm	_RRtotal,8,3                    ; @RRtotal
l_.str.1:                               ; @.str.1
	.asciz	"\n\n%d terminals, %d nonterminals\n"

	.comm	_ntokens,4,2                    ; @ntokens
	.comm	_nvars,4,2                      ; @nvars
l_.str.2:                               ; @.str.2
	.asciz	"%d grammar rules, %d states\n"

	.comm	_nsyms,4,2                      ; @nsyms
	.comm	_symbol_name,8,3                ; @symbol_name
	.comm	_symbol_value,8,3               ; @symbol_value
.subsections_via_symbols
