	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function output_time_statistics
_output_time_statistics:                ## @output_time_statistics
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%r14
	pushq	%rbx
	.cfi_offset %rbx, -32
	.cfi_offset %r14, -24
	movq	%rdi, %rbx
	leaq	L_.str(%rip), %rdi
	movl	$19, %esi
	movl	$1, %edx
	movq	%rbx, %rcx
	callq	_fwrite
	movq	_transform_time@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movq	%rbx, %rdi
	callq	_print_active_time
	movq	_ndfa_flag@GOTPCREL(%rip), %r14
	cmpq	$0, (%r14)
	leaq	L_.str.1(%rip), %rax
	leaq	L_.str.2(%rip), %rsi
	cmoveq	%rax, %rsi
	movq	%rbx, %rdi
	callq	_fprintf
	movq	_NDFA_time@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movq	%rbx, %rdi
	callq	_print_active_time
	cmpq	$0, (%r14)
	je	LBB0_2
## %bb.1:
	leaq	L_.str.3(%rip), %rdi
	movl	$15, %esi
	movl	$1, %edx
	movq	%rbx, %rcx
	callq	_fwrite
	movq	_NDFA_to_DFA_time@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movq	%rbx, %rdi
	callq	_print_active_time
LBB0_2:
	leaq	L_.str.4(%rip), %rdi
	movl	$21, %esi
	movl	$1, %edx
	movq	%rbx, %rcx
	callq	_fwrite
	movq	_minimize_time@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movq	%rbx, %rdi
	callq	_print_active_time
	leaq	L_.str.5(%rip), %rdi
	movl	$27, %esi
	movl	$1, %edx
	movq	%rbx, %rcx
	callq	_fwrite
	movq	_equiv_time@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movq	%rbx, %rdi
	callq	_print_active_time
	leaq	L_.str.6(%rip), %rdi
	movl	$28, %esi
	movl	$1, %edx
	movq	%rbx, %rcx
	callq	_fwrite
	movq	_automaton_generation_time@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movq	%rbx, %rdi
	callq	_print_active_time
	leaq	L_.str.7(%rip), %rdi
	movl	$10, %esi
	movl	$1, %edx
	movq	%rbx, %rcx
	callq	_fwrite
	movq	_output_time@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movq	%rbx, %rdi
	callq	_print_active_time
	movl	$10, %edi
	movq	%rbx, %rsi
	popq	%rbx
	popq	%r14
	popq	%rbp
	jmp	_fputc                          ## TAILCALL
	.cfi_endproc
                                        ## -- End function
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"\n  transformation: "

	.comm	_transform_time,4,2             ## @transform_time
	.comm	_ndfa_flag,8,3                  ## @ndfa_flag
L_.str.1:                               ## @.str.1
	.asciz	", building DFA: "

L_.str.2:                               ## @.str.2
	.asciz	", building NDFA: "

	.comm	_NDFA_time,4,2                  ## @NDFA_time
L_.str.3:                               ## @.str.3
	.asciz	", NDFA -> DFA: "

	.comm	_NDFA_to_DFA_time,4,2           ## @NDFA_to_DFA_time
L_.str.4:                               ## @.str.4
	.asciz	"\n  DFA minimization: "

	.comm	_minimize_time,4,2              ## @minimize_time
L_.str.5:                               ## @.str.5
	.asciz	", making insn equivalence: "

	.comm	_equiv_time,4,2                 ## @equiv_time
L_.str.6:                               ## @.str.6
	.asciz	"\n all automaton generation: "

	.comm	_automaton_generation_time,4,2  ## @automaton_generation_time
L_.str.7:                               ## @.str.7
	.asciz	", output: "

	.comm	_output_time,4,2                ## @output_time
	.no_dead_strip	_output_time_statistics
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function output_time_statistics
_output_time_statistics:                ; @output_time_statistics
	.cfi_startproc
; %bb.0:
	stp	x20, x19, [sp, #-32]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 32
	stp	x29, x30, [sp, #16]             ; 16-byte Folded Spill
	add	x29, sp, #16
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	mov	x19, x0
Lloh0:
	adrp	x0, l_.str@PAGE
Lloh1:
	add	x0, x0, l_.str@PAGEOFF
	mov	w1, #19
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
Lloh2:
	adrp	x8, _transform_time@GOTPAGE
Lloh3:
	ldr	x8, [x8, _transform_time@GOTPAGEOFF]
Lloh4:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_print_active_time
Lloh5:
	adrp	x20, _ndfa_flag@GOTPAGE
Lloh6:
	ldr	x20, [x20, _ndfa_flag@GOTPAGEOFF]
	ldr	x8, [x20]
Lloh7:
	adrp	x9, l_.str.2@PAGE
Lloh8:
	add	x9, x9, l_.str.2@PAGEOFF
Lloh9:
	adrp	x10, l_.str.1@PAGE
Lloh10:
	add	x10, x10, l_.str.1@PAGEOFF
	cmp	x8, #0
	csel	x1, x10, x9, eq
	mov	x0, x19
	bl	_fprintf
Lloh11:
	adrp	x8, _NDFA_time@GOTPAGE
Lloh12:
	ldr	x8, [x8, _NDFA_time@GOTPAGEOFF]
Lloh13:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_print_active_time
	ldr	x8, [x20]
	cbz	x8, LBB0_2
; %bb.1:
Lloh14:
	adrp	x0, l_.str.3@PAGE
Lloh15:
	add	x0, x0, l_.str.3@PAGEOFF
	mov	w1, #15
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
Lloh16:
	adrp	x8, _NDFA_to_DFA_time@GOTPAGE
Lloh17:
	ldr	x8, [x8, _NDFA_to_DFA_time@GOTPAGEOFF]
Lloh18:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_print_active_time
LBB0_2:
Lloh19:
	adrp	x0, l_.str.4@PAGE
Lloh20:
	add	x0, x0, l_.str.4@PAGEOFF
	mov	w1, #21
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
Lloh21:
	adrp	x8, _minimize_time@GOTPAGE
Lloh22:
	ldr	x8, [x8, _minimize_time@GOTPAGEOFF]
Lloh23:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_print_active_time
Lloh24:
	adrp	x0, l_.str.5@PAGE
Lloh25:
	add	x0, x0, l_.str.5@PAGEOFF
	mov	w1, #27
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
Lloh26:
	adrp	x8, _equiv_time@GOTPAGE
Lloh27:
	ldr	x8, [x8, _equiv_time@GOTPAGEOFF]
Lloh28:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_print_active_time
Lloh29:
	adrp	x0, l_.str.6@PAGE
Lloh30:
	add	x0, x0, l_.str.6@PAGEOFF
	mov	w1, #28
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
Lloh31:
	adrp	x8, _automaton_generation_time@GOTPAGE
Lloh32:
	ldr	x8, [x8, _automaton_generation_time@GOTPAGEOFF]
Lloh33:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_print_active_time
Lloh34:
	adrp	x0, l_.str.7@PAGE
Lloh35:
	add	x0, x0, l_.str.7@PAGEOFF
	mov	w1, #10
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
Lloh36:
	adrp	x8, _output_time@GOTPAGE
Lloh37:
	ldr	x8, [x8, _output_time@GOTPAGEOFF]
Lloh38:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_print_active_time
	mov	w0, #10
	mov	x1, x19
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	b	_fputc
	.loh AdrpLdrGotLdr	Lloh11, Lloh12, Lloh13
	.loh AdrpAdd	Lloh9, Lloh10
	.loh AdrpAdd	Lloh7, Lloh8
	.loh AdrpLdrGot	Lloh5, Lloh6
	.loh AdrpLdrGotLdr	Lloh2, Lloh3, Lloh4
	.loh AdrpAdd	Lloh0, Lloh1
	.loh AdrpLdrGotLdr	Lloh16, Lloh17, Lloh18
	.loh AdrpAdd	Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh36, Lloh37, Lloh38
	.loh AdrpAdd	Lloh34, Lloh35
	.loh AdrpLdrGotLdr	Lloh31, Lloh32, Lloh33
	.loh AdrpAdd	Lloh29, Lloh30
	.loh AdrpLdrGotLdr	Lloh26, Lloh27, Lloh28
	.loh AdrpAdd	Lloh24, Lloh25
	.loh AdrpLdrGotLdr	Lloh21, Lloh22, Lloh23
	.loh AdrpAdd	Lloh19, Lloh20
	.cfi_endproc
                                        ; -- End function
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"\n  transformation: "

	.comm	_transform_time,4,2             ; @transform_time
	.comm	_ndfa_flag,8,3                  ; @ndfa_flag
l_.str.1:                               ; @.str.1
	.asciz	", building DFA: "

l_.str.2:                               ; @.str.2
	.asciz	", building NDFA: "

	.comm	_NDFA_time,4,2                  ; @NDFA_time
l_.str.3:                               ; @.str.3
	.asciz	", NDFA -> DFA: "

	.comm	_NDFA_to_DFA_time,4,2           ; @NDFA_to_DFA_time
l_.str.4:                               ; @.str.4
	.asciz	"\n  DFA minimization: "

	.comm	_minimize_time,4,2              ; @minimize_time
l_.str.5:                               ; @.str.5
	.asciz	", making insn equivalence: "

	.comm	_equiv_time,4,2                 ; @equiv_time
l_.str.6:                               ; @.str.6
	.asciz	"\n all automaton generation: "

	.comm	_automaton_generation_time,4,2  ; @automaton_generation_time
l_.str.7:                               ; @.str.7
	.asciz	", output: "

	.comm	_output_time,4,2                ; @output_time
	.no_dead_strip	_output_time_statistics
.subsections_via_symbols
