	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function derive_constant_upper_bound
_derive_constant_upper_bound:           ## @derive_constant_upper_bound
	.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	$24, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	%esi, %r14d
	movl	%edi, %ebx
	callq	_TREE_TYPE
	movl	%eax, %r12d
	movl	%eax, %edi
	callq	_INTEGRAL_TYPE_P
	movl	%r12d, %edi
	testq	%rax, %rax
	je	LBB0_2
## %bb.1:
	callq	_TYPE_MAX_VALUE
	jmp	LBB0_3
LBB0_2:
	movl	%r12d, %esi
	callq	_upper_bound_in_type
LBB0_3:
	movl	%eax, %edi
	callq	_tree_to_double_int
	movl	%eax, %r15d
	movl	%ebx, %edi
	callq	_TREE_CODE
                                        ## kill: def $eax killed $eax def $rax
	addl	$-128, %eax
	cmpl	$6, %eax
	ja	LBB0_25
## %bb.4:
	leaq	LJTI0_0(%rip), %rcx
	movslq	(%rcx,%rax,4), %rax
	addq	%rcx, %rax
	jmpq	*%rax
LBB0_10:
	movl	%r14d, -44(%rbp)                ## 4-byte Spill
	movl	%ebx, %edi
	xorl	%esi, %esi
	callq	_TREE_OPERAND
	movl	%eax, %r14d
	movl	%ebx, %edi
	movl	$1, %esi
	callq	_TREE_OPERAND
	movl	%eax, %r13d
	movl	%eax, %edi
	callq	_TREE_CODE
	cmpl	$131, %eax
	jne	LBB0_25
## %bb.11:
	movl	-44(%rbp), %edi                 ## 4-byte Reload
	movl	%r14d, -48(%rbp)                ## 4-byte Spill
	movl	%r14d, %esi
	callq	_implies_nonnegative_p
	testl	%eax, %eax
	je	LBB0_25
## %bb.12:
	movl	%r13d, %edi
	callq	_tree_to_double_int
	movl	%eax, %r13d
	movl	%r12d, %edi
	callq	_TYPE_PRECISION
	movl	%r13d, %edi
	movl	%eax, %esi
	callq	_double_int_sext
	movl	%eax, %r13d
	movl	%ebx, %edi
	callq	_TREE_CODE
	cmpl	$128, %eax
	jne	LBB0_14
## %bb.13:
	movl	%r13d, %edi
	callq	_double_int_neg
	movl	%eax, %r13d
LBB0_14:
	movl	-48(%rbp), %edi                 ## 4-byte Reload
	movl	-44(%rbp), %eax                 ## 4-byte Reload
	movl	%eax, %ebx
	movl	%eax, %esi
	callq	_derive_constant_upper_bound
	movl	%eax, %r14d
	movl	%r13d, %edi
	callq	_double_int_negative_p
	testl	%eax, %eax
	je	LBB0_19
## %bb.15:
	movl	%r13d, %edi
	callq	_double_int_neg
	movl	%eax, %ebx
	movl	%eax, %edi
	callq	_double_int_negative_p
	testl	%eax, %eax
	jne	LBB0_25
## %bb.16:
	movl	%ebx, %edi
	callq	_double_int_neg
	movl	%r15d, %edi
	movl	%eax, %esi
	callq	_double_int_add
	movl	%r14d, %edi
	movl	%eax, %esi
	callq	_double_int_ucmp
	testl	%eax, %eax
	jg	LBB0_25
## %bb.17:
	movl	%r14d, %edi
	movl	%ebx, %esi
	jmp	LBB0_18
LBB0_6:
	movl	%ebx, %edi
	xorl	%esi, %esi
	callq	_TREE_OPERAND
	movl	%eax, %ebx
	movl	%eax, %edi
	callq	_TREE_TYPE
	movl	%eax, %edi
	callq	_TYPE_UNSIGNED
	testl	%eax, %eax
	je	LBB0_7
LBB0_9:
	movl	%ebx, %edi
	movl	%r14d, %esi
	callq	_derive_constant_upper_bound
	movl	%eax, %ebx
	movl	%r15d, %edi
	movl	%eax, %esi
	callq	_double_int_ucmp
	testl	%eax, %eax
	cmovnsl	%ebx, %r15d
	jmp	LBB0_25
LBB0_23:
	movl	%ebx, %edi
	xorl	%esi, %esi
	callq	_TREE_OPERAND
	movl	%eax, %r12d
	movl	%ebx, %edi
	movl	$1, %esi
	callq	_TREE_OPERAND
	movl	%eax, %ebx
	movl	%eax, %edi
	callq	_TREE_CODE
	cmpl	$131, %eax
	jne	LBB0_25
## %bb.24:
	movl	%ebx, %edi
	callq	_tree_int_cst_sign_bit
	testl	%eax, %eax
	jne	LBB0_25
## %bb.26:
	movl	%r12d, %edi
	movl	%r14d, %esi
	callq	_derive_constant_upper_bound
	movl	%eax, %r14d
	movl	%ebx, %edi
	callq	_tree_to_double_int
	movl	%r14d, %edi
	movl	%eax, %esi
	movl	$132, %edx
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_double_int_udiv                ## TAILCALL
LBB0_5:
	movl	%ebx, %edi
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_tree_to_double_int             ## TAILCALL
LBB0_7:
	movl	%r12d, %edi
	callq	_TYPE_UNSIGNED
	testl	%eax, %eax
	je	LBB0_9
## %bb.8:
	movl	%r14d, %edi
	movl	%ebx, %esi
	callq	_implies_nonnegative_p
	testl	%eax, %eax
	jne	LBB0_9
	jmp	LBB0_25
LBB0_19:
	movl	%r14d, -56(%rbp)                ## 4-byte Spill
	movl	%r14d, %edi
	movl	%r13d, -52(%rbp)                ## 4-byte Spill
	movl	%r13d, %esi
	callq	_double_int_ucmp
	testl	%eax, %eax
	js	LBB0_25
## %bb.20:
	movl	%r12d, %edi
	callq	_TYPE_UNSIGNED
	testl	%eax, %eax
	movl	-56(%rbp), %r13d                ## 4-byte Reload
	je	LBB0_22
## %bb.21:
	movl	%r12d, %edi
	movl	-52(%rbp), %esi                 ## 4-byte Reload
	callq	_double_int_to_tree
	movl	-44(%rbp), %edi                 ## 4-byte Reload
	movl	-48(%rbp), %esi                 ## 4-byte Reload
	movl	%eax, %edx
	callq	_implies_ge_p
	testl	%eax, %eax
	je	LBB0_25
LBB0_22:
	movl	-52(%rbp), %edi                 ## 4-byte Reload
	callq	_double_int_neg
	movl	%r13d, %edi
	movl	%eax, %esi
LBB0_18:
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_double_int_add                 ## TAILCALL
LBB0_25:
	movl	%r15d, %eax
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
	.p2align	2, 0x90
	.data_region jt32
.set L0_0_set_10, LBB0_10-LJTI0_0
.set L0_0_set_6, LBB0_6-LJTI0_0
.set L0_0_set_5, LBB0_5-LJTI0_0
.set L0_0_set_23, LBB0_23-LJTI0_0
LJTI0_0:
	.long	L0_0_set_10
	.long	L0_0_set_6
	.long	L0_0_set_10
	.long	L0_0_set_5
	.long	L0_0_set_23
	.long	L0_0_set_23
	.long	L0_0_set_6
	.end_data_region
                                        ## -- End function
	.no_dead_strip	_derive_constant_upper_bound
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function derive_constant_upper_bound
_derive_constant_upper_bound:           ; @derive_constant_upper_bound
	.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	x20, x1
	mov	x22, x0
	bl	_TREE_TYPE
	mov	x21, x0
	bl	_INTEGRAL_TYPE_P
	cbz	x0, LBB0_2
; %bb.1:
	mov	x0, x21
	bl	_TYPE_MAX_VALUE
	b	LBB0_3
LBB0_2:
	mov	x0, x21
	mov	x1, x21
	bl	_upper_bound_in_type
LBB0_3:
	bl	_tree_to_double_int
	mov	x19, x0
	mov	x0, x22
	bl	_TREE_CODE
	sub	w8, w0, #128
	cmp	w8, #6
	b.hi	LBB0_26
; %bb.4:
Lloh0:
	adrp	x9, lJTI0_0@PAGE
Lloh1:
	add	x9, x9, lJTI0_0@PAGEOFF
	adr	x10, LBB0_5
	ldrb	w11, [x9, x8]
	add	x10, x10, x11, lsl #2
	br	x10
LBB0_5:
	mov	x0, x22
	mov	w1, #0
	bl	_TREE_OPERAND
	mov	x23, x0
	mov	x0, x22
	mov	w1, #1
	bl	_TREE_OPERAND
	mov	x24, x0
	bl	_TREE_CODE
	cmp	w0, #131
	b.ne	LBB0_26
; %bb.6:
	mov	x0, x20
	mov	x1, x23
	bl	_implies_nonnegative_p
	cbz	w0, LBB0_26
; %bb.7:
	mov	x0, x24
	bl	_tree_to_double_int
	mov	x24, x0
	mov	x0, x21
	bl	_TYPE_PRECISION
	mov	x1, x0
	mov	x0, x24
	bl	_double_int_sext
	mov	x24, x0
	mov	x0, x22
	bl	_TREE_CODE
	cmp	w0, #128
	b.ne	LBB0_9
; %bb.8:
	mov	x0, x24
	bl	_double_int_neg
	mov	x24, x0
LBB0_9:
	mov	x0, x23
	mov	x1, x20
	bl	_derive_constant_upper_bound
	mov	x22, x0
	mov	x0, x24
	bl	_double_int_negative_p
	cbz	w0, LBB0_21
; %bb.10:
	mov	x0, x24
	bl	_double_int_neg
	mov	x20, x0
	bl	_double_int_negative_p
	cbnz	w0, LBB0_26
; %bb.11:
	mov	x0, x20
	bl	_double_int_neg
	mov	x1, x0
	mov	x0, x19
	bl	_double_int_add
	mov	x1, x0
	mov	x0, x22
	bl	_double_int_ucmp
	cmp	w0, #0
	b.gt	LBB0_26
; %bb.12:
	mov	x0, x22
	mov	x1, x20
	b	LBB0_25
LBB0_13:
	mov	x0, x22
	mov	w1, #0
	bl	_TREE_OPERAND
	mov	x22, x0
	bl	_TREE_TYPE
	bl	_TYPE_UNSIGNED
	cbz	w0, LBB0_19
LBB0_14:
	mov	x0, x22
	mov	x1, x20
	bl	_derive_constant_upper_bound
	mov	x20, x0
	mov	x0, x19
	mov	x1, x20
	bl	_double_int_ucmp
	cmp	w0, #0
	csel	w19, w19, w20, lt
	b	LBB0_26
LBB0_15:
	mov	x0, x22
	mov	w1, #0
	bl	_TREE_OPERAND
	mov	x21, x0
	mov	x0, x22
	mov	w1, #1
	bl	_TREE_OPERAND
	mov	x22, x0
	bl	_TREE_CODE
	cmp	w0, #131
	b.ne	LBB0_26
; %bb.16:
	mov	x0, x22
	bl	_tree_int_cst_sign_bit
	cbnz	w0, LBB0_26
; %bb.17:
	mov	x0, x21
	mov	x1, x20
	bl	_derive_constant_upper_bound
	mov	x19, x0
	mov	x0, x22
	bl	_tree_to_double_int
	mov	x1, x0
	mov	x0, x19
	mov	w2, #132
	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	_double_int_udiv
LBB0_18:
	mov	x0, x22
	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	_tree_to_double_int
LBB0_19:
	mov	x0, x21
	bl	_TYPE_UNSIGNED
	cbz	w0, LBB0_14
; %bb.20:
	mov	x0, x20
	mov	x1, x22
	bl	_implies_nonnegative_p
	cbnz	w0, LBB0_14
	b	LBB0_26
LBB0_21:
	mov	x0, x22
	mov	x1, x24
	bl	_double_int_ucmp
	tbnz	w0, #31, LBB0_26
; %bb.22:
	mov	x0, x21
	bl	_TYPE_UNSIGNED
	cbz	w0, LBB0_24
; %bb.23:
	mov	x0, x21
	mov	x1, x24
	bl	_double_int_to_tree
	mov	x2, x0
	mov	x0, x20
	mov	x1, x23
	bl	_implies_ge_p
	cbz	w0, LBB0_26
LBB0_24:
	mov	x0, x24
	bl	_double_int_neg
	mov	x1, x0
	mov	x0, x22
LBB0_25:
	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	_double_int_add
LBB0_26:
	mov	x0, 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
	ret
	.loh AdrpAdd	Lloh0, Lloh1
	.cfi_endproc
	.section	__TEXT,__const
lJTI0_0:
	.byte	(LBB0_5-LBB0_5)>>2
	.byte	(LBB0_13-LBB0_5)>>2
	.byte	(LBB0_5-LBB0_5)>>2
	.byte	(LBB0_18-LBB0_5)>>2
	.byte	(LBB0_15-LBB0_5)>>2
	.byte	(LBB0_15-LBB0_5)>>2
	.byte	(LBB0_13-LBB0_5)>>2
                                        ; -- End function
	.no_dead_strip	_derive_constant_upper_bound
.subsections_via_symbols
