	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function print_range_type_named
_print_range_type_named:                ## @print_range_type_named
	.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	$40, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rsi, %rbx
	movq	%rdi, %r15
	callq	_ada_find_any_type
	movq	%rax, %r12
	testq	%rax, %rax
	movq	%rbx, -56(%rbp)                 ## 8-byte Spill
	je	LBB0_5
## %bb.1:
	movq	%r12, %rdi
	callq	_TYPE_CODE
	movq	_TYPE_CODE_RANGE@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_3
## %bb.2:
	movq	%r12, %rdi
	callq	_TYPE_TARGET_TYPE
LBB0_3:
	leaq	L_.str(%rip), %rsi
	movq	%r15, %rdi
	callq	_strstr
	movq	%rax, %r13
	testq	%rax, %rax
	jne	LBB0_6
## %bb.4:
	movq	%r12, %rdi
	movq	-56(%rbp), %rsi                 ## 8-byte Reload
	addq	$40, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_print_range                    ## TAILCALL
LBB0_5:
	leaq	L_.str(%rip), %rsi
	movq	%r15, %rdi
	callq	_strstr
	movq	%rax, %r13
	testq	%rax, %rax
	je	LBB0_13
LBB0_6:
	movl	%r13d, %ebx
	subl	%r15d, %ebx
	leaq	5(%r13), %r14
	movq	%r14, %rdi
	movl	$95, %esi
	callq	_strchr
	movl	$1, -44(%rbp)
	cmpb	$76, 5(%r13)
	movl	%ebx, -60(%rbp)                 ## 4-byte Spill
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
	jne	LBB0_8
## %bb.7:
	leaq	-44(%rbp), %rdx
	movq	%r12, %rdi
	movq	%rax, %rsi
	movq	-56(%rbp), %rbx                 ## 8-byte Reload
	movq	%rbx, %rcx
	callq	_print_range_bound
	addq	$6, %r13
	movq	%r13, %r14
	jmp	LBB0_9
LBB0_8:
	leaq	L_.str.2(%rip), %rcx
	movq	%r12, %rdi
	movq	%r15, %rsi
	movl	%ebx, %edx
	movq	-56(%rbp), %rbx                 ## 8-byte Reload
	movq	%rbx, %r8
	callq	_print_dynamic_range_bound
LBB0_9:
	leaq	L_.str.3(%rip), %rsi
	movq	%rbx, %rdi
	callq	_fprintf_filtered
	cmpb	$85, (%r14)
	jne	LBB0_11
## %bb.10:
	leaq	-44(%rbp), %rdx
	movq	%r12, %rdi
	movq	-72(%rbp), %rsi                 ## 8-byte Reload
	movq	%rbx, %rcx
	callq	_print_range_bound
	jmp	LBB0_12
LBB0_11:
	leaq	L_.str.4(%rip), %rcx
	movq	%r12, %rdi
	movq	%r15, %rsi
	movl	-60(%rbp), %edx                 ## 4-byte Reload
	movq	%rbx, %r8
	callq	_print_dynamic_range_bound
LBB0_12:
	addq	$40, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_13:
	leaq	L_.str.1(%rip), %rsi
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	addq	$40, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_fprintf_filtered               ## TAILCALL
	.cfi_endproc
                                        ## -- End function
	.comm	_builtin_type_int,8,3           ## @builtin_type_int
	.comm	_TYPE_CODE_RANGE,8,3            ## @TYPE_CODE_RANGE
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"___XD"

L_.str.1:                               ## @.str.1
	.asciz	"? .. ?"

L_.str.2:                               ## @.str.2
	.asciz	"___L"

L_.str.3:                               ## @.str.3
	.asciz	" .. "

L_.str.4:                               ## @.str.4
	.asciz	"___U"

	.no_dead_strip	_print_range_type_named
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function print_range_type_named
_print_range_type_named:                ; @print_range_type_named
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #96
	.cfi_def_cfa_offset 96
	stp	x26, x25, [sp, #16]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #32]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #48]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #64]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #80]             ; 16-byte Folded Spill
	add	x29, sp, #80
	.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
	mov	x19, x1
	mov	x21, x0
	bl	_ada_find_any_type
	mov	x20, x0
	cbz	x0, LBB0_5
; %bb.1:
	mov	x0, x20
	bl	_TYPE_CODE
Lloh0:
	adrp	x8, _TYPE_CODE_RANGE@GOTPAGE
Lloh1:
	ldr	x8, [x8, _TYPE_CODE_RANGE@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	cmp	x0, x8
	b.ne	LBB0_3
; %bb.2:
	mov	x0, x20
	bl	_TYPE_TARGET_TYPE
LBB0_3:
Lloh3:
	adrp	x1, l_.str@PAGE
Lloh4:
	add	x1, x1, l_.str@PAGEOFF
	mov	x0, x21
	bl	_strstr
	mov	x24, x0
	cbnz	x0, LBB0_6
; %bb.4:
	mov	x0, x20
	mov	x1, x19
	ldp	x29, x30, [sp, #80]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #64]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #48]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #32]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #96
	b	_print_range
LBB0_5:
Lloh5:
	adrp	x1, l_.str@PAGE
Lloh6:
	add	x1, x1, l_.str@PAGEOFF
	mov	x0, x21
	bl	_strstr
	mov	x24, x0
	cbz	x0, LBB0_13
LBB0_6:
	sub	w22, w24, w21
	add	x25, x24, #5
	mov	x0, x25
	mov	w1, #95
	bl	_strchr
	mov	x23, x0
	mov	w8, #1
	str	w8, [sp, #12]
	ldrb	w8, [x24, #5]
	cmp	w8, #76
	b.ne	LBB0_8
; %bb.7:
	add	x2, sp, #12
	mov	x0, x20
	mov	x1, x23
	mov	x3, x19
	bl	_print_range_bound
	add	x25, x24, #6
	b	LBB0_9
LBB0_8:
Lloh7:
	adrp	x3, l_.str.2@PAGE
Lloh8:
	add	x3, x3, l_.str.2@PAGEOFF
	mov	x0, x20
	mov	x1, x21
	mov	x2, x22
	mov	x4, x19
	bl	_print_dynamic_range_bound
LBB0_9:
Lloh9:
	adrp	x1, l_.str.3@PAGE
Lloh10:
	add	x1, x1, l_.str.3@PAGEOFF
	mov	x0, x19
	bl	_fprintf_filtered
	ldrb	w8, [x25]
	cmp	w8, #85
	b.ne	LBB0_11
; %bb.10:
	add	x2, sp, #12
	mov	x0, x20
	mov	x1, x23
	mov	x3, x19
	bl	_print_range_bound
	b	LBB0_12
LBB0_11:
Lloh11:
	adrp	x3, l_.str.4@PAGE
Lloh12:
	add	x3, x3, l_.str.4@PAGEOFF
	mov	x0, x20
	mov	x1, x21
	mov	x2, x22
	mov	x4, x19
	bl	_print_dynamic_range_bound
LBB0_12:
	ldp	x29, x30, [sp, #80]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #64]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #48]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #32]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #96
	ret
LBB0_13:
Lloh13:
	adrp	x1, l_.str.1@PAGE
Lloh14:
	add	x1, x1, l_.str.1@PAGEOFF
	mov	x0, x19
	ldp	x29, x30, [sp, #80]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #64]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #48]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #32]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #96
	b	_fprintf_filtered
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpAdd	Lloh3, Lloh4
	.loh AdrpAdd	Lloh5, Lloh6
	.loh AdrpAdd	Lloh7, Lloh8
	.loh AdrpAdd	Lloh9, Lloh10
	.loh AdrpAdd	Lloh11, Lloh12
	.loh AdrpAdd	Lloh13, Lloh14
	.cfi_endproc
                                        ; -- End function
	.comm	_builtin_type_int,8,3           ; @builtin_type_int
	.comm	_TYPE_CODE_RANGE,8,3            ; @TYPE_CODE_RANGE
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"___XD"

l_.str.1:                               ; @.str.1
	.asciz	"? .. ?"

l_.str.2:                               ; @.str.2
	.asciz	"___L"

l_.str.3:                               ; @.str.3
	.asciz	" .. "

l_.str.4:                               ; @.str.4
	.asciz	"___U"

	.no_dead_strip	_print_range_type_named
.subsections_via_symbols
