	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_ada_print_type                 ## -- Begin function ada_print_type
	.p2align	4, 0x90
_ada_print_type:                        ## @ada_print_type
	.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	%r8d, -52(%rbp)                 ## 4-byte Spill
	movl	%ecx, %r12d
	movq	%rdx, -48(%rbp)                 ## 8-byte Spill
	movq	%rsi, %r15
	jmp	LBB0_1
	.p2align	4, 0x90
LBB0_17:                                ##   in Loop: Header=BB0_1 Depth=1
	movq	%rbx, %rdi
	callq	_ada_is_aligner_type
	testq	%rax, %rax
	je	LBB0_20
## %bb.18:                              ##   in Loop: Header=BB0_1 Depth=1
	movq	%rbx, %rdi
	callq	_ada_aligned_type
LBB0_19:                                ##   in Loop: Header=BB0_1 Depth=1
	movq	%rax, %rdi
	leaq	L_.str.3(%rip), %r15
LBB0_1:                                 ## =>This Inner Loop Header: Depth=1
	callq	_ada_get_base_type
	movl	%eax, %edi
	callq	_ada_completed_type
	movq	%rax, %rbx
	movq	%rax, %rdi
	callq	_demangled_type_name
	movq	%rax, %r13
	testq	%r15, %r15
	je	LBB0_8
## %bb.2:                               ##   in Loop: Header=BB0_1 Depth=1
	movzbl	(%r15), %eax
	testb	%al, %al
	setne	%r14b
	testq	%rbx, %rbx
	je	LBB0_3
## %bb.10:                              ##   in Loop: Header=BB0_1 Depth=1
	testl	%r12d, %r12d
	jle	LBB0_12
LBB0_11:                                ##   in Loop: Header=BB0_1 Depth=1
	movq	%rbx, %rdi
	callq	_CHECK_TYPEDEF
LBB0_12:                                ##   in Loop: Header=BB0_1 Depth=1
	testb	%r14b, %r14b
	je	LBB0_15
## %bb.13:                              ##   in Loop: Header=BB0_1 Depth=1
	movq	%rbx, %rdi
	callq	_TYPE_CODE
	cmpl	$134, %eax
	je	LBB0_15
## %bb.14:                              ##   in Loop: Header=BB0_1 Depth=1
	movq	%r15, %rdi
	callq	_ada_name_prefix_len
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	leaq	L_.str(%rip), %rsi
	movl	%eax, %edx
	movq	%r15, %rcx
	xorl	%eax, %eax
	callq	_fprintf_filtered
LBB0_15:                                ##   in Loop: Header=BB0_1 Depth=1
	testl	%r12d, %r12d
	jg	LBB0_17
## %bb.16:                              ##   in Loop: Header=BB0_1 Depth=1
	testq	%r13, %r13
	je	LBB0_17
	jmp	LBB0_47
	.p2align	4, 0x90
LBB0_8:                                 ##   in Loop: Header=BB0_1 Depth=1
	testq	%rbx, %rbx
	je	LBB0_5
## %bb.9:                               ##   in Loop: Header=BB0_1 Depth=1
	xorl	%r14d, %r14d
	testl	%r12d, %r12d
	jg	LBB0_11
	jmp	LBB0_12
	.p2align	4, 0x90
LBB0_20:                                ##   in Loop: Header=BB0_1 Depth=1
	movq	%rbx, %rdi
	callq	_ada_is_packed_array_type
	testq	%rax, %rax
	jne	LBB0_48
## %bb.21:                              ##   in Loop: Header=BB0_1 Depth=1
	movq	%rbx, %rdi
	callq	_TYPE_CODE
                                        ## kill: def $eax killed $eax def $rax
	addl	$-128, %eax
	cmpl	$9, %eax
	ja	LBB0_23
## %bb.22:                              ##   in Loop: Header=BB0_1 Depth=1
	leaq	LJTI0_0(%rip), %rcx
	movslq	(%rcx,%rax,4), %rax
	addq	%rcx, %rax
	jmpq	*%rax
LBB0_26:                                ##   in Loop: Header=BB0_1 Depth=1
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	leaq	L_.str.7(%rip), %rsi
	jmp	LBB0_25
LBB0_24:                                ##   in Loop: Header=BB0_1 Depth=1
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	leaq	L_.str.6(%rip), %rsi
LBB0_25:                                ##   in Loop: Header=BB0_1 Depth=1
	xorl	%eax, %eax
	callq	_fprintf_filtered
	movq	%rbx, %rdi
	callq	_TYPE_TARGET_TYPE
	jmp	LBB0_19
LBB0_47:
	movq	%r13, %rdi
	callq	_ada_name_prefix_len
	leaq	L_.str.2(%rip), %rsi
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	movl	%eax, %edx
	movq	%r13, %rcx
	xorl	%eax, %eax
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_fprintf_filtered               ## TAILCALL
LBB0_3:
	testb	%al, %al
	je	LBB0_5
## %bb.4:
	movq	%r15, %rdi
	callq	_ada_name_prefix_len
	leaq	L_.str(%rip), %rsi
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	movl	%eax, %edx
	movq	%r15, %rcx
	xorl	%eax, %eax
	callq	_fprintf_filtered
LBB0_5:
	leaq	L_.str.1(%rip), %rsi
LBB0_6:
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
LBB0_7:
	xorl	%eax, %eax
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_fprintf_filtered               ## TAILCALL
LBB0_23:
	leaq	L_.str.4(%rip), %rsi
	movq	-48(%rbp), %r14                 ## 8-byte Reload
	movq	%r14, %rdi
	xorl	%eax, %eax
	callq	_fprintf_filtered
	leaq	L_.str.3(%rip), %rsi
	movq	%rbx, %rdi
	movq	%r14, %rdx
	movl	%r12d, %ecx
	movl	-52(%rbp), %r8d                 ## 4-byte Reload
	callq	_c_print_type
	leaq	L_.str.5(%rip), %rsi
	movq	%r14, %rdi
	jmp	LBB0_7
LBB0_45:
	movq	%rbx, %rdi
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	movl	%r12d, %edx
	movl	-52(%rbp), %ecx                 ## 4-byte Reload
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_print_unchecked_union_type     ## TAILCALL
LBB0_41:
	movq	%rbx, %rdi
	callq	_ada_is_array_descriptor
	testl	%eax, %eax
	je	LBB0_42
LBB0_48:
	movq	%rbx, %rdi
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	movl	%r12d, %edx
	movl	-52(%rbp), %ecx                 ## 4-byte Reload
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_print_array_type               ## TAILCALL
LBB0_33:
	movq	%rbx, %rdi
	callq	_ada_is_fixed_point_type
	testl	%eax, %eax
	jne	LBB0_49
## %bb.34:
	movq	%rbx, %rdi
	callq	_ada_is_vax_floating_type
	testl	%eax, %eax
	jne	LBB0_50
## %bb.35:
	movq	%rbx, %rdi
	callq	_ada_is_modular_type
	testl	%eax, %eax
	je	LBB0_36
## %bb.51:
	movq	%rbx, %rdi
	callq	_ada_modulus
	leaq	L_.str.10(%rip), %rsi
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	movq	%rax, %rdx
	xorl	%eax, %eax
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_fprintf_filtered               ## TAILCALL
LBB0_27:
	movq	%rbx, %rdi
	callq	_ada_is_fixed_point_type
	testl	%eax, %eax
	je	LBB0_28
LBB0_49:
	movq	%rbx, %rdi
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_print_fixed_point_type         ## TAILCALL
LBB0_46:
	movq	%rbx, %rdi
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	movq	%r15, %rdx
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_print_func_type                ## TAILCALL
LBB0_37:
	movq	%rbx, %rdi
	callq	_TYPE_LENGTH
	leaq	L_.str.11(%rip), %rsi
LBB0_31:
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	movl	%eax, %edx
	xorl	%eax, %eax
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_fprintf_filtered               ## TAILCALL
LBB0_38:
	testl	%r12d, %r12d
	js	LBB0_39
## %bb.40:
	movq	%rbx, %rdi
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_print_enum_type                ## TAILCALL
LBB0_42:
	movq	%rbx, %rdi
	callq	_ada_is_bogus_array_descriptor
	testl	%eax, %eax
	je	LBB0_44
## %bb.43:
	leaq	L_.str.13(%rip), %rsi
	jmp	LBB0_6
LBB0_28:
	movq	%rbx, %rdi
	callq	_ada_is_vax_floating_type
	testl	%eax, %eax
	je	LBB0_29
LBB0_50:
	movq	%rbx, %rdi
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_print_vax_floating_point_type  ## TAILCALL
LBB0_39:
	leaq	L_.str.12(%rip), %rsi
	jmp	LBB0_6
LBB0_44:
	movq	%rbx, %rdi
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	movl	%r12d, %edx
	movl	-52(%rbp), %ecx                 ## 4-byte Reload
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_print_record_type              ## TAILCALL
LBB0_29:
	movq	%rbx, %rdi
	callq	_ada_type_name
	movq	%rax, %r15
	movq	%rax, %rdi
	callq	_ada_is_range_type_name
	testl	%eax, %eax
	je	LBB0_30
## %bb.32:
	leaq	L_.str.9(%rip), %rsi
	movq	-48(%rbp), %rbx                 ## 8-byte Reload
	movq	%rbx, %rdi
	xorl	%eax, %eax
	callq	_fprintf_filtered
	movq	%r15, %rdi
	movq	%rbx, %rsi
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_print_range_type_named         ## TAILCALL
LBB0_36:
	leaq	L_.str.9(%rip), %rsi
	movq	-48(%rbp), %r14                 ## 8-byte Reload
	movq	%r14, %rdi
	xorl	%eax, %eax
	callq	_fprintf_filtered
	movq	%rbx, %rdi
	movq	%r14, %rsi
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_print_range                    ## TAILCALL
LBB0_30:
	movq	%rbx, %rdi
	callq	_TYPE_LENGTH
	leaq	L_.str.8(%rip), %rsi
	jmp	LBB0_31
	.cfi_endproc
	.p2align	2, 0x90
	.data_region jt32
.set L0_0_set_45, LBB0_45-LJTI0_0
.set L0_0_set_41, LBB0_41-LJTI0_0
.set L0_0_set_26, LBB0_26-LJTI0_0
.set L0_0_set_33, LBB0_33-LJTI0_0
.set L0_0_set_24, LBB0_24-LJTI0_0
.set L0_0_set_27, LBB0_27-LJTI0_0
.set L0_0_set_46, LBB0_46-LJTI0_0
.set L0_0_set_37, LBB0_37-LJTI0_0
.set L0_0_set_38, LBB0_38-LJTI0_0
.set L0_0_set_48, LBB0_48-LJTI0_0
LJTI0_0:
	.long	L0_0_set_45
	.long	L0_0_set_41
	.long	L0_0_set_26
	.long	L0_0_set_33
	.long	L0_0_set_24
	.long	L0_0_set_27
	.long	L0_0_set_46
	.long	L0_0_set_37
	.long	L0_0_set_38
	.long	L0_0_set_48
	.end_data_region
                                        ## -- End function
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"%.*s: "

L_.str.1:                               ## @.str.1
	.asciz	"<null type?>"

L_.str.2:                               ## @.str.2
	.asciz	"%.*s"

L_.str.3:                               ## @.str.3
	.space	1

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

L_.str.5:                               ## @.str.5
	.asciz	">"

L_.str.6:                               ## @.str.6
	.asciz	"access "

L_.str.7:                               ## @.str.7
	.asciz	"<ref> "

L_.str.8:                               ## @.str.8
	.asciz	"<%d-byte integer>"

L_.str.9:                               ## @.str.9
	.asciz	"range "

L_.str.10:                              ## @.str.10
	.asciz	"mod %ld"

L_.str.11:                              ## @.str.11
	.asciz	"<%d-byte float>"

L_.str.12:                              ## @.str.12
	.asciz	"(...)"

L_.str.13:                              ## @.str.13
	.asciz	"array (?) of ? (<mal-formed descriptor>)"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_ada_print_type                 ; -- Begin function ada_print_type
	.p2align	2
_ada_print_type:                        ; @ada_print_type
	.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
	str	w4, [sp, #28]                   ; 4-byte Folded Spill
	mov	x22, x3
	mov	x19, x2
	mov	x26, x1
Lloh0:
	adrp	x23, l_.str@PAGE
Lloh1:
	add	x23, x23, l_.str@PAGEOFF
Lloh2:
	adrp	x28, lJTI0_0@PAGE
Lloh3:
	add	x28, x28, lJTI0_0@PAGEOFF
Lloh4:
	adrp	x21, l_.str.3@PAGE
Lloh5:
	add	x21, x21, l_.str.3@PAGEOFF
Lloh6:
	adrp	x25, l_.str.6@PAGE
Lloh7:
	add	x25, x25, l_.str.6@PAGEOFF
	b	LBB0_3
LBB0_1:                                 ;   in Loop: Header=BB0_3 Depth=1
	mov	x0, x20
	bl	_ada_is_aligner_type
	cbz	x0, LBB0_14
; %bb.2:                                ;   in Loop: Header=BB0_3 Depth=1
	mov	x0, x20
	bl	_ada_aligned_type
	mov	x26, x21
LBB0_3:                                 ; =>This Inner Loop Header: Depth=1
	bl	_ada_get_base_type
	bl	_ada_completed_type
	mov	x20, x0
	bl	_demangled_type_name
	mov	x27, x0
	cbz	x26, LBB0_12
; %bb.4:                                ;   in Loop: Header=BB0_3 Depth=1
	ldrb	w8, [x26]
	cmp	w8, #0
	cset	w24, ne
	cbz	x20, LBB0_22
; %bb.5:                                ;   in Loop: Header=BB0_3 Depth=1
	cmp	w22, #1
	b.lt	LBB0_7
LBB0_6:                                 ;   in Loop: Header=BB0_3 Depth=1
	mov	x0, x20
	bl	_CHECK_TYPEDEF
LBB0_7:                                 ;   in Loop: Header=BB0_3 Depth=1
	cbz	w24, LBB0_10
; %bb.8:                                ;   in Loop: Header=BB0_3 Depth=1
	mov	x0, x20
	bl	_TYPE_CODE
	cmp	w0, #134
	b.eq	LBB0_10
; %bb.9:                                ;   in Loop: Header=BB0_3 Depth=1
	mov	x0, x26
	bl	_ada_name_prefix_len
                                        ; kill: def $w0 killed $w0 def $x0
	stp	x0, x26, [sp]
	mov	x0, x19
	mov	x1, x23
	bl	_fprintf_filtered
LBB0_10:                                ;   in Loop: Header=BB0_3 Depth=1
	cmp	w22, #0
	b.gt	LBB0_1
; %bb.11:                               ;   in Loop: Header=BB0_3 Depth=1
	cbz	x27, LBB0_1
	b	LBB0_20
LBB0_12:                                ;   in Loop: Header=BB0_3 Depth=1
	cbz	x20, LBB0_24
; %bb.13:                               ;   in Loop: Header=BB0_3 Depth=1
	mov	w24, #0
	cmp	w22, #1
	b.ge	LBB0_6
	b	LBB0_7
LBB0_14:                                ;   in Loop: Header=BB0_3 Depth=1
	mov	x0, x20
	bl	_ada_is_packed_array_type
	cbnz	x0, LBB0_29
; %bb.15:                               ;   in Loop: Header=BB0_3 Depth=1
	mov	x0, x20
	bl	_TYPE_CODE
	sub	w8, w0, #128
	cmp	w8, #9
	b.hi	LBB0_26
; %bb.16:                               ;   in Loop: Header=BB0_3 Depth=1
	adr	x9, LBB0_17
	ldrb	w10, [x28, x8]
	add	x9, x9, x10, lsl #2
	br	x9
LBB0_17:                                ;   in Loop: Header=BB0_3 Depth=1
	mov	x0, x19
Lloh8:
	adrp	x1, l_.str.7@PAGE
Lloh9:
	add	x1, x1, l_.str.7@PAGEOFF
	b	LBB0_19
LBB0_18:                                ;   in Loop: Header=BB0_3 Depth=1
	mov	x0, x19
	mov	x1, x25
LBB0_19:                                ;   in Loop: Header=BB0_3 Depth=1
	bl	_fprintf_filtered
	mov	x0, x20
	bl	_TYPE_TARGET_TYPE
	mov	x26, x21
	b	LBB0_3
LBB0_20:
	mov	x0, x27
	bl	_ada_name_prefix_len
                                        ; kill: def $w0 killed $w0 def $x0
	stp	x0, x27, [sp]
Lloh10:
	adrp	x1, l_.str.2@PAGE
Lloh11:
	add	x1, x1, l_.str.2@PAGEOFF
LBB0_21:
	mov	x0, x19
	bl	_fprintf_filtered
	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
LBB0_22:
	cbz	w8, LBB0_24
; %bb.23:
	mov	x0, x26
	bl	_ada_name_prefix_len
                                        ; kill: def $w0 killed $w0 def $x0
	stp	x0, x26, [sp]
Lloh12:
	adrp	x1, l_.str@PAGE
Lloh13:
	add	x1, x1, l_.str@PAGEOFF
	mov	x0, x19
	bl	_fprintf_filtered
LBB0_24:
Lloh14:
	adrp	x1, l_.str.1@PAGE
Lloh15:
	add	x1, x1, l_.str.1@PAGEOFF
LBB0_25:
	mov	x0, x19
	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
	b	_fprintf_filtered
LBB0_26:
Lloh16:
	adrp	x1, l_.str.4@PAGE
Lloh17:
	add	x1, x1, l_.str.4@PAGEOFF
	mov	x0, x19
	bl	_fprintf_filtered
Lloh18:
	adrp	x1, l_.str.3@PAGE
Lloh19:
	add	x1, x1, l_.str.3@PAGEOFF
	mov	x0, x20
	mov	x2, x19
	mov	x3, x22
	ldr	w4, [sp, #28]                   ; 4-byte Folded Reload
	bl	_c_print_type
Lloh20:
	adrp	x1, l_.str.5@PAGE
Lloh21:
	add	x1, x1, l_.str.5@PAGEOFF
	b	LBB0_25
LBB0_27:
	mov	x0, x20
	mov	x1, x19
	mov	x2, x22
	ldr	w3, [sp, #28]                   ; 4-byte Folded Reload
	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
	b	_print_unchecked_union_type
LBB0_28:
	mov	x0, x20
	bl	_ada_is_array_descriptor
	cbz	w0, LBB0_40
LBB0_29:
	mov	x0, x20
	mov	x1, x19
	mov	x2, x22
	ldr	w3, [sp, #28]                   ; 4-byte Folded Reload
	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
	b	_print_array_type
LBB0_30:
	mov	x0, x20
	bl	_ada_is_fixed_point_type
	cbnz	w0, LBB0_35
; %bb.31:
	mov	x0, x20
	bl	_ada_is_vax_floating_type
	cbnz	w0, LBB0_43
; %bb.32:
	mov	x0, x20
	bl	_ada_is_modular_type
	cbz	w0, LBB0_48
; %bb.33:
	mov	x0, x20
	bl	_ada_modulus
	str	x0, [sp]
Lloh22:
	adrp	x1, l_.str.10@PAGE
Lloh23:
	add	x1, x1, l_.str.10@PAGEOFF
	b	LBB0_21
LBB0_34:
	mov	x0, x20
	bl	_ada_is_fixed_point_type
	cbz	w0, LBB0_42
LBB0_35:
	mov	x0, x20
	mov	x1, x19
	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
	b	_print_fixed_point_type
LBB0_36:
	mov	x0, x20
	mov	x1, x19
	mov	x2, x26
	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
	b	_print_func_type
LBB0_37:
	mov	x0, x20
	bl	_TYPE_LENGTH
                                        ; kill: def $w0 killed $w0 def $x0
	str	x0, [sp]
Lloh24:
	adrp	x1, l_.str.11@PAGE
Lloh25:
	add	x1, x1, l_.str.11@PAGEOFF
	b	LBB0_21
LBB0_38:
	tbnz	w22, #31, LBB0_44
; %bb.39:
	mov	x0, x20
	mov	x1, x19
	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
	b	_print_enum_type
LBB0_40:
	mov	x0, x20
	bl	_ada_is_bogus_array_descriptor
	cbz	w0, LBB0_45
; %bb.41:
Lloh26:
	adrp	x1, l_.str.13@PAGE
Lloh27:
	add	x1, x1, l_.str.13@PAGEOFF
	b	LBB0_25
LBB0_42:
	mov	x0, x20
	bl	_ada_is_vax_floating_type
	cbz	w0, LBB0_46
LBB0_43:
	mov	x0, x20
	mov	x1, x19
	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
	b	_print_vax_floating_point_type
LBB0_44:
Lloh28:
	adrp	x1, l_.str.12@PAGE
Lloh29:
	add	x1, x1, l_.str.12@PAGEOFF
	b	LBB0_25
LBB0_45:
	mov	x0, x20
	mov	x1, x19
	mov	x2, x22
	ldr	w3, [sp, #28]                   ; 4-byte Folded Reload
	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
	b	_print_record_type
LBB0_46:
	mov	x0, x20
	bl	_ada_type_name
	mov	x21, x0
	bl	_ada_is_range_type_name
	cbz	w0, LBB0_49
; %bb.47:
Lloh30:
	adrp	x1, l_.str.9@PAGE
Lloh31:
	add	x1, x1, l_.str.9@PAGEOFF
	mov	x0, x19
	bl	_fprintf_filtered
	mov	x0, x21
	mov	x1, x19
	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
	b	_print_range_type_named
LBB0_48:
Lloh32:
	adrp	x1, l_.str.9@PAGE
Lloh33:
	add	x1, x1, l_.str.9@PAGEOFF
	mov	x0, x19
	bl	_fprintf_filtered
	mov	x0, x20
	mov	x1, x19
	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
	b	_print_range
LBB0_49:
	mov	x0, x20
	bl	_TYPE_LENGTH
                                        ; kill: def $w0 killed $w0 def $x0
	str	x0, [sp]
Lloh34:
	adrp	x1, l_.str.8@PAGE
Lloh35:
	add	x1, x1, l_.str.8@PAGEOFF
	b	LBB0_21
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpAdd	Lloh4, Lloh5
	.loh AdrpAdd	Lloh2, Lloh3
	.loh AdrpAdd	Lloh0, Lloh1
	.loh AdrpAdd	Lloh8, Lloh9
	.loh AdrpAdd	Lloh10, Lloh11
	.loh AdrpAdd	Lloh12, Lloh13
	.loh AdrpAdd	Lloh14, Lloh15
	.loh AdrpAdd	Lloh20, Lloh21
	.loh AdrpAdd	Lloh18, Lloh19
	.loh AdrpAdd	Lloh16, Lloh17
	.loh AdrpAdd	Lloh22, Lloh23
	.loh AdrpAdd	Lloh24, Lloh25
	.loh AdrpAdd	Lloh26, Lloh27
	.loh AdrpAdd	Lloh28, Lloh29
	.loh AdrpAdd	Lloh30, Lloh31
	.loh AdrpAdd	Lloh32, Lloh33
	.loh AdrpAdd	Lloh34, Lloh35
	.cfi_endproc
	.section	__TEXT,__const
lJTI0_0:
	.byte	(LBB0_27-LBB0_17)>>2
	.byte	(LBB0_28-LBB0_17)>>2
	.byte	(LBB0_17-LBB0_17)>>2
	.byte	(LBB0_30-LBB0_17)>>2
	.byte	(LBB0_18-LBB0_17)>>2
	.byte	(LBB0_34-LBB0_17)>>2
	.byte	(LBB0_36-LBB0_17)>>2
	.byte	(LBB0_37-LBB0_17)>>2
	.byte	(LBB0_38-LBB0_17)>>2
	.byte	(LBB0_29-LBB0_17)>>2
                                        ; -- End function
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"%.*s: "

l_.str.1:                               ; @.str.1
	.asciz	"<null type?>"

l_.str.2:                               ; @.str.2
	.asciz	"%.*s"

l_.str.3:                               ; @.str.3
	.space	1

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

l_.str.5:                               ; @.str.5
	.asciz	">"

l_.str.6:                               ; @.str.6
	.asciz	"access "

l_.str.7:                               ; @.str.7
	.asciz	"<ref> "

l_.str.8:                               ; @.str.8
	.asciz	"<%d-byte integer>"

l_.str.9:                               ; @.str.9
	.asciz	"range "

l_.str.10:                              ; @.str.10
	.asciz	"mod %ld"

l_.str.11:                              ; @.str.11
	.asciz	"<%d-byte float>"

l_.str.12:                              ; @.str.12
	.asciz	"(...)"

l_.str.13:                              ; @.str.13
	.asciz	"array (?) of ? (<mal-formed descriptor>)"

.subsections_via_symbols
