	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_JsonEncodeDateTime             ## -- Begin function JsonEncodeDateTime
	.p2align	4, 0x90
_JsonEncodeDateTime:                    ## @JsonEncodeDateTime
	.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	%r12
	pushq	%rbx
	subq	$48, %rsp
	.cfi_offset %rbx, -48
	.cfi_offset %r12, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rcx, %r14
	movl	%edx, %ebx
	movl	%esi, %r12d
	movq	%rdi, %r15
	testq	%rdi, %rdi
	jne	LBB0_2
## %bb.1:
	movq	_MAXDATELEN@GOTPCREL(%rip), %rax
	movq	(%rax), %rdi
	incq	%rdi
	callq	_palloc
	movq	%rax, %r15
LBB0_2:
	leal	-128(%rbx), %eax
	cmpl	$4, %eax
	ja	LBB0_5
## %bb.3:
	leaq	LJTI0_0(%rip), %rcx
	movslq	(%rcx,%rax,4), %rax
	addq	%rcx, %rax
	jmpq	*%rax
LBB0_4:
	movl	%r12d, %edi
	callq	_DatumGetTimeTzADTP
	leaq	-64(%rbp), %rbx
	leaq	-48(%rbp), %rdx
	leaq	-36(%rbp), %rcx
	movq	%rax, %rdi
	movq	%rbx, %rsi
	callq	_timetz2tm
	movl	-48(%rbp), %esi
	movl	-36(%rbp), %ecx
	movq	_USE_XSD_DATES@GOTPCREL(%rip), %rax
	movl	(%rax), %r8d
	movq	%rbx, %rdi
	movl	$1, %edx
	jmp	LBB0_16
LBB0_5:
	movq	_ERROR@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.1(%rip), %rsi
	movl	%ebx, %edx
	callq	_elog
	xorl	%r15d, %r15d
	jmp	LBB0_24
LBB0_6:
	movq	$0, -48(%rbp)
	movl	%r12d, %edi
	callq	_DatumGetTimestampTz
	movl	%eax, %ebx
	testq	%r14, %r14
	je	LBB0_8
## %bb.7:
	movl	(%r14), %eax
	movl	%eax, -36(%rbp)
	movq	_USECS_PER_SEC@GOTPCREL(%rip), %rcx
	imull	(%rcx), %eax
	subl	%eax, %ebx
LBB0_8:
	movl	%ebx, %edi
	callq	_TIMESTAMP_NOT_FINITE
	testl	%eax, %eax
	jne	LBB0_14
## %bb.9:
	xorl	%eax, %eax
	testq	%r14, %r14
	leaq	-36(%rbp), %rsi
	cmovneq	%rax, %rsi
	leaq	-48(%rbp), %r8
	cmovneq	%rax, %r8
	leaq	-64(%rbp), %rdx
	leaq	-68(%rbp), %rcx
	movl	%ebx, %edi
	xorl	%r9d, %r9d
	callq	_timestamp2tm
	testl	%eax, %eax
	jne	LBB0_20
## %bb.10:
	testq	%r14, %r14
	je	LBB0_12
## %bb.11:
	movl	$1, -64(%rbp)
LBB0_12:
	movl	-68(%rbp), %esi
	movl	-36(%rbp), %ecx
	movq	-48(%rbp), %r8
	movq	_USE_XSD_DATES@GOTPCREL(%rip), %rax
	movl	(%rax), %r9d
	movq	%r15, (%rsp)
	leaq	-64(%rbp), %rdi
	movl	$1, %edx
	jmp	LBB0_23
LBB0_13:
	movl	%r12d, %edi
	callq	_DatumGetTimestamp
	movl	%eax, %ebx
	movl	%eax, %edi
	callq	_TIMESTAMP_NOT_FINITE
	testl	%eax, %eax
	je	LBB0_19
LBB0_14:
	movl	%ebx, %edi
	movq	%r15, %rsi
	callq	_EncodeSpecialTimestamp
	jmp	LBB0_24
LBB0_15:
	movl	%r12d, %edi
	callq	_DatumGetTimeADT
	leaq	-64(%rbp), %rbx
	leaq	-48(%rbp), %rdx
	movl	%eax, %edi
	movq	%rbx, %rsi
	callq	_time2tm
	movl	-48(%rbp), %esi
	movq	_USE_XSD_DATES@GOTPCREL(%rip), %rax
	movl	(%rax), %r8d
	movq	%rbx, %rdi
	xorl	%edx, %edx
	xorl	%ecx, %ecx
LBB0_16:
	movq	%r15, %r9
	callq	_EncodeTimeOnly
	jmp	LBB0_24
LBB0_17:
	movl	%r12d, %edi
	callq	_DatumGetDateADT
	movq	%rax, %rbx
	movq	%rax, %rdi
	callq	_DATE_NOT_FINITE
	testl	%eax, %eax
	je	LBB0_21
## %bb.18:
	movq	%rbx, %rdi
	movq	%r15, %rsi
	callq	_EncodeSpecialDate
	jmp	LBB0_24
LBB0_19:
	leaq	-64(%rbp), %rdx
	leaq	-48(%rbp), %rcx
	movl	%ebx, %edi
	xorl	%esi, %esi
	xorl	%r8d, %r8d
	xorl	%r9d, %r9d
	callq	_timestamp2tm
	testl	%eax, %eax
	je	LBB0_22
LBB0_20:
	movq	_ERROR@GOTPCREL(%rip), %rax
	movl	(%rax), %ebx
	movq	_ERRCODE_DATETIME_VALUE_OUT_OF_RANGE@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_errcode
	leaq	L_.str(%rip), %rdi
	callq	_errmsg
	movl	%ebx, %edi
	movl	%eax, %esi
	callq	_ereport
	jmp	LBB0_24
LBB0_21:
	movq	_POSTGRES_EPOCH_JDATE@GOTPCREL(%rip), %rax
	movq	(%rax), %rdi
	addq	%rbx, %rdi
	leaq	-52(%rbp), %rsi
	leaq	-56(%rbp), %rdx
	leaq	-60(%rbp), %rcx
	callq	_j2date
	movq	_USE_XSD_DATES@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	leaq	-64(%rbp), %rdi
	movq	%r15, %rdx
	callq	_EncodeDateOnly
	jmp	LBB0_24
LBB0_22:
	movl	-48(%rbp), %esi
	movq	_USE_XSD_DATES@GOTPCREL(%rip), %rax
	movl	(%rax), %r9d
	movq	%r15, (%rsp)
	leaq	-64(%rbp), %rdi
	xorl	%edx, %edx
	xorl	%ecx, %ecx
	xorl	%r8d, %r8d
LBB0_23:
	callq	_EncodeDateTime
LBB0_24:
	movq	%r15, %rax
	addq	$48, %rsp
	popq	%rbx
	popq	%r12
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
	.p2align	2, 0x90
	.data_region jt32
.set L0_0_set_4, LBB0_4-LJTI0_0
.set L0_0_set_6, LBB0_6-LJTI0_0
.set L0_0_set_13, LBB0_13-LJTI0_0
.set L0_0_set_15, LBB0_15-LJTI0_0
.set L0_0_set_17, LBB0_17-LJTI0_0
LJTI0_0:
	.long	L0_0_set_4
	.long	L0_0_set_6
	.long	L0_0_set_13
	.long	L0_0_set_15
	.long	L0_0_set_17
	.end_data_region
                                        ## -- End function
	.comm	_MAXDATELEN,8,3                 ## @MAXDATELEN
	.comm	_POSTGRES_EPOCH_JDATE,8,3       ## @POSTGRES_EPOCH_JDATE
	.comm	_USE_XSD_DATES,4,2              ## @USE_XSD_DATES
	.comm	_ERROR,4,2                      ## @ERROR
	.comm	_ERRCODE_DATETIME_VALUE_OUT_OF_RANGE,4,2 ## @ERRCODE_DATETIME_VALUE_OUT_OF_RANGE
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"timestamp out of range"

	.comm	_USECS_PER_SEC,4,2              ## @USECS_PER_SEC
L_.str.1:                               ## @.str.1
	.asciz	"unknown jsonb value datetime type oid %d"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_JsonEncodeDateTime             ; -- Begin function JsonEncodeDateTime
	.p2align	2
_JsonEncodeDateTime:                    ; @JsonEncodeDateTime
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #80
	.cfi_def_cfa_offset 80
	stp	x22, x21, [sp, #32]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #48]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #64]             ; 16-byte Folded Spill
	add	x29, sp, #64
	.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
	mov	x20, x3
	mov	x22, x2
	mov	x21, x1
	mov	x19, x0
	cbnz	x0, LBB0_2
; %bb.1:
Lloh0:
	adrp	x8, _MAXDATELEN@GOTPAGE
Lloh1:
	ldr	x8, [x8, _MAXDATELEN@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	add	x0, x8, #1
	bl	_palloc
	mov	x19, x0
LBB0_2:
	sub	w8, w22, #128
	cmp	w8, #4
	b.hi	LBB0_5
; %bb.3:
Lloh3:
	adrp	x9, lJTI0_0@PAGE
Lloh4:
	add	x9, x9, lJTI0_0@PAGEOFF
	adr	x10, LBB0_4
	ldrb	w11, [x9, x8]
	add	x10, x10, x11, lsl #2
	br	x10
LBB0_4:
	mov	x0, x21
	bl	_DatumGetTimeTzADTP
	add	x1, sp, #16
	mov	x2, sp
	add	x3, sp, #12
	bl	_timetz2tm
	ldr	w1, [sp]
	ldr	w3, [sp, #12]
Lloh5:
	adrp	x8, _USE_XSD_DATES@GOTPAGE
Lloh6:
	ldr	x8, [x8, _USE_XSD_DATES@GOTPAGEOFF]
Lloh7:
	ldr	w4, [x8]
	add	x0, sp, #16
	mov	w2, #1
	b	LBB0_14
LBB0_5:
Lloh8:
	adrp	x8, _ERROR@GOTPAGE
Lloh9:
	ldr	x8, [x8, _ERROR@GOTPAGEOFF]
Lloh10:
	ldr	w0, [x8]
Lloh11:
	adrp	x1, l_.str.1@PAGE
Lloh12:
	add	x1, x1, l_.str.1@PAGEOFF
	mov	x2, x22
	bl	_elog
	mov	x19, #0
	b	LBB0_26
LBB0_6:
	str	xzr, [sp]
	mov	x0, x21
	bl	_DatumGetTimestampTz
	mov	x21, x0
	cbz	x20, LBB0_8
; %bb.7:
	ldr	w8, [x20]
	str	w8, [sp, #12]
Lloh13:
	adrp	x9, _USECS_PER_SEC@GOTPAGE
Lloh14:
	ldr	x9, [x9, _USECS_PER_SEC@GOTPAGEOFF]
Lloh15:
	ldr	w9, [x9]
	msub	w21, w9, w8, w21
LBB0_8:
	mov	x0, x21
	bl	_TIMESTAMP_NOT_FINITE
	cbz	w0, LBB0_17
; %bb.9:
	mov	x0, x21
	b	LBB0_12
LBB0_10:
	mov	x0, x21
	bl	_DatumGetTimestamp
	mov	x20, x0
	bl	_TIMESTAMP_NOT_FINITE
	cbz	w0, LBB0_21
; %bb.11:
	mov	x0, x20
LBB0_12:
	mov	x1, x19
	bl	_EncodeSpecialTimestamp
	b	LBB0_26
LBB0_13:
	mov	x0, x21
	bl	_DatumGetTimeADT
	add	x1, sp, #16
	mov	x2, sp
	bl	_time2tm
	ldr	w1, [sp]
Lloh16:
	adrp	x8, _USE_XSD_DATES@GOTPAGE
Lloh17:
	ldr	x8, [x8, _USE_XSD_DATES@GOTPAGEOFF]
Lloh18:
	ldr	w4, [x8]
	add	x0, sp, #16
	mov	w2, #0
	mov	w3, #0
LBB0_14:
	mov	x5, x19
	bl	_EncodeTimeOnly
	b	LBB0_26
LBB0_15:
	mov	x0, x21
	bl	_DatumGetDateADT
	mov	x20, x0
	bl	_DATE_NOT_FINITE
	cbz	w0, LBB0_23
; %bb.16:
	mov	x0, x20
	mov	x1, x19
	bl	_EncodeSpecialDate
	b	LBB0_26
LBB0_17:
	add	x8, sp, #12
	cmp	x20, #0
	csel	x1, x8, xzr, eq
	mov	x8, sp
	csel	x4, x8, xzr, eq
	add	x2, sp, #16
	add	x3, sp, #8
	mov	x0, x21
	mov	x5, #0
	bl	_timestamp2tm
	cbnz	w0, LBB0_22
; %bb.18:
	cbz	x20, LBB0_20
; %bb.19:
	mov	w8, #1
	str	w8, [sp, #16]
LBB0_20:
	ldp	w1, w3, [sp, #8]
	ldr	x4, [sp]
Lloh19:
	adrp	x8, _USE_XSD_DATES@GOTPAGE
Lloh20:
	ldr	x8, [x8, _USE_XSD_DATES@GOTPAGEOFF]
Lloh21:
	ldr	w5, [x8]
	add	x0, sp, #16
	mov	w2, #1
	b	LBB0_25
LBB0_21:
	add	x2, sp, #16
	mov	x3, sp
	mov	x0, x20
	mov	x1, #0
	mov	x4, #0
	mov	x5, #0
	bl	_timestamp2tm
	cbz	w0, LBB0_24
LBB0_22:
Lloh22:
	adrp	x8, _ERROR@GOTPAGE
Lloh23:
	ldr	x8, [x8, _ERROR@GOTPAGEOFF]
Lloh24:
	ldr	w20, [x8]
Lloh25:
	adrp	x8, _ERRCODE_DATETIME_VALUE_OUT_OF_RANGE@GOTPAGE
Lloh26:
	ldr	x8, [x8, _ERRCODE_DATETIME_VALUE_OUT_OF_RANGE@GOTPAGEOFF]
Lloh27:
	ldr	w0, [x8]
	bl	_errcode
Lloh28:
	adrp	x0, l_.str@PAGE
Lloh29:
	add	x0, x0, l_.str@PAGEOFF
	bl	_errmsg
	mov	x1, x0
	mov	x0, x20
	bl	_ereport
	b	LBB0_26
LBB0_23:
Lloh30:
	adrp	x8, _POSTGRES_EPOCH_JDATE@GOTPAGE
Lloh31:
	ldr	x8, [x8, _POSTGRES_EPOCH_JDATE@GOTPAGEOFF]
Lloh32:
	ldr	x8, [x8]
	add	x0, x8, x20
	add	x8, sp, #16
	add	x1, x8, #12
	add	x2, x8, #8
	orr	x3, x8, #0x4
	bl	_j2date
Lloh33:
	adrp	x8, _USE_XSD_DATES@GOTPAGE
Lloh34:
	ldr	x8, [x8, _USE_XSD_DATES@GOTPAGEOFF]
Lloh35:
	ldr	w1, [x8]
	add	x0, sp, #16
	mov	x2, x19
	bl	_EncodeDateOnly
	b	LBB0_26
LBB0_24:
	ldr	w1, [sp]
Lloh36:
	adrp	x8, _USE_XSD_DATES@GOTPAGE
Lloh37:
	ldr	x8, [x8, _USE_XSD_DATES@GOTPAGEOFF]
Lloh38:
	ldr	w5, [x8]
	add	x0, sp, #16
	mov	w2, #0
	mov	w3, #0
	mov	x4, #0
LBB0_25:
	mov	x6, x19
	bl	_EncodeDateTime
LBB0_26:
	mov	x0, x19
	ldp	x29, x30, [sp, #64]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #48]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #32]             ; 16-byte Folded Reload
	add	sp, sp, #80
	ret
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpAdd	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh5, Lloh6, Lloh7
	.loh AdrpAdd	Lloh11, Lloh12
	.loh AdrpLdrGotLdr	Lloh8, Lloh9, Lloh10
	.loh AdrpLdrGotLdr	Lloh13, Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh16, Lloh17, Lloh18
	.loh AdrpLdrGotLdr	Lloh19, Lloh20, Lloh21
	.loh AdrpAdd	Lloh28, Lloh29
	.loh AdrpLdrGotLdr	Lloh25, Lloh26, Lloh27
	.loh AdrpLdrGotLdr	Lloh22, Lloh23, Lloh24
	.loh AdrpLdrGotLdr	Lloh33, Lloh34, Lloh35
	.loh AdrpLdrGotLdr	Lloh30, Lloh31, Lloh32
	.loh AdrpLdrGotLdr	Lloh36, Lloh37, Lloh38
	.cfi_endproc
	.section	__TEXT,__const
lJTI0_0:
	.byte	(LBB0_4-LBB0_4)>>2
	.byte	(LBB0_6-LBB0_4)>>2
	.byte	(LBB0_10-LBB0_4)>>2
	.byte	(LBB0_13-LBB0_4)>>2
	.byte	(LBB0_15-LBB0_4)>>2
                                        ; -- End function
	.comm	_MAXDATELEN,8,3                 ; @MAXDATELEN
	.comm	_POSTGRES_EPOCH_JDATE,8,3       ; @POSTGRES_EPOCH_JDATE
	.comm	_USE_XSD_DATES,4,2              ; @USE_XSD_DATES
	.comm	_ERROR,4,2                      ; @ERROR
	.comm	_ERRCODE_DATETIME_VALUE_OUT_OF_RANGE,4,2 ; @ERRCODE_DATETIME_VALUE_OUT_OF_RANGE
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"timestamp out of range"

	.comm	_USECS_PER_SEC,4,2              ; @USECS_PER_SEC
l_.str.1:                               ; @.str.1
	.asciz	"unknown jsonb value datetime type oid %d"

.subsections_via_symbols
