	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_formatPGVersionNumber          ## -- Begin function formatPGVersionNumber
	.p2align	4, 0x90
_formatPGVersionNumber:                 ## @formatPGVersionNumber
	.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
	movq	%rdx, %r14
	movl	%edi, %r9d
	cmpl	$100000, %edi                   ## imm = 0x186A0
	jl	LBB0_4
## %bb.1:
	movl	%r9d, %edx
	movl	$3518437209, %eax               ## imm = 0xD1B71759
	imulq	%rdx, %rax
	shrq	$45, %rax
	testl	%esi, %esi
	je	LBB0_3
## %bb.2:
	imull	$10000, %eax, %edx              ## imm = 0x2710
	subl	%edx, %r9d
	leaq	L_.str(%rip), %rdx
	movq	%r14, %rdi
	movq	%rcx, %rsi
	movl	%eax, %ecx
	movl	%r9d, %r8d
	jmp	LBB0_7
LBB0_4:
	movslq	%r9d, %rdx
	imulq	$1759218605, %rdx, %rax         ## imm = 0x68DB8BAD
	movq	%rax, %rdi
	shrq	$63, %rdi
	sarq	$44, %rax
	addl	%edi, %eax
	imulq	$1374389535, %rdx, %rdx         ## imm = 0x51EB851F
	movq	%rdx, %rdi
	shrq	$63, %rdi
	sarq	$37, %rdx
	addl	%edi, %edx
	movslq	%edx, %rdi
	imulq	$1374389535, %rdi, %rdi         ## imm = 0x51EB851F
	movq	%rdi, %rbx
	shrq	$63, %rbx
	sarq	$37, %rdi
	addl	%ebx, %edi
	imull	$100, %edi, %edi
	movl	%edx, %r8d
	subl	%edi, %r8d
	testl	%esi, %esi
	je	LBB0_6
## %bb.5:
	imull	$100, %edx, %edx
	subl	%edx, %r9d
	leaq	L_.str.2(%rip), %rdx
	movq	%r14, %rdi
	movq	%rcx, %rsi
	movl	%eax, %ecx
	xorl	%eax, %eax
	callq	_snprintf
	jmp	LBB0_8
LBB0_3:
	leaq	L_.str.1(%rip), %rdx
	movq	%r14, %rdi
	movq	%rcx, %rsi
	movl	%eax, %ecx
	xorl	%eax, %eax
	callq	_snprintf
	jmp	LBB0_8
LBB0_6:
	leaq	L_.str(%rip), %rdx
	movq	%r14, %rdi
	movq	%rcx, %rsi
	movl	%eax, %ecx
LBB0_7:
	xorl	%eax, %eax
	callq	_snprintf
LBB0_8:
	movq	%r14, %rax
	popq	%rbx
	popq	%r14
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"%d.%d"

L_.str.1:                               ## @.str.1
	.asciz	"%d"

L_.str.2:                               ## @.str.2
	.asciz	"%d.%d.%d"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_formatPGVersionNumber          ; -- Begin function formatPGVersionNumber
	.p2align	2
_formatPGVersionNumber:                 ; @formatPGVersionNumber
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #48
	.cfi_def_cfa_offset 48
	stp	x20, x19, [sp, #16]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #32]             ; 16-byte Folded Spill
	add	x29, sp, #32
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	mov	x8, x3
	mov	x19, x2
	mov	w9, #34464
	movk	w9, #1, lsl #16
	cmp	w0, w9
	b.lt	LBB0_3
; %bb.1:
	mov	w9, #5977
	movk	w9, #53687, lsl #16
	umull	x9, w0, w9
	lsr	x3, x9, #45
	cbz	w1, LBB0_5
; %bb.2:
	mov	w9, #10000
	msub	w9, w3, w9, w0
	str	x9, [sp]
Lloh0:
	adrp	x2, l_.str@PAGE
Lloh1:
	add	x2, x2, l_.str@PAGEOFF
	b	LBB0_6
LBB0_3:
	mov	w9, #35757
	movk	w9, #26843, lsl #16
	smull	x9, w0, w9
	lsr	x10, x9, #63
	asr	x9, x9, #44
	add	w3, w9, w10
	mov	w10, #34079
	movk	w10, #20971, lsl #16
	smull	x9, w0, w10
	lsr	x11, x9, #63
	asr	x9, x9, #37
	add	w9, w9, w11
	smull	x10, w9, w10
	lsr	x11, x10, #63
	asr	x10, x10, #37
	add	w10, w10, w11
	mov	w11, #100
	msub	w10, w10, w11, w9
	cbz	w1, LBB0_7
; %bb.4:
	msub	w9, w9, w11, w0
	stp	x10, x9, [sp]
Lloh2:
	adrp	x2, l_.str.2@PAGE
Lloh3:
	add	x2, x2, l_.str.2@PAGEOFF
	b	LBB0_8
LBB0_5:
Lloh4:
	adrp	x2, l_.str.1@PAGE
Lloh5:
	add	x2, x2, l_.str.1@PAGEOFF
LBB0_6:
	mov	x0, x19
	mov	x1, x8
                                        ; kill: def $w3 killed $w3 killed $x3
	b	LBB0_9
LBB0_7:
                                        ; kill: def $w10 killed $w10 killed $x10 def $x10
	str	x10, [sp]
Lloh6:
	adrp	x2, l_.str@PAGE
Lloh7:
	add	x2, x2, l_.str@PAGEOFF
LBB0_8:
	mov	x0, x19
	mov	x1, x8
LBB0_9:
	bl	_snprintf
	mov	x0, x19
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #48
	ret
	.loh AdrpAdd	Lloh0, Lloh1
	.loh AdrpAdd	Lloh2, Lloh3
	.loh AdrpAdd	Lloh4, Lloh5
	.loh AdrpAdd	Lloh6, Lloh7
	.cfi_endproc
                                        ; -- End function
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"%d.%d"

l_.str.1:                               ; @.str.1
	.asciz	"%d"

l_.str.2:                               ; @.str.2
	.asciz	"%d.%d.%d"

.subsections_via_symbols
