	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function print_array_type
_print_array_type:                      ## @print_array_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	$40, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	%ecx, %r12d
	movl	%edx, %r15d
	movq	%rsi, %r13
	movq	%rdi, %rbx
	leaq	L_.str(%rip), %rsi
	movq	%r13, %rdi
	xorl	%eax, %eax
	callq	_fprintf_filtered
	testl	%r15d, %r15d
	movl	%r12d, -68(%rbp)                ## 4-byte Spill
	js	LBB0_1
## %bb.2:
	movq	%rbx, %rdi
	callq	_ada_is_packed_array_type
	testq	%rax, %rax
	je	LBB0_4
## %bb.3:
	movq	%rbx, %rdi
	callq	_ada_coerce_to_simple_array_type
	movq	%rax, %rbx
LBB0_4:
	movq	%rbx, %rdi
	callq	_ada_is_simple_array
	testq	%rax, %rax
	movq	%rbx, -64(%rbp)                 ## 8-byte Spill
	je	LBB0_24
## %bb.5:
	leaq	L_.str.2(%rip), %rsi
	movq	%rbx, %rdi
	callq	_ada_find_parallel_type
	testq	%rax, %rax
	je	LBB0_6
## %bb.13:
	movq	%rax, %r14
	movq	%rax, %rdi
	callq	_TYPE_NFIELDS
	testl	%eax, %eax
	jle	LBB0_14
## %bb.15:
	movl	%eax, -52(%rbp)                 ## 4-byte Spill
	movl	%r15d, -48(%rbp)                ## 4-byte Spill
	movl	$0, -44(%rbp)                   ## 4-byte Folded Spill
	movq	%r14, %rdi
	xorl	%esi, %esi
	callq	_TYPE_FIELD_NAME
	movl	%eax, %edi
	movq	%r13, %rsi
	callq	_print_range_type_named
	movq	%rbx, %rdi
	xorl	%esi, %esi
	callq	_TYPE_FIELD_BITSIZE
	testl	%eax, %eax
	jle	LBB0_17
## %bb.16:
	movq	%rbx, %rdi
	xorl	%esi, %esi
	callq	_TYPE_FIELD_BITSIZE
	movl	%eax, -44(%rbp)                 ## 4-byte Spill
LBB0_17:
	movq	%rbx, %rdi
	callq	_TYPE_TARGET_TYPE
	cmpl	$1, -52(%rbp)                   ## 4-byte Folded Reload
	jne	LBB0_19
## %bb.18:
	movl	$1, %r12d
	movl	-48(%rbp), %r15d                ## 4-byte Reload
	jmp	LBB0_31
LBB0_1:
	movl	$0, -44(%rbp)                   ## 4-byte Folded Spill
	movq	%rbx, -64(%rbp)                 ## 8-byte Spill
	leaq	L_.str.1(%rip), %rsi
	movq	%r13, %rdi
	xorl	%eax, %eax
	callq	_fprintf_filtered
	jmp	LBB0_30
LBB0_24:
	movq	%rbx, %rdi
	callq	_ada_array_arity
	testl	%eax, %eax
	jle	LBB0_25
## %bb.26:
	movl	%eax, %ebx
	movl	%r15d, -48(%rbp)                ## 4-byte Spill
	incl	%ebx
	movl	$0, -44(%rbp)                   ## 4-byte Folded Spill
	leaq	L_.str.3(%rip), %r12
	leaq	L_.str.4(%rip), %r14
	movq	%r13, %r15
	xorl	%r13d, %r13d
	.p2align	4, 0x90
LBB0_27:                                ## =>This Inner Loop Header: Depth=1
	subl	$1, %r13d
	movq	%r12, %rdx
	leaq	L_.str.5(%rip), %rax
	cmovbq	%rax, %rdx
	movq	%r15, %rdi
	movq	%r14, %rsi
	xorl	%eax, %eax
	callq	_fprintf_filtered
	leal	(%rbx,%r13), %eax
	cmpl	$1, %eax
	ja	LBB0_27
## %bb.28:
	movq	%r15, %r13
	jmp	LBB0_29
LBB0_6:
	movl	%r15d, -48(%rbp)                ## 4-byte Spill
	movq	%rbx, %rdi
	callq	_TYPE_CODE
	movq	_TYPE_CODE_ARRAY@GOTPCREL(%rip), %r15
	movl	$0, -44(%rbp)                   ## 4-byte Folded Spill
	cmpq	(%r15), %rax
	jne	LBB0_29
## %bb.7:
	leaq	L_.str.3(%rip), %r14
	movl	$0, -44(%rbp)                   ## 4-byte Folded Spill
	jmp	LBB0_8
	.p2align	4, 0x90
LBB0_12:                                ##   in Loop: Header=BB0_8 Depth=1
	movq	%rbx, %rdi
	callq	_TYPE_TARGET_TYPE
	movq	%rax, %rbx
	movq	%rax, %rdi
	callq	_TYPE_CODE
	cmpq	(%r15), %rax
	jne	LBB0_29
LBB0_8:                                 ## =>This Inner Loop Header: Depth=1
	cmpq	-64(%rbp), %rbx                 ## 8-byte Folded Reload
	je	LBB0_10
## %bb.9:                               ##   in Loop: Header=BB0_8 Depth=1
	movq	%r13, %rdi
	movq	%r14, %rsi
	xorl	%eax, %eax
	callq	_fprintf_filtered
LBB0_10:                                ##   in Loop: Header=BB0_8 Depth=1
	movq	%rbx, %rdi
	callq	_TYPE_INDEX_TYPE
	movl	%eax, %edi
	movq	%r13, %rsi
	callq	_print_range
	movq	%rbx, %rdi
	xorl	%esi, %esi
	callq	_TYPE_FIELD_BITSIZE
	testl	%eax, %eax
	jle	LBB0_12
## %bb.11:                              ##   in Loop: Header=BB0_8 Depth=1
	movq	%rbx, %rdi
	xorl	%esi, %esi
	callq	_TYPE_FIELD_BITSIZE
	movl	%eax, -44(%rbp)                 ## 4-byte Spill
	jmp	LBB0_12
LBB0_29:
	movl	-48(%rbp), %r15d                ## 4-byte Reload
	jmp	LBB0_30
LBB0_14:
	movl	$0, -44(%rbp)                   ## 4-byte Folded Spill
	movl	%eax, %r12d
	jmp	LBB0_31
LBB0_25:
	movl	$0, -44(%rbp)                   ## 4-byte Folded Spill
LBB0_30:
	movl	$-1, %r12d
LBB0_31:
	leaq	L_.str.6(%rip), %rsi
	xorl	%r14d, %r14d
	movq	%r13, %rdi
	xorl	%eax, %eax
	callq	_fprintf_filtered
	leaq	L_.str.5(%rip), %rbx
	movq	%rbx, %rdi
	callq	_wrap_here
	movq	-64(%rbp), %rdi                 ## 8-byte Reload
	movl	%r12d, %esi
	callq	_ada_array_element_type
	subl	$1, %r15d
	cmovbl	%r14d, %r15d
	movl	-68(%rbp), %r8d                 ## 4-byte Reload
	incl	%r8d
	movl	%eax, %edi
	movq	%rbx, %rsi
	movq	%r13, %rdx
	movl	%r15d, %ecx
	callq	_ada_print_type
	movl	-44(%rbp), %edx                 ## 4-byte Reload
	testl	%edx, %edx
	jle	LBB0_32
## %bb.33:
	leaq	L_.str.7(%rip), %rsi
	movq	%r13, %rdi
	xorl	%eax, %eax
	addq	$40, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_fprintf_filtered               ## TAILCALL
LBB0_32:
	addq	$40, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_19:
	movq	%rax, %r15
	movl	$1, %r12d
	movl	-44(%rbp), %ebx                 ## 4-byte Reload
	jmp	LBB0_20
	.p2align	4, 0x90
LBB0_22:                                ##   in Loop: Header=BB0_20 Depth=1
	incl	%r12d
	movq	%r15, %rdi
	callq	_TYPE_TARGET_TYPE
	movq	%rax, %r15
	cmpl	%r12d, -52(%rbp)                ## 4-byte Folded Reload
	je	LBB0_23
LBB0_20:                                ## =>This Inner Loop Header: Depth=1
	movq	%r13, %rdi
	leaq	L_.str.3(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf_filtered
	movq	%r14, %rdi
	movl	%r12d, %esi
	callq	_TYPE_FIELD_NAME
	movl	%eax, %edi
	movq	%r13, %rsi
	callq	_print_range_type_named
	movq	%r15, %rdi
	xorl	%esi, %esi
	callq	_TYPE_FIELD_BITSIZE
	testl	%eax, %eax
	jle	LBB0_22
## %bb.21:                              ##   in Loop: Header=BB0_20 Depth=1
	movq	%r15, %rdi
	xorl	%esi, %esi
	callq	_TYPE_FIELD_BITSIZE
	movl	%eax, %ebx
	jmp	LBB0_22
LBB0_23:
	movl	%ebx, -44(%rbp)                 ## 4-byte Spill
	movl	-48(%rbp), %r15d                ## 4-byte Reload
	movl	-52(%rbp), %r12d                ## 4-byte Reload
	jmp	LBB0_31
	.cfi_endproc
                                        ## -- End function
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"array ("

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

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

	.comm	_TYPE_CODE_ARRAY,8,3            ## @TYPE_CODE_ARRAY
L_.str.3:                               ## @.str.3
	.asciz	", "

L_.str.4:                               ## @.str.4
	.asciz	"%s<>"

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

L_.str.6:                               ## @.str.6
	.asciz	") of "

L_.str.7:                               ## @.str.7
	.asciz	" <packed: %d-bit elements>"

	.no_dead_strip	_print_array_type
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function print_array_type
_print_array_type:                      ; @print_array_type
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #112
	.cfi_def_cfa_offset 112
	stp	x28, x27, [sp, #16]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #32]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #48]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #64]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #80]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #96]             ; 16-byte Folded Spill
	add	x29, sp, #96
	.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
	mov	x20, x3
	mov	x21, x2
	mov	x19, x1
	mov	x22, x0
Lloh0:
	adrp	x1, l_.str@PAGE
Lloh1:
	add	x1, x1, l_.str@PAGEOFF
	mov	x0, x19
	bl	_fprintf_filtered
	tbnz	w21, #31, LBB0_8
; %bb.1:
	mov	x0, x22
	bl	_ada_is_packed_array_type
	cbz	x0, LBB0_3
; %bb.2:
	mov	x0, x22
	bl	_ada_coerce_to_simple_array_type
	mov	x22, x0
LBB0_3:
	mov	x0, x22
	bl	_ada_is_simple_array
	cbz	x0, LBB0_9
; %bb.4:
Lloh2:
	adrp	x1, l_.str.2@PAGE
Lloh3:
	add	x1, x1, l_.str.2@PAGEOFF
	mov	x0, x22
	bl	_ada_find_parallel_type
	cbz	x0, LBB0_12
; %bb.5:
	mov	x25, x0
	bl	_TYPE_NFIELDS
	mov	x24, x0
	cmp	w0, #1
	b.lt	LBB0_24
; %bb.6:
	mov	x0, x25
	mov	w1, #0
	bl	_TYPE_FIELD_NAME
	mov	x1, x19
	bl	_print_range_type_named
	mov	x0, x22
	mov	w1, #0
	bl	_TYPE_FIELD_BITSIZE
	cmp	w0, #1
	b.lt	LBB0_25
; %bb.7:
	mov	x0, x22
	mov	w1, #0
	bl	_TYPE_FIELD_BITSIZE
	mov	x23, x0
	b	LBB0_26
LBB0_8:
Lloh4:
	adrp	x1, l_.str.1@PAGE
Lloh5:
	add	x1, x1, l_.str.1@PAGEOFF
	mov	x0, x19
	bl	_fprintf_filtered
	b	LBB0_19
LBB0_9:
	mov	x0, x22
	bl	_ada_array_arity
	cmp	w0, #1
	b.lt	LBB0_19
; %bb.10:
	mov	w24, #0
	add	w25, w0, #1
Lloh6:
	adrp	x26, l_.str.3@PAGE
Lloh7:
	add	x26, x26, l_.str.3@PAGEOFF
Lloh8:
	adrp	x27, l_.str.5@PAGE
Lloh9:
	add	x27, x27, l_.str.5@PAGEOFF
Lloh10:
	adrp	x23, l_.str.4@PAGE
Lloh11:
	add	x23, x23, l_.str.4@PAGEOFF
LBB0_11:                                ; =>This Inner Loop Header: Depth=1
	cmp	w24, #0
	csel	x8, x27, x26, eq
	str	x8, [sp]
	mov	x0, x19
	mov	x1, x23
	bl	_fprintf_filtered
	sub	w24, w24, #1
	add	w8, w25, w24
	cmp	w8, #1
	b.hi	LBB0_11
	b	LBB0_19
LBB0_12:
	mov	x0, x22
	bl	_TYPE_CODE
Lloh12:
	adrp	x26, _TYPE_CODE_ARRAY@GOTPAGE
Lloh13:
	ldr	x26, [x26, _TYPE_CODE_ARRAY@GOTPAGEOFF]
	ldr	x8, [x26]
	cmp	x0, x8
	b.ne	LBB0_19
; %bb.13:
	mov	w23, #0
Lloh14:
	adrp	x24, l_.str.3@PAGE
Lloh15:
	add	x24, x24, l_.str.3@PAGEOFF
	mov	x25, x22
	b	LBB0_15
LBB0_14:                                ;   in Loop: Header=BB0_15 Depth=1
	mov	x0, x25
	bl	_TYPE_TARGET_TYPE
	mov	x25, x0
	bl	_TYPE_CODE
	ldr	x8, [x26]
	cmp	x0, x8
	b.ne	LBB0_20
LBB0_15:                                ; =>This Inner Loop Header: Depth=1
	cmp	x25, x22
	b.eq	LBB0_17
; %bb.16:                               ;   in Loop: Header=BB0_15 Depth=1
	mov	x0, x19
	mov	x1, x24
	bl	_fprintf_filtered
LBB0_17:                                ;   in Loop: Header=BB0_15 Depth=1
	mov	x0, x25
	bl	_TYPE_INDEX_TYPE
	mov	x1, x19
	bl	_print_range
	mov	x0, x25
	mov	w1, #0
	bl	_TYPE_FIELD_BITSIZE
	cmp	w0, #1
	b.lt	LBB0_14
; %bb.18:                               ;   in Loop: Header=BB0_15 Depth=1
	mov	x0, x25
	mov	w1, #0
	bl	_TYPE_FIELD_BITSIZE
	mov	x23, x0
	b	LBB0_14
LBB0_19:
	mov	w23, #0
LBB0_20:
	mov	w24, #-1
LBB0_21:
Lloh16:
	adrp	x1, l_.str.6@PAGE
Lloh17:
	add	x1, x1, l_.str.6@PAGEOFF
	mov	x0, x19
	bl	_fprintf_filtered
Lloh18:
	adrp	x25, l_.str.5@PAGE
Lloh19:
	add	x25, x25, l_.str.5@PAGEOFF
	mov	x0, x25
	bl	_wrap_here
	mov	x0, x22
	mov	x1, x24
	bl	_ada_array_element_type
	sub	w8, w21, #1
	cmp	w21, #0
	csel	w3, wzr, w8, eq
	add	w4, w20, #1
	mov	x1, x25
	mov	x2, x19
	bl	_ada_print_type
	cmp	w23, #1
	b.lt	LBB0_23
; %bb.22:
	str	x23, [sp]
Lloh20:
	adrp	x1, l_.str.7@PAGE
Lloh21:
	add	x1, x1, l_.str.7@PAGEOFF
	mov	x0, x19
	bl	_fprintf_filtered
LBB0_23:
	ldp	x29, x30, [sp, #96]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #80]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #64]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #48]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #32]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #112
	ret
LBB0_24:
	mov	w23, #0
	b	LBB0_21
LBB0_25:
	mov	w23, #0
LBB0_26:
	mov	x0, x22
	bl	_TYPE_TARGET_TYPE
	cmp	w24, #1
	b.eq	LBB0_21
; %bb.27:
	mov	x26, x0
	mov	w27, #1
Lloh22:
	adrp	x28, l_.str.3@PAGE
Lloh23:
	add	x28, x28, l_.str.3@PAGEOFF
	b	LBB0_29
LBB0_28:                                ;   in Loop: Header=BB0_29 Depth=1
	add	w27, w27, #1
	mov	x0, x26
	bl	_TYPE_TARGET_TYPE
	mov	x26, x0
	cmp	w24, w27
	b.eq	LBB0_21
LBB0_29:                                ; =>This Inner Loop Header: Depth=1
	mov	x0, x19
	mov	x1, x28
	bl	_fprintf_filtered
	mov	x0, x25
	mov	x1, x27
	bl	_TYPE_FIELD_NAME
	mov	x1, x19
	bl	_print_range_type_named
	mov	x0, x26
	mov	w1, #0
	bl	_TYPE_FIELD_BITSIZE
	cmp	w0, #1
	b.lt	LBB0_28
; %bb.30:                               ;   in Loop: Header=BB0_29 Depth=1
	mov	x0, x26
	mov	w1, #0
	bl	_TYPE_FIELD_BITSIZE
	mov	x23, x0
	b	LBB0_28
	.loh AdrpAdd	Lloh0, Lloh1
	.loh AdrpAdd	Lloh2, Lloh3
	.loh AdrpAdd	Lloh4, Lloh5
	.loh AdrpAdd	Lloh10, Lloh11
	.loh AdrpAdd	Lloh8, Lloh9
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpLdrGot	Lloh12, Lloh13
	.loh AdrpAdd	Lloh14, Lloh15
	.loh AdrpAdd	Lloh18, Lloh19
	.loh AdrpAdd	Lloh16, Lloh17
	.loh AdrpAdd	Lloh20, Lloh21
	.loh AdrpAdd	Lloh22, Lloh23
	.cfi_endproc
                                        ; -- End function
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"array ("

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

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

	.comm	_TYPE_CODE_ARRAY,8,3            ; @TYPE_CODE_ARRAY
l_.str.3:                               ; @.str.3
	.asciz	", "

l_.str.4:                               ; @.str.4
	.asciz	"%s<>"

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

l_.str.6:                               ; @.str.6
	.asciz	") of "

l_.str.7:                               ; @.str.7
	.asciz	" <packed: %d-bit elements>"

	.no_dead_strip	_print_array_type
.subsections_via_symbols
