	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function verify_expr
_verify_expr:                           ## @verify_expr
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%r14
	pushq	%rbx
	.cfi_offset %rbx, -32
	.cfi_offset %r14, -24
	testq	%rdi, %rdi
	je	LBB0_27
## %bb.1:
	movl	(%rdi), %eax
	addl	$-128, %eax
	cmpl	$23, %eax
	ja	LBB0_16
## %bb.2:
	movb	$1, %bl
	leaq	LJTI0_0(%rip), %rcx
	movslq	(%rcx,%rax,4), %rax
	addq	%rcx, %rax
	jmpq	*%rax
LBB0_3:
	movq	8(%rdi), %rbx
	movq	(%rbx), %rdi
	callq	_verify_expr
	testl	%eax, %eax
	je	LBB0_27
## %bb.4:
	cmpq	$0, 8(%rbx)
LBB0_5:
	sete	%bl
	jmp	LBB0_28
LBB0_8:
	movq	8(%rdi), %r14
	movq	(%r14), %rdi
	callq	_verify_expr
	testl	%eax, %eax
	je	LBB0_27
## %bb.9:
	movq	8(%r14), %rdi
	callq	_verify_expr
	testl	%eax, %eax
	je	LBB0_27
## %bb.10:
	movq	16(%r14), %rdi
	jmp	LBB0_21
LBB0_11:
	movq	8(%rdi), %rbx
	movq	(%rbx), %rdi
	callq	_verify_expr
	testl	%eax, %eax
	je	LBB0_27
## %bb.12:
	movq	8(%rbx), %rdi
	callq	_verify_expr
	testl	%eax, %eax
	je	LBB0_27
## %bb.13:
	movq	16(%rbx), %rdi
	jmp	LBB0_22
LBB0_16:
	movq	8(%rdi), %rbx
	movq	(%rbx), %rdi
	callq	_verify_expr
	testl	%eax, %eax
	je	LBB0_27
## %bb.17:
	movq	8(%rbx), %rdi
	callq	_verify_expr
	testl	%eax, %eax
	je	LBB0_27
## %bb.18:
	cmpq	$0, 16(%rbx)
	jmp	LBB0_5
LBB0_19:
	movq	8(%rdi), %r14
	movq	(%r14), %rdi
	callq	_verify_expr
	testl	%eax, %eax
	je	LBB0_27
## %bb.20:
	movq	8(%r14), %rdi
LBB0_21:
	testq	%rdi, %rdi
	je	LBB0_28
LBB0_22:
	callq	_verify_expr
	testl	%eax, %eax
	setne	%bl
	jmp	LBB0_28
LBB0_27:
	xorl	%ebx, %ebx
LBB0_28:
	movzbl	%bl, %eax
	popq	%rbx
	popq	%r14
	popq	%rbp
	retq
	.cfi_endproc
	.p2align	2, 0x90
	.data_region jt32
.set L0_0_set_28, LBB0_28-LJTI0_0
.set L0_0_set_3, LBB0_3-LJTI0_0
.set L0_0_set_8, LBB0_8-LJTI0_0
.set L0_0_set_19, LBB0_19-LJTI0_0
.set L0_0_set_11, LBB0_11-LJTI0_0
LJTI0_0:
	.long	L0_0_set_28
	.long	L0_0_set_3
	.long	L0_0_set_8
	.long	L0_0_set_3
	.long	L0_0_set_3
	.long	L0_0_set_3
	.long	L0_0_set_3
	.long	L0_0_set_3
	.long	L0_0_set_19
	.long	L0_0_set_3
	.long	L0_0_set_11
	.long	L0_0_set_3
	.long	L0_0_set_3
	.long	L0_0_set_3
	.long	L0_0_set_8
	.long	L0_0_set_8
	.long	L0_0_set_3
	.long	L0_0_set_3
	.long	L0_0_set_3
	.long	L0_0_set_3
	.long	L0_0_set_28
	.long	L0_0_set_11
	.long	L0_0_set_3
	.long	L0_0_set_11
	.end_data_region
                                        ## -- End function
	.no_dead_strip	_verify_expr
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function verify_expr
_verify_expr:                           ; @verify_expr
	.cfi_startproc
; %bb.0:
	stp	x20, x19, [sp, #-32]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 32
	stp	x29, x30, [sp, #16]             ; 16-byte Folded Spill
	add	x29, sp, #16
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	cbz	x0, LBB0_6
; %bb.1:
	mov	x8, x0
	ldr	w9, [x0]
	sub	w9, w9, #128
	cmp	w9, #23
	b.hi	LBB0_13
; %bb.2:
	mov	w0, #1
Lloh0:
	adrp	x10, lJTI0_0@PAGE
Lloh1:
	add	x10, x10, lJTI0_0@PAGEOFF
	adr	x11, LBB0_3
	ldrb	w12, [x10, x9]
	add	x11, x11, x12, lsl #2
	br	x11
LBB0_3:
	ldr	x19, [x8, #8]
	ldr	x0, [x19]
	bl	_verify_expr
	cbz	w0, LBB0_6
; %bb.4:
	ldr	x8, [x19, #8]
LBB0_5:
	cmp	x8, #0
	cset	w0, eq
LBB0_6:
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	ret
LBB0_7:
	ldr	x19, [x8, #8]
	ldr	x0, [x19]
	bl	_verify_expr
	cbz	w0, LBB0_6
; %bb.8:
	ldr	x0, [x19, #8]
	bl	_verify_expr
	cbz	w0, LBB0_6
; %bb.9:
	ldr	x0, [x19, #16]
	cbnz	x0, LBB0_18
	b	LBB0_19
LBB0_10:
	ldr	x19, [x8, #8]
	ldr	x0, [x19]
	bl	_verify_expr
	cbz	w0, LBB0_6
; %bb.11:
	ldr	x0, [x19, #8]
	bl	_verify_expr
	cbz	w0, LBB0_6
; %bb.12:
	ldr	x0, [x19, #16]
	b	LBB0_18
LBB0_13:
	ldr	x19, [x8, #8]
	ldr	x0, [x19]
	bl	_verify_expr
	cbz	w0, LBB0_6
; %bb.14:
	ldr	x0, [x19, #8]
	bl	_verify_expr
	cbz	w0, LBB0_6
; %bb.15:
	ldr	x8, [x19, #16]
	b	LBB0_5
LBB0_16:
	ldr	x19, [x8, #8]
	ldr	x0, [x19]
	bl	_verify_expr
	cbz	w0, LBB0_6
; %bb.17:
	ldr	x0, [x19, #8]
	cbz	x0, LBB0_19
LBB0_18:
	bl	_verify_expr
	cmp	w0, #0
	cset	w0, ne
	b	LBB0_6
LBB0_19:
	mov	w0, #1
	b	LBB0_6
	.loh AdrpAdd	Lloh0, Lloh1
	.cfi_endproc
	.section	__TEXT,__const
lJTI0_0:
	.byte	(LBB0_6-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_7-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_16-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_10-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_7-LBB0_3)>>2
	.byte	(LBB0_7-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_6-LBB0_3)>>2
	.byte	(LBB0_10-LBB0_3)>>2
	.byte	(LBB0_3-LBB0_3)>>2
	.byte	(LBB0_10-LBB0_3)>>2
                                        ; -- End function
	.no_dead_strip	_verify_expr
.subsections_via_symbols
