	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_get_hashtable_size             ## -- Begin function get_hashtable_size
	.p2align	4, 0x90
_get_hashtable_size:                    ## @get_hashtable_size
	.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
	.cfi_offset %rbx, -32
	.cfi_offset %r14, -24
	movl	%edi, %eax
	sarl	%eax
	addl	%edi, %eax
	movl	$-1, %ecx
	movl	$63, %edx
	leaq	_get_hashtable_size.p(%rip), %rbx
	jmp	LBB0_1
	.p2align	4, 0x90
LBB0_3:                                 ##   in Loop: Header=BB0_1 Depth=1
	movl	%esi, %ecx
LBB0_4:                                 ##   in Loop: Header=BB0_1 Depth=1
	movl	%edx, %esi
	subl	%ecx, %esi
	cmpl	$1, %esi
	jle	LBB0_5
LBB0_1:                                 ## =>This Inner Loop Header: Depth=1
	leal	(%rdx,%rcx), %esi
	sarl	%esi
	movslq	%esi, %rdi
	cmpl	%eax, (%rbx,%rdi,4)
	jle	LBB0_3
## %bb.2:                               ##   in Loop: Header=BB0_1 Depth=1
	movl	%esi, %edx
	jmp	LBB0_4
LBB0_5:
	movl	%ecx, %r14d
	shrl	$31, %r14d
	addl	%ecx, %r14d
	xorl	%edi, %edi
	cmpl	$62, %r14d
	setl	%dil
	callq	_assert
	movslq	%r14d, %rax
	movl	(%rbx,%rax,4), %eax
	popq	%rbx
	popq	%r14
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.section	__TEXT,__const
	.p2align	4                               ## @get_hashtable_size.p
_get_hashtable_size.p:
	.long	1103                            ## 0x44f
	.long	1217                            ## 0x4c1
	.long	1361                            ## 0x551
	.long	1499                            ## 0x5db
	.long	1657                            ## 0x679
	.long	1823                            ## 0x71f
	.long	2011                            ## 0x7db
	.long	2213                            ## 0x8a5
	.long	2437                            ## 0x985
	.long	2683                            ## 0xa7b
	.long	2953                            ## 0xb89
	.long	3251                            ## 0xcb3
	.long	3581                            ## 0xdfd
	.long	3943                            ## 0xf67
	.long	4339                            ## 0x10f3
	.long	4783                            ## 0x12af
	.long	5273                            ## 0x1499
	.long	5801                            ## 0x16a9
	.long	6389                            ## 0x18f5
	.long	7039                            ## 0x1b7f
	.long	7753                            ## 0x1e49
	.long	8537                            ## 0x2159
	.long	9391                            ## 0x24af
	.long	10331                           ## 0x285b
	.long	11369                           ## 0x2c69
	.long	12511                           ## 0x30df
	.long	13763                           ## 0x35c3
	.long	15149                           ## 0x3b2d
	.long	16673                           ## 0x4121
	.long	18341                           ## 0x47a5
	.long	20177                           ## 0x4ed1
	.long	22229                           ## 0x56d5
	.long	24469                           ## 0x5f95
	.long	26921                           ## 0x6929
	.long	29629                           ## 0x73bd
	.long	32603                           ## 0x7f5b
	.long	35869                           ## 0x8c1d
	.long	39461                           ## 0x9a25
	.long	43411                           ## 0xa993
	.long	47777                           ## 0xbaa1
	.long	52561                           ## 0xcd51
	.long	57829                           ## 0xe1e5
	.long	63617                           ## 0xf881
	.long	69991                           ## 0x11167
	.long	76991                           ## 0x12cbf
	.long	84691                           ## 0x14ad3
	.long	93169                           ## 0x16bf1
	.long	102497                          ## 0x19061
	.long	112757                          ## 0x1b875
	.long	124067                          ## 0x1e4a3
	.long	136481                          ## 0x21521
	.long	150131                          ## 0x24a73
	.long	165161                          ## 0x28529
	.long	181693                          ## 0x2c5bd
	.long	199873                          ## 0x30cc1
	.long	219871                          ## 0x35adf
	.long	241861                          ## 0x3b0c5
	.long	266051                          ## 0x40f43
	.long	292661                          ## 0x47735
	.long	321947                          ## 0x4e99b
	.long	354143                          ## 0x5675f
	.long	389561                          ## 0x5f1b9
	.long	428531                          ## 0x689f3

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_get_hashtable_size             ; -- Begin function get_hashtable_size
	.p2align	2
_get_hashtable_size:                    ; @get_hashtable_size
	.cfi_startproc
; %bb.0:
	stp	x20, x19, [sp, #-32]!           ; 16-byte Folded Spill
	.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
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	add	w9, w0, w0, asr #1
	mov	w8, #-1
	mov	w10, #63
Lloh0:
	adrp	x19, _get_hashtable_size.p@PAGE
Lloh1:
	add	x19, x19, _get_hashtable_size.p@PAGEOFF
LBB0_1:                                 ; =>This Inner Loop Header: Depth=1
	add	w11, w10, w8
	asr	w11, w11, #1
	ldr	w12, [x19, w11, sxtw #2]
	cmp	w12, w9
	csel	w8, w8, w11, gt
	csel	w10, w11, w10, gt
	sub	w11, w10, w8
	cmp	w11, #1
	b.gt	LBB0_1
; %bb.2:
	add	w20, w8, w8, lsr #31
	cmp	w20, #62
	cset	w0, lt
	bl	_assert
	ldr	w0, [x19, w20, sxtw #2]
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	ret
	.loh AdrpAdd	Lloh0, Lloh1
	.cfi_endproc
                                        ; -- End function
	.section	__TEXT,__const
	.p2align	2                               ; @get_hashtable_size.p
_get_hashtable_size.p:
	.long	1103                            ; 0x44f
	.long	1217                            ; 0x4c1
	.long	1361                            ; 0x551
	.long	1499                            ; 0x5db
	.long	1657                            ; 0x679
	.long	1823                            ; 0x71f
	.long	2011                            ; 0x7db
	.long	2213                            ; 0x8a5
	.long	2437                            ; 0x985
	.long	2683                            ; 0xa7b
	.long	2953                            ; 0xb89
	.long	3251                            ; 0xcb3
	.long	3581                            ; 0xdfd
	.long	3943                            ; 0xf67
	.long	4339                            ; 0x10f3
	.long	4783                            ; 0x12af
	.long	5273                            ; 0x1499
	.long	5801                            ; 0x16a9
	.long	6389                            ; 0x18f5
	.long	7039                            ; 0x1b7f
	.long	7753                            ; 0x1e49
	.long	8537                            ; 0x2159
	.long	9391                            ; 0x24af
	.long	10331                           ; 0x285b
	.long	11369                           ; 0x2c69
	.long	12511                           ; 0x30df
	.long	13763                           ; 0x35c3
	.long	15149                           ; 0x3b2d
	.long	16673                           ; 0x4121
	.long	18341                           ; 0x47a5
	.long	20177                           ; 0x4ed1
	.long	22229                           ; 0x56d5
	.long	24469                           ; 0x5f95
	.long	26921                           ; 0x6929
	.long	29629                           ; 0x73bd
	.long	32603                           ; 0x7f5b
	.long	35869                           ; 0x8c1d
	.long	39461                           ; 0x9a25
	.long	43411                           ; 0xa993
	.long	47777                           ; 0xbaa1
	.long	52561                           ; 0xcd51
	.long	57829                           ; 0xe1e5
	.long	63617                           ; 0xf881
	.long	69991                           ; 0x11167
	.long	76991                           ; 0x12cbf
	.long	84691                           ; 0x14ad3
	.long	93169                           ; 0x16bf1
	.long	102497                          ; 0x19061
	.long	112757                          ; 0x1b875
	.long	124067                          ; 0x1e4a3
	.long	136481                          ; 0x21521
	.long	150131                          ; 0x24a73
	.long	165161                          ; 0x28529
	.long	181693                          ; 0x2c5bd
	.long	199873                          ; 0x30cc1
	.long	219871                          ; 0x35adf
	.long	241861                          ; 0x3b0c5
	.long	266051                          ; 0x40f43
	.long	292661                          ; 0x47735
	.long	321947                          ; 0x4e99b
	.long	354143                          ; 0x5675f
	.long	389561                          ; 0x5f1b9
	.long	428531                          ; 0x689f3

.subsections_via_symbols
