	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function test_prng_lg_range_zu
_test_prng_lg_range_zu:                 ## @test_prng_lg_range_zu
	.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	%edi, %r13d
	movq	_ATOMIC_RELAXED@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	leaq	-48(%rbp), %rbx
	movq	%rbx, %rdi
	movl	$42, %esi
	callq	_atomic_store_zu
	movl	$1, %r15d
	movl	$1, %edi
	callq	_ZU
	movq	_LG_SIZEOF_PTR@GOTPCREL(%rip), %r14
	movb	(%r14), %cl
	addb	$3, %cl
	shll	%cl, %eax
	movq	%rbx, %rdi
	movl	%eax, %esi
	movl	%r13d, %edx
	callq	_prng_lg_range_zu
	movq	%rax, %r12
	movq	_ATOMIC_RELAXED@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	movq	%rbx, %rdi
	movl	$42, %esi
	callq	_atomic_store_zu
	movl	$1, %edi
	callq	_ZU
	movb	(%r14), %cl
	addb	$3, %cl
	shll	%cl, %eax
	movq	%rbx, %rdi
	movl	%eax, %esi
	movl	%r13d, %edx
	callq	_prng_lg_range_zu
	leaq	L_.str(%rip), %rdx
	movq	%r12, %rdi
	movq	%rax, %rsi
	xorl	%eax, %eax
	callq	_assert_zu_eq
	movq	_ATOMIC_RELAXED@GOTPCREL(%rip), %r14
	movl	(%r14), %edx
	leaq	-44(%rbp), %rbx
	movq	%rbx, %rdi
	movl	$42, %esi
	callq	_atomic_store_zu
	movl	$1, %edi
	callq	_ZU
	movq	_LG_SIZEOF_PTR@GOTPCREL(%rip), %rcx
	movb	(%rcx), %cl
	addb	$3, %cl
	shll	%cl, %eax
	movq	%rbx, %rdi
	movl	%eax, %esi
	movl	%r13d, %edx
	callq	_prng_lg_range_zu
	leaq	L_.str.1(%rip), %rdx
	movq	%r12, %rdi
	movq	%rax, %rsi
	xorl	%eax, %eax
	callq	_assert_zu_eq
	movl	(%r14), %edx
	leaq	-48(%rbp), %r14
	movq	%r14, %rdi
	movl	$42, %esi
	callq	_atomic_store_zu
	movl	$1, %edi
	callq	_ZU
	movq	_LG_SIZEOF_PTR@GOTPCREL(%rip), %r12
	movb	(%r12), %cl
	addb	$3, %cl
	shll	%cl, %eax
	movq	%r14, %rdi
	movl	%eax, %esi
	movl	%r13d, %edx
	callq	_prng_lg_range_zu
	movq	%rax, %rbx
	movl	$1, %edi
	callq	_ZU
	movb	(%r12), %cl
	addb	$3, %cl
	shll	%cl, %eax
	movq	%r14, %rdi
	movl	%eax, %esi
	movl	%r13d, %edx
	callq	_prng_lg_range_zu
	leaq	L_.str.2(%rip), %rdx
	movq	%rbx, %rdi
	movq	%rax, %rsi
	callq	_assert_zu_ne
	movq	_ATOMIC_RELAXED@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	movq	%r14, %rdi
	movl	$42, %esi
	callq	_atomic_store_zu
	movl	$1, %edi
	callq	_ZU
	movb	(%r12), %cl
	addb	$3, %cl
	shll	%cl, %eax
	movq	%r14, %rdi
	movl	%eax, %esi
	movl	%r13d, %edx
	callq	_prng_lg_range_zu
	movq	%rax, -56(%rbp)                 ## 8-byte Spill
	movl	$1, %edi
	callq	_ZU
	movb	(%r12), %cl
	addb	$3, %cl
	shll	%cl, %eax
	movl	%eax, %ebx
	decl	%ebx
	je	LBB0_3
## %bb.1:
	subl	%eax, %r15d
	leaq	-44(%rbp), %r12
	.p2align	4, 0x90
LBB0_2:                                 ## =>This Inner Loop Header: Depth=1
	movq	_ATOMIC_RELAXED@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	movq	%r12, %rdi
	movl	$42, %esi
	callq	_atomic_store_zu
	movq	%r12, %rdi
	movl	%ebx, %esi
	movl	%r13d, %edx
	callq	_prng_lg_range_zu
	movl	%r13d, %r14d
	movq	%rax, %r13
	movq	_SIZE_T_MAX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movl	%ebx, %ecx
	shll	%cl, %edi
	andl	%r13d, %edi
	xorl	%esi, %esi
	leaq	L_.str.3(%rip), %rdx
	movl	%ebx, %ecx
	xorl	%eax, %eax
	callq	_assert_zu_eq
	movl	$1, %edi
	callq	_ZU
                                        ## kill: def $eax killed $eax def $rax
	movq	_LG_SIZEOF_PTR@GOTPCREL(%rip), %rcx
	movzbl	(%rcx), %ecx
	addb	$3, %cl
	shll	%cl, %eax
	leal	(%rax,%r15), %ecx
	movq	-56(%rbp), %rsi                 ## 8-byte Reload
                                        ## kill: def $cl killed $cl killed $ecx
	shrq	%cl, %rsi
	movq	%r13, %rdi
	movl	%r14d, %r13d
	leaq	L_.str.4(%rip), %rdx
	movl	%ebx, %ecx
	xorl	%eax, %eax
	callq	_assert_zu_eq
	decl	%ebx
	incl	%r15d
	jne	LBB0_2
LBB0_3:
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_ATOMIC_RELAXED,4,2             ## @ATOMIC_RELAXED
	.comm	_LG_SIZEOF_PTR,4,2              ## @LG_SIZEOF_PTR
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"Repeated generation should produce repeated results"

L_.str.1:                               ## @.str.1
	.asciz	"Equivalent generation should produce equivalent results"

L_.str.2:                               ## @.str.2
	.asciz	"Full-width results must not immediately repeat"

	.comm	_SIZE_T_MAX,4,2                 ## @SIZE_T_MAX
L_.str.3:                               ## @.str.3
	.asciz	"High order bits should be 0, lg_range=%u"

L_.str.4:                               ## @.str.4
	.asciz	"Expected high order bits of full-width result, lg_range=%u"

	.no_dead_strip	_test_prng_lg_range_zu
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function test_prng_lg_range_zu
_test_prng_lg_range_zu:                 ; @test_prng_lg_range_zu
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #112
	.cfi_def_cfa_offset 112
	stp	x28, x27, [sp, #16]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #32]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #48]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #64]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #80]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #96]             ; 16-byte Folded Spill
	add	x29, sp, #96
	.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
	.cfi_offset w27, -88
	.cfi_offset w28, -96
	mov	x19, x0
Lloh0:
	adrp	x25, _ATOMIC_RELAXED@GOTPAGE
Lloh1:
	ldr	x25, [x25, _ATOMIC_RELAXED@GOTPAGEOFF]
	ldr	w2, [x25]
	add	x0, sp, #12
	mov	w1, #42
	bl	_atomic_store_zu
	mov	w22, #1
	mov	w0, #1
	bl	_ZU
Lloh2:
	adrp	x26, _LG_SIZEOF_PTR@GOTPAGE
Lloh3:
	ldr	x26, [x26, _LG_SIZEOF_PTR@GOTPAGEOFF]
	ldr	w8, [x26]
	add	w8, w8, #3
	lsl	w1, w0, w8
	add	x0, sp, #12
	mov	x2, x19
	bl	_prng_lg_range_zu
	mov	x20, x0
	ldr	w2, [x25]
	add	x0, sp, #12
	mov	w1, #42
	bl	_atomic_store_zu
	mov	w0, #1
	bl	_ZU
	ldr	w8, [x26]
	add	w8, w8, #3
	lsl	w1, w0, w8
	add	x0, sp, #12
	mov	x2, x19
	bl	_prng_lg_range_zu
	mov	x1, x0
Lloh4:
	adrp	x2, l_.str@PAGE
Lloh5:
	add	x2, x2, l_.str@PAGEOFF
	mov	x0, x20
	bl	_assert_zu_eq
	ldr	w2, [x25]
	add	x0, sp, #8
	mov	w1, #42
	bl	_atomic_store_zu
	mov	w0, #1
	bl	_ZU
	ldr	w8, [x26]
	add	w8, w8, #3
	lsl	w1, w0, w8
	add	x0, sp, #8
	mov	x2, x19
	bl	_prng_lg_range_zu
	mov	x1, x0
Lloh6:
	adrp	x2, l_.str.1@PAGE
Lloh7:
	add	x2, x2, l_.str.1@PAGEOFF
	mov	x0, x20
	bl	_assert_zu_eq
	ldr	w2, [x25]
	add	x0, sp, #12
	mov	w1, #42
	bl	_atomic_store_zu
	mov	w0, #1
	bl	_ZU
	ldr	w8, [x26]
	add	w8, w8, #3
	lsl	w1, w0, w8
	add	x0, sp, #12
	mov	x2, x19
	bl	_prng_lg_range_zu
	mov	x20, x0
	mov	w0, #1
	bl	_ZU
	ldr	w8, [x26]
	add	w8, w8, #3
	lsl	w1, w0, w8
	add	x0, sp, #12
	mov	x2, x19
	bl	_prng_lg_range_zu
	mov	x1, x0
Lloh8:
	adrp	x2, l_.str.2@PAGE
Lloh9:
	add	x2, x2, l_.str.2@PAGEOFF
	mov	x0, x20
	bl	_assert_zu_ne
	ldr	w2, [x25]
	add	x0, sp, #12
	mov	w1, #42
	bl	_atomic_store_zu
	mov	w0, #1
	bl	_ZU
	ldr	w8, [x26]
	add	w8, w8, #3
	lsl	w1, w0, w8
	add	x0, sp, #12
	mov	x2, x19
	bl	_prng_lg_range_zu
	mov	x20, x0
	mov	w0, #1
	bl	_ZU
	ldr	w8, [x26]
	add	w8, w8, #3
	lsl	w8, w0, w8
	subs	w21, w8, #1
	b.eq	LBB0_3
; %bb.1:
	sub	w27, w22, w8
Lloh10:
	adrp	x28, _SIZE_T_MAX@GOTPAGE
Lloh11:
	ldr	x28, [x28, _SIZE_T_MAX@GOTPAGEOFF]
Lloh12:
	adrp	x22, l_.str.3@PAGE
Lloh13:
	add	x22, x22, l_.str.3@PAGEOFF
Lloh14:
	adrp	x23, l_.str.4@PAGE
Lloh15:
	add	x23, x23, l_.str.4@PAGEOFF
LBB0_2:                                 ; =>This Inner Loop Header: Depth=1
	ldr	w2, [x25]
	add	x0, sp, #8
	mov	w1, #42
	bl	_atomic_store_zu
	add	x0, sp, #8
	mov	x1, x21
	mov	x2, x19
	bl	_prng_lg_range_zu
	mov	x24, x0
	ldr	w8, [x28]
	lsl	w8, w8, w21
	and	x0, x0, x8
	str	x21, [sp]
	mov	x1, #0
	mov	x2, x22
	bl	_assert_zu_eq
	mov	w0, #1
	bl	_ZU
	ldr	w8, [x26]
	add	w8, w8, #3
	lsl	w8, w0, w8
	add	w8, w27, w8
	lsr	x1, x20, x8
	str	x21, [sp]
	mov	x0, x24
	mov	x2, x23
	bl	_assert_zu_eq
	sub	w21, w21, #1
	adds	w27, w27, #1
	b.lo	LBB0_2
LBB0_3:
	ldp	x29, x30, [sp, #96]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #80]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #64]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #48]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #32]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #112
	ret
	.loh AdrpAdd	Lloh8, Lloh9
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpAdd	Lloh4, Lloh5
	.loh AdrpLdrGot	Lloh2, Lloh3
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpAdd	Lloh14, Lloh15
	.loh AdrpAdd	Lloh12, Lloh13
	.loh AdrpLdrGot	Lloh10, Lloh11
	.cfi_endproc
                                        ; -- End function
	.comm	_ATOMIC_RELAXED,4,2             ; @ATOMIC_RELAXED
	.comm	_LG_SIZEOF_PTR,4,2              ; @LG_SIZEOF_PTR
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"Repeated generation should produce repeated results"

l_.str.1:                               ; @.str.1
	.asciz	"Equivalent generation should produce equivalent results"

l_.str.2:                               ; @.str.2
	.asciz	"Full-width results must not immediately repeat"

	.comm	_SIZE_T_MAX,4,2                 ; @SIZE_T_MAX
l_.str.3:                               ; @.str.3
	.asciz	"High order bits should be 0, lg_range=%u"

l_.str.4:                               ; @.str.4
	.asciz	"Expected high order bits of full-width result, lg_range=%u"

	.no_dead_strip	_test_prng_lg_range_zu
.subsections_via_symbols
