	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function test_next_packet_number
_test_next_packet_number:               ## @test_next_packet_number
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	movl	$192, %edi
	movl	$8, %esi
	movl	$313, %edx                      ## imm = 0x139
	callq	_quicly_determine_packet_number
	xorl	%edi, %edi
	cmpl	$192, %eax
	sete	%dil
	callq	_ok
	movl	$192, %edi
	movl	$8, %esi
	movl	$320, %edx                      ## imm = 0x140
	callq	_quicly_determine_packet_number
	xorl	%edi, %edi
	cmpl	$448, %eax                      ## imm = 0x1C0
	sete	%dil
	callq	_ok
	movl	$39730, %edi                    ## imm = 0x9B32
	movl	$16, %esi
	movl	$-1473302293, %edx              ## imm = 0xA82F30EB
	callq	_quicly_determine_packet_number
	xorl	%edi, %edi
	cmpl	$-1473275086, %eax              ## imm = 0xA82F9B32
	sete	%dil
	callq	_ok
	movl	$31, %edi
	movl	$16, %esi
	movl	$65259, %edx                    ## imm = 0xFEEB
	callq	_quicly_determine_packet_number
	xorl	%edi, %edi
	cmpl	$65567, %eax                    ## imm = 0x1001F
	sete	%dil
	popq	%rbp
	jmp	_ok                             ## TAILCALL
	.cfi_endproc
                                        ## -- End function
	.no_dead_strip	_test_next_packet_number
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function test_next_packet_number
_test_next_packet_number:               ; @test_next_packet_number
	.cfi_startproc
; %bb.0:
	stp	x29, x30, [sp, #-16]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 16
	mov	x29, sp
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	mov	w0, #192
	mov	w1, #8
	mov	w2, #313
	bl	_quicly_determine_packet_number
	cmp	w0, #192
	cset	w0, eq
	bl	_ok
	mov	w0, #192
	mov	w1, #8
	mov	w2, #320
	bl	_quicly_determine_packet_number
	cmp	w0, #448
	cset	w0, eq
	bl	_ok
	mov	w0, #39730
	mov	w1, #16
	mov	w2, #12523
	movk	w2, #43055, lsl #16
	bl	_quicly_determine_packet_number
	mov	w8, #39730
	movk	w8, #43055, lsl #16
	cmp	w0, w8
	cset	w0, eq
	bl	_ok
	mov	w0, #31
	mov	w1, #16
	mov	w2, #65259
	bl	_quicly_determine_packet_number
	sub	w8, w0, #16, lsl #12            ; =65536
	cmp	w8, #31
	cset	w0, eq
	ldp	x29, x30, [sp], #16             ; 16-byte Folded Reload
	b	_ok
	.cfi_endproc
                                        ; -- End function
	.no_dead_strip	_test_next_packet_number
.subsections_via_symbols
