	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function write_predicate_stmts
_write_predicate_stmts:                 ## @write_predicate_stmts
	.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
	pushq	%rax
	.cfi_offset %rbx, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	%edi, %r15d
	callq	_GET_CODE
                                        ## kill: def $eax killed $eax def $rax
	addl	$-128, %eax
	cmpl	$3, %eax
	ja	LBB0_8
## %bb.1:
	leaq	LJTI0_0(%rip), %rcx
	movslq	(%rcx,%rax,4), %rax
	addq	%rcx, %rax
	jmpq	*%rax
LBB0_11:
	movl	%r15d, %edi
	xorl	%esi, %esi
	callq	_XEXP
	movl	%eax, %edi
	callq	_generate_switch_p
	testl	%eax, %eax
	je	LBB0_8
## %bb.12:
	movl	%r15d, %edi
	xorl	%esi, %esi
	callq	_XEXP
	movl	%eax, %edi
	callq	_write_match_code_switch
	leaq	L_.str.3(%rip), %rdi
	jmp	LBB0_4
LBB0_2:
	movl	%r15d, %edi
	callq	_generate_switch_p
	testl	%eax, %eax
	je	LBB0_8
## %bb.3:
	movl	%r15d, %edi
	callq	_write_match_code_switch
	leaq	L_.str(%rip), %rdi
LBB0_4:
	addq	$8, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_puts                           ## TAILCALL
LBB0_9:
	movl	%r15d, %edi
	xorl	%esi, %esi
	callq	_XEXP
	movl	%eax, %edi
	callq	_generate_switch_p
	testl	%eax, %eax
	je	LBB0_8
## %bb.10:
	leaq	L_.str.2(%rip), %r14
	jmp	LBB0_7
LBB0_5:
	movl	%r15d, %edi
	xorl	%esi, %esi
	callq	_XEXP
	movl	%eax, %edi
	callq	_generate_switch_p
	testl	%eax, %eax
	je	LBB0_8
## %bb.6:
	leaq	L_.str.1(%rip), %r14
LBB0_7:
	movl	%r15d, %edi
	xorl	%esi, %esi
	callq	_XEXP
	movl	%eax, %edi
	callq	_write_match_code_switch
	movq	%r14, %rdi
	callq	_puts
	movl	%r15d, %edi
	movl	$1, %esi
	callq	_XEXP
	movl	%eax, %r15d
LBB0_8:
	movq	_stdout@GOTPCREL(%rip), %rbx
	movl	(%rbx), %esi
	leaq	L_.str.4(%rip), %rdi
	callq	_fputs
	movl	%r15d, %edi
	callq	_write_predicate_expr
	movl	(%rbx), %esi
	leaq	L_.str.5(%rip), %rdi
	addq	$8, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_fputs                          ## TAILCALL
	.cfi_endproc
	.p2align	2, 0x90
	.data_region jt32
.set L0_0_set_11, LBB0_11-LJTI0_0
.set L0_0_set_2, LBB0_2-LJTI0_0
.set L0_0_set_9, LBB0_9-LJTI0_0
.set L0_0_set_5, LBB0_5-LJTI0_0
LJTI0_0:
	.long	L0_0_set_11
	.long	L0_0_set_2
	.long	L0_0_set_9
	.long	L0_0_set_5
	.end_data_region
                                        ## -- End function
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"      return true;\n    default:\n      break;\n    }\n  return false;"

L_.str.1:                               ## @.str.1
	.asciz	"      break;\n    default:\n      return false;\n    }"

L_.str.2:                               ## @.str.2
	.asciz	"      return true;\n    default:\n      break;\n    }"

L_.str.3:                               ## @.str.3
	.asciz	"      return false;\n    default:\n      break;\n    }\n  return true;"

L_.str.4:                               ## @.str.4
	.asciz	"  return "

	.comm	_stdout,4,2                     ## @stdout
L_.str.5:                               ## @.str.5
	.asciz	";\n"

	.no_dead_strip	_write_predicate_stmts
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function write_predicate_stmts
_write_predicate_stmts:                 ; @write_predicate_stmts
	.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
	mov	x19, x0
	bl	_GET_CODE
	sub	w8, w0, #128
	cmp	w8, #3
	b.hi	LBB0_12
; %bb.1:
Lloh0:
	adrp	x9, lJTI0_0@PAGE
Lloh1:
	add	x9, x9, lJTI0_0@PAGEOFF
	adr	x10, LBB0_2
	ldrb	w11, [x9, x8]
	add	x10, x10, x11, lsl #2
	br	x10
LBB0_2:
	mov	x0, x19
	mov	w1, #0
	bl	_XEXP
	bl	_generate_switch_p
	cbz	w0, LBB0_12
; %bb.3:
	mov	x0, x19
	mov	w1, #0
	bl	_XEXP
	bl	_write_match_code_switch
Lloh2:
	adrp	x0, l_.str.3@PAGE
Lloh3:
	add	x0, x0, l_.str.3@PAGEOFF
	b	LBB0_6
LBB0_4:
	mov	x0, x19
	bl	_generate_switch_p
	cbz	w0, LBB0_12
; %bb.5:
	mov	x0, x19
	bl	_write_match_code_switch
Lloh4:
	adrp	x0, l_.str@PAGE
Lloh5:
	add	x0, x0, l_.str@PAGEOFF
LBB0_6:
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	b	_puts
LBB0_7:
	mov	x0, x19
	mov	w1, #0
	bl	_XEXP
	bl	_generate_switch_p
	cbz	w0, LBB0_12
; %bb.8:
Lloh6:
	adrp	x20, l_.str.2@PAGE
Lloh7:
	add	x20, x20, l_.str.2@PAGEOFF
	b	LBB0_11
LBB0_9:
	mov	x0, x19
	mov	w1, #0
	bl	_XEXP
	bl	_generate_switch_p
	cbz	w0, LBB0_12
; %bb.10:
Lloh8:
	adrp	x20, l_.str.1@PAGE
Lloh9:
	add	x20, x20, l_.str.1@PAGEOFF
LBB0_11:
	mov	x0, x19
	mov	w1, #0
	bl	_XEXP
	bl	_write_match_code_switch
	mov	x0, x20
	bl	_puts
	mov	x0, x19
	mov	w1, #1
	bl	_XEXP
	mov	x19, x0
LBB0_12:
Lloh10:
	adrp	x20, _stdout@GOTPAGE
Lloh11:
	ldr	x20, [x20, _stdout@GOTPAGEOFF]
	ldr	w1, [x20]
Lloh12:
	adrp	x0, l_.str.4@PAGE
Lloh13:
	add	x0, x0, l_.str.4@PAGEOFF
	bl	_fputs
	mov	x0, x19
	bl	_write_predicate_expr
	ldr	w1, [x20]
Lloh14:
	adrp	x0, l_.str.5@PAGE
Lloh15:
	add	x0, x0, l_.str.5@PAGEOFF
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	b	_fputs
	.loh AdrpAdd	Lloh0, Lloh1
	.loh AdrpAdd	Lloh2, Lloh3
	.loh AdrpAdd	Lloh4, Lloh5
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpAdd	Lloh8, Lloh9
	.loh AdrpAdd	Lloh14, Lloh15
	.loh AdrpAdd	Lloh12, Lloh13
	.loh AdrpLdrGot	Lloh10, Lloh11
	.cfi_endproc
	.section	__TEXT,__const
lJTI0_0:
	.byte	(LBB0_2-LBB0_2)>>2
	.byte	(LBB0_4-LBB0_2)>>2
	.byte	(LBB0_7-LBB0_2)>>2
	.byte	(LBB0_9-LBB0_2)>>2
                                        ; -- End function
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"      return true;\n    default:\n      break;\n    }\n  return false;"

l_.str.1:                               ; @.str.1
	.asciz	"      break;\n    default:\n      return false;\n    }"

l_.str.2:                               ; @.str.2
	.asciz	"      return true;\n    default:\n      break;\n    }"

l_.str.3:                               ; @.str.3
	.asciz	"      return false;\n    default:\n      break;\n    }\n  return true;"

l_.str.4:                               ; @.str.4
	.asciz	"  return "

	.comm	_stdout,4,2                     ; @stdout
l_.str.5:                               ; @.str.5
	.asciz	";\n"

	.no_dead_strip	_write_predicate_stmts
.subsections_via_symbols
