	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_true_dependence                ## -- Begin function true_dependence
	.p2align	4, 0x90
_true_dependence:                       ## @true_dependence
	.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
	subq	$24, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rcx, %r14
	movq	%rdx, %r13
	movl	%esi, %r12d
	movq	%rdi, %r15
	movq	%rdx, %rdi
	callq	_MEM_VOLATILE_P
	testq	%rax, %rax
	je	LBB0_2
## %bb.1:
	movq	%r15, %rdi
	callq	_MEM_VOLATILE_P
	movl	$1, %ebx
	testq	%rax, %rax
	jne	LBB0_13
LBB0_2:
	movq	%r13, %rdi
	callq	_GET_MODE
	movq	_BLKmode@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_4
## %bb.3:
	movq	%r13, %rdi
	xorl	%esi, %esi
	callq	_XEXP
	movq	%rax, %rdi
	callq	_GET_CODE
	movq	_SCRATCH@GOTPCREL(%rip), %rcx
	movl	$1, %ebx
	cmpq	(%rcx), %rax
	je	LBB0_13
LBB0_4:
	movq	%r15, %rdi
	callq	_GET_MODE
	movq	_BLKmode@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_6
## %bb.5:
	movq	%r15, %rdi
	xorl	%esi, %esi
	callq	_XEXP
	movq	%rax, %rdi
	callq	_GET_CODE
	movq	_SCRATCH@GOTPCREL(%rip), %rcx
	movl	$1, %ebx
	cmpq	(%rcx), %rax
	je	LBB0_13
LBB0_6:
	movq	%r13, %rdi
	callq	_MEM_ALIAS_SET
	movq	_ALIAS_SET_MEMORY_BARRIER@GOTPCREL(%rip), %rbx
	cmpq	(%rbx), %rax
	je	LBB0_7
## %bb.8:
	movq	%r15, %rdi
	callq	_MEM_ALIAS_SET
	cmpq	(%rbx), %rax
	jne	LBB0_10
LBB0_7:
	movl	$1, %ebx
LBB0_13:
	movl	%ebx, %eax
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_10:
	movq	%r13, %rdi
	movq	%r15, %rsi
	callq	_DIFFERENT_ALIAS_SETS_P
	xorl	%ebx, %ebx
	testq	%rax, %rax
	jne	LBB0_13
## %bb.11:
	movq	%r13, %rdi
	callq	_MEM_READONLY_P
	testq	%rax, %rax
	jne	LBB0_13
## %bb.12:
	movq	%r15, %rdi
	movq	%r13, %rsi
	callq	_nonoverlapping_memrefs_p
	testq	%rax, %rax
	jne	LBB0_13
## %bb.14:
	movq	_VOIDmode@GOTPCREL(%rip), %rax
	cmpl	%r12d, (%rax)
	jne	LBB0_16
## %bb.15:
	movq	%r15, %rdi
	callq	_GET_MODE
	movq	%rax, %r12
LBB0_16:
	xorl	%ebx, %ebx
	movq	%r13, %rdi
	xorl	%esi, %esi
	callq	_XEXP
	movq	%rax, %rdi
	callq	_get_addr
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movq	%r15, %rdi
	xorl	%esi, %esi
	callq	_XEXP
	movq	%rax, %rdi
	callq	_get_addr
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	callq	_find_base_term
	testq	%rax, %rax
	je	LBB0_20
## %bb.17:
	movq	%rax, -56(%rbp)                 ## 8-byte Spill
	movq	%rax, %rdi
	callq	_GET_CODE
	movq	_LABEL_REF@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	je	LBB0_13
## %bb.18:
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	callq	_GET_CODE
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	movq	_SYMBOL_REF@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_20
## %bb.19:
	callq	_CONSTANT_POOL_ADDRESS_P
	testq	%rax, %rax
	jne	LBB0_13
LBB0_20:
	movq	%r13, %rdi
	callq	_GET_MODE
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	movq	-64(%rbp), %rsi                 ## 8-byte Reload
	movq	%rax, %rdx
	movl	%r12d, %ecx
	callq	_base_alias_check
	testl	%eax, %eax
	je	LBB0_13
## %bb.21:
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	callq	_canon_rtx
	movq	%rax, -56(%rbp)                 ## 8-byte Spill
	movq	-64(%rbp), %rdi                 ## 8-byte Reload
	callq	_canon_rtx
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movl	%r12d, %edi
	callq	_GET_MODE_SIZE
	movl	%eax, -64(%rbp)                 ## 4-byte Spill
	movq	%r13, %rdi
	callq	_SIZE_FOR_MODE
	xorl	%ebx, %ebx
	movl	-64(%rbp), %edi                 ## 4-byte Reload
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	movl	%eax, %edx
	movq	-56(%rbp), %rcx                 ## 8-byte Reload
	xorl	%r8d, %r8d
	callq	_memrefs_conflict_p
	testl	%eax, %eax
	je	LBB0_13
## %bb.22:
	movq	%r13, %rdi
	callq	_aliases_everything_p
	testq	%rax, %rax
	jne	LBB0_7
## %bb.23:
	movq	_QImode@GOTPCREL(%rip), %rax
	cmpl	(%rax), %r12d
	je	LBB0_7
## %bb.24:
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	callq	_GET_CODE
	movq	_AND@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	je	LBB0_7
## %bb.25:
	movl	%r12d, %eax
	movq	_BLKmode@GOTPCREL(%rip), %r12
	cmpq	%rax, (%r12)
	je	LBB0_7
## %bb.26:
	movq	%r13, %rdi
	callq	_GET_MODE
	movl	$1, %ebx
	cmpq	(%r12), %rax
	je	LBB0_13
## %bb.27:
	movq	%r15, %rdi
	movq	%r13, %rsi
	movq	-48(%rbp), %rdx                 ## 8-byte Reload
	movq	-56(%rbp), %rcx                 ## 8-byte Reload
	movq	%r14, %r8
	callq	_fixed_scalar_and_varying_struct_p
	xorl	%ebx, %ebx
	testl	%eax, %eax
	sete	%bl
	jmp	LBB0_13
	.cfi_endproc
                                        ## -- End function
	.comm	_BLKmode,8,3                    ## @BLKmode
	.comm	_SCRATCH,8,3                    ## @SCRATCH
	.comm	_ALIAS_SET_MEMORY_BARRIER,8,3   ## @ALIAS_SET_MEMORY_BARRIER
	.comm	_VOIDmode,4,2                   ## @VOIDmode
	.comm	_LABEL_REF,8,3                  ## @LABEL_REF
	.comm	_SYMBOL_REF,8,3                 ## @SYMBOL_REF
	.comm	_QImode,4,2                     ## @QImode
	.comm	_AND,8,3                        ## @AND
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_true_dependence                ; -- Begin function true_dependence
	.p2align	2
_true_dependence:                       ; @true_dependence
	.cfi_startproc
; %bb.0:
	stp	x26, x25, [sp, #-80]!           ; 16-byte Folded Spill
	.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
	.cfi_offset w25, -72
	.cfi_offset w26, -80
	mov	x19, x3
	mov	x20, x2
	mov	x22, x1
	mov	x21, x0
	mov	x0, x2
	bl	_MEM_VOLATILE_P
	cbz	x0, LBB0_2
; %bb.1:
	mov	x0, x21
	bl	_MEM_VOLATILE_P
	cbnz	x0, LBB0_8
LBB0_2:
	mov	x0, x20
	bl	_GET_MODE
Lloh0:
	adrp	x26, _BLKmode@GOTPAGE
Lloh1:
	ldr	x26, [x26, _BLKmode@GOTPAGEOFF]
	ldr	x8, [x26]
	cmp	x0, x8
	b.ne	LBB0_4
; %bb.3:
	mov	x0, x20
	mov	w1, #0
	bl	_XEXP
	bl	_GET_CODE
Lloh2:
	adrp	x8, _SCRATCH@GOTPAGE
Lloh3:
	ldr	x8, [x8, _SCRATCH@GOTPAGEOFF]
Lloh4:
	ldr	x8, [x8]
	cmp	x0, x8
	b.eq	LBB0_8
LBB0_4:
	mov	x0, x21
	bl	_GET_MODE
	ldr	x8, [x26]
	cmp	x0, x8
	b.ne	LBB0_6
; %bb.5:
	mov	x0, x21
	mov	w1, #0
	bl	_XEXP
	bl	_GET_CODE
Lloh5:
	adrp	x8, _SCRATCH@GOTPAGE
Lloh6:
	ldr	x8, [x8, _SCRATCH@GOTPAGEOFF]
Lloh7:
	ldr	x8, [x8]
	cmp	x0, x8
	b.eq	LBB0_8
LBB0_6:
	mov	x0, x20
	bl	_MEM_ALIAS_SET
Lloh8:
	adrp	x23, _ALIAS_SET_MEMORY_BARRIER@GOTPAGE
Lloh9:
	ldr	x23, [x23, _ALIAS_SET_MEMORY_BARRIER@GOTPAGEOFF]
	ldr	x8, [x23]
	cmp	x0, x8
	b.eq	LBB0_8
; %bb.7:
	mov	x0, x21
	bl	_MEM_ALIAS_SET
	ldr	x8, [x23]
	cmp	x0, x8
	b.ne	LBB0_10
LBB0_8:
	mov	w0, #1
LBB0_9:
	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
	ldp	x26, x25, [sp], #80             ; 16-byte Folded Reload
	ret
LBB0_10:
	mov	x0, x20
	mov	x1, x21
	bl	_DIFFERENT_ALIAS_SETS_P
	cbnz	x0, LBB0_13
; %bb.11:
	mov	x0, x20
	bl	_MEM_READONLY_P
	cbnz	x0, LBB0_13
; %bb.12:
	mov	x0, x21
	mov	x1, x20
	bl	_nonoverlapping_memrefs_p
	cbz	x0, LBB0_14
LBB0_13:
	mov	w0, #0
	b	LBB0_9
LBB0_14:
Lloh10:
	adrp	x8, _VOIDmode@GOTPAGE
Lloh11:
	ldr	x8, [x8, _VOIDmode@GOTPAGEOFF]
Lloh12:
	ldr	w8, [x8]
	cmp	w8, w22
	b.ne	LBB0_16
; %bb.15:
	mov	x0, x21
	bl	_GET_MODE
	mov	x22, x0
LBB0_16:
	mov	x0, x20
	mov	w1, #0
	bl	_XEXP
	bl	_get_addr
	mov	x23, x0
	mov	x0, x21
	mov	w1, #0
	bl	_XEXP
	bl	_get_addr
	mov	x24, x0
	mov	x0, x23
	bl	_find_base_term
	cbz	x0, LBB0_20
; %bb.17:
	mov	x25, x0
	bl	_GET_CODE
Lloh13:
	adrp	x8, _LABEL_REF@GOTPAGE
Lloh14:
	ldr	x8, [x8, _LABEL_REF@GOTPAGEOFF]
Lloh15:
	ldr	x8, [x8]
	cmp	x0, x8
	b.eq	LBB0_13
; %bb.18:
	mov	x0, x25
	bl	_GET_CODE
Lloh16:
	adrp	x8, _SYMBOL_REF@GOTPAGE
Lloh17:
	ldr	x8, [x8, _SYMBOL_REF@GOTPAGEOFF]
Lloh18:
	ldr	x8, [x8]
	cmp	x0, x8
	b.ne	LBB0_20
; %bb.19:
	mov	x0, x25
	bl	_CONSTANT_POOL_ADDRESS_P
	cbnz	x0, LBB0_13
LBB0_20:
	mov	x0, x20
	bl	_GET_MODE
	mov	x2, x0
	mov	x0, x23
	mov	x1, x24
	mov	x3, x22
	bl	_base_alias_check
	cbz	w0, LBB0_9
; %bb.21:
	mov	x0, x23
	bl	_canon_rtx
	mov	x23, x0
	mov	x0, x24
	bl	_canon_rtx
	mov	x24, x0
	mov	x0, x22
	bl	_GET_MODE_SIZE
	mov	x25, x0
	mov	x0, x20
	bl	_SIZE_FOR_MODE
	mov	x2, x0
	mov	x0, x25
	mov	x1, x24
	mov	x3, x23
	mov	w4, #0
	bl	_memrefs_conflict_p
	cbz	w0, LBB0_9
; %bb.22:
	mov	x0, x20
	bl	_aliases_everything_p
	mov	x8, x0
	mov	w0, #1
	cbnz	x8, LBB0_9
; %bb.23:
Lloh19:
	adrp	x8, _QImode@GOTPAGE
Lloh20:
	ldr	x8, [x8, _QImode@GOTPAGEOFF]
Lloh21:
	ldr	w8, [x8]
	cmp	w22, w8
	b.eq	LBB0_9
; %bb.24:
	mov	x0, x24
	bl	_GET_CODE
	mov	x8, x0
Lloh22:
	adrp	x9, _AND@GOTPAGE
Lloh23:
	ldr	x9, [x9, _AND@GOTPAGEOFF]
Lloh24:
	ldr	x9, [x9]
	mov	w0, #1
	cmp	x8, x9
	b.eq	LBB0_9
; %bb.25:
	mov	w8, w22
	ldr	x9, [x26]
	cmp	x9, x8
	b.eq	LBB0_9
; %bb.26:
	mov	x0, x20
	bl	_GET_MODE
	ldr	x8, [x26]
	cmp	x0, x8
	b.eq	LBB0_8
; %bb.27:
	mov	x0, x21
	mov	x1, x20
	mov	x2, x24
	mov	x3, x23
	mov	x4, x19
	bl	_fixed_scalar_and_varying_struct_p
	cmp	w0, #0
	cset	w0, eq
	b	LBB0_9
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpLdrGotLdr	Lloh2, Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh5, Lloh6, Lloh7
	.loh AdrpLdrGot	Lloh8, Lloh9
	.loh AdrpLdrGotLdr	Lloh10, Lloh11, Lloh12
	.loh AdrpLdrGotLdr	Lloh13, Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh16, Lloh17, Lloh18
	.loh AdrpLdrGotLdr	Lloh19, Lloh20, Lloh21
	.loh AdrpLdrGotLdr	Lloh22, Lloh23, Lloh24
	.cfi_endproc
                                        ; -- End function
	.comm	_BLKmode,8,3                    ; @BLKmode
	.comm	_SCRATCH,8,3                    ; @SCRATCH
	.comm	_ALIAS_SET_MEMORY_BARRIER,8,3   ; @ALIAS_SET_MEMORY_BARRIER
	.comm	_VOIDmode,4,2                   ; @VOIDmode
	.comm	_LABEL_REF,8,3                  ; @LABEL_REF
	.comm	_SYMBOL_REF,8,3                 ; @SYMBOL_REF
	.comm	_QImode,4,2                     ; @QImode
	.comm	_AND,8,3                        ; @AND
.subsections_via_symbols
