	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_p32x_pwm_state_loaded          ## -- Begin function p32x_pwm_state_loaded
	.p2align	4, 0x90
_p32x_pwm_state_loaded:                 ## @p32x_pwm_state_loaded
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	xorl	%eax, %eax
	callq	_p32x_pwm_ctl_changed
	movq	_SekCycleCnt@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leal	(%rdi,%rdi,2), %eax
	movq	_Pico32x@GOTPCREL(%rip), %rcx
	movl	%eax, %edx
	subl	(%rcx), %edx
	movq	_pwm_cycles@GOTPCREL(%rip), %rsi
	cmpl	(%rsi), %edx
	jge	LBB0_3
## %bb.1:
	testl	%edx, %edx
	js	LBB0_3
## %bb.2:
	popq	%rbp
	retq
LBB0_3:
	movq	_pwm_irq_reload@GOTPCREL(%rip), %rdx
	movl	(%rdx), %edx
	movl	%edx, 4(%rcx)
	movl	%eax, (%rcx)
                                        ## kill: def $edi killed $edi killed $rdi
	popq	%rbp
	jmp	_p32x_pwm_schedule              ## TAILCALL
	.cfi_endproc
                                        ## -- End function
	.comm	_SekCycleCnt,4,2                ## @SekCycleCnt
	.comm	_Pico32x,8,2                    ## @Pico32x
	.comm	_pwm_cycles,4,2                 ## @pwm_cycles
	.comm	_pwm_irq_reload,4,2             ## @pwm_irq_reload
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_p32x_pwm_state_loaded          ; -- Begin function p32x_pwm_state_loaded
	.p2align	2
_p32x_pwm_state_loaded:                 ; @p32x_pwm_state_loaded
	.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
	bl	_p32x_pwm_ctl_changed
Lloh0:
	adrp	x8, _SekCycleCnt@GOTPAGE
Lloh1:
	ldr	x8, [x8, _SekCycleCnt@GOTPAGEOFF]
Lloh2:
	ldr	w0, [x8]
	add	w8, w0, w0, lsl #1
Lloh3:
	adrp	x9, _Pico32x@GOTPAGE
Lloh4:
	ldr	x9, [x9, _Pico32x@GOTPAGEOFF]
	ldr	w10, [x9]
Lloh5:
	adrp	x11, _pwm_cycles@GOTPAGE
Lloh6:
	ldr	x11, [x11, _pwm_cycles@GOTPAGEOFF]
Lloh7:
	ldr	w11, [x11]
	sub	w10, w8, w10
	cmp	w10, w11
	b.ge	LBB0_3
; %bb.1:
	tbnz	w10, #31, LBB0_3
; %bb.2:
	ldp	x29, x30, [sp], #16             ; 16-byte Folded Reload
	ret
LBB0_3:
Lloh8:
	adrp	x10, _pwm_irq_reload@GOTPAGE
Lloh9:
	ldr	x10, [x10, _pwm_irq_reload@GOTPAGEOFF]
Lloh10:
	ldr	w10, [x10]
	stp	w8, w10, [x9]
	ldp	x29, x30, [sp], #16             ; 16-byte Folded Reload
	b	_p32x_pwm_schedule
	.loh AdrpLdrGotLdr	Lloh5, Lloh6, Lloh7
	.loh AdrpLdrGot	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh8, Lloh9, Lloh10
	.cfi_endproc
                                        ; -- End function
	.comm	_SekCycleCnt,4,2                ; @SekCycleCnt
	.comm	_Pico32x,8,2                    ; @Pico32x
	.comm	_pwm_cycles,4,2                 ; @pwm_cycles
	.comm	_pwm_irq_reload,4,2             ; @pwm_irq_reload
.subsections_via_symbols
