	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_dump_iv                        ## -- Begin function dump_iv
	.p2align	4, 0x90
_dump_iv:                               ## @dump_iv
	.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
	pushq	%rax
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rsi, %r14
	movq	%rdi, %rbx
	cmpq	$0, 32(%rsi)
	je	LBB0_2
## %bb.1:
	leaq	L_.str(%rip), %rdi
	movl	$9, %esi
	movl	$1, %edx
	movq	%rbx, %rcx
	callq	_fwrite
	movq	32(%r14), %rsi
	movq	_TDF_SLIM@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	movq	%rbx, %rdi
	callq	_print_generic_expr
	movl	$10, %edi
	movq	%rbx, %rsi
	callq	_fputc
LBB0_2:
	leaq	L_.str.2(%rip), %rdi
	movl	$7, %esi
	movl	$1, %edx
	movq	%rbx, %rcx
	callq	_fwrite
	leaq	16(%r14), %r12
	movq	16(%r14), %rdi
	callq	_TREE_TYPE
	movq	_TDF_SLIM@GOTPCREL(%rip), %r15
	movl	(%r15), %edx
	movq	%rbx, %rdi
	movq	%rax, %rsi
	callq	_print_generic_expr
	movl	$10, %edi
	movq	%rbx, %rsi
	callq	_fputc
	cmpq	$0, 24(%r14)
	je	LBB0_4
## %bb.3:
	leaq	24(%r14), %r13
	leaq	L_.str.3(%rip), %rdi
	movl	$7, %esi
	movl	$1, %edx
	movq	%rbx, %rcx
	callq	_fwrite
	movq	(%r12), %rsi
	movl	(%r15), %edx
	movq	%rbx, %rdi
	callq	_print_generic_expr
	movl	$10, %edi
	movq	%rbx, %rsi
	callq	_fputc
	leaq	L_.str.4(%rip), %rdi
	movl	$7, %esi
	movl	$1, %edx
	movq	%rbx, %rcx
	callq	_fwrite
	movq	%r13, %r12
	jmp	LBB0_5
LBB0_4:
	leaq	L_.str.5(%rip), %rdi
	movl	$12, %esi
	movl	$1, %edx
	movq	%rbx, %rcx
	callq	_fwrite
LBB0_5:
	movq	(%r12), %rsi
	movl	(%r15), %edx
	movq	%rbx, %rdi
	callq	_print_generic_expr
	movl	$10, %edi
	movq	%rbx, %rsi
	callq	_fputc
	cmpq	$0, 8(%r14)
	je	LBB0_7
## %bb.6:
	leaq	L_.str.6(%rip), %rdi
	movl	$14, %esi
	movl	$1, %edx
	movq	%rbx, %rcx
	callq	_fwrite
	movq	8(%r14), %rsi
	movl	(%r15), %edx
	movq	%rbx, %rdi
	callq	_print_generic_expr
	movl	$10, %edi
	movq	%rbx, %rsi
	callq	_fputc
LBB0_7:
	cmpq	$0, (%r14)
	je	LBB0_8
## %bb.9:
	leaq	L_.str.7(%rip), %rdi
	movl	$11, %esi
	movl	$1, %edx
	movq	%rbx, %rcx
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_fwrite                         ## TAILCALL
LBB0_8:
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"ssa name "

	.comm	_TDF_SLIM,4,2                   ## @TDF_SLIM
L_.str.2:                               ## @.str.2
	.asciz	"  type "

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

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

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

L_.str.6:                               ## @.str.6
	.asciz	"  base object "

L_.str.7:                               ## @.str.7
	.asciz	"  is a biv\n"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_dump_iv                        ; -- Begin function dump_iv
	.p2align	2
_dump_iv:                               ; @dump_iv
	.cfi_startproc
; %bb.0:
	stp	x24, x23, [sp, #-64]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 64
	stp	x22, x21, [sp, #16]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #32]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #48]             ; 16-byte Folded Spill
	add	x29, sp, #48
	.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	x19, x0
	ldr	x8, [x1, #32]
Lloh0:
	adrp	x21, _TDF_SLIM@GOTPAGE
Lloh1:
	ldr	x21, [x21, _TDF_SLIM@GOTPAGEOFF]
	cbz	x8, LBB0_2
; %bb.1:
Lloh2:
	adrp	x0, l_.str@PAGE
Lloh3:
	add	x0, x0, l_.str@PAGEOFF
	mov	w1, #9
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
	ldr	x1, [x20, #32]
	ldr	w2, [x21]
	mov	x0, x19
	bl	_print_generic_expr
	mov	w0, #10
	mov	x1, x19
	bl	_fputc
LBB0_2:
Lloh4:
	adrp	x0, l_.str.2@PAGE
Lloh5:
	add	x0, x0, l_.str.2@PAGEOFF
	mov	w1, #7
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
	mov	x22, x20
	ldr	x0, [x22, #16]!
	bl	_TREE_TYPE
	mov	x1, x0
	ldr	w2, [x21]
	mov	x0, x19
	bl	_print_generic_expr
	mov	w0, #10
	mov	x1, x19
	bl	_fputc
	mov	x23, x20
	ldr	x8, [x23, #24]!
	cbz	x8, LBB0_4
; %bb.3:
Lloh6:
	adrp	x0, l_.str.3@PAGE
Lloh7:
	add	x0, x0, l_.str.3@PAGEOFF
	mov	w1, #7
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
	ldr	x1, [x22]
	ldr	w2, [x21]
	mov	x0, x19
	bl	_print_generic_expr
	mov	w0, #10
	mov	x1, x19
	bl	_fputc
Lloh8:
	adrp	x0, l_.str.4@PAGE
Lloh9:
	add	x0, x0, l_.str.4@PAGEOFF
	mov	w1, #7
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
	mov	x22, x23
	b	LBB0_5
LBB0_4:
Lloh10:
	adrp	x0, l_.str.5@PAGE
Lloh11:
	add	x0, x0, l_.str.5@PAGEOFF
	mov	w1, #12
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
LBB0_5:
	ldr	x1, [x22]
	ldr	w2, [x21]
	mov	x0, x19
	bl	_print_generic_expr
	mov	w0, #10
	mov	x1, x19
	bl	_fputc
	ldr	x8, [x20, #8]
	cbz	x8, LBB0_7
; %bb.6:
Lloh12:
	adrp	x0, l_.str.6@PAGE
Lloh13:
	add	x0, x0, l_.str.6@PAGEOFF
	mov	w1, #14
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
	ldr	x1, [x20, #8]
	ldr	w2, [x21]
	mov	x0, x19
	bl	_print_generic_expr
	mov	w0, #10
	mov	x1, x19
	bl	_fputc
LBB0_7:
	ldr	x8, [x20]
	cbz	x8, LBB0_9
; %bb.8:
Lloh14:
	adrp	x0, l_.str.7@PAGE
Lloh15:
	add	x0, x0, l_.str.7@PAGEOFF
	mov	w1, #11
	mov	w2, #1
	mov	x3, x19
	ldp	x29, x30, [sp, #48]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #32]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #16]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp], #64             ; 16-byte Folded Reload
	b	_fwrite
LBB0_9:
	ldp	x29, x30, [sp, #48]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #32]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #16]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp], #64             ; 16-byte Folded Reload
	ret
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpAdd	Lloh2, Lloh3
	.loh AdrpAdd	Lloh4, Lloh5
	.loh AdrpAdd	Lloh8, Lloh9
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpAdd	Lloh10, Lloh11
	.loh AdrpAdd	Lloh12, Lloh13
	.loh AdrpAdd	Lloh14, Lloh15
	.cfi_endproc
                                        ; -- End function
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"ssa name "

	.comm	_TDF_SLIM,4,2                   ; @TDF_SLIM
l_.str.2:                               ; @.str.2
	.asciz	"  type "

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

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

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

l_.str.6:                               ; @.str.6
	.asciz	"  base object "

l_.str.7:                               ; @.str.7
	.asciz	"  is a biv\n"

.subsections_via_symbols
