	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function int32RandomPInf
_int32RandomPInf:                       ## @int32RandomPInf
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%rbx
	pushq	%rax
	.cfi_offset %rbx, -24
	xorl	%eax, %eax
	callq	_randomUint8
	movq	_int32NumPInfWeightMasks@GOTPCREL(%rip), %rcx
	movq	(%rcx), %rcx
	movq	%rax, %rdx
	orq	%rcx, %rdx
	shrq	$32, %rdx
	je	LBB0_1
## %bb.2:
	xorl	%edx, %edx
	divq	%rcx
	movq	%rdx, %rbx
	jmp	LBB0_3
LBB0_1:
                                        ## kill: def $eax killed $eax killed $rax
	xorl	%edx, %edx
	divl	%ecx
	movl	%edx, %ebx
LBB0_3:
	xorl	%eax, %eax
	callq	_randomUint32
	movq	_int32PInfWeightMasks@GOTPCREL(%rip), %rcx
	movq	(%rcx), %rcx
	andl	(%rcx,%rbx,4), %eax
	movq	_int32PInfWeightOffsets@GOTPCREL(%rip), %rcx
	movq	(%rcx), %rcx
	addl	(%rcx,%rbx,8), %eax
	addq	$8, %rsp
	popq	%rbx
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_int32NumPInfWeightMasks,8,3    ## @int32NumPInfWeightMasks
	.comm	_int32PInfWeightMasks,8,3       ## @int32PInfWeightMasks
	.comm	_int32PInfWeightOffsets,8,3     ## @int32PInfWeightOffsets
	.no_dead_strip	_int32RandomPInf
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function int32RandomPInf
_int32RandomPInf:                       ; @int32RandomPInf
	.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
	bl	_randomUint8
Lloh0:
	adrp	x8, _int32NumPInfWeightMasks@GOTPAGE
Lloh1:
	ldr	x8, [x8, _int32NumPInfWeightMasks@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	udiv	x9, x0, x8
	msub	x19, x9, x8, x0
	bl	_randomUint32
Lloh3:
	adrp	x8, _int32PInfWeightMasks@GOTPAGE
Lloh4:
	ldr	x8, [x8, _int32PInfWeightMasks@GOTPAGEOFF]
Lloh5:
	ldr	x8, [x8]
	ldr	w8, [x8, x19, lsl #2]
Lloh6:
	adrp	x9, _int32PInfWeightOffsets@GOTPAGE
Lloh7:
	ldr	x9, [x9, _int32PInfWeightOffsets@GOTPAGEOFF]
	and	w8, w8, w0
Lloh8:
	ldr	x9, [x9]
	ldr	x9, [x9, x19, lsl #3]
	add	w0, w8, w9
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	ret
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.cfi_endproc
                                        ; -- End function
	.comm	_int32NumPInfWeightMasks,8,3    ; @int32NumPInfWeightMasks
	.comm	_int32PInfWeightMasks,8,3       ; @int32PInfWeightMasks
	.comm	_int32PInfWeightOffsets,8,3     ; @int32PInfWeightOffsets
	.no_dead_strip	_int32RandomPInf
.subsections_via_symbols
