	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_instantiate_parameters         ## -- Begin function instantiate_parameters
	.p2align	4, 0x90
_instantiate_parameters:                ## @instantiate_parameters
	.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
	.cfi_offset %rbx, -48
	.cfi_offset %r12, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	%esi, %r15d
	movq	%rdi, %rbx
	movq	_hash_scev_info@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movq	_eq_scev_info@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	movq	_del_scev_info@GOTPCREL(%rip), %rax
	movl	(%rax), %ecx
	movl	$10, %edi
	callq	_htab_create
	movl	%eax, %r14d
	movq	_dump_file@GOTPCREL(%rip), %r12
	movq	(%r12), %rdi
	testq	%rdi, %rdi
	je	LBB0_3
## %bb.1:
	movq	_dump_flags@GOTPCREL(%rip), %rax
	movq	_TDF_DETAILS@GOTPCREL(%rip), %rcx
	movl	(%rcx), %ecx
	testl	%ecx, (%rax)
	je	LBB0_3
## %bb.2:
	leaq	L_.str(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
	movq	(%r12), %rdi
	movl	(%rbx), %edx
	leaq	L_.str.1(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
	movq	(%r12), %rdi
	leaq	L_.str.2(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
	movq	(%r12), %rdi
	movl	%r15d, %esi
	xorl	%edx, %edx
	callq	_print_generic_expr
	movq	(%r12), %rdi
	leaq	L_.str.3(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
LBB0_3:
	movq	_INSERT_SUPERLOOP_CHRECS@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	movq	%rbx, %rdi
	movl	%r15d, %esi
	movl	%r14d, %ecx
	xorl	%r8d, %r8d
	callq	_instantiate_parameters_1
	movl	%eax, %ebx
	movq	(%r12), %rdi
	testq	%rdi, %rdi
	je	LBB0_6
## %bb.4:
	movq	_dump_flags@GOTPCREL(%rip), %rax
	movq	_TDF_DETAILS@GOTPCREL(%rip), %rcx
	movl	(%rcx), %ecx
	testl	%ecx, (%rax)
	je	LBB0_6
## %bb.5:
	leaq	L_.str.4(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
	movq	(%r12), %rdi
	movl	%ebx, %esi
	xorl	%edx, %edx
	callq	_print_generic_expr
	movq	(%r12), %rdi
	leaq	L_.str.5(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
LBB0_6:
	movl	%r14d, %edi
	callq	_htab_delete
	movl	%ebx, %eax
	popq	%rbx
	popq	%r12
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_hash_scev_info,4,2             ## @hash_scev_info
	.comm	_eq_scev_info,4,2               ## @eq_scev_info
	.comm	_del_scev_info,4,2              ## @del_scev_info
	.comm	_dump_file,8,3                  ## @dump_file
	.comm	_dump_flags,4,2                 ## @dump_flags
	.comm	_TDF_DETAILS,4,2                ## @TDF_DETAILS
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"(instantiate_parameters \n"

L_.str.1:                               ## @.str.1
	.asciz	"  (loop_nb = %d)\n"

L_.str.2:                               ## @.str.2
	.asciz	"  (chrec = "

L_.str.3:                               ## @.str.3
	.asciz	")\n"

	.comm	_INSERT_SUPERLOOP_CHRECS,4,2    ## @INSERT_SUPERLOOP_CHRECS
L_.str.4:                               ## @.str.4
	.asciz	"  (res = "

L_.str.5:                               ## @.str.5
	.asciz	"))\n"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_instantiate_parameters         ; -- Begin function instantiate_parameters
	.p2align	2
_instantiate_parameters:                ; @instantiate_parameters
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #80
	.cfi_def_cfa_offset 80
	stp	x24, x23, [sp, #16]             ; 16-byte Folded Spill
	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
	.cfi_offset w23, -56
	.cfi_offset w24, -64
	mov	x20, x1
	mov	x21, x0
Lloh0:
	adrp	x8, _hash_scev_info@GOTPAGE
Lloh1:
	ldr	x8, [x8, _hash_scev_info@GOTPAGEOFF]
Lloh2:
	ldr	w1, [x8]
Lloh3:
	adrp	x8, _eq_scev_info@GOTPAGE
Lloh4:
	ldr	x8, [x8, _eq_scev_info@GOTPAGEOFF]
Lloh5:
	ldr	w2, [x8]
Lloh6:
	adrp	x8, _del_scev_info@GOTPAGE
Lloh7:
	ldr	x8, [x8, _del_scev_info@GOTPAGEOFF]
Lloh8:
	ldr	w3, [x8]
	mov	w0, #10
	bl	_htab_create
	mov	x19, x0
Lloh9:
	adrp	x22, _dump_file@GOTPAGE
Lloh10:
	ldr	x22, [x22, _dump_file@GOTPAGEOFF]
	ldr	x0, [x22]
Lloh11:
	adrp	x23, _dump_flags@GOTPAGE
Lloh12:
	ldr	x23, [x23, _dump_flags@GOTPAGEOFF]
Lloh13:
	adrp	x24, _TDF_DETAILS@GOTPAGE
Lloh14:
	ldr	x24, [x24, _TDF_DETAILS@GOTPAGEOFF]
	cbz	x0, LBB0_3
; %bb.1:
	ldr	w8, [x23]
	ldr	w9, [x24]
	tst	w9, w8
	b.eq	LBB0_3
; %bb.2:
Lloh15:
	adrp	x1, l_.str@PAGE
Lloh16:
	add	x1, x1, l_.str@PAGEOFF
	bl	_fprintf
	ldr	x0, [x22]
	ldr	w8, [x21]
	str	x8, [sp]
Lloh17:
	adrp	x1, l_.str.1@PAGE
Lloh18:
	add	x1, x1, l_.str.1@PAGEOFF
	bl	_fprintf
	ldr	x0, [x22]
Lloh19:
	adrp	x1, l_.str.2@PAGE
Lloh20:
	add	x1, x1, l_.str.2@PAGEOFF
	bl	_fprintf
	ldr	x0, [x22]
	mov	x1, x20
	mov	w2, #0
	bl	_print_generic_expr
	ldr	x0, [x22]
Lloh21:
	adrp	x1, l_.str.3@PAGE
Lloh22:
	add	x1, x1, l_.str.3@PAGEOFF
	bl	_fprintf
LBB0_3:
Lloh23:
	adrp	x8, _INSERT_SUPERLOOP_CHRECS@GOTPAGE
Lloh24:
	ldr	x8, [x8, _INSERT_SUPERLOOP_CHRECS@GOTPAGEOFF]
Lloh25:
	ldr	w2, [x8]
	mov	x0, x21
	mov	x1, x20
	mov	x3, x19
	mov	w4, #0
	bl	_instantiate_parameters_1
	mov	x20, x0
	ldr	x0, [x22]
	cbz	x0, LBB0_6
; %bb.4:
	ldr	w8, [x23]
	ldr	w9, [x24]
	tst	w9, w8
	b.eq	LBB0_6
; %bb.5:
Lloh26:
	adrp	x1, l_.str.4@PAGE
Lloh27:
	add	x1, x1, l_.str.4@PAGEOFF
	bl	_fprintf
	ldr	x0, [x22]
	mov	x1, x20
	mov	w2, #0
	bl	_print_generic_expr
	ldr	x0, [x22]
Lloh28:
	adrp	x1, l_.str.5@PAGE
Lloh29:
	add	x1, x1, l_.str.5@PAGEOFF
	bl	_fprintf
LBB0_6:
	mov	x0, x19
	bl	_htab_delete
	mov	x0, x20
	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
	ldp	x24, x23, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #80
	ret
	.loh AdrpLdrGot	Lloh13, Lloh14
	.loh AdrpLdrGot	Lloh11, Lloh12
	.loh AdrpLdrGot	Lloh9, Lloh10
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpAdd	Lloh21, Lloh22
	.loh AdrpAdd	Lloh19, Lloh20
	.loh AdrpAdd	Lloh17, Lloh18
	.loh AdrpAdd	Lloh15, Lloh16
	.loh AdrpLdrGotLdr	Lloh23, Lloh24, Lloh25
	.loh AdrpAdd	Lloh28, Lloh29
	.loh AdrpAdd	Lloh26, Lloh27
	.cfi_endproc
                                        ; -- End function
	.comm	_hash_scev_info,4,2             ; @hash_scev_info
	.comm	_eq_scev_info,4,2               ; @eq_scev_info
	.comm	_del_scev_info,4,2              ; @del_scev_info
	.comm	_dump_file,8,3                  ; @dump_file
	.comm	_dump_flags,4,2                 ; @dump_flags
	.comm	_TDF_DETAILS,4,2                ; @TDF_DETAILS
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"(instantiate_parameters \n"

l_.str.1:                               ; @.str.1
	.asciz	"  (loop_nb = %d)\n"

l_.str.2:                               ; @.str.2
	.asciz	"  (chrec = "

l_.str.3:                               ; @.str.3
	.asciz	")\n"

	.comm	_INSERT_SUPERLOOP_CHRECS,4,2    ; @INSERT_SUPERLOOP_CHRECS
l_.str.4:                               ; @.str.4
	.asciz	"  (res = "

l_.str.5:                               ; @.str.5
	.asciz	"))\n"

.subsections_via_symbols
