	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_icmp_tstamp_print              ## -- Begin function icmp_tstamp_print
	.p2align	4, 0x90
_icmp_tstamp_print:                     ## @icmp_tstamp_print
	.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
	movslq	%edi, %rax
	imulq	$274877907, %rax, %rdx          ## imm = 0x10624DD3
	movq	%rdx, %rcx
	shrq	$63, %rcx
	sarq	$38, %rdx
	addl	%ecx, %edx
	imull	$1000, %edx, %esi               ## imm = 0x3E8
	imulq	$1172812403, %rax, %rdi         ## imm = 0x45E7B273
	imulq	$1250999897, %rax, %rcx         ## imm = 0x4A90BE59
                                        ## kill: def $eax killed $eax killed $rax
	subl	%esi, %eax
	movq	%rdi, %rsi
	shrq	$63, %rsi
	sarq	$46, %rdi
	addl	%esi, %edi
	imull	$-60, %edi, %r9d
	addl	%edx, %r9d
	movq	%rcx, %rdx
	shrq	$63, %rdx
	sarq	$52, %rcx
	addl	%edx, %ecx
	imull	$-60, %ecx, %r8d
	addl	%edi, %r8d
	movl	%eax, (%rsp)
	leaq	_icmp_tstamp_print.buf(%rip), %rbx
	leaq	L_.str(%rip), %rdx
	movq	%rbx, %rdi
	movl	$64, %esi
                                        ## kill: def $ecx killed $ecx killed $rcx
	callq	_snprintf
	movq	%rbx, %rax
	addq	$8, %rsp
	popq	%rbx
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
.zerofill __DATA,__bss,_icmp_tstamp_print.buf,64,4 ## @icmp_tstamp_print.buf
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"%02u:%02u:%02u.%03u"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_icmp_tstamp_print              ; -- Begin function icmp_tstamp_print
	.p2align	2
_icmp_tstamp_print:                     ; @icmp_tstamp_print
	.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
	mov	w8, #19923
	movk	w8, #4194, lsl #16
	smull	x8, w0, w8
	lsr	x9, x8, #63
	asr	x8, x8, #38
	add	w8, w8, w9
	mov	w9, #1000
	msub	w6, w8, w9, w0
	mov	w9, #45683
	movk	w9, #17895, lsl #16
	smull	x9, w0, w9
	lsr	x10, x9, #63
	asr	x9, x9, #46
	add	w9, w9, w10
	mov	w10, #-60
	madd	w5, w9, w10, w8
	mov	w8, #48729
	movk	w8, #19088, lsl #16
	smull	x8, w0, w8
	lsr	x11, x8, #63
	asr	x8, x8, #52
	add	w3, w8, w11
	madd	w4, w3, w10, w9
Lloh0:
	adrp	x19, _icmp_tstamp_print.buf@PAGE
Lloh1:
	add	x19, x19, _icmp_tstamp_print.buf@PAGEOFF
Lloh2:
	adrp	x2, l_.str@PAGE
Lloh3:
	add	x2, x2, l_.str@PAGEOFF
	mov	x0, x19
	mov	w1, #64
	bl	_snprintf
	mov	x0, x19
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	ret
	.loh AdrpAdd	Lloh2, Lloh3
	.loh AdrpAdd	Lloh0, Lloh1
	.cfi_endproc
                                        ; -- End function
.zerofill __DATA,__bss,_icmp_tstamp_print.buf,64,0 ; @icmp_tstamp_print.buf
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"%02u:%02u:%02u.%03u"

.subsections_via_symbols
