	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function maxvalue_post_test
_maxvalue_post_test:                    ## @maxvalue_post_test
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	subq	$16, %rsp
	movq	_SEM_VALUE_MAX@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	leaq	-4(%rbp), %rdi
	callq	_ksem_init
	testq	%rax, %rax
	js	LBB0_1
## %bb.2:
	movl	-4(%rbp), %edi
	movq	_EOVERFLOW@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_ksem_post_should_fail
	movl	-4(%rbp), %edi
	callq	_ksem_destroy
	jmp	LBB0_3
LBB0_1:
	leaq	L_.str(%rip), %rdi
	callq	_fail_errno
LBB0_3:
	addq	$16, %rsp
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_SEM_VALUE_MAX,4,2              ## @SEM_VALUE_MAX
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"ksem_init"

	.comm	_EOVERFLOW,4,2                  ## @EOVERFLOW
	.no_dead_strip	_maxvalue_post_test
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function maxvalue_post_test
_maxvalue_post_test:                    ; @maxvalue_post_test
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #32
	.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
Lloh0:
	adrp	x8, _SEM_VALUE_MAX@GOTPAGE
Lloh1:
	ldr	x8, [x8, _SEM_VALUE_MAX@GOTPAGEOFF]
Lloh2:
	ldr	w1, [x8]
	sub	x0, x29, #4
	bl	_ksem_init
	tbnz	x0, #63, LBB0_2
; %bb.1:
	ldur	w0, [x29, #-4]
Lloh3:
	adrp	x8, _EOVERFLOW@GOTPAGE
Lloh4:
	ldr	x8, [x8, _EOVERFLOW@GOTPAGEOFF]
Lloh5:
	ldr	w1, [x8]
	bl	_ksem_post_should_fail
	ldur	w0, [x29, #-4]
	bl	_ksem_destroy
	b	LBB0_3
LBB0_2:
Lloh6:
	adrp	x0, l_.str@PAGE
Lloh7:
	add	x0, x0, l_.str@PAGEOFF
	bl	_fail_errno
LBB0_3:
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #32
	ret
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpAdd	Lloh6, Lloh7
	.cfi_endproc
                                        ; -- End function
	.comm	_SEM_VALUE_MAX,4,2              ; @SEM_VALUE_MAX
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"ksem_init"

	.comm	_EOVERFLOW,4,2                  ; @EOVERFLOW
	.no_dead_strip	_maxvalue_post_test
.subsections_via_symbols
