	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function impliesNotNullRow
_impliesNotNullRow:                     ## @impliesNotNullRow
	.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	%rbx
	pushq	%rax
	.cfi_offset %rbx, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rsi, %rbx
	movq	%rdi, %r14
	movl	(%rsi), %eax
	movq	_TK_AGG_COLUMN@GOTPCREL(%rip), %rcx
	xorl	%edi, %edi
	cmpl	(%rcx), %eax
	sete	%dil
	callq	_testcase
	movl	(%rbx), %eax
	movq	_TK_AGG_FUNCTION@GOTPCREL(%rip), %rcx
	xorl	%edi, %edi
	cmpl	(%rcx), %eax
	sete	%dil
	callq	_testcase
	movq	_EP_FromJoin@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movq	%rbx, %rdi
	callq	_ExprHasProperty
	movq	_WRC_Prune@GOTPCREL(%rip), %r15
	testq	%rax, %rax
	jne	LBB0_15
## %bb.1:
	movl	(%rbx), %eax
	leal	-128(%rax), %ecx
	cmpl	$17, %ecx
	ja	LBB0_14
## %bb.2:
	leaq	LJTI0_0(%rip), %rdx
	movslq	(%rdx,%rcx,4), %rcx
	addq	%rdx, %rcx
	jmpq	*%rcx
LBB0_3:
	xorl	%edi, %edi
	cmpl	$135, %eax
	sete	%dil
	callq	_testcase
	xorl	%edi, %edi
	cmpl	$134, (%rbx)
	sete	%dil
	callq	_testcase
	xorl	%edi, %edi
	cmpl	$130, (%rbx)
	sete	%dil
	callq	_testcase
	xorl	%edi, %edi
	cmpl	$136, (%rbx)
	sete	%dil
	callq	_testcase
	xorl	%edi, %edi
	cmpl	$129, (%rbx)
	sete	%dil
	callq	_testcase
	xorl	%edi, %edi
	cmpl	$143, (%rbx)
	sete	%dil
	callq	_testcase
	xorl	%edi, %edi
	cmpl	$137, (%rbx)
	sete	%dil
	callq	_testcase
	xorl	%edi, %edi
	cmpl	$140, (%rbx)
	sete	%dil
	callq	_testcase
	xorl	%edi, %edi
	cmpl	$128, (%rbx)
	sete	%dil
	callq	_testcase
	jmp	LBB0_15
LBB0_10:
	xorl	%edi, %edi
	cmpl	$141, %eax
	sete	%dil
	callq	_testcase
	xorl	%edi, %edi
	cmpl	$131, (%rbx)
	sete	%dil
	callq	_testcase
	xorl	%edi, %edi
	cmpl	$132, (%rbx)
	sete	%dil
	callq	_testcase
	xorl	%edi, %edi
	cmpl	$133, (%rbx)
	sete	%dil
	callq	_testcase
	xorl	%edi, %edi
	cmpl	$138, (%rbx)
	sete	%dil
	callq	_testcase
	xorl	%edi, %edi
	cmpl	$139, (%rbx)
	sete	%dil
	callq	_testcase
	movq	16(%rbx), %rax
	cmpl	$142, (%rax)
	jne	LBB0_12
## %bb.11:
	movl	4(%rax), %edi
	callq	_IsVirtual
	testl	%eax, %eax
	jne	LBB0_15
LBB0_12:
	movq	8(%rbx), %rax
	cmpl	$142, (%rax)
	jne	LBB0_14
## %bb.13:
	movl	4(%rax), %edi
	callq	_IsVirtual
	testl	%eax, %eax
	jne	LBB0_15
LBB0_14:
	movq	_WRC_Continue@GOTPCREL(%rip), %r15
	jmp	LBB0_15
LBB0_4:
	movl	4(%r14), %eax
	cmpl	24(%rbx), %eax
	jne	LBB0_15
## %bb.5:
	movl	$1, (%r14)
	movq	_WRC_Abort@GOTPCREL(%rip), %r15
	jmp	LBB0_15
LBB0_9:
	movq	16(%rbx), %rsi
	movq	%r14, %rdi
	callq	_sqlite3WalkExpr
	jmp	LBB0_15
LBB0_6:
	movq	16(%rbx), %rdi
	movl	4(%r14), %esi
	callq	_sqlite3ExprImpliesNonNullRow
	testl	%eax, %eax
	je	LBB0_15
## %bb.7:
	movq	8(%rbx), %rdi
	movl	4(%r14), %esi
	callq	_sqlite3ExprImpliesNonNullRow
	testl	%eax, %eax
	je	LBB0_15
## %bb.8:
	movl	$1, (%r14)
LBB0_15:
	movl	(%r15), %eax
	addq	$8, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
	.p2align	2, 0x90
	.data_region jt32
.set L0_0_set_3, LBB0_3-LJTI0_0
.set L0_0_set_10, LBB0_10-LJTI0_0
.set L0_0_set_4, LBB0_4-LJTI0_0
.set L0_0_set_9, LBB0_9-LJTI0_0
.set L0_0_set_6, LBB0_6-LJTI0_0
LJTI0_0:
	.long	L0_0_set_3
	.long	L0_0_set_3
	.long	L0_0_set_3
	.long	L0_0_set_10
	.long	L0_0_set_10
	.long	L0_0_set_10
	.long	L0_0_set_3
	.long	L0_0_set_3
	.long	L0_0_set_3
	.long	L0_0_set_3
	.long	L0_0_set_10
	.long	L0_0_set_10
	.long	L0_0_set_3
	.long	L0_0_set_10
	.long	L0_0_set_4
	.long	L0_0_set_3
	.long	L0_0_set_9
	.long	L0_0_set_6
	.end_data_region
                                        ## -- End function
	.comm	_TK_AGG_COLUMN,4,2              ## @TK_AGG_COLUMN
	.comm	_TK_AGG_FUNCTION,4,2            ## @TK_AGG_FUNCTION
	.comm	_EP_FromJoin,4,2                ## @EP_FromJoin
	.comm	_WRC_Prune,4,2                  ## @WRC_Prune
	.comm	_WRC_Abort,4,2                  ## @WRC_Abort
	.comm	_WRC_Continue,4,2               ## @WRC_Continue
	.no_dead_strip	_impliesNotNullRow
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function impliesNotNullRow
_impliesNotNullRow:                     ; @impliesNotNullRow
	.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	x19, x1
	mov	x20, x0
	ldr	w8, [x1]
Lloh0:
	adrp	x9, _TK_AGG_COLUMN@GOTPAGE
Lloh1:
	ldr	x9, [x9, _TK_AGG_COLUMN@GOTPAGEOFF]
Lloh2:
	ldr	w9, [x9]
	cmp	w8, w9
	cset	w0, eq
	bl	_testcase
	ldr	w8, [x19]
Lloh3:
	adrp	x9, _TK_AGG_FUNCTION@GOTPAGE
Lloh4:
	ldr	x9, [x9, _TK_AGG_FUNCTION@GOTPAGEOFF]
Lloh5:
	ldr	w9, [x9]
	cmp	w8, w9
	cset	w0, eq
	bl	_testcase
Lloh6:
	adrp	x8, _EP_FromJoin@GOTPAGE
Lloh7:
	ldr	x8, [x8, _EP_FromJoin@GOTPAGEOFF]
Lloh8:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_ExprHasProperty
	cbnz	x0, LBB0_4
; %bb.1:
	ldr	w8, [x19]
	sub	w9, w8, #128
	cmp	w9, #17
	b.hi	LBB0_10
; %bb.2:
Lloh9:
	adrp	x10, lJTI0_0@PAGE
Lloh10:
	add	x10, x10, lJTI0_0@PAGEOFF
	adr	x11, LBB0_3
	ldrb	w12, [x10, x9]
	add	x11, x11, x12, lsl #2
	br	x11
LBB0_3:
	cmp	w8, #135
	cset	w0, eq
	bl	_testcase
	ldr	w8, [x19]
	cmp	w8, #134
	cset	w0, eq
	bl	_testcase
	ldr	w8, [x19]
	cmp	w8, #130
	cset	w0, eq
	bl	_testcase
	ldr	w8, [x19]
	cmp	w8, #136
	cset	w0, eq
	bl	_testcase
	ldr	w8, [x19]
	cmp	w8, #129
	cset	w0, eq
	bl	_testcase
	ldr	w8, [x19]
	cmp	w8, #143
	cset	w0, eq
	bl	_testcase
	ldr	w8, [x19]
	cmp	w8, #137
	cset	w0, eq
	bl	_testcase
	ldr	w8, [x19]
	cmp	w8, #140
	cset	w0, eq
	bl	_testcase
	ldr	w8, [x19]
	cmp	w8, #128
	cset	w0, eq
	bl	_testcase
LBB0_4:
Lloh11:
	adrp	x8, _WRC_Prune@GOTPAGE
Lloh12:
	ldr	x8, [x8, _WRC_Prune@GOTPAGEOFF]
LBB0_5:
	ldr	w0, [x8]
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	ret
LBB0_6:
	cmp	w8, #141
	cset	w0, eq
	bl	_testcase
	ldr	w8, [x19]
	cmp	w8, #131
	cset	w0, eq
	bl	_testcase
	ldr	w8, [x19]
	cmp	w8, #132
	cset	w0, eq
	bl	_testcase
	ldr	w8, [x19]
	cmp	w8, #133
	cset	w0, eq
	bl	_testcase
	ldr	w8, [x19]
	cmp	w8, #138
	cset	w0, eq
	bl	_testcase
	ldr	w8, [x19]
	cmp	w8, #139
	cset	w0, eq
	bl	_testcase
	ldr	x8, [x19, #16]
	ldr	w9, [x8]
	cmp	w9, #142
	b.ne	LBB0_8
; %bb.7:
	ldr	w0, [x8, #4]
	bl	_IsVirtual
	cbnz	w0, LBB0_4
LBB0_8:
	ldr	x8, [x19, #8]
	ldr	w9, [x8]
	cmp	w9, #142
	b.ne	LBB0_10
; %bb.9:
	ldr	w0, [x8, #4]
	bl	_IsVirtual
	cbnz	w0, LBB0_4
LBB0_10:
Lloh13:
	adrp	x8, _WRC_Continue@GOTPAGE
Lloh14:
	ldr	x8, [x8, _WRC_Continue@GOTPAGEOFF]
	b	LBB0_5
LBB0_11:
	ldr	w8, [x20, #4]
	ldr	w9, [x19, #24]
	cmp	w8, w9
	b.ne	LBB0_4
; %bb.12:
	mov	w8, #1
	str	w8, [x20]
Lloh15:
	adrp	x8, _WRC_Abort@GOTPAGE
Lloh16:
	ldr	x8, [x8, _WRC_Abort@GOTPAGEOFF]
	b	LBB0_5
LBB0_13:
	ldr	x1, [x19, #16]
	mov	x0, x20
	bl	_sqlite3WalkExpr
	b	LBB0_4
LBB0_14:
	ldr	x0, [x19, #16]
	ldr	w1, [x20, #4]
	bl	_sqlite3ExprImpliesNonNullRow
	cbz	w0, LBB0_4
; %bb.15:
	ldr	x0, [x19, #8]
	ldr	w1, [x20, #4]
	bl	_sqlite3ExprImpliesNonNullRow
	cbz	w0, LBB0_4
; %bb.16:
	mov	w8, #1
	str	w8, [x20]
	b	LBB0_4
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpAdd	Lloh9, Lloh10
	.loh AdrpLdrGot	Lloh11, Lloh12
	.loh AdrpLdrGot	Lloh13, Lloh14
	.loh AdrpLdrGot	Lloh15, Lloh16
	.cfi_endproc
	.section	__TEXT,__const
lJTI0_0:
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_6-LBB0_3)>>2
	.byte	(LBB0_6-LBB0_3)>>2
	.byte	(LBB0_6-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_6-LBB0_3)>>2
	.byte	(LBB0_6-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_6-LBB0_3)>>2
	.byte	(LBB0_11-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_13-LBB0_3)>>2
	.byte	(LBB0_14-LBB0_3)>>2
                                        ; -- End function
	.comm	_TK_AGG_COLUMN,4,2              ; @TK_AGG_COLUMN
	.comm	_TK_AGG_FUNCTION,4,2            ; @TK_AGG_FUNCTION
	.comm	_EP_FromJoin,4,2                ; @EP_FromJoin
	.comm	_WRC_Prune,4,2                  ; @WRC_Prune
	.comm	_WRC_Abort,4,2                  ; @WRC_Abort
	.comm	_WRC_Continue,4,2               ; @WRC_Continue
	.no_dead_strip	_impliesNotNullRow
.subsections_via_symbols
