	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function notValid
_notValid:                              ## @notValid
	.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
	pushq	%rax
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	_NC_IsCheck@GOTPCREL(%rip), %rbx
	movq	_NC_PartIdx@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	orl	(%rbx), %eax
	movl	%ecx, %ebx
	movq	%rdx, %r14
	movq	%rsi, %r12
	movq	%rdi, %r15
	movq	_NC_IdxExpr@GOTPCREL(%rip), %r13
	orl	(%r13), %eax
	notl	%eax
	xorl	%edi, %edi
	testl	%ecx, %eax
	sete	%dil
	callq	_assert
	movl	(%r12), %eax
	testl	%ebx, %eax
	je	LBB0_1
## %bb.2:
	movl	(%r13), %ecx
	andl	%eax, %ecx
	movq	_NC_IsCheck@GOTPCREL(%rip), %rdx
	andl	(%rdx), %eax
	leaq	L_.str(%rip), %rax
	leaq	L_.str.2(%rip), %rdx
	cmoveq	%rax, %rdx
	testl	%ecx, %ecx
	leaq	L_.str.1(%rip), %rcx
	cmoveq	%rdx, %rcx
	leaq	L_.str.3(%rip), %rsi
	movq	%r15, %rdi
	movq	%r14, %rdx
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_sqlite3ErrorMsg                ## TAILCALL
LBB0_1:
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_NC_IsCheck,4,2                 ## @NC_IsCheck
	.comm	_NC_PartIdx,4,2                 ## @NC_PartIdx
	.comm	_NC_IdxExpr,4,2                 ## @NC_IdxExpr
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"partial index WHERE clauses"

L_.str.1:                               ## @.str.1
	.asciz	"index expressions"

L_.str.2:                               ## @.str.2
	.asciz	"CHECK constraints"

L_.str.3:                               ## @.str.3
	.asciz	"%s prohibited in %s"

	.no_dead_strip	_notValid
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function notValid
_notValid:                              ; @notValid
	.cfi_startproc
; %bb.0:
	stp	x24, x23, [sp, #-64]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 64
	stp	x22, x21, [sp, #16]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #32]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #48]             ; 16-byte Folded Spill
	add	x29, sp, #48
	.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
	mov	x21, x3
	mov	x19, x2
	mov	x22, x1
	mov	x20, x0
Lloh0:
	adrp	x23, _NC_IsCheck@GOTPAGE
Lloh1:
	ldr	x23, [x23, _NC_IsCheck@GOTPAGEOFF]
	ldr	w8, [x23]
Lloh2:
	adrp	x9, _NC_PartIdx@GOTPAGE
Lloh3:
	ldr	x9, [x9, _NC_PartIdx@GOTPAGEOFF]
Lloh4:
	ldr	w9, [x9]
	orr	w8, w9, w8
Lloh5:
	adrp	x24, _NC_IdxExpr@GOTPAGE
Lloh6:
	ldr	x24, [x24, _NC_IdxExpr@GOTPAGEOFF]
	ldr	w9, [x24]
	orr	w8, w8, w9
	bics	wzr, w3, w8
	cset	w0, eq
	bl	_assert
	ldr	w8, [x22]
	tst	w8, w21
	b.eq	LBB0_2
; %bb.1:
	ldr	w9, [x24]
	ldr	w10, [x23]
Lloh7:
	adrp	x11, l_.str.2@PAGE
Lloh8:
	add	x11, x11, l_.str.2@PAGEOFF
Lloh9:
	adrp	x12, l_.str@PAGE
Lloh10:
	add	x12, x12, l_.str@PAGEOFF
	tst	w10, w8
	csel	x10, x12, x11, eq
Lloh11:
	adrp	x11, l_.str.1@PAGE
Lloh12:
	add	x11, x11, l_.str.1@PAGEOFF
	tst	w9, w8
	csel	x3, x10, x11, eq
Lloh13:
	adrp	x1, l_.str.3@PAGE
Lloh14:
	add	x1, x1, l_.str.3@PAGEOFF
	mov	x0, x20
	mov	x2, x19
	ldp	x29, x30, [sp, #48]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #32]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #16]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp], #64             ; 16-byte Folded Reload
	b	_sqlite3ErrorMsg
LBB0_2:
	ldp	x29, x30, [sp, #48]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #32]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #16]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp], #64             ; 16-byte Folded Reload
	ret
	.loh AdrpLdrGot	Lloh5, Lloh6
	.loh AdrpLdrGotLdr	Lloh2, Lloh3, Lloh4
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpAdd	Lloh13, Lloh14
	.loh AdrpAdd	Lloh11, Lloh12
	.loh AdrpAdd	Lloh9, Lloh10
	.loh AdrpAdd	Lloh7, Lloh8
	.cfi_endproc
                                        ; -- End function
	.comm	_NC_IsCheck,4,2                 ; @NC_IsCheck
	.comm	_NC_PartIdx,4,2                 ; @NC_PartIdx
	.comm	_NC_IdxExpr,4,2                 ; @NC_IdxExpr
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"partial index WHERE clauses"

l_.str.1:                               ; @.str.1
	.asciz	"index expressions"

l_.str.2:                               ; @.str.2
	.asciz	"CHECK constraints"

l_.str.3:                               ; @.str.3
	.asciz	"%s prohibited in %s"

	.no_dead_strip	_notValid
.subsections_via_symbols
