	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function parse_assertion
_parse_assertion:                       ## @parse_assertion
	.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
	movl	%edx, %r15d
	movq	%rsi, %rbx
	movq	%rdi, %r12
	incl	(%rdi)
	movq	$0, (%rsi)
	callq	_cpp_get_token
	movq	%rax, %r14
	movq	(%rax), %rax
	movq	_CPP_EOF@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_2
## %bb.1:
	movq	_CPP_DL_ERROR@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	leaq	L_.str(%rip), %rdx
	jmp	LBB0_6
LBB0_2:
	movq	_CPP_NAME@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_5
## %bb.3:
	movq	%r12, %rdi
	movq	%rbx, %rsi
	movl	%r15d, %edx
	callq	_parse_answer
	testq	%rax, %rax
	jne	LBB0_7
## %bb.9:
	movl	8(%r14), %edi
	callq	_NODE_LEN
	movl	%eax, %r13d
	leal	1(%r13), %r15d
	movl	%r15d, %edi
	callq	_alloca
	movq	%rax, %rbx
	movb	$35, (%rax)
	incq	%rax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movl	8(%r14), %edi
	callq	_NODE_NAME
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	movl	%eax, %esi
	movl	%r13d, %edx
	callq	_memcpy
	movq	%r12, %rdi
	movq	%rbx, %rsi
	movl	%r15d, %edx
	callq	_cpp_lookup
	jmp	LBB0_8
LBB0_5:
	movq	_CPP_DL_ERROR@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	leaq	L_.str.1(%rip), %rdx
LBB0_6:
	movq	%r12, %rdi
	callq	_cpp_error
LBB0_7:
	xorl	%eax, %eax
LBB0_8:
	decl	(%r12)
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_CPP_EOF,8,3                    ## @CPP_EOF
	.comm	_CPP_DL_ERROR,4,2               ## @CPP_DL_ERROR
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"assertion without predicate"

	.comm	_CPP_NAME,8,3                   ## @CPP_NAME
L_.str.1:                               ## @.str.1
	.asciz	"predicate must be an identifier"

	.no_dead_strip	_parse_assertion
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function parse_assertion
_parse_assertion:                       ; @parse_assertion
	.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	x21, x2
	mov	x22, x1
	mov	x19, x0
	ldr	w8, [x0]
	add	w8, w8, #1
	str	w8, [x0]
	str	xzr, [x1]
	bl	_cpp_get_token
	ldr	x8, [x0]
Lloh0:
	adrp	x9, _CPP_EOF@GOTPAGE
Lloh1:
	ldr	x9, [x9, _CPP_EOF@GOTPAGEOFF]
Lloh2:
	ldr	x9, [x9]
	cmp	x8, x9
	b.ne	LBB0_2
; %bb.1:
Lloh3:
	adrp	x8, _CPP_DL_ERROR@GOTPAGE
Lloh4:
	ldr	x8, [x8, _CPP_DL_ERROR@GOTPAGEOFF]
Lloh5:
	ldr	w1, [x8]
Lloh6:
	adrp	x2, l_.str@PAGE
Lloh7:
	add	x2, x2, l_.str@PAGEOFF
	b	LBB0_6
LBB0_2:
Lloh8:
	adrp	x9, _CPP_NAME@GOTPAGE
Lloh9:
	ldr	x9, [x9, _CPP_NAME@GOTPAGEOFF]
Lloh10:
	ldr	x9, [x9]
	cmp	x8, x9
	b.ne	LBB0_5
; %bb.3:
	mov	x20, x0
	mov	x0, x19
	mov	x1, x22
	mov	x2, x21
	bl	_parse_answer
	cbnz	x0, LBB0_7
; %bb.4:
	ldr	w0, [x20, #8]
	bl	_NODE_LEN
	mov	x21, x0
	add	w22, w0, #1
	mov	x0, x22
	bl	_alloca
	mov	x23, x0
	mov	w8, #35
	mov	x24, x0
	strb	w8, [x24], #1
	ldr	w0, [x20, #8]
	bl	_NODE_NAME
	mov	x1, x0
	mov	x0, x24
	mov	x2, x21
	bl	_memcpy
	mov	x0, x19
	mov	x1, x23
	mov	x2, x22
	bl	_cpp_lookup
	b	LBB0_8
LBB0_5:
Lloh11:
	adrp	x8, _CPP_DL_ERROR@GOTPAGE
Lloh12:
	ldr	x8, [x8, _CPP_DL_ERROR@GOTPAGEOFF]
Lloh13:
	ldr	w1, [x8]
Lloh14:
	adrp	x2, l_.str.1@PAGE
Lloh15:
	add	x2, x2, l_.str.1@PAGEOFF
LBB0_6:
	mov	x0, x19
	bl	_cpp_error
LBB0_7:
	mov	x0, #0
LBB0_8:
	ldr	w8, [x19]
	sub	w8, w8, #1
	str	w8, [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
	ret
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh8, Lloh9, Lloh10
	.loh AdrpAdd	Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh11, Lloh12, Lloh13
	.cfi_endproc
                                        ; -- End function
	.comm	_CPP_EOF,8,3                    ; @CPP_EOF
	.comm	_CPP_DL_ERROR,4,2               ; @CPP_DL_ERROR
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"assertion without predicate"

	.comm	_CPP_NAME,8,3                   ; @CPP_NAME
l_.str.1:                               ; @.str.1
	.asciz	"predicate must be an identifier"

	.no_dead_strip	_parse_assertion
.subsections_via_symbols
