	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_lit_is_valid_cesu8_string      ## -- Begin function lit_is_valid_cesu8_string
	.p2align	4, 0x90
_lit_is_valid_cesu8_string:             ## @lit_is_valid_cesu8_string
	.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
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	testq	%rsi, %rsi
	jle	LBB0_14
## %bb.1:
	movq	_LIT_UTF8_1_BYTE_MASK@GOTPCREL(%rip), %rax
	movl	(%rax), %r8d
	movq	_LIT_UTF8_1_BYTE_MARKER@GOTPCREL(%rip), %rax
	movl	(%rax), %r10d
	movq	_LIT_UTF8_2_BYTE_MASK@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movl	%eax, -68(%rbp)                 ## 4-byte Spill
	movq	_LIT_UTF8_2_BYTE_MARKER@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movl	%eax, -56(%rbp)                 ## 4-byte Spill
	movq	_LIT_UTF8_3_BYTE_MASK@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movl	%eax, -64(%rbp)                 ## 4-byte Spill
	movq	_LIT_UTF8_3_BYTE_MARKER@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movl	%eax, -60(%rbp)                 ## 4-byte Spill
	movq	_LIT_UTF8_EXTRA_BYTE_MASK@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movl	%eax, -52(%rbp)                 ## 4-byte Spill
	movq	_LIT_UTF8_EXTRA_BYTE_MARKER@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movl	%eax, -48(%rbp)                 ## 4-byte Spill
	movq	_LIT_UTF8_BITS_IN_EXTRA_BYTES@GOTPCREL(%rip), %rax
	movl	(%rax), %ecx
	movq	_LIT_UTF8_LAST_6_BITS_MASK@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movl	%eax, -44(%rbp)                 ## 4-byte Spill
	xorl	%r11d, %r11d
	jmp	LBB0_2
	.p2align	4, 0x90
LBB0_3:                                 ##   in Loop: Header=BB0_2 Depth=1
	movq	%rax, %r13
LBB0_13:                                ##   in Loop: Header=BB0_2 Depth=1
	movq	%r13, %r11
	cmpq	%rsi, %r13
	jge	LBB0_14
LBB0_2:                                 ## =>This Inner Loop Header: Depth=1
	leaq	1(%r11), %rax
	movl	(%rdi,%r11,4), %r14d
	movl	%r8d, %edx
	andl	%r14d, %edx
	cmpl	%r10d, %edx
	je	LBB0_3
## %bb.4:                               ##   in Loop: Header=BB0_2 Depth=1
	movl	-68(%rbp), %r9d                 ## 4-byte Reload
	andl	%r14d, %r9d
	movl	$1, %r13d
	movq	_LIT_UTF8_LAST_5_BITS_MASK@GOTPCREL(%rip), %rbx
	movq	_LIT_UTF8_2_BYTE_CODE_POINT_MIN@GOTPCREL(%rip), %r12
	cmpl	-56(%rbp), %r9d                 ## 4-byte Folded Reload
	je	LBB0_7
## %bb.5:                               ##   in Loop: Header=BB0_2 Depth=1
	movl	-64(%rbp), %edx                 ## 4-byte Reload
	andl	%r14d, %edx
	movl	$2, %r13d
	movq	_LIT_UTF8_LAST_4_BITS_MASK@GOTPCREL(%rip), %rbx
	movq	_LIT_UTF8_3_BYTE_CODE_POINT_MIN@GOTPCREL(%rip), %r12
	cmpl	-60(%rbp), %edx                 ## 4-byte Folded Reload
	jne	LBB0_6
LBB0_7:                                 ##   in Loop: Header=BB0_2 Depth=1
	addq	%rax, %r13
	xorl	%eax, %eax
	cmpq	%rsi, %r13
	jg	LBB0_15
## %bb.8:                               ##   in Loop: Header=BB0_2 Depth=1
	movl	4(%rdi,%r11,4), %r15d
	movl	-52(%rbp), %edx                 ## 4-byte Reload
	andl	%r15d, %edx
	cmpl	-48(%rbp), %edx                 ## 4-byte Folded Reload
	jne	LBB0_15
## %bb.9:                               ##   in Loop: Header=BB0_2 Depth=1
	andl	(%rbx), %r14d
	shll	%cl, %r14d
	movl	(%r12), %r12d
	andl	-44(%rbp), %r15d                ## 4-byte Folded Reload
	orl	%r14d, %r15d
	cmpl	-56(%rbp), %r9d                 ## 4-byte Folded Reload
	je	LBB0_12
## %bb.10:                              ##   in Loop: Header=BB0_2 Depth=1
	movl	8(%rdi,%r11,4), %edx
	movl	-52(%rbp), %ebx                 ## 4-byte Reload
	andl	%edx, %ebx
	cmpl	-48(%rbp), %ebx                 ## 4-byte Folded Reload
	jne	LBB0_15
## %bb.11:                              ##   in Loop: Header=BB0_2 Depth=1
	shll	%cl, %r15d
	andl	-44(%rbp), %edx                 ## 4-byte Folded Reload
	orl	%edx, %r15d
LBB0_12:                                ##   in Loop: Header=BB0_2 Depth=1
	cmpl	%r12d, %r15d
	jge	LBB0_13
	jmp	LBB0_15
LBB0_14:
	movl	$1, %eax
LBB0_15:
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_6:
	xorl	%eax, %eax
	jmp	LBB0_15
	.cfi_endproc
                                        ## -- End function
	.comm	_LIT_UTF8_1_BYTE_MASK,4,2       ## @LIT_UTF8_1_BYTE_MASK
	.comm	_LIT_UTF8_1_BYTE_MARKER,4,2     ## @LIT_UTF8_1_BYTE_MARKER
	.comm	_LIT_UTF8_2_BYTE_MASK,4,2       ## @LIT_UTF8_2_BYTE_MASK
	.comm	_LIT_UTF8_2_BYTE_MARKER,4,2     ## @LIT_UTF8_2_BYTE_MARKER
	.comm	_LIT_UTF8_2_BYTE_CODE_POINT_MIN,4,2 ## @LIT_UTF8_2_BYTE_CODE_POINT_MIN
	.comm	_LIT_UTF8_LAST_5_BITS_MASK,4,2  ## @LIT_UTF8_LAST_5_BITS_MASK
	.comm	_LIT_UTF8_3_BYTE_MASK,4,2       ## @LIT_UTF8_3_BYTE_MASK
	.comm	_LIT_UTF8_3_BYTE_MARKER,4,2     ## @LIT_UTF8_3_BYTE_MARKER
	.comm	_LIT_UTF8_3_BYTE_CODE_POINT_MIN,4,2 ## @LIT_UTF8_3_BYTE_CODE_POINT_MIN
	.comm	_LIT_UTF8_LAST_4_BITS_MASK,4,2  ## @LIT_UTF8_LAST_4_BITS_MASK
	.comm	_LIT_UTF8_EXTRA_BYTE_MASK,4,2   ## @LIT_UTF8_EXTRA_BYTE_MASK
	.comm	_LIT_UTF8_EXTRA_BYTE_MARKER,4,2 ## @LIT_UTF8_EXTRA_BYTE_MARKER
	.comm	_LIT_UTF8_BITS_IN_EXTRA_BYTES,4,2 ## @LIT_UTF8_BITS_IN_EXTRA_BYTES
	.comm	_LIT_UTF8_LAST_6_BITS_MASK,4,2  ## @LIT_UTF8_LAST_6_BITS_MASK
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_lit_is_valid_cesu8_string      ; -- Begin function lit_is_valid_cesu8_string
	.p2align	2
_lit_is_valid_cesu8_string:             ; @lit_is_valid_cesu8_string
	.cfi_startproc
; %bb.0:
	stp	x24, x23, [sp, #-48]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 48
	stp	x22, x21, [sp, #16]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #32]             ; 16-byte Folded Spill
	.cfi_offset w19, -8
	.cfi_offset w20, -16
	.cfi_offset w21, -24
	.cfi_offset w22, -32
	.cfi_offset w23, -40
	.cfi_offset w24, -48
	cmp	x1, #1
	b.lt	LBB0_14
; %bb.1:
	mov	x3, #0
Lloh0:
	adrp	x8, _LIT_UTF8_1_BYTE_MASK@GOTPAGE
Lloh1:
	ldr	x8, [x8, _LIT_UTF8_1_BYTE_MASK@GOTPAGEOFF]
Lloh2:
	ldr	w8, [x8]
Lloh3:
	adrp	x9, _LIT_UTF8_1_BYTE_MARKER@GOTPAGE
Lloh4:
	ldr	x9, [x9, _LIT_UTF8_1_BYTE_MARKER@GOTPAGEOFF]
Lloh5:
	ldr	w9, [x9]
Lloh6:
	adrp	x10, _LIT_UTF8_2_BYTE_MASK@GOTPAGE
Lloh7:
	ldr	x10, [x10, _LIT_UTF8_2_BYTE_MASK@GOTPAGEOFF]
Lloh8:
	ldr	w10, [x10]
Lloh9:
	adrp	x11, _LIT_UTF8_2_BYTE_MARKER@GOTPAGE
Lloh10:
	ldr	x11, [x11, _LIT_UTF8_2_BYTE_MARKER@GOTPAGEOFF]
Lloh11:
	ldr	w11, [x11]
Lloh12:
	adrp	x12, _LIT_UTF8_3_BYTE_MASK@GOTPAGE
Lloh13:
	ldr	x12, [x12, _LIT_UTF8_3_BYTE_MASK@GOTPAGEOFF]
Lloh14:
	ldr	w12, [x12]
Lloh15:
	adrp	x13, _LIT_UTF8_3_BYTE_MARKER@GOTPAGE
Lloh16:
	ldr	x13, [x13, _LIT_UTF8_3_BYTE_MARKER@GOTPAGEOFF]
Lloh17:
	ldr	w13, [x13]
Lloh18:
	adrp	x14, _LIT_UTF8_EXTRA_BYTE_MASK@GOTPAGE
Lloh19:
	ldr	x14, [x14, _LIT_UTF8_EXTRA_BYTE_MASK@GOTPAGEOFF]
Lloh20:
	ldr	w14, [x14]
Lloh21:
	adrp	x15, _LIT_UTF8_EXTRA_BYTE_MARKER@GOTPAGE
Lloh22:
	ldr	x15, [x15, _LIT_UTF8_EXTRA_BYTE_MARKER@GOTPAGEOFF]
Lloh23:
	ldr	w15, [x15]
Lloh24:
	adrp	x16, _LIT_UTF8_BITS_IN_EXTRA_BYTES@GOTPAGE
Lloh25:
	ldr	x16, [x16, _LIT_UTF8_BITS_IN_EXTRA_BYTES@GOTPAGEOFF]
Lloh26:
	ldr	w16, [x16]
Lloh27:
	adrp	x17, _LIT_UTF8_LAST_6_BITS_MASK@GOTPAGE
Lloh28:
	ldr	x17, [x17, _LIT_UTF8_LAST_6_BITS_MASK@GOTPAGEOFF]
Lloh29:
	ldr	w17, [x17]
Lloh30:
	adrp	x2, _LIT_UTF8_2_BYTE_CODE_POINT_MIN@GOTPAGE
Lloh31:
	ldr	x2, [x2, _LIT_UTF8_2_BYTE_CODE_POINT_MIN@GOTPAGEOFF]
Lloh32:
	adrp	x4, _LIT_UTF8_LAST_5_BITS_MASK@GOTPAGE
Lloh33:
	ldr	x4, [x4, _LIT_UTF8_LAST_5_BITS_MASK@GOTPAGEOFF]
Lloh34:
	adrp	x5, _LIT_UTF8_3_BYTE_CODE_POINT_MIN@GOTPAGE
Lloh35:
	ldr	x5, [x5, _LIT_UTF8_3_BYTE_CODE_POINT_MIN@GOTPAGEOFF]
Lloh36:
	adrp	x6, _LIT_UTF8_LAST_4_BITS_MASK@GOTPAGE
Lloh37:
	ldr	x6, [x6, _LIT_UTF8_LAST_4_BITS_MASK@GOTPAGEOFF]
	b	LBB0_4
LBB0_2:                                 ;   in Loop: Header=BB0_4 Depth=1
	mov	x7, x21
	cmp	w19, w22
	b.lt	LBB0_15
LBB0_3:                                 ;   in Loop: Header=BB0_4 Depth=1
	mov	x3, x7
	cmp	x7, x1
	b.ge	LBB0_14
LBB0_4:                                 ; =>This Inner Loop Header: Depth=1
	add	x7, x3, #1
	ldr	w19, [x0, x3, lsl #2]
	and	w20, w8, w19
	cmp	w20, w9
	b.eq	LBB0_3
; %bb.5:                                ;   in Loop: Header=BB0_4 Depth=1
	and	w20, w10, w19
	cmp	w20, w11
	b.ne	LBB0_7
; %bb.6:                                ;   in Loop: Header=BB0_4 Depth=1
	mov	x23, x4
	mov	x22, x2
	mov	w21, #1
	b	LBB0_9
LBB0_7:                                 ;   in Loop: Header=BB0_4 Depth=1
	and	w21, w12, w19
	cmp	w21, w13
	b.ne	LBB0_15
; %bb.8:                                ;   in Loop: Header=BB0_4 Depth=1
	mov	x23, x6
	mov	x22, x5
	mov	w21, #2
LBB0_9:                                 ;   in Loop: Header=BB0_4 Depth=1
	add	x21, x21, x7
	cmp	x21, x1
	b.gt	LBB0_15
; %bb.10:                               ;   in Loop: Header=BB0_4 Depth=1
	ldr	w7, [x0, x7, lsl #2]
	and	w24, w14, w7
	cmp	w24, w15
	b.ne	LBB0_15
; %bb.11:                               ;   in Loop: Header=BB0_4 Depth=1
	ldr	w22, [x22]
	ldr	w23, [x23]
	and	w19, w23, w19
	lsl	w19, w19, w16
	and	w7, w17, w7
	orr	w19, w7, w19
	cmp	w20, w11
	b.eq	LBB0_2
; %bb.12:                               ;   in Loop: Header=BB0_4 Depth=1
	add	x3, x0, x3, lsl #2
	ldr	w3, [x3, #8]
	and	w7, w14, w3
	cmp	w7, w15
	b.ne	LBB0_15
; %bb.13:                               ;   in Loop: Header=BB0_4 Depth=1
	lsl	w7, w19, w16
	and	w3, w17, w3
	orr	w19, w3, w7
	b	LBB0_2
LBB0_14:
	mov	w0, #1
	b	LBB0_16
LBB0_15:
	mov	w0, #0
LBB0_16:
	ldp	x20, x19, [sp, #32]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #16]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp], #48             ; 16-byte Folded Reload
	ret
	.loh AdrpLdrGot	Lloh36, Lloh37
	.loh AdrpLdrGot	Lloh34, Lloh35
	.loh AdrpLdrGot	Lloh32, Lloh33
	.loh AdrpLdrGot	Lloh30, Lloh31
	.loh AdrpLdrGotLdr	Lloh27, Lloh28, Lloh29
	.loh AdrpLdrGotLdr	Lloh24, Lloh25, Lloh26
	.loh AdrpLdrGotLdr	Lloh21, Lloh22, Lloh23
	.loh AdrpLdrGotLdr	Lloh18, Lloh19, Lloh20
	.loh AdrpLdrGotLdr	Lloh15, Lloh16, Lloh17
	.loh AdrpLdrGotLdr	Lloh12, Lloh13, Lloh14
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.cfi_endproc
                                        ; -- End function
	.comm	_LIT_UTF8_1_BYTE_MASK,4,2       ; @LIT_UTF8_1_BYTE_MASK
	.comm	_LIT_UTF8_1_BYTE_MARKER,4,2     ; @LIT_UTF8_1_BYTE_MARKER
	.comm	_LIT_UTF8_2_BYTE_MASK,4,2       ; @LIT_UTF8_2_BYTE_MASK
	.comm	_LIT_UTF8_2_BYTE_MARKER,4,2     ; @LIT_UTF8_2_BYTE_MARKER
	.comm	_LIT_UTF8_2_BYTE_CODE_POINT_MIN,4,2 ; @LIT_UTF8_2_BYTE_CODE_POINT_MIN
	.comm	_LIT_UTF8_LAST_5_BITS_MASK,4,2  ; @LIT_UTF8_LAST_5_BITS_MASK
	.comm	_LIT_UTF8_3_BYTE_MASK,4,2       ; @LIT_UTF8_3_BYTE_MASK
	.comm	_LIT_UTF8_3_BYTE_MARKER,4,2     ; @LIT_UTF8_3_BYTE_MARKER
	.comm	_LIT_UTF8_3_BYTE_CODE_POINT_MIN,4,2 ; @LIT_UTF8_3_BYTE_CODE_POINT_MIN
	.comm	_LIT_UTF8_LAST_4_BITS_MASK,4,2  ; @LIT_UTF8_LAST_4_BITS_MASK
	.comm	_LIT_UTF8_EXTRA_BYTE_MASK,4,2   ; @LIT_UTF8_EXTRA_BYTE_MASK
	.comm	_LIT_UTF8_EXTRA_BYTE_MARKER,4,2 ; @LIT_UTF8_EXTRA_BYTE_MARKER
	.comm	_LIT_UTF8_BITS_IN_EXTRA_BYTES,4,2 ; @LIT_UTF8_BITS_IN_EXTRA_BYTES
	.comm	_LIT_UTF8_LAST_6_BITS_MASK,4,2  ; @LIT_UTF8_LAST_6_BITS_MASK
.subsections_via_symbols
