	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function verify_ssa_name
_verify_ssa_name:                       ## @verify_ssa_name
	.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
	pushq	%rax
	.cfi_offset %rbx, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	%esi, %r14d
	movl	%edi, %ebx
	callq	_TREE_CODE
	movq	_SSA_NAME@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_1
## %bb.2:
	movl	%ebx, %edi
	callq	_TREE_TYPE
	movq	%rax, %r15
	movl	%ebx, %edi
	callq	_SSA_NAME_VAR
	movl	%eax, %edi
	callq	_TREE_TYPE
	cmpq	%rax, %r15
	jne	LBB0_3
## %bb.4:
	movl	%ebx, %edi
	callq	_SSA_NAME_IN_FREE_LIST
	testq	%rax, %rax
	je	LBB0_6
## %bb.5:
	leaq	L_.str.2(%rip), %rdi
	jmp	LBB0_14
LBB0_1:
	leaq	L_.str(%rip), %rdi
	jmp	LBB0_14
LBB0_3:
	leaq	L_.str.1(%rip), %rdi
LBB0_14:
	callq	_error
	movl	$1, %r14d
LBB0_15:
	movl	%r14d, %eax
	addq	$8, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_6:
	movl	%ebx, %edi
	callq	_is_gimple_reg
	testl	%r14d, %r14d
	je	LBB0_9
## %bb.7:
	testq	%rax, %rax
	je	LBB0_11
## %bb.8:
	leaq	L_.str.3(%rip), %rdi
	jmp	LBB0_14
LBB0_9:
	xorl	%r14d, %r14d
	testq	%rax, %rax
	jne	LBB0_15
## %bb.10:
	leaq	L_.str.4(%rip), %rdi
	jmp	LBB0_14
LBB0_11:
	movl	%ebx, %edi
	callq	_SSA_NAME_VAR
	movl	%eax, %edi
	callq	_var_ann
	xorl	%r14d, %r14d
	testq	%rax, %rax
	je	LBB0_15
## %bb.12:
	movl	%ebx, %edi
	callq	_SSA_NAME_VAR
	movl	%eax, %edi
	callq	_get_subvars_for_var
	testq	%rax, %rax
	je	LBB0_15
## %bb.13:
	leaq	L_.str.5(%rip), %rdi
	jmp	LBB0_14
	.cfi_endproc
                                        ## -- End function
	.comm	_SSA_NAME,8,3                   ## @SSA_NAME
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"expected an SSA_NAME object"

L_.str.1:                               ## @.str.1
	.asciz	"type mismatch between an SSA_NAME and its symbol"

L_.str.2:                               ## @.str.2
	.asciz	"found an SSA_NAME that had been released into the free pool"

L_.str.3:                               ## @.str.3
	.asciz	"found a virtual definition for a GIMPLE register"

L_.str.4:                               ## @.str.4
	.asciz	"found a real definition for a non-register"

L_.str.5:                               ## @.str.5
	.asciz	"found real variable when subvariables should have appeared"

	.no_dead_strip	_verify_ssa_name
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function verify_ssa_name
_verify_ssa_name:                       ; @verify_ssa_name
	.cfi_startproc
; %bb.0:
	stp	x22, x21, [sp, #-48]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 48
	stp	x20, x19, [sp, #16]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #32]             ; 16-byte Folded Spill
	add	x29, sp, #32
	.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	x20, x1
	mov	x19, x0
	bl	_TREE_CODE
Lloh0:
	adrp	x8, _SSA_NAME@GOTPAGE
Lloh1:
	ldr	x8, [x8, _SSA_NAME@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	cmp	x0, x8
	b.ne	LBB0_4
; %bb.1:
	mov	x0, x19
	bl	_TREE_TYPE
	mov	x21, x0
	mov	x0, x19
	bl	_SSA_NAME_VAR
	bl	_TREE_TYPE
	cmp	x21, x0
	b.ne	LBB0_5
; %bb.2:
	mov	x0, x19
	bl	_SSA_NAME_IN_FREE_LIST
	cbz	x0, LBB0_8
; %bb.3:
Lloh3:
	adrp	x0, l_.str.2@PAGE
Lloh4:
	add	x0, x0, l_.str.2@PAGEOFF
	b	LBB0_6
LBB0_4:
Lloh5:
	adrp	x0, l_.str@PAGE
Lloh6:
	add	x0, x0, l_.str@PAGEOFF
	b	LBB0_6
LBB0_5:
Lloh7:
	adrp	x0, l_.str.1@PAGE
Lloh8:
	add	x0, x0, l_.str.1@PAGEOFF
LBB0_6:
	bl	_error
	mov	w0, #1
LBB0_7:
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #16]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp], #48             ; 16-byte Folded Reload
	ret
LBB0_8:
	mov	x0, x19
	bl	_is_gimple_reg
	cbz	w20, LBB0_11
; %bb.9:
	cbz	x0, LBB0_13
; %bb.10:
Lloh9:
	adrp	x0, l_.str.3@PAGE
Lloh10:
	add	x0, x0, l_.str.3@PAGEOFF
	b	LBB0_6
LBB0_11:
	cbz	x0, LBB0_16
; %bb.12:
	mov	w0, #0
	b	LBB0_7
LBB0_13:
	mov	x0, x19
	bl	_SSA_NAME_VAR
	bl	_var_ann
	cbz	x0, LBB0_7
; %bb.14:
	mov	x0, x19
	bl	_SSA_NAME_VAR
	bl	_get_subvars_for_var
	cbz	x0, LBB0_7
; %bb.15:
Lloh11:
	adrp	x0, l_.str.5@PAGE
Lloh12:
	add	x0, x0, l_.str.5@PAGEOFF
	b	LBB0_6
LBB0_16:
Lloh13:
	adrp	x0, l_.str.4@PAGE
Lloh14:
	add	x0, x0, l_.str.4@PAGEOFF
	b	LBB0_6
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpAdd	Lloh3, Lloh4
	.loh AdrpAdd	Lloh5, Lloh6
	.loh AdrpAdd	Lloh7, Lloh8
	.loh AdrpAdd	Lloh9, Lloh10
	.loh AdrpAdd	Lloh11, Lloh12
	.loh AdrpAdd	Lloh13, Lloh14
	.cfi_endproc
                                        ; -- End function
	.comm	_SSA_NAME,8,3                   ; @SSA_NAME
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"expected an SSA_NAME object"

l_.str.1:                               ; @.str.1
	.asciz	"type mismatch between an SSA_NAME and its symbol"

l_.str.2:                               ; @.str.2
	.asciz	"found an SSA_NAME that had been released into the free pool"

l_.str.3:                               ; @.str.3
	.asciz	"found a virtual definition for a GIMPLE register"

l_.str.4:                               ; @.str.4
	.asciz	"found a real definition for a non-register"

l_.str.5:                               ; @.str.5
	.asciz	"found real variable when subvariables should have appeared"

	.no_dead_strip	_verify_ssa_name
.subsections_via_symbols
