	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function may_alias_p
_may_alias_p:                           ## @may_alias_p
	.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	$40, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	_alias_stats@GOTPCREL(%rip), %r13
	incl	32(%r13)
	movl	%r8d, -52(%rbp)                 ## 4-byte Spill
	movq	%rcx, -72(%rbp)                 ## 8-byte Spill
	movq	%rdx, %r12
	movq	%rsi, -64(%rbp)                 ## 8-byte Spill
	incl	28(%r13)
	movq	%rdi, -48(%rbp)                 ## 8-byte Spill
	callq	_var_ann
	movq	(%rax), %rbx
	leaq	24(%r13), %r15
	leaq	4(%r13), %r14
	cmpq	%r12, %rbx
	je	LBB0_25
## %bb.1:
	movq	_flag_argument_noalias@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	cmpl	$3, %eax
	jl	LBB0_5
## %bb.2:
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	callq	_TREE_CODE
	movq	_PARM_DECL@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	je	LBB0_3
## %bb.4:
	movq	_flag_argument_noalias@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
LBB0_5:
	cmpl	$2, %eax
	jl	LBB0_8
## %bb.6:
	movq	%r12, %rdi
	callq	_is_global_var
	testq	%rax, %rax
	je	LBB0_8
## %bb.7:
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	callq	_TREE_CODE
	movq	_PARM_DECL@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_8
LBB0_3:
	movq	_alias_stats@GOTPCREL(%rip), %r14
	leaq	24(%r14), %r15
	addq	$4, %r14
	jmp	LBB0_25
LBB0_8:
	movq	%rbx, %rdi
	callq	_unmodifiable_var_p
	testq	%rax, %rax
	je	LBB0_10
## %bb.9:
	movq	%r12, %rdi
	callq	_unmodifiable_var_p
	testq	%rax, %rax
	je	LBB0_25
LBB0_10:
	movq	%r12, %rdi
	callq	_unmodifiable_var_p
	testq	%rax, %rax
	je	LBB0_12
## %bb.11:
	movq	%rbx, %rdi
	callq	_unmodifiable_var_p
	testq	%rax, %rax
	je	LBB0_25
LBB0_12:
	movq	%rbx, %rdi
	callq	_TREE_CODE
	movq	_SYMBOL_MEMORY_TAG@GOTPCREL(%rip), %rcx
	xorl	%edi, %edi
	cmpq	(%rcx), %rax
	sete	%dil
	callq	_gcc_assert
	incl	20(%r13)
	movq	-64(%rbp), %rbx                 ## 8-byte Reload
	movq	%rbx, %rdi
	movq	-72(%rbp), %r15                 ## 8-byte Reload
	movq	%r15, %rsi
	callq	_alias_sets_conflict_p
	testl	%eax, %eax
	je	LBB0_13
## %bb.14:
	movl	$1, %r14d
	testq	%rbx, %rbx
	je	LBB0_26
## %bb.15:
	testq	%r15, %r15
	je	LBB0_26
## %bb.16:
	movq	-48(%rbp), %r15                 ## 8-byte Reload
	movq	%r15, %rdi
	callq	_TREE_TYPE
	movq	%rax, %rbx
	movq	%r12, %rdi
	callq	_TREE_TYPE
	cmpl	$0, -52(%rbp)                   ## 4-byte Folded Reload
	jne	LBB0_26
## %bb.17:
	movq	%rax, %r12
	movq	%rax, %rdi
	callq	_ipa_type_escape_star_count_of_interesting_type
	testq	%rax, %rax
	js	LBB0_26
## %bb.18:
	movq	%rbx, %rdi
	callq	_POINTER_TYPE_P
	testq	%rax, %rax
	je	LBB0_24
## %bb.19:
	movq	%rax, %r13
	.p2align	4, 0x90
LBB0_20:                                ## =>This Inner Loop Header: Depth=1
	movq	%rbx, %rdi
	callq	_TREE_TYPE
	movq	%rax, %rbx
	movq	%rax, %rdi
	callq	_POINTER_TYPE_P
	testq	%rax, %rax
	jne	LBB0_20
## %bb.21:
	testq	%r13, %r13
	je	LBB0_24
## %bb.22:
	movq	_alias_stats@GOTPCREL(%rip), %r13
	incl	12(%r13)
	movq	%r15, %rdi
	callq	_TREE_TYPE
	movq	%r12, %rdi
	movq	%rax, %rsi
	callq	_ipa_type_escape_field_does_not_clobber_p
	testq	%rax, %rax
	je	LBB0_26
## %bb.23:
	leaq	4(%r13), %r15
	addq	$8, %r13
	movq	%r13, %r14
	jmp	LBB0_25
LBB0_13:
	addq	$16, %r13
	movq	%r13, %r15
LBB0_25:
	incl	(%r14)
	xorl	%r14d, %r14d
	movq	%r15, %r13
LBB0_26:
	incl	(%r13)
	movl	%r14d, %eax
	addq	$40, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_24:
	movq	_alias_stats@GOTPCREL(%rip), %r14
	incl	12(%r14)
	leaq	4(%r14), %r15
	addq	$8, %r14
	jmp	LBB0_25
	.cfi_endproc
                                        ## -- End function
	.comm	_alias_stats,36,2               ## @alias_stats
	.comm	_flag_argument_noalias,4,2      ## @flag_argument_noalias
	.comm	_PARM_DECL,8,3                  ## @PARM_DECL
	.comm	_SYMBOL_MEMORY_TAG,8,3          ## @SYMBOL_MEMORY_TAG
	.no_dead_strip	_may_alias_p
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function may_alias_p
_may_alias_p:                           ; @may_alias_p
	.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	x20, x4
	mov	x22, x3
	mov	x21, x2
	mov	x23, x1
	mov	x19, x0
	movi.2s	v0, #1
Lloh0:
	adrp	x25, _alias_stats@GOTPAGE
Lloh1:
	ldr	x25, [x25, _alias_stats@GOTPAGEOFF]
	ldur	d1, [x25, #28]
	add.2s	v0, v1, v0
	stur	d0, [x25, #28]
	bl	_var_ann
	ldr	x24, [x0]
	cmp	x24, x21
	b.eq	LBB0_16
; %bb.1:
Lloh2:
	adrp	x26, _flag_argument_noalias@GOTPAGE
Lloh3:
	ldr	x26, [x26, _flag_argument_noalias@GOTPAGEOFF]
	ldr	w8, [x26]
	cmp	w8, #2
	b.le	LBB0_4
; %bb.2:
	mov	x0, x19
	bl	_TREE_CODE
Lloh4:
	adrp	x8, _PARM_DECL@GOTPAGE
Lloh5:
	ldr	x8, [x8, _PARM_DECL@GOTPAGEOFF]
Lloh6:
	ldr	x8, [x8]
	cmp	x0, x8
	b.eq	LBB0_16
; %bb.3:
	ldr	w8, [x26]
LBB0_4:
	cmp	w8, #2
	b.lt	LBB0_7
; %bb.5:
	mov	x0, x21
	bl	_is_global_var
	cbz	x0, LBB0_7
; %bb.6:
	mov	x0, x19
	bl	_TREE_CODE
Lloh7:
	adrp	x8, _PARM_DECL@GOTPAGE
Lloh8:
	ldr	x8, [x8, _PARM_DECL@GOTPAGEOFF]
Lloh9:
	ldr	x8, [x8]
	cmp	x0, x8
	b.eq	LBB0_16
LBB0_7:
	mov	x0, x24
	bl	_unmodifiable_var_p
	cbz	x0, LBB0_9
; %bb.8:
	mov	x0, x21
	bl	_unmodifiable_var_p
	cbz	x0, LBB0_16
LBB0_9:
	mov	x0, x21
	bl	_unmodifiable_var_p
	cbz	x0, LBB0_11
; %bb.10:
	mov	x0, x24
	bl	_unmodifiable_var_p
	cbz	x0, LBB0_16
LBB0_11:
	mov	x0, x24
	bl	_TREE_CODE
Lloh10:
	adrp	x8, _SYMBOL_MEMORY_TAG@GOTPAGE
Lloh11:
	ldr	x8, [x8, _SYMBOL_MEMORY_TAG@GOTPAGEOFF]
Lloh12:
	ldr	x8, [x8]
	cmp	x0, x8
	cset	w0, eq
	bl	_gcc_assert
	ldr	w8, [x25, #20]
	add	w8, w8, #1
	str	w8, [x25, #20]
	mov	x0, x23
	mov	x1, x22
	bl	_alias_sets_conflict_p
	cbz	w0, LBB0_20
; %bb.12:
	mov	w0, #1
Lloh13:
	adrp	x8, _alias_stats@GOTPAGE
Lloh14:
	ldr	x8, [x8, _alias_stats@GOTPAGEOFF]
	cbz	x23, LBB0_19
; %bb.13:
	cbz	x22, LBB0_19
; %bb.14:
	mov	x0, x19
	bl	_TREE_TYPE
	mov	x22, x0
	mov	x0, x21
	bl	_TREE_TYPE
	cbz	w20, LBB0_21
; %bb.15:
	mov	w0, #1
Lloh15:
	adrp	x8, _alias_stats@GOTPAGE
Lloh16:
	ldr	x8, [x8, _alias_stats@GOTPAGEOFF]
	b	LBB0_19
LBB0_16:
	add	x8, x25, #24
LBB0_17:
	add	x9, x25, #4
LBB0_18:
	mov	w0, #0
	ldr	w10, [x9]
	add	w10, w10, #1
	str	w10, [x9]
LBB0_19:
	ldr	w9, [x8]
	add	w9, w9, #1
	str	w9, [x8]
	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_20:
	add	x8, x25, #16
	b	LBB0_17
LBB0_21:
	mov	x21, x0
	bl	_ipa_type_escape_star_count_of_interesting_type
Lloh17:
	adrp	x23, _alias_stats@GOTPAGE
Lloh18:
	ldr	x23, [x23, _alias_stats@GOTPAGEOFF]
	tbnz	x0, #63, LBB0_27
; %bb.22:
	mov	x0, x22
	bl	_POINTER_TYPE_P
	cbz	x0, LBB0_28
; %bb.23:
	mov	x20, x0
LBB0_24:                                ; =>This Inner Loop Header: Depth=1
	mov	x0, x22
	bl	_TREE_TYPE
	mov	x22, x0
	bl	_POINTER_TYPE_P
	cbnz	x0, LBB0_24
; %bb.25:
	cbz	x20, LBB0_28
; %bb.26:
	ldr	w8, [x23, #12]
	add	w8, w8, #1
	str	w8, [x23, #12]
	mov	x0, x19
	bl	_TREE_TYPE
	mov	x1, x0
	mov	x0, x21
	bl	_ipa_type_escape_field_does_not_clobber_p
	cbnz	x0, LBB0_29
LBB0_27:
	mov	w0, #1
	mov	x8, x23
	b	LBB0_19
LBB0_28:
	ldr	w8, [x23, #12]
	add	w8, w8, #1
	str	w8, [x23, #12]
LBB0_29:
	add	x8, x23, #4
	add	x9, x23, #8
	b	LBB0_18
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpLdrGot	Lloh2, Lloh3
	.loh AdrpLdrGotLdr	Lloh4, Lloh5, Lloh6
	.loh AdrpLdrGotLdr	Lloh7, Lloh8, Lloh9
	.loh AdrpLdrGotLdr	Lloh10, Lloh11, Lloh12
	.loh AdrpLdrGot	Lloh13, Lloh14
	.loh AdrpLdrGot	Lloh15, Lloh16
	.loh AdrpLdrGot	Lloh17, Lloh18
	.cfi_endproc
                                        ; -- End function
	.comm	_alias_stats,36,2               ; @alias_stats
	.comm	_flag_argument_noalias,4,2      ; @flag_argument_noalias
	.comm	_PARM_DECL,8,3                  ; @PARM_DECL
	.comm	_SYMBOL_MEMORY_TAG,8,3          ; @SYMBOL_MEMORY_TAG
	.no_dead_strip	_may_alias_p
.subsections_via_symbols
