	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_definept                       ## -- Begin function definept
	.p2align	4, 0x90
_definept:                              ## @definept
	.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
	subq	$16, %rsp
	.cfi_offset %rbx, -32
	.cfi_offset %r14, -24
	movq	%rdi, %rbx
	movq	_Defpoint@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_code
	movq	%rax, %r14
	testq	%rbx, %rbx
	je	LBB0_2
## %bb.1:
	movl	8(%rbx), %eax
	movl	%eax, 8(%r14)
	movq	(%rbx), %rax
	jmp	LBB0_3
LBB0_2:
	movq	_src@GOTPCREL(%rip), %rax
	movl	8(%rax), %ecx
	movl	%ecx, 8(%r14)
	movq	(%rax), %rax
LBB0_3:
	movq	%rax, (%r14)
	movq	_npoints@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movl	%eax, 12(%r14)
	movq	_ncalled@GOTPCREL(%rip), %rbx
	movss	(%rbx), %xmm0                   ## xmm0 = mem[0],zero,zero,zero
	xorps	%xmm1, %xmm1
	ucomiss	%xmm1, %xmm0
	jbe	LBB0_6
## %bb.4:
	movl	8(%r14), %edi
	movl	(%r14), %edx
	movl	4(%r14), %esi
	callq	_findcount
	testl	%eax, %eax
	jle	LBB0_6
## %bb.5:
	xorps	%xmm0, %xmm0
	cvtsi2ss	%eax, %xmm0
	divss	(%rbx), %xmm0
	movq	_refinc@GOTPCREL(%rip), %rax
	movss	%xmm0, (%rax)
LBB0_6:
	movq	_glevel@GOTPCREL(%rip), %rax
	cmpl	$3, (%rax)
	jl	LBB0_8
## %bb.7:
	movq	_identifiers@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	%r14, %rsi
	callq	_locus
LBB0_8:
	movq	_events@GOTPCREL(%rip), %rbx
	cmpq	$0, (%rbx)
	je	LBB0_12
## %bb.9:
	movq	_Gen@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_reachable
	testq	%rax, %rax
	je	LBB0_12
## %bb.10:
	movq	$0, -24(%rbp)
	movq	(%rbx), %rdi
	leaq	-24(%rbp), %rdx
	movq	%r14, %rsi
	callq	_apply
	movq	-24(%rbp), %rdi
	testq	%rdi, %rdi
	je	LBB0_12
## %bb.11:
	xorl	%esi, %esi
	xorl	%edx, %edx
	callq	_listnodes
LBB0_12:
	addq	$16, %rsp
	popq	%rbx
	popq	%r14
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_Defpoint,4,2                   ## @Defpoint
	.comm	_src,12,2                       ## @src
	.comm	_npoints,4,2                    ## @npoints
	.comm	_ncalled,4,2                    ## @ncalled
	.comm	_refinc,4,2                     ## @refinc
	.comm	_glevel,4,2                     ## @glevel
	.comm	_identifiers,4,2                ## @identifiers
	.comm	_events,8,3                     ## @events
	.comm	_Gen,4,2                        ## @Gen
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_definept                       ; -- Begin function definept
	.p2align	2
_definept:                              ; @definept
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #48
	.cfi_def_cfa_offset 48
	stp	x20, x19, [sp, #16]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #32]             ; 16-byte Folded Spill
	add	x29, sp, #32
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	mov	x20, x0
Lloh0:
	adrp	x8, _Defpoint@GOTPAGE
Lloh1:
	ldr	x8, [x8, _Defpoint@GOTPAGEOFF]
Lloh2:
	ldr	w0, [x8]
	bl	_code
	mov	x19, x0
	cbz	x20, LBB0_2
; %bb.1:
	ldr	x8, [x20]
	ldr	w9, [x20, #8]
	str	w9, [x19, #8]
	str	x8, [x19]
	b	LBB0_3
LBB0_2:
Lloh3:
	adrp	x8, _src@GOTPAGE
Lloh4:
	ldr	x8, [x8, _src@GOTPAGEOFF]
	ldr	x9, [x8]
	ldr	w8, [x8, #8]
	str	w8, [x19, #8]
	str	x9, [x19]
LBB0_3:
Lloh5:
	adrp	x8, _npoints@GOTPAGE
Lloh6:
	ldr	x8, [x8, _npoints@GOTPAGEOFF]
Lloh7:
	ldr	w8, [x8]
	str	w8, [x19, #12]
Lloh8:
	adrp	x20, _ncalled@GOTPAGE
Lloh9:
	ldr	x20, [x20, _ncalled@GOTPAGEOFF]
	ldr	s0, [x20]
	fcmp	s0, #0.0
	b.le	LBB0_6
; %bb.4:
	ldp	w1, w0, [x19, #4]
	ldr	w2, [x19]
	bl	_findcount
	cmp	w0, #1
	b.lt	LBB0_6
; %bb.5:
	scvtf	s0, w0
	ldr	s1, [x20]
	fdiv	s0, s0, s1
Lloh10:
	adrp	x8, _refinc@GOTPAGE
Lloh11:
	ldr	x8, [x8, _refinc@GOTPAGEOFF]
Lloh12:
	str	s0, [x8]
LBB0_6:
Lloh13:
	adrp	x8, _glevel@GOTPAGE
Lloh14:
	ldr	x8, [x8, _glevel@GOTPAGEOFF]
Lloh15:
	ldr	w8, [x8]
	cmp	w8, #3
	b.lt	LBB0_8
; %bb.7:
Lloh16:
	adrp	x8, _identifiers@GOTPAGE
Lloh17:
	ldr	x8, [x8, _identifiers@GOTPAGEOFF]
Lloh18:
	ldr	w0, [x8]
	mov	x1, x19
	bl	_locus
LBB0_8:
Lloh19:
	adrp	x20, _events@GOTPAGE
Lloh20:
	ldr	x20, [x20, _events@GOTPAGEOFF]
	ldr	x8, [x20]
	cbz	x8, LBB0_12
; %bb.9:
Lloh21:
	adrp	x8, _Gen@GOTPAGE
Lloh22:
	ldr	x8, [x8, _Gen@GOTPAGEOFF]
Lloh23:
	ldr	w0, [x8]
	bl	_reachable
	cbz	x0, LBB0_12
; %bb.10:
	str	xzr, [sp, #8]
	ldr	x0, [x20]
	add	x2, sp, #8
	mov	x1, x19
	bl	_apply
	ldr	x0, [sp, #8]
	cbz	x0, LBB0_12
; %bb.11:
	mov	w1, #0
	mov	w2, #0
	bl	_listnodes
LBB0_12:
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #48
	ret
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh3, Lloh4
	.loh AdrpLdrGot	Lloh8, Lloh9
	.loh AdrpLdrGotLdr	Lloh5, Lloh6, Lloh7
	.loh AdrpLdrGotStr	Lloh10, Lloh11, Lloh12
	.loh AdrpLdrGotLdr	Lloh13, Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh16, Lloh17, Lloh18
	.loh AdrpLdrGot	Lloh19, Lloh20
	.loh AdrpLdrGotLdr	Lloh21, Lloh22, Lloh23
	.cfi_endproc
                                        ; -- End function
	.comm	_Defpoint,4,2                   ; @Defpoint
	.comm	_src,12,2                       ; @src
	.comm	_npoints,4,2                    ; @npoints
	.comm	_ncalled,4,2                    ; @ncalled
	.comm	_refinc,4,2                     ; @refinc
	.comm	_glevel,4,2                     ; @glevel
	.comm	_identifiers,4,2                ; @identifiers
	.comm	_events,8,3                     ; @events
	.comm	_Gen,4,2                        ; @Gen
.subsections_via_symbols
