	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function get_64bit_val
_get_64bit_val:                         ## @get_64bit_val
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	sarl	$3, %esi
	movslq	%esi, %rax
	movl	(%rdi,%rax,4), %eax
	movl	%eax, (%rdx)
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.no_dead_strip	_get_64bit_val
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function get_64bit_val
_get_64bit_val:                         ; @get_64bit_val
	.cfi_startproc
; %bb.0:
	asr	w8, w1, #3
	ldr	w8, [x0, w8, sxtw #2]
	str	w8, [x2]
	ret
	.cfi_endproc
                                        ; -- End function
	.no_dead_strip	_get_64bit_val
.subsections_via_symbols
