	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function set_lattice_value
_set_lattice_value:                     ## @set_lattice_value
	.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	$24, %rsp
	.cfi_offset %rbx, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	xorl	%r15d, %r15d
	xorl	%esi, %esi
	callq	_get_value
	movq	%rax, %r14
	movq	(%rax), %rax
	movq	16(%rbp), %rbx
	movl	$1, %edi
	cmpq	%rbx, %rax
	jle	LBB0_4
## %bb.1:
	movq	_do_store_ccp@GOTPCREL(%rip), %rcx
	xorl	%edi, %edi
	cmpq	$0, (%rcx)
	je	LBB0_4
## %bb.2:
	movq	_CONSTANT@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_4
## %bb.3:
	movq	_UNKNOWN_VAL@GOTPCREL(%rip), %rax
	xorl	%edi, %edi
	cmpq	(%rax), %rbx
	sete	%dil
LBB0_4:
	callq	_gcc_assert
	cmpq	%rbx, (%r14)
	je	LBB0_9
## %bb.5:
	leaq	16(%rbp), %rbx
	movq	_dump_file@GOTPCREL(%rip), %r15
	movq	(%r15), %rdi
	testq	%rdi, %rdi
	je	LBB0_8
## %bb.6:
	movq	_dump_flags@GOTPCREL(%rip), %rax
	movq	_TDF_DETAILS@GOTPCREL(%rip), %rcx
	movl	(%rcx), %ecx
	testl	%ecx, (%rax)
	je	LBB0_8
## %bb.7:
	movq	16(%rbx), %rax
	movq	%rax, 16(%rsp)
	movups	(%rbx), %xmm0
	movups	%xmm0, (%rsp)
	leaq	L_.str(%rip), %rsi
	callq	_dump_lattice_value
	movq	(%r15), %rdi
	movq	(%rbx), %rax
	movq	_UNDEFINED@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	leaq	L_.str.3(%rip), %rax
	leaq	L_.str.2(%rip), %rdx
	cmoveq	%rax, %rdx
	leaq	L_.str.1(%rip), %rsi
	callq	_fprintf
LBB0_8:
	movq	16(%rbx), %rax
	movq	%rax, 16(%r14)
	movups	(%rbx), %xmm0
	movups	%xmm0, (%r14)
	movq	(%rbx), %rax
	movq	_UNDEFINED@GOTPCREL(%rip), %rcx
	xorl	%r15d, %r15d
	cmpq	(%rcx), %rax
	setne	%r15b
LBB0_9:
	movl	%r15d, %eax
	addq	$24, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_do_store_ccp,8,3               ## @do_store_ccp
	.comm	_CONSTANT,8,3                   ## @CONSTANT
	.comm	_UNKNOWN_VAL,8,3                ## @UNKNOWN_VAL
	.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	"Lattice value changed to "

L_.str.1:                               ## @.str.1
	.asciz	".  %sdding SSA edges to worklist.\n"

	.comm	_UNDEFINED,8,3                  ## @UNDEFINED
L_.str.2:                               ## @.str.2
	.asciz	"A"

L_.str.3:                               ## @.str.3
	.asciz	"Not a"

	.no_dead_strip	_set_lattice_value
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function set_lattice_value
_set_lattice_value:                     ; @set_lattice_value
	.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	w1, #0
	bl	_get_value
	mov	x20, x0
	ldr	x9, [x0]
	ldr	x8, [x19]
	cmp	x9, x8
	b.le	LBB0_3
; %bb.1:
Lloh0:
	adrp	x10, _do_store_ccp@GOTPAGE
Lloh1:
	ldr	x10, [x10, _do_store_ccp@GOTPAGEOFF]
Lloh2:
	ldr	x10, [x10]
Lloh3:
	adrp	x11, _CONSTANT@GOTPAGE
Lloh4:
	ldr	x11, [x11, _CONSTANT@GOTPAGEOFF]
Lloh5:
	ldr	x11, [x11]
	cmp	x10, #0
	ccmp	x9, x11, #0, ne
	b.eq	LBB0_4
; %bb.2:
	mov	w0, #0
	b	LBB0_5
LBB0_3:
	mov	w0, #1
	b	LBB0_5
LBB0_4:
Lloh6:
	adrp	x9, _UNKNOWN_VAL@GOTPAGE
Lloh7:
	ldr	x9, [x9, _UNKNOWN_VAL@GOTPAGEOFF]
Lloh8:
	ldr	x9, [x9]
	cmp	x8, x9
	cset	w0, eq
LBB0_5:
	bl	_gcc_assert
	ldr	x8, [x20]
	ldr	x9, [x19]
	cmp	x8, x9
	b.ne	LBB0_7
; %bb.6:
	mov	w0, #0
	b	LBB0_11
LBB0_7:
Lloh9:
	adrp	x22, _dump_file@GOTPAGE
Lloh10:
	ldr	x22, [x22, _dump_file@GOTPAGEOFF]
	ldr	x0, [x22]
Lloh11:
	adrp	x21, _UNDEFINED@GOTPAGE
Lloh12:
	ldr	x21, [x21, _UNDEFINED@GOTPAGEOFF]
	cbz	x0, LBB0_10
; %bb.8:
Lloh13:
	adrp	x8, _dump_flags@GOTPAGE
Lloh14:
	ldr	x8, [x8, _dump_flags@GOTPAGEOFF]
Lloh15:
	ldr	w8, [x8]
Lloh16:
	adrp	x9, _TDF_DETAILS@GOTPAGE
Lloh17:
	ldr	x9, [x9, _TDF_DETAILS@GOTPAGEOFF]
Lloh18:
	ldr	w9, [x9]
	tst	w9, w8
	b.eq	LBB0_10
; %bb.9:
	ldr	q0, [x19]
	str	q0, [sp]
	ldr	x8, [x19, #16]
	str	x8, [sp, #16]
Lloh19:
	adrp	x1, l_.str@PAGE
Lloh20:
	add	x1, x1, l_.str@PAGEOFF
	mov	x2, sp
	bl	_dump_lattice_value
	ldr	x0, [x22]
	ldr	x8, [x19]
	ldr	x9, [x21]
Lloh21:
	adrp	x10, l_.str.2@PAGE
Lloh22:
	add	x10, x10, l_.str.2@PAGEOFF
Lloh23:
	adrp	x11, l_.str.3@PAGE
Lloh24:
	add	x11, x11, l_.str.3@PAGEOFF
	cmp	x8, x9
	csel	x2, x11, x10, eq
Lloh25:
	adrp	x1, l_.str.1@PAGE
Lloh26:
	add	x1, x1, l_.str.1@PAGEOFF
	bl	_fprintf
LBB0_10:
	ldr	q0, [x19]
	ldr	x8, [x19, #16]
	str	x8, [x20, #16]
	str	q0, [x20]
	ldr	x8, [x19]
	ldr	x9, [x21]
	cmp	x8, x9
	cset	w0, ne
LBB0_11:
	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
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGot	Lloh11, Lloh12
	.loh AdrpLdrGot	Lloh9, Lloh10
	.loh AdrpLdrGotLdr	Lloh16, Lloh17, Lloh18
	.loh AdrpLdrGotLdr	Lloh13, Lloh14, Lloh15
	.loh AdrpAdd	Lloh25, Lloh26
	.loh AdrpAdd	Lloh23, Lloh24
	.loh AdrpAdd	Lloh21, Lloh22
	.loh AdrpAdd	Lloh19, Lloh20
	.cfi_endproc
                                        ; -- End function
	.comm	_do_store_ccp,8,3               ; @do_store_ccp
	.comm	_CONSTANT,8,3                   ; @CONSTANT
	.comm	_UNKNOWN_VAL,8,3                ; @UNKNOWN_VAL
	.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	"Lattice value changed to "

l_.str.1:                               ; @.str.1
	.asciz	".  %sdding SSA edges to worklist.\n"

	.comm	_UNDEFINED,8,3                  ; @UNDEFINED
l_.str.2:                               ; @.str.2
	.asciz	"A"

l_.str.3:                               ; @.str.3
	.asciz	"Not a"

	.no_dead_strip	_set_lattice_value
.subsections_via_symbols
