	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function verify_object
_verify_object:                         ## @verify_object
	.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
	subq	$24, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	%esi, %r15d
	movq	%rdi, %rbx
	xorl	%eax, %eax
	callq	_getpagesize
	movl	%eax, %r14d
	xorl	%edi, %edi
	testl	%eax, %eax
	setg	%dil
	callq	_ATF_REQUIRE
	movq	_O_RDONLY@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movq	%rbx, %rdi
	movl	$511, %edx                      ## imm = 0x1FF
	callq	_shm_open
	movl	%eax, %r12d
	testl	%eax, %eax
	jns	LBB0_2
## %bb.1:
	movq	_errno@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	leaq	L_.str(%rip), %rdi
	movq	%rbx, %rdx
	xorl	%eax, %eax
	callq	_atf_tc_fail
LBB0_2:
	movq	_PROT_READ@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	movq	_MAP_SHARED@GOTPCREL(%rip), %rax
	movl	(%rax), %ecx
	xorl	%edi, %edi
	movl	%r14d, %esi
	movl	%r12d, %r8d
	xorl	%r9d, %r9d
	callq	_mmap
	movq	%rax, %r13
	movq	_MAP_FAILED@GOTPCREL(%rip), %rax
	cmpq	(%rax), %r13
	jne	LBB0_4
## %bb.3:
	leaq	L_.str.1(%rip), %rdi
	xorl	%eax, %eax
	callq	_atf_tc_fail
LBB0_4:
	movsbl	(%r13), %ebx
	cmpb	%r15b, %bl
	je	LBB0_8
## %bb.5:
	movl	%r14d, -48(%rbp)                ## 4-byte Spill
	movsbl	%r15b, %r15d
	movl	%ebx, %edi
	callq	_isprint
	movl	$32, %r14d
	movl	$32, %ecx
	testq	%rax, %rax
	je	LBB0_7
## %bb.6:
	movsbl	(%r13), %ecx
LBB0_7:
	movl	%ecx, -44(%rbp)                 ## 4-byte Spill
	movl	%r15d, %edi
	callq	_isprint
	testq	%rax, %rax
	cmovnel	%r15d, %r14d
	movl	%r14d, (%rsp)
	leaq	L_.str.2(%rip), %rdi
	movl	%ebx, %esi
	movl	%ebx, %edx
	movl	-44(%rbp), %ecx                 ## 4-byte Reload
	movl	%r15d, %r8d
	movl	%r15d, %r9d
	xorl	%eax, %eax
	callq	_atf_tc_fail
	movl	-48(%rbp), %r14d                ## 4-byte Reload
LBB0_8:
	movq	%r13, %rdi
	movl	%r14d, %esi
	callq	_munmap
	xorl	%edi, %edi
	testq	%rax, %rax
	sete	%dil
	movq	_errno@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	leaq	L_.str.3(%rip), %rsi
	callq	_ATF_REQUIRE_MSG
	movl	%r12d, %edi
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_close                          ## TAILCALL
	.cfi_endproc
                                        ## -- End function
	.comm	_O_RDONLY,4,2                   ## @O_RDONLY
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"shm_open failed in verify_object; errno=%d, path=%s"

	.comm	_errno,4,2                      ## @errno
	.comm	_PROT_READ,4,2                  ## @PROT_READ
	.comm	_MAP_SHARED,4,2                 ## @MAP_SHARED
	.comm	_MAP_FAILED,8,3                 ## @MAP_FAILED
L_.str.1:                               ## @.str.1
	.asciz	"mmap(1)"

L_.str.2:                               ## @.str.2
	.asciz	"Renamed object has incorrect value; has%d (0x%x, '%c'), expected %d (0x%x, '%c')\n"

L_.str.3:                               ## @.str.3
	.asciz	"munmap failed; errno=%d"

	.no_dead_strip	_verify_object
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function verify_object
_verify_object:                         ; @verify_object
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #128
	.cfi_def_cfa_offset 128
	stp	x26, x25, [sp, #48]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #64]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #80]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #96]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #112]            ; 16-byte Folded Spill
	add	x29, sp, #112
	.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
	.cfi_offset w25, -72
	.cfi_offset w26, -80
	mov	x21, x1
	mov	x22, x0
	bl	_getpagesize
	mov	x19, x0
	cmp	w0, #0
	cset	w0, gt
	bl	_ATF_REQUIRE
Lloh0:
	adrp	x8, _O_RDONLY@GOTPAGE
Lloh1:
	ldr	x8, [x8, _O_RDONLY@GOTPAGEOFF]
Lloh2:
	ldr	w1, [x8]
	mov	x0, x22
	mov	w2, #511
	bl	_shm_open
	mov	x20, x0
Lloh3:
	adrp	x24, _errno@GOTPAGE
Lloh4:
	ldr	x24, [x24, _errno@GOTPAGEOFF]
	tbz	w0, #31, LBB0_2
; %bb.1:
	ldr	w8, [x24]
	stp	x8, x22, [sp]
Lloh5:
	adrp	x0, l_.str@PAGE
Lloh6:
	add	x0, x0, l_.str@PAGEOFF
	bl	_atf_tc_fail
LBB0_2:
Lloh7:
	adrp	x8, _PROT_READ@GOTPAGE
Lloh8:
	ldr	x8, [x8, _PROT_READ@GOTPAGEOFF]
Lloh9:
	ldr	w2, [x8]
Lloh10:
	adrp	x8, _MAP_SHARED@GOTPAGE
Lloh11:
	ldr	x8, [x8, _MAP_SHARED@GOTPAGEOFF]
Lloh12:
	ldr	w3, [x8]
	mov	w0, #0
	mov	x1, x19
	mov	x4, x20
	mov	w5, #0
	bl	_mmap
	mov	x22, x0
Lloh13:
	adrp	x8, _MAP_FAILED@GOTPAGE
Lloh14:
	ldr	x8, [x8, _MAP_FAILED@GOTPAGEOFF]
Lloh15:
	ldr	x8, [x8]
	cmp	x0, x8
	b.ne	LBB0_4
; %bb.3:
Lloh16:
	adrp	x0, l_.str.1@PAGE
Lloh17:
	add	x0, x0, l_.str.1@PAGEOFF
	bl	_atf_tc_fail
LBB0_4:
	ldrb	w8, [x22]
	cmp	w8, w21, uxtb
	b.eq	LBB0_9
; %bb.5:
	sxtb	w23, w8
	mov	x0, x23
	bl	_isprint
	mov	w26, #32
	cbz	x0, LBB0_7
; %bb.6:
	ldrsb	w25, [x22]
	b	LBB0_8
LBB0_7:
	mov	w25, #32
LBB0_8:
	mov	x0, x21
	bl	_isprint
	cmp	x0, #0
	csel	w8, w26, w21, eq
	stp	x25, x21, [sp, #16]
	stp	x23, x23, [sp]
	stp	x21, x8, [sp, #32]
Lloh18:
	adrp	x0, l_.str.2@PAGE
Lloh19:
	add	x0, x0, l_.str.2@PAGEOFF
	bl	_atf_tc_fail
LBB0_9:
	mov	x0, x22
	mov	x1, x19
	bl	_munmap
	cmp	x0, #0
	cset	w0, eq
	ldr	w2, [x24]
Lloh20:
	adrp	x1, l_.str.3@PAGE
Lloh21:
	add	x1, x1, l_.str.3@PAGEOFF
	bl	_ATF_REQUIRE_MSG
	mov	x0, x20
	ldp	x29, x30, [sp, #112]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #96]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #80]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #64]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #48]             ; 16-byte Folded Reload
	add	sp, sp, #128
	b	_close
	.loh AdrpLdrGot	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpAdd	Lloh5, Lloh6
	.loh AdrpLdrGotLdr	Lloh13, Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh10, Lloh11, Lloh12
	.loh AdrpLdrGotLdr	Lloh7, Lloh8, Lloh9
	.loh AdrpAdd	Lloh16, Lloh17
	.loh AdrpAdd	Lloh18, Lloh19
	.loh AdrpAdd	Lloh20, Lloh21
	.cfi_endproc
                                        ; -- End function
	.comm	_O_RDONLY,4,2                   ; @O_RDONLY
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"shm_open failed in verify_object; errno=%d, path=%s"

	.comm	_errno,4,2                      ; @errno
	.comm	_PROT_READ,4,2                  ; @PROT_READ
	.comm	_MAP_SHARED,4,2                 ; @MAP_SHARED
	.comm	_MAP_FAILED,8,3                 ; @MAP_FAILED
l_.str.1:                               ; @.str.1
	.asciz	"mmap(1)"

l_.str.2:                               ; @.str.2
	.asciz	"Renamed object has incorrect value; has%d (0x%x, '%c'), expected %d (0x%x, '%c')\n"

l_.str.3:                               ; @.str.3
	.asciz	"munmap failed; errno=%d"

	.no_dead_strip	_verify_object
.subsections_via_symbols
