	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function validateCheckConstraint
_validateCheckConstraint:               ## @validateCheckConstraint
	.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
	subq	$56, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rdi, -72(%rbp)                 ## 8-byte Spill
	movq	(%rdi), %rax
	movq	(%rax), %rax
	movq	_RELKIND_FOREIGN_TABLE@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	je	LBB0_10
## %bb.1:
	movq	_RELKIND_PARTITIONED_TABLE@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	je	LBB0_10
## %bb.2:
	movl	%esi, %ebx
	movl	%esi, %edi
	callq	_GETSTRUCT
	movq	%rax, %r14
	xorl	%eax, %eax
	callq	_CreateExecutorState
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	movq	_CONSTROID@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_Anum_pg_constraint_conbin@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	leaq	-56(%rbp), %rcx
	movl	%ebx, %esi
	callq	_SysCacheGetAttr
	movl	%eax, %ebx
	cmpl	$0, -56(%rbp)
	je	LBB0_4
## %bb.3:
	movq	_ERROR@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movl	4(%r14), %edx
	leaq	L_.str(%rip), %rsi
	callq	_elog
LBB0_4:
	movq	%r14, -88(%rbp)                 ## 8-byte Spill
	movl	%ebx, %edi
	callq	_TextDatumGetCString
	movq	%rax, %rdi
	callq	_stringToNode
	movq	%rax, %rdi
	movq	-64(%rbp), %r12                 ## 8-byte Reload
	movq	%r12, %rsi
	callq	_ExecPrepareExpr
	movq	%rax, %rbx
	movq	%r12, %rdi
	callq	_GetPerTupleExprContext
	movq	%rax, %r14
	movq	-72(%rbp), %r15                 ## 8-byte Reload
	movq	%r15, %rdi
	xorl	%esi, %esi
	callq	_table_slot_create
	movq	%rax, %r13
	movq	%rax, (%r14)
	xorl	%eax, %eax
	callq	_GetLatestSnapshot
	movl	%eax, %edi
	callq	_RegisterSnapshot
	movq	%r15, %rdi
	movl	%eax, -48(%rbp)                 ## 4-byte Spill
	movl	%eax, %esi
	xorl	%edx, %edx
	xorl	%ecx, %ecx
	callq	_table_beginscan
	movl	%eax, %r15d
	movq	%r12, %rdi
	callq	_GetPerTupleMemoryContext
	movl	%eax, %edi
	callq	_MemoryContextSwitchTo
	movl	%eax, -44(%rbp)                 ## 4-byte Spill
	movq	_ForwardScanDirection@GOTPCREL(%rip), %r12
	movl	(%r12), %esi
	movl	%r15d, %edi
	movq	%r13, %rdx
	callq	_table_scan_getnextslot
	testq	%rax, %rax
	je	LBB0_9
## %bb.5:
	movq	%r14, -80(%rbp)                 ## 8-byte Spill
	jmp	LBB0_6
	.p2align	4, 0x90
LBB0_8:                                 ##   in Loop: Header=BB0_6 Depth=1
	movq	%r14, %rdi
	callq	_ResetExprContext
	movl	(%r12), %esi
	movl	%r15d, %edi
	movq	%r13, %rdx
	callq	_table_scan_getnextslot
	testq	%rax, %rax
	je	LBB0_9
LBB0_6:                                 ## =>This Inner Loop Header: Depth=1
	movq	%rbx, %rdi
	movq	%r14, %rsi
	callq	_ExecCheck
	testl	%eax, %eax
	jne	LBB0_8
## %bb.7:                               ##   in Loop: Header=BB0_6 Depth=1
	movq	_ERROR@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movl	%eax, -52(%rbp)                 ## 4-byte Spill
	movq	_ERRCODE_CHECK_VIOLATION@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_errcode
	movq	%r12, %r14
	movl	%r15d, %r12d
	movq	%r13, %r15
	movq	-88(%rbp), %r13                 ## 8-byte Reload
	movl	(%r13), %edi
	callq	_NameStr
	leaq	L_.str.1(%rip), %rdi
	movl	%eax, %esi
	callq	_errmsg
	movl	(%r13), %edi
	movq	%r15, %r13
	movl	%r12d, %r15d
	movq	%r14, %r12
	movq	-80(%rbp), %r14                 ## 8-byte Reload
	callq	_NameStr
	movq	-72(%rbp), %rdi                 ## 8-byte Reload
	movl	%eax, %esi
	callq	_errtableconstraint
	movl	-52(%rbp), %edi                 ## 4-byte Reload
	movl	%eax, %esi
	callq	_ereport
	jmp	LBB0_8
LBB0_9:
	movl	-44(%rbp), %edi                 ## 4-byte Reload
	callq	_MemoryContextSwitchTo
	movl	%r15d, %edi
	callq	_table_endscan
	movl	-48(%rbp), %edi                 ## 4-byte Reload
	callq	_UnregisterSnapshot
	movq	%r13, %rdi
	callq	_ExecDropSingleTupleTableSlot
	movq	-64(%rbp), %rdi                 ## 8-byte Reload
	callq	_FreeExecutorState
LBB0_10:
	addq	$56, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_RELKIND_FOREIGN_TABLE,8,3      ## @RELKIND_FOREIGN_TABLE
	.comm	_RELKIND_PARTITIONED_TABLE,8,3  ## @RELKIND_PARTITIONED_TABLE
	.comm	_CONSTROID,4,2                  ## @CONSTROID
	.comm	_Anum_pg_constraint_conbin,4,2  ## @Anum_pg_constraint_conbin
	.comm	_ERROR,4,2                      ## @ERROR
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"null conbin for constraint %u"

	.comm	_ForwardScanDirection,4,2       ## @ForwardScanDirection
	.comm	_ERRCODE_CHECK_VIOLATION,4,2    ## @ERRCODE_CHECK_VIOLATION
L_.str.1:                               ## @.str.1
	.asciz	"check constraint \"%s\" is violated by some row"

	.no_dead_strip	_validateCheckConstraint
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function validateCheckConstraint
_validateCheckConstraint:               ; @validateCheckConstraint
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #128
	.cfi_def_cfa_offset 128
	stp	x28, x27, [sp, #32]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #48]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #64]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #80]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #96]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #112]            ; 16-byte Folded Spill
	add	x29, sp, #112
	.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
	.cfi_offset w25, -72
	.cfi_offset w26, -80
	.cfi_offset w27, -88
	.cfi_offset w28, -96
	ldr	x8, [x0]
	ldr	x8, [x8]
Lloh0:
	adrp	x9, _RELKIND_FOREIGN_TABLE@GOTPAGE
Lloh1:
	ldr	x9, [x9, _RELKIND_FOREIGN_TABLE@GOTPAGEOFF]
Lloh2:
	ldr	x9, [x9]
Lloh3:
	adrp	x10, _RELKIND_PARTITIONED_TABLE@GOTPAGE
Lloh4:
	ldr	x10, [x10, _RELKIND_PARTITIONED_TABLE@GOTPAGEOFF]
Lloh5:
	ldr	x10, [x10]
	cmp	x8, x9
	ccmp	x8, x10, #4, ne
	b.eq	LBB0_9
; %bb.1:
	mov	x22, x1
	mov	x19, x0
	mov	x0, x1
	bl	_GETSTRUCT
	mov	x21, x0
	bl	_CreateExecutorState
	mov	x20, x0
Lloh6:
	adrp	x8, _CONSTROID@GOTPAGE
Lloh7:
	ldr	x8, [x8, _CONSTROID@GOTPAGEOFF]
Lloh8:
	ldr	w0, [x8]
Lloh9:
	adrp	x8, _Anum_pg_constraint_conbin@GOTPAGE
Lloh10:
	ldr	x8, [x8, _Anum_pg_constraint_conbin@GOTPAGEOFF]
Lloh11:
	ldr	w2, [x8]
	add	x3, sp, #28
	mov	x1, x22
	bl	_SysCacheGetAttr
	mov	x22, x0
	ldr	w8, [sp, #28]
Lloh12:
	adrp	x27, _ERROR@GOTPAGE
Lloh13:
	ldr	x27, [x27, _ERROR@GOTPAGEOFF]
	cbz	w8, LBB0_3
; %bb.2:
	ldr	w0, [x27]
	ldr	w2, [x21, #4]
Lloh14:
	adrp	x1, l_.str@PAGE
Lloh15:
	add	x1, x1, l_.str@PAGEOFF
	bl	_elog
LBB0_3:
	mov	x0, x22
	bl	_TextDatumGetCString
	bl	_stringToNode
	mov	x1, x20
	bl	_ExecPrepareExpr
	mov	x23, x0
	mov	x0, x20
	bl	_GetPerTupleExprContext
	mov	x24, x0
	mov	x0, x19
	mov	x1, #0
	bl	_table_slot_create
	mov	x22, x0
	str	x0, [x24]
	bl	_GetLatestSnapshot
	bl	_RegisterSnapshot
	mov	x1, x0
	mov	x0, x19
	str	w1, [sp, #12]                   ; 4-byte Folded Spill
	mov	w2, #0
	mov	x3, #0
	bl	_table_beginscan
	mov	x26, x0
	str	x20, [sp, #16]                  ; 8-byte Folded Spill
	mov	x0, x20
	bl	_GetPerTupleMemoryContext
	bl	_MemoryContextSwitchTo
	str	w0, [sp, #8]                    ; 4-byte Folded Spill
Lloh16:
	adrp	x20, _ForwardScanDirection@GOTPAGE
Lloh17:
	ldr	x20, [x20, _ForwardScanDirection@GOTPAGEOFF]
	ldr	w1, [x20]
	mov	x0, x26
	mov	x2, x22
	bl	_table_scan_getnextslot
	cbz	x0, LBB0_8
; %bb.4:
Lloh18:
	adrp	x28, l_.str.1@PAGE
Lloh19:
	add	x28, x28, l_.str.1@PAGEOFF
	b	LBB0_6
LBB0_5:                                 ;   in Loop: Header=BB0_6 Depth=1
	mov	x0, x24
	bl	_ResetExprContext
	ldr	w1, [x20]
	mov	x0, x26
	mov	x2, x22
	bl	_table_scan_getnextslot
	cbz	x0, LBB0_8
LBB0_6:                                 ; =>This Inner Loop Header: Depth=1
	mov	x0, x23
	mov	x1, x24
	bl	_ExecCheck
	cbnz	w0, LBB0_5
; %bb.7:                                ;   in Loop: Header=BB0_6 Depth=1
	ldr	w25, [x27]
Lloh20:
	adrp	x8, _ERRCODE_CHECK_VIOLATION@GOTPAGE
Lloh21:
	ldr	x8, [x8, _ERRCODE_CHECK_VIOLATION@GOTPAGEOFF]
Lloh22:
	ldr	w0, [x8]
	bl	_errcode
	ldr	w0, [x21]
	bl	_NameStr
	mov	x1, x0
	mov	x0, x28
	bl	_errmsg
	ldr	w0, [x21]
	bl	_NameStr
	mov	x1, x0
	mov	x0, x19
	bl	_errtableconstraint
	mov	x1, x0
	mov	x0, x25
	bl	_ereport
	b	LBB0_5
LBB0_8:
	ldr	w0, [sp, #8]                    ; 4-byte Folded Reload
	bl	_MemoryContextSwitchTo
	mov	x0, x26
	bl	_table_endscan
	ldr	w0, [sp, #12]                   ; 4-byte Folded Reload
	bl	_UnregisterSnapshot
	mov	x0, x22
	bl	_ExecDropSingleTupleTableSlot
	ldr	x0, [sp, #16]                   ; 8-byte Folded Reload
	bl	_FreeExecutorState
LBB0_9:
	ldp	x29, x30, [sp, #112]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #96]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #80]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #64]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #48]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #32]             ; 16-byte Folded Reload
	add	sp, sp, #128
	ret
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh12, Lloh13
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpAdd	Lloh14, Lloh15
	.loh AdrpLdrGot	Lloh16, Lloh17
	.loh AdrpAdd	Lloh18, Lloh19
	.loh AdrpLdrGotLdr	Lloh20, Lloh21, Lloh22
	.cfi_endproc
                                        ; -- End function
	.comm	_RELKIND_FOREIGN_TABLE,8,3      ; @RELKIND_FOREIGN_TABLE
	.comm	_RELKIND_PARTITIONED_TABLE,8,3  ; @RELKIND_PARTITIONED_TABLE
	.comm	_CONSTROID,4,2                  ; @CONSTROID
	.comm	_Anum_pg_constraint_conbin,4,2  ; @Anum_pg_constraint_conbin
	.comm	_ERROR,4,2                      ; @ERROR
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"null conbin for constraint %u"

	.comm	_ForwardScanDirection,4,2       ; @ForwardScanDirection
	.comm	_ERRCODE_CHECK_VIOLATION,4,2    ; @ERRCODE_CHECK_VIOLATION
l_.str.1:                               ; @.str.1
	.asciz	"check constraint \"%s\" is violated by some row"

	.no_dead_strip	_validateCheckConstraint
.subsections_via_symbols
