	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function iv_analyze_biv
_iv_analyze_biv:                        ## @iv_analyze_biv
	.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	%rbx
	subq	$40, %rsp
	.cfi_offset %rbx, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rsi, %r14
	movl	%edi, %ebx
	movq	_dump_file@GOTPCREL(%rip), %r15
	movq	(%r15), %rdi
	testq	%rdi, %rdi
	je	LBB0_2
## %bb.1:
	leaq	L_.str(%rip), %rsi
	callq	_fprintf
	movq	(%r15), %rdi
	movl	%ebx, %esi
	callq	_print_rtl
	movq	(%r15), %rdi
	leaq	L_.str.1(%rip), %rsi
	callq	_fprintf
LBB0_2:
	movl	%ebx, %edi
	callq	_REG_P
	testl	%eax, %eax
	je	LBB0_3
## %bb.6:
	leaq	-56(%rbp), %rsi
	movl	%ebx, %edi
	callq	_latch_dominating_def
	testl	%eax, %eax
	je	LBB0_7
## %bb.9:
	cmpq	$0, -56(%rbp)
	je	LBB0_10
## %bb.11:
	movl	%ebx, %edi
	movq	%r14, %rsi
	callq	_analyzed_for_bivness_p
	testq	%rax, %rax
	je	LBB0_14
## %bb.12:
	movq	(%r15), %rdi
	testq	%rdi, %rdi
	je	LBB0_20
## %bb.13:
	leaq	L_.str.3(%rip), %rsi
	callq	_fprintf
	jmp	LBB0_20
LBB0_3:
	movl	%ebx, %edi
	callq	_CONSTANT_P
	testl	%eax, %eax
	je	LBB0_4
## %bb.5:
	movq	_VOIDmode@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	movq	%r14, %rdi
	movl	%ebx, %esi
	addq	$40, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_iv_constant                    ## TAILCALL
LBB0_7:
	movq	(%r15), %rdi
	xorl	%ebx, %ebx
	testq	%rdi, %rdi
	je	LBB0_21
## %bb.8:
	leaq	L_.str.2(%rip), %rsi
	callq	_fprintf
	jmp	LBB0_21
LBB0_10:
	movq	_VOIDmode@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	movq	%r14, %rdi
	movl	%ebx, %esi
	callq	_iv_constant
	movl	%eax, %ebx
	jmp	LBB0_21
LBB0_4:
	xorl	%ebx, %ebx
	jmp	LBB0_21
LBB0_14:
	movq	-56(%rbp), %rdi
	leaq	-32(%rbp), %rax
	movq	%rax, (%rsp)
	leaq	-44(%rbp), %rdx
	leaq	-40(%rbp), %rcx
	leaq	-36(%rbp), %r8
	leaq	-28(%rbp), %r9
	movl	%ebx, %esi
	callq	_get_biv_step
	testl	%eax, %eax
	je	LBB0_15
## %bb.16:
	movq	_MINUS@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movl	-28(%rbp), %esi
	movl	-32(%rbp), %ecx
	movl	%ebx, %edx
	callq	_simplify_gen_binary
	movq	%rax, 16(%r14)
	movq	_PLUS@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movl	-28(%rbp), %esi
	movl	-44(%rbp), %edx
	movl	-32(%rbp), %ecx
	callq	_simplify_gen_binary
	movq	%rax, 32(%r14)
	movl	-40(%rbp), %eax
	movl	%eax, (%r14)
	movl	-28(%rbp), %ecx
	movl	%ecx, 4(%r14)
	movl	-36(%rbp), %edx
	movl	%edx, 8(%r14)
	movq	_const1_rtx@GOTPCREL(%rip), %rdx
	movl	(%rdx), %edx
	movl	%edx, 28(%r14)
	movl	-32(%rbp), %edx
	movl	%edx, 24(%r14)
	xorl	%edx, %edx
	cmpl	%ecx, %eax
	setne	%dl
	movl	%edx, 12(%r14)
	jmp	LBB0_17
LBB0_15:
	movq	_NULL_RTX@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, 16(%r14)
LBB0_17:
	movq	(%r15), %rdi
	testq	%rdi, %rdi
	je	LBB0_19
## %bb.18:
	leaq	L_.str.4(%rip), %rsi
	callq	_fprintf
	movq	(%r15), %rdi
	movq	%r14, %rsi
	callq	_dump_iv_info
	movq	(%r15), %rdi
	leaq	L_.str.5(%rip), %rsi
	callq	_fprintf
LBB0_19:
	movl	%ebx, %edi
	movq	%r14, %rsi
	callq	_record_biv
LBB0_20:
	movq	16(%r14), %rax
	movq	_NULL_RTX@GOTPCREL(%rip), %rcx
	xorl	%ebx, %ebx
	cmpq	(%rcx), %rax
	setne	%bl
LBB0_21:
	movl	%ebx, %eax
	addq	$40, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_dump_file,8,3                  ## @dump_file
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"Analyzing "

L_.str.1:                               ## @.str.1
	.asciz	" for bivness.\n"

	.comm	_VOIDmode,4,2                   ## @VOIDmode
L_.str.2:                               ## @.str.2
	.asciz	"  not simple.\n"

L_.str.3:                               ## @.str.3
	.asciz	"  already analysed.\n"

	.comm	_NULL_RTX,8,3                   ## @NULL_RTX
	.comm	_MINUS,4,2                      ## @MINUS
	.comm	_PLUS,4,2                       ## @PLUS
	.comm	_const1_rtx,4,2                 ## @const1_rtx
L_.str.4:                               ## @.str.4
	.asciz	"  "

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

	.no_dead_strip	_iv_analyze_biv
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function iv_analyze_biv
_iv_analyze_biv:                        ; @iv_analyze_biv
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #80
	.cfi_def_cfa_offset 80
	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
	mov	x19, x1
	mov	x20, x0
Lloh0:
	adrp	x21, _dump_file@GOTPAGE
Lloh1:
	ldr	x21, [x21, _dump_file@GOTPAGEOFF]
	ldr	x0, [x21]
	cbz	x0, LBB0_2
; %bb.1:
Lloh2:
	adrp	x1, l_.str@PAGE
Lloh3:
	add	x1, x1, l_.str@PAGEOFF
	bl	_fprintf
	ldr	x0, [x21]
	mov	x1, x20
	bl	_print_rtl
	ldr	x0, [x21]
Lloh4:
	adrp	x1, l_.str.1@PAGE
Lloh5:
	add	x1, x1, l_.str.1@PAGEOFF
	bl	_fprintf
LBB0_2:
	mov	x0, x20
	bl	_REG_P
	cbz	w0, LBB0_8
; %bb.3:
	mov	x1, sp
	mov	x0, x20
	bl	_latch_dominating_def
	cbz	w0, LBB0_10
; %bb.4:
	ldr	x8, [sp]
	cbz	x8, LBB0_12
; %bb.5:
	mov	x0, x20
	mov	x1, x19
	bl	_analyzed_for_bivness_p
	cbz	x0, LBB0_13
; %bb.6:
	ldr	x0, [x21]
	cbz	x0, LBB0_17
; %bb.7:
Lloh6:
	adrp	x1, l_.str.3@PAGE
Lloh7:
	add	x1, x1, l_.str.3@PAGEOFF
	bl	_fprintf
	b	LBB0_17
LBB0_8:
	mov	x0, x20
	bl	_CONSTANT_P
	cbz	w0, LBB0_18
; %bb.9:
Lloh8:
	adrp	x8, _VOIDmode@GOTPAGE
Lloh9:
	ldr	x8, [x8, _VOIDmode@GOTPAGEOFF]
Lloh10:
	ldr	w2, [x8]
	mov	x0, x19
	mov	x1, 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
	add	sp, sp, #80
	b	_iv_constant
LBB0_10:
	ldr	x0, [x21]
	cbz	x0, LBB0_18
; %bb.11:
Lloh11:
	adrp	x1, l_.str.2@PAGE
Lloh12:
	add	x1, x1, l_.str.2@PAGEOFF
	bl	_fprintf
	mov	w0, #0
	b	LBB0_18
LBB0_12:
Lloh13:
	adrp	x8, _VOIDmode@GOTPAGE
Lloh14:
	ldr	x8, [x8, _VOIDmode@GOTPAGEOFF]
Lloh15:
	ldr	w2, [x8]
	mov	x0, x19
	mov	x1, x20
	bl	_iv_constant
	b	LBB0_18
LBB0_13:
	ldr	x0, [sp]
	add	x2, sp, #28
	add	x3, sp, #20
	add	x4, sp, #12
	add	x5, sp, #16
	add	x6, sp, #24
	mov	x1, x20
	bl	_get_biv_step
	cbz	w0, LBB0_19
; %bb.14:
Lloh16:
	adrp	x8, _MINUS@GOTPAGE
Lloh17:
	ldr	x8, [x8, _MINUS@GOTPAGEOFF]
Lloh18:
	ldr	w0, [x8]
	ldr	w1, [sp, #16]
	ldr	w3, [sp, #24]
	mov	x2, x20
	bl	_simplify_gen_binary
	str	x0, [x19, #16]
Lloh19:
	adrp	x8, _PLUS@GOTPAGE
Lloh20:
	ldr	x8, [x8, _PLUS@GOTPAGEOFF]
Lloh21:
	ldr	w0, [x8]
	ldr	w1, [sp, #16]
	ldp	w3, w2, [sp, #24]
	bl	_simplify_gen_binary
	str	x0, [x19, #32]
	ldp	w9, w8, [sp, #16]
	stp	w8, w9, [x19]
Lloh22:
	adrp	x10, _const1_rtx@GOTPAGE
Lloh23:
	ldr	x10, [x10, _const1_rtx@GOTPAGEOFF]
Lloh24:
	ldr	w10, [x10]
	ldr	w11, [sp, #24]
	stp	w11, w10, [x19, #24]
	ldr	w10, [sp, #12]
	cmp	w8, w9
	cset	w8, ne
	stp	w10, w8, [x19, #8]
	ldr	x0, [x21]
	cbz	x0, LBB0_16
LBB0_15:
Lloh25:
	adrp	x1, l_.str.4@PAGE
Lloh26:
	add	x1, x1, l_.str.4@PAGEOFF
	bl	_fprintf
	ldr	x0, [x21]
	mov	x1, x19
	bl	_dump_iv_info
	ldr	x0, [x21]
Lloh27:
	adrp	x1, l_.str.5@PAGE
Lloh28:
	add	x1, x1, l_.str.5@PAGEOFF
	bl	_fprintf
LBB0_16:
	mov	x0, x20
	mov	x1, x19
	bl	_record_biv
LBB0_17:
	ldr	x8, [x19, #16]
Lloh29:
	adrp	x9, _NULL_RTX@GOTPAGE
Lloh30:
	ldr	x9, [x9, _NULL_RTX@GOTPAGEOFF]
Lloh31:
	ldr	x9, [x9]
	cmp	x8, x9
	cset	w0, ne
LBB0_18:
	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
	add	sp, sp, #80
	ret
LBB0_19:
Lloh32:
	adrp	x8, _NULL_RTX@GOTPAGE
Lloh33:
	ldr	x8, [x8, _NULL_RTX@GOTPAGEOFF]
Lloh34:
	ldr	x8, [x8]
	str	x8, [x19, #16]
	ldr	x0, [x21]
	cbnz	x0, LBB0_15
	b	LBB0_16
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpAdd	Lloh4, Lloh5
	.loh AdrpAdd	Lloh2, Lloh3
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpLdrGotLdr	Lloh8, Lloh9, Lloh10
	.loh AdrpAdd	Lloh11, Lloh12
	.loh AdrpLdrGotLdr	Lloh13, Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh22, Lloh23, Lloh24
	.loh AdrpLdrGotLdr	Lloh19, Lloh20, Lloh21
	.loh AdrpLdrGotLdr	Lloh16, Lloh17, Lloh18
	.loh AdrpAdd	Lloh27, Lloh28
	.loh AdrpAdd	Lloh25, Lloh26
	.loh AdrpLdrGotLdr	Lloh29, Lloh30, Lloh31
	.loh AdrpLdrGotLdr	Lloh32, Lloh33, Lloh34
	.cfi_endproc
                                        ; -- End function
	.comm	_dump_file,8,3                  ; @dump_file
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"Analyzing "

l_.str.1:                               ; @.str.1
	.asciz	" for bivness.\n"

	.comm	_VOIDmode,4,2                   ; @VOIDmode
l_.str.2:                               ; @.str.2
	.asciz	"  not simple.\n"

l_.str.3:                               ; @.str.3
	.asciz	"  already analysed.\n"

	.comm	_NULL_RTX,8,3                   ; @NULL_RTX
	.comm	_MINUS,4,2                      ; @MINUS
	.comm	_PLUS,4,2                       ; @PLUS
	.comm	_const1_rtx,4,2                 ; @const1_rtx
l_.str.4:                               ; @.str.4
	.asciz	"  "

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

	.no_dead_strip	_iv_analyze_biv
.subsections_via_symbols
