	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_validation_muldiv              ## -- Begin function validation_muldiv
	.p2align	4, 0x90
_validation_muldiv:                     ## @validation_muldiv
	.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	$72, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	cmpl	$2, %esi
	jl	LBB0_2
## %bb.1:
	movq	_stderr@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	8(%rdx), %rdx
	leaq	L_.str(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
	movl	$1, %ebx
	jmp	LBB0_34
LBB0_2:
	movl	%edi, %r14d
	movq	_RAND_MAX@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movl	$0, %r12d
	testl	%eax, %eax
	je	LBB0_5
## %bb.3:
	xorl	%r12d, %r12d
	movl	%eax, %ecx
	.p2align	4, 0x90
LBB0_4:                                 ## =>This Inner Loop Header: Depth=1
	incl	%r12d
	sarl	%ecx
	cmpl	$1, %eax
	movl	%ecx, %eax
	ja	LBB0_4
LBB0_5:
	leaq	L_.str.1(%rip), %rdi
	movl	%r12d, %esi
	xorl	%eax, %eax
	callq	_printf
	xorl	%ebx, %ebx
	xorl	%eax, %eax
	.p2align	4, 0x90
LBB0_6:                                 ## =>This Inner Loop Header: Depth=1
	movl	%eax, %r15d
	movl	%r12d, %ecx
	shll	%cl, %r15d
	xorl	%eax, %eax
	callq	_rand
	xorl	%r15d, %eax
	addl	%r12d, %ebx
	cmpl	$32, %ebx
	jb	LBB0_6
## %bb.7:
	cmpl	$2, %r14d
	movl	$1, %ecx
	cmovgel	%r14d, %ecx
	movl	%ecx, -80(%rbp)                 ## 4-byte Spill
	movl	%ecx, %ebx
	movl	$0, -56(%rbp)                   ## 4-byte Folded Spill
	movl	$0, -72(%rbp)                   ## 4-byte Folded Spill
	movl	$0, -68(%rbp)                   ## 4-byte Folded Spill
	xorl	%r13d, %r13d
	xorl	%r15d, %r15d
	xorl	%r14d, %r14d
	movl	%r12d, -48(%rbp)                ## 4-byte Spill
	xorl	%r12d, %r12d
	jmp	LBB0_8
	.p2align	4, 0x90
LBB0_31:                                ##   in Loop: Header=BB0_8 Depth=1
	incl	-68(%rbp)                       ## 4-byte Folded Spill
LBB0_32:                                ##   in Loop: Header=BB0_8 Depth=1
	movl	-48(%rbp), %ecx                 ## 4-byte Reload
	movl	-52(%rbp), %r12d                ## 4-byte Reload
	movl	-44(%rbp), %eax                 ## 4-byte Reload
	addl	%eax, %r12d
	addl	%r15d, %r13d
	addl	%r14d, %r15d
	movl	-84(%rbp), %r14d                ## 4-byte Reload
	movl	%r14d, %ebx
                                        ## kill: def $cl killed $cl killed $ecx
	shll	%cl, %ebx
	xorl	%eax, %eax
	callq	_rand
	xorl	%ebx, %eax
	movl	-88(%rbp), %ebx                 ## 4-byte Reload
	decl	%ebx
	je	LBB0_33
LBB0_8:                                 ## =>This Inner Loop Header: Depth=1
	movl	%r13d, %edi
	negl	%edi
	cmovsl	%r13d, %edi
                                        ## kill: def $r14d killed $r14d def $r14
	movl	%eax, -84(%rbp)                 ## 4-byte Spill
	movl	%r15d, %esi
	negl	%esi
	cmovsl	%r15d, %esi
	leaq	-64(%rbp), %rdx
	leaq	-96(%rbp), %rcx
	callq	_png_64bit_product
	movl	%r15d, %eax
	xorl	%r13d, %eax
	movq	-96(%rbp), %r9
	movl	%ebx, -88(%rbp)                 ## 4-byte Spill
	jns	LBB0_11
## %bb.9:                               ##   in Loop: Header=BB0_8 Depth=1
	negl	%r9d
	movq	%r9, -96(%rbp)
	movq	-64(%rbp), %rax
	movq	%rax, %rcx
	notq	%rcx
	movq	%rcx, -64(%rbp)
	jne	LBB0_11
## %bb.10:                              ##   in Loop: Header=BB0_8 Depth=1
	negq	%rax
	movq	%rax, -64(%rbp)
	xorl	%r9d, %r9d
	.p2align	4, 0x90
LBB0_11:                                ##   in Loop: Header=BB0_8 Depth=1
	movslq	%r13d, %rax
	movslq	%r15d, %rbx
	imulq	%rax, %rbx
	movl	%ebx, %eax
	cmpq	%r9, %rax
	jne	LBB0_12
## %bb.13:                              ##   in Loop: Header=BB0_8 Depth=1
	movq	%rbx, %rax
	shrq	$32, %rax
	movq	-64(%rbp), %r8
	cmpq	%r8, %rax
	jne	LBB0_14
	jmp	LBB0_15
	.p2align	4, 0x90
LBB0_12:                                ##   in Loop: Header=BB0_8 Depth=1
	movq	-64(%rbp), %r8
LBB0_14:                                ##   in Loop: Header=BB0_8 Depth=1
	movq	_stderr@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	%rbx, (%rsp)
	leaq	L_.str.2(%rip), %rsi
	movl	%r13d, %edx
	movl	%r15d, %ecx
	xorl	%eax, %eax
	callq	_fprintf
	incl	-72(%rbp)                       ## 4-byte Folded Spill
LBB0_15:                                ##   in Loop: Header=BB0_8 Depth=1
	testl	%r14d, %r14d
	movl	%r12d, -52(%rbp)                ## 4-byte Spill
	je	LBB0_16
## %bb.17:                              ##   in Loop: Header=BB0_8 Depth=1
	movq	%rbx, %rcx
	shrq	$63, %rcx
	movl	%r14d, %edx
	shrl	$31, %edx
	leal	(%r14,%rdx), %eax
	sarl	%eax
	movslq	%eax, %rsi
	movq	%rsi, %rax
	negq	%rax
	cmpl	%ecx, %edx
	cmoveq	%rsi, %rax
	addq	%rbx, %rax
	movslq	%r14d, %rcx
	movq	%rax, %rdx
	orq	%rcx, %rdx
	shrq	$32, %rdx
	je	LBB0_18
## %bb.19:                              ##   in Loop: Header=BB0_8 Depth=1
	cqto
	idivq	%rcx
	movq	%rax, %rbx
	jmp	LBB0_20
	.p2align	4, 0x90
LBB0_16:                                ##   in Loop: Header=BB0_8 Depth=1
	movl	$1, -44(%rbp)                   ## 4-byte Folded Spill
	xorl	%eax, %eax
	jmp	LBB0_21
	.p2align	4, 0x90
LBB0_18:                                ##   in Loop: Header=BB0_8 Depth=1
                                        ## kill: def $eax killed $eax killed $rax
	xorl	%edx, %edx
	divl	%r14d
	movl	%eax, %ebx
LBB0_20:                                ##   in Loop: Header=BB0_8 Depth=1
	movq	_PNG_UINT_31_MAX@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	cmpq	%rax, %rbx
	setle	%cl
	notq	%rax
	cmpq	%rax, %rbx
	setge	%al
	andb	%cl, %al
	movl	%eax, %ecx
	xorb	$1, %cl
	movzbl	%cl, %ecx
	movl	%ecx, -44(%rbp)                 ## 4-byte Spill
LBB0_21:                                ##   in Loop: Header=BB0_8 Depth=1
	movzbl	%al, %r12d
	movq	_verbose@GOTPCREL(%rip), %rax
	cmpq	$0, (%rax)
	je	LBB0_23
## %bb.22:                              ##   in Loop: Header=BB0_8 Depth=1
	movq	_stderr@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	testl	%r12d, %r12d
	leaq	L_.str.5(%rip), %rax
	leaq	L_.str.4(%rip), %rcx
	cmovneq	%rcx, %rax
	movq	%rax, (%rsp)
	leaq	L_.str.3(%rip), %rsi
	movl	%r13d, %edx
	movl	%r15d, %ecx
	movl	%r14d, %r8d
	movq	%rbx, %r9
	xorl	%eax, %eax
	callq	_fprintf
LBB0_23:                                ##   in Loop: Header=BB0_8 Depth=1
	leaq	-76(%rbp), %rdi
	movl	%r13d, %esi
	movl	%r15d, %edx
	movl	%r14d, %ecx
	callq	_png_muldiv
	cmpl	%r12d, %eax
	jne	LBB0_24
## %bb.28:                              ##   in Loop: Header=BB0_8 Depth=1
	testl	%r12d, %r12d
	je	LBB0_31
## %bb.29:                              ##   in Loop: Header=BB0_8 Depth=1
	movslq	-76(%rbp), %r9
	cmpq	%r9, %rbx
	je	LBB0_31
## %bb.30:                              ##   in Loop: Header=BB0_8 Depth=1
	incl	-56(%rbp)                       ## 4-byte Folded Spill
	movq	_stderr@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	%rbx, (%rsp)
	leaq	L_.str.8(%rip), %rsi
	movl	%r13d, %edx
	movl	%r15d, %ecx
	movl	%r14d, %r8d
                                        ## kill: def $r9d killed $r9d killed $r9
	jmp	LBB0_27
	.p2align	4, 0x90
LBB0_24:                                ##   in Loop: Header=BB0_8 Depth=1
	incl	-56(%rbp)                       ## 4-byte Folded Spill
	movq	_stderr@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	testl	%r12d, %r12d
	je	LBB0_26
## %bb.25:                              ##   in Loop: Header=BB0_8 Depth=1
	leaq	L_.str.6(%rip), %rsi
	movl	%r13d, %edx
	movl	%r15d, %ecx
	movl	%r14d, %r8d
	movq	%rbx, %r9
	xorl	%eax, %eax
	callq	_fprintf
	jmp	LBB0_32
	.p2align	4, 0x90
LBB0_26:                                ##   in Loop: Header=BB0_8 Depth=1
	movl	-76(%rbp), %r9d
	movq	%rbx, (%rsp)
	leaq	L_.str.7(%rip), %rsi
	movl	%r13d, %edx
	movl	%r15d, %ecx
	movl	%r14d, %r8d
LBB0_27:                                ##   in Loop: Header=BB0_8 Depth=1
	xorl	%eax, %eax
	callq	_fprintf
	jmp	LBB0_32
LBB0_33:
	leaq	L_.str.9(%rip), %rdi
	xorl	%ebx, %ebx
	movl	-80(%rbp), %esi                 ## 4-byte Reload
	movl	%r12d, %edx
	movl	-68(%rbp), %ecx                 ## 4-byte Reload
	movl	-56(%rbp), %r8d                 ## 4-byte Reload
	movl	-72(%rbp), %r9d                 ## 4-byte Reload
	xorl	%eax, %eax
	callq	_printf
LBB0_34:
	movl	%ebx, %eax
	addq	$72, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_stderr,4,2                     ## @stderr
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"unknown argument %s\n"

	.comm	_RAND_MAX,4,2                   ## @RAND_MAX
L_.str.1:                               ## @.str.1
	.asciz	"Using random number generator that makes %d bits\n"

L_.str.2:                               ## @.str.2
	.asciz	"png_64bit_product %d * %d -> %lx|%.8lx not %llx\n"

	.comm	_PNG_UINT_31_MAX,8,3            ## @PNG_UINT_31_MAX
	.comm	_verbose,8,3                    ## @verbose
L_.str.3:                               ## @.str.3
	.asciz	"TEST %d * %d / %d -> %lld (%s)\n"

L_.str.4:                               ## @.str.4
	.asciz	"ok"

L_.str.5:                               ## @.str.5
	.asciz	"overflow"

L_.str.6:                               ## @.str.6
	.asciz	"%d * %d / %d -> overflow (expected %lld)\n"

L_.str.7:                               ## @.str.7
	.asciz	"%d * %d / %d -> %d (expected overflow %lld)\n"

L_.str.8:                               ## @.str.8
	.asciz	"%d * %d / %d -> %d not %lld\n"

L_.str.9:                               ## @.str.9
	.asciz	"%d tests including %d overflows, %d passed, %d failed (%d 64-bit errors)\n"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_validation_muldiv              ; -- Begin function validation_muldiv
	.p2align	2
_validation_muldiv:                     ; @validation_muldiv
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #192
	.cfi_def_cfa_offset 192
	stp	x28, x27, [sp, #96]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #112]            ; 16-byte Folded Spill
	stp	x24, x23, [sp, #128]            ; 16-byte Folded Spill
	stp	x22, x21, [sp, #144]            ; 16-byte Folded Spill
	stp	x20, x19, [sp, #160]            ; 16-byte Folded Spill
	stp	x29, x30, [sp, #176]            ; 16-byte Folded Spill
	add	x29, sp, #176
	.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
	cmp	w1, #2
	b.lt	LBB0_2
; %bb.1:
Lloh0:
	adrp	x8, _stderr@GOTPAGE
Lloh1:
	ldr	x8, [x8, _stderr@GOTPAGEOFF]
Lloh2:
	ldr	w0, [x8]
	ldr	x8, [x2, #8]
	str	x8, [sp]
Lloh3:
	adrp	x1, l_.str@PAGE
Lloh4:
	add	x1, x1, l_.str@PAGEOFF
	bl	_fprintf
	mov	w0, #1
	b	LBB0_31
LBB0_2:
	mov	x28, x0
Lloh5:
	adrp	x8, _RAND_MAX@GOTPAGE
Lloh6:
	ldr	x8, [x8, _RAND_MAX@GOTPAGEOFF]
Lloh7:
	ldr	w8, [x8]
	cbz	w8, LBB0_5
; %bb.3:
	mov	w19, #0
LBB0_4:                                 ; =>This Inner Loop Header: Depth=1
	add	w19, w19, #1
	asr	w9, w8, #1
	cmp	w8, #1
	mov	x8, x9
	b.hi	LBB0_4
	b	LBB0_6
LBB0_5:
	mov	w19, #0
LBB0_6:
Lloh8:
	adrp	x0, l_.str.1@PAGE
Lloh9:
	add	x0, x0, l_.str.1@PAGEOFF
	mov	x1, x19
	bl	_printf
	mov	w20, #0
	mov	w8, #0
LBB0_7:                                 ; =>This Inner Loop Header: Depth=1
	lsl	w21, w8, w19
	bl	_rand
	eor	w8, w0, w21
	add	w20, w20, w19
	cmp	w20, #32
	b.lo	LBB0_7
; %bb.8:
	mov	w23, #0
	stp	xzr, xzr, [sp, #56]             ; 16-byte Folded Spill
	str	xzr, [sp, #48]                  ; 8-byte Folded Spill
	mov	w20, #0
	mov	w21, #0
	mov	w22, #0
	cmp	w28, #1
	csinc	w24, w28, wzr, gt
	str	w24, [sp, #44]                  ; 4-byte Folded Spill
	b	LBB0_11
LBB0_9:                                 ;   in Loop: Header=BB0_11 Depth=1
	ldr	x8, [sp, #48]                   ; 8-byte Folded Reload
	add	w8, w8, #1
	str	x8, [sp, #48]                   ; 8-byte Folded Spill
LBB0_10:                                ;   in Loop: Header=BB0_11 Depth=1
	add	w23, w23, w25
	add	w20, w21, w20
	add	w21, w28, w21
	lsl	w25, w22, w19
	bl	_rand
	eor	w8, w0, w25
	subs	w24, w24, #1
	b.eq	LBB0_30
LBB0_11:                                ; =>This Inner Loop Header: Depth=1
	mov	x28, x22
	mov	x22, x8
	cmp	w20, #0
	cneg	w0, w20, mi
	cmp	w21, #0
	cneg	w1, w21, mi
	eor	w25, w21, w20
	add	x2, sp, #80
	add	x3, sp, #72
	bl	_png_64bit_product
	ldr	x8, [sp, #72]
	tbz	w25, #31, LBB0_14
; %bb.12:                               ;   in Loop: Header=BB0_11 Depth=1
	ldr	x9, [sp, #80]
	mvn	x10, x9
	negs	w8, w8
	stp	x8, x10, [sp, #72]
	b.ne	LBB0_14
; %bb.13:                               ;   in Loop: Header=BB0_11 Depth=1
	mov	x8, #0
	neg	x9, x9
	str	x9, [sp, #80]
LBB0_14:                                ;   in Loop: Header=BB0_11 Depth=1
	smull	x27, w21, w20
	cmp	x8, w27, uxtw
	b.ne	LBB0_18
; %bb.15:                               ;   in Loop: Header=BB0_11 Depth=1
	ldr	x9, [sp, #80]
	cmp	x9, x27, lsr #32
	b.ne	LBB0_19
; %bb.16:                               ;   in Loop: Header=BB0_11 Depth=1
	cbz	w28, LBB0_20
LBB0_17:                                ;   in Loop: Header=BB0_11 Depth=1
	lsr	x8, x27, #63
	cmp	w28, #0
	cinc	w9, w28, lt
	sbfx	x9, x9, #1, #31
	cmp	w8, w28, lsr #31
	cneg	x8, x9, ne
	add	x8, x27, x8
	sxtw	x9, w28
	sdiv	x27, x8, x9
Lloh10:
	adrp	x8, _PNG_UINT_31_MAX@GOTPAGE
Lloh11:
	ldr	x8, [x8, _PNG_UINT_31_MAX@GOTPAGEOFF]
Lloh12:
	ldr	x8, [x8]
	cmp	x27, x8
	mvn	x8, x8
	ccmp	x27, x8, #8, le
	cset	w26, ge
	eor	w25, w26, #0x1
	b	LBB0_21
LBB0_18:                                ;   in Loop: Header=BB0_11 Depth=1
	ldr	x9, [sp, #80]
LBB0_19:                                ;   in Loop: Header=BB0_11 Depth=1
Lloh13:
	adrp	x10, _stderr@GOTPAGE
Lloh14:
	ldr	x10, [x10, _stderr@GOTPAGEOFF]
Lloh15:
	ldr	w0, [x10]
	stp	x8, x27, [sp, #24]
	stp	x21, x9, [sp, #8]
	str	x20, [sp]
Lloh16:
	adrp	x1, l_.str.2@PAGE
Lloh17:
	add	x1, x1, l_.str.2@PAGEOFF
	bl	_fprintf
	ldr	x8, [sp, #64]                   ; 8-byte Folded Reload
	add	w8, w8, #1
	str	x8, [sp, #64]                   ; 8-byte Folded Spill
	cbnz	w28, LBB0_17
LBB0_20:                                ;   in Loop: Header=BB0_11 Depth=1
	mov	w26, #0
	mov	w25, #1
LBB0_21:                                ;   in Loop: Header=BB0_11 Depth=1
Lloh18:
	adrp	x8, _verbose@GOTPAGE
Lloh19:
	ldr	x8, [x8, _verbose@GOTPAGEOFF]
Lloh20:
	ldr	x8, [x8]
	cbz	x8, LBB0_23
; %bb.22:                               ;   in Loop: Header=BB0_11 Depth=1
Lloh21:
	adrp	x8, _stderr@GOTPAGE
Lloh22:
	ldr	x8, [x8, _stderr@GOTPAGEOFF]
Lloh23:
	ldr	w0, [x8]
	cmp	w26, #0
Lloh24:
	adrp	x8, l_.str.5@PAGE
Lloh25:
	add	x8, x8, l_.str.5@PAGEOFF
Lloh26:
	adrp	x9, l_.str.4@PAGE
Lloh27:
	add	x9, x9, l_.str.4@PAGEOFF
	csel	x8, x9, x8, ne
	stp	x27, x8, [sp, #24]
	mov	x8, x28
	str	x8, [sp, #16]
	mov	x8, x21
	mov	x9, x20
	stp	x9, x8, [sp]
Lloh28:
	adrp	x1, l_.str.3@PAGE
Lloh29:
	add	x1, x1, l_.str.3@PAGEOFF
	bl	_fprintf
LBB0_23:                                ;   in Loop: Header=BB0_11 Depth=1
	sub	x0, x29, #84
	mov	x1, x20
	mov	x2, x21
	mov	x3, x28
	bl	_png_muldiv
	cmp	w0, w26
	b.ne	LBB0_27
; %bb.24:                               ;   in Loop: Header=BB0_11 Depth=1
	cbz	w26, LBB0_9
; %bb.25:                               ;   in Loop: Header=BB0_11 Depth=1
	ldursw	x8, [x29, #-84]
	cmp	x27, x8
	b.eq	LBB0_9
; %bb.26:                               ;   in Loop: Header=BB0_11 Depth=1
	ldr	x9, [sp, #56]                   ; 8-byte Folded Reload
	add	w9, w9, #1
	str	x9, [sp, #56]                   ; 8-byte Folded Spill
Lloh30:
	adrp	x9, _stderr@GOTPAGE
Lloh31:
	ldr	x9, [x9, _stderr@GOTPAGEOFF]
Lloh32:
	ldr	w0, [x9]
                                        ; kill: def $w8 killed $w8 killed $x8 def $x8
	mov	x9, x28
	stp	x8, x27, [sp, #24]
	str	x9, [sp, #16]
	mov	x8, x21
	mov	x9, x20
	stp	x9, x8, [sp]
Lloh33:
	adrp	x1, l_.str.8@PAGE
Lloh34:
	add	x1, x1, l_.str.8@PAGEOFF
	bl	_fprintf
	b	LBB0_10
LBB0_27:                                ;   in Loop: Header=BB0_11 Depth=1
	ldr	x8, [sp, #56]                   ; 8-byte Folded Reload
	add	w8, w8, #1
Lloh35:
	adrp	x9, _stderr@GOTPAGE
Lloh36:
	ldr	x9, [x9, _stderr@GOTPAGEOFF]
Lloh37:
	ldr	w0, [x9]
	str	x8, [sp, #56]                   ; 8-byte Folded Spill
	cbz	w26, LBB0_29
; %bb.28:                               ;   in Loop: Header=BB0_11 Depth=1
	mov	x8, x28
	stp	x8, x27, [sp, #16]
	mov	x8, x21
	mov	x9, x20
	stp	x9, x8, [sp]
Lloh38:
	adrp	x1, l_.str.6@PAGE
Lloh39:
	add	x1, x1, l_.str.6@PAGEOFF
	bl	_fprintf
	b	LBB0_10
LBB0_29:                                ;   in Loop: Header=BB0_11 Depth=1
	ldur	w8, [x29, #-84]
	stp	x8, x27, [sp, #24]
	mov	x9, x28
	str	x9, [sp, #16]
	mov	x8, x21
	mov	x9, x20
	stp	x9, x8, [sp]
Lloh40:
	adrp	x1, l_.str.7@PAGE
Lloh41:
	add	x1, x1, l_.str.7@PAGEOFF
	bl	_fprintf
	b	LBB0_10
LBB0_30:
	ldr	x9, [sp, #64]                   ; 8-byte Folded Reload
	ldr	x8, [sp, #56]                   ; 8-byte Folded Reload
	stp	x8, x9, [sp, #16]
	ldr	x8, [sp, #48]                   ; 8-byte Folded Reload
	stp	x23, x8, [sp]
Lloh42:
	adrp	x0, l_.str.9@PAGE
Lloh43:
	add	x0, x0, l_.str.9@PAGEOFF
	ldr	w1, [sp, #44]                   ; 4-byte Folded Reload
	bl	_printf
	mov	w0, #0
LBB0_31:
	ldp	x29, x30, [sp, #176]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #160]            ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #144]            ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #128]            ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #112]            ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #96]             ; 16-byte Folded Reload
	add	sp, sp, #192
	ret
	.loh AdrpAdd	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh5, Lloh6, Lloh7
	.loh AdrpAdd	Lloh8, Lloh9
	.loh AdrpLdrGotLdr	Lloh10, Lloh11, Lloh12
	.loh AdrpAdd	Lloh16, Lloh17
	.loh AdrpLdrGotLdr	Lloh13, Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh18, Lloh19, Lloh20
	.loh AdrpAdd	Lloh28, Lloh29
	.loh AdrpAdd	Lloh26, Lloh27
	.loh AdrpAdd	Lloh24, Lloh25
	.loh AdrpLdrGotLdr	Lloh21, Lloh22, Lloh23
	.loh AdrpAdd	Lloh33, Lloh34
	.loh AdrpLdrGotLdr	Lloh30, Lloh31, Lloh32
	.loh AdrpLdrGotLdr	Lloh35, Lloh36, Lloh37
	.loh AdrpAdd	Lloh38, Lloh39
	.loh AdrpAdd	Lloh40, Lloh41
	.loh AdrpAdd	Lloh42, Lloh43
	.cfi_endproc
                                        ; -- End function
	.comm	_stderr,4,2                     ; @stderr
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"unknown argument %s\n"

	.comm	_RAND_MAX,4,2                   ; @RAND_MAX
l_.str.1:                               ; @.str.1
	.asciz	"Using random number generator that makes %d bits\n"

l_.str.2:                               ; @.str.2
	.asciz	"png_64bit_product %d * %d -> %lx|%.8lx not %llx\n"

	.comm	_PNG_UINT_31_MAX,8,3            ; @PNG_UINT_31_MAX
	.comm	_verbose,8,3                    ; @verbose
l_.str.3:                               ; @.str.3
	.asciz	"TEST %d * %d / %d -> %lld (%s)\n"

l_.str.4:                               ; @.str.4
	.asciz	"ok"

l_.str.5:                               ; @.str.5
	.asciz	"overflow"

l_.str.6:                               ; @.str.6
	.asciz	"%d * %d / %d -> overflow (expected %lld)\n"

l_.str.7:                               ; @.str.7
	.asciz	"%d * %d / %d -> %d (expected overflow %lld)\n"

l_.str.8:                               ; @.str.8
	.asciz	"%d * %d / %d -> %d not %lld\n"

l_.str.9:                               ; @.str.9
	.asciz	"%d tests including %d overflows, %d passed, %d failed (%d 64-bit errors)\n"

.subsections_via_symbols
