	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function constraint_expr_eval
_constraint_expr_eval:                  ## @constraint_expr_eval
	.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	$72, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rcx, %rbx
	movq	%rdx, -72(%rbp)                 ## 8-byte Spill
	movq	%rsi, %r14
	movq	%rdi, %r15
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, -48(%rbp)
	movq	_CEXPR_MAXDEPTH@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	shlq	$2, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, %r13
	testq	%rbx, %rbx
	je	LBB0_61
## %bb.1:
	movq	%r15, -56(%rbp)                 ## 8-byte Spill
	leaq	8(%r15), %rax
	movq	%rax, -104(%rbp)                ## 8-byte Spill
	movq	%r14, -64(%rbp)                 ## 8-byte Spill
	leaq	8(%r14), %rax
	movq	%rax, -96(%rbp)                 ## 8-byte Spill
	movl	$-1, %r14d
	movl	$-131, %r12d
	leaq	LJTI0_0(%rip), %r15
	jmp	LBB0_4
LBB0_2:                                 ##   in Loop: Header=BB0_4 Depth=1
	movl	%r14d, %edi
	shrl	$31, %edi
	callq	_BUG_ON
	movslq	%r14d, %rax
	xorl	%ecx, %ecx
	cmpl	$0, (%r13,%rax,4)
	sete	%cl
	movl	%ecx, (%r13,%rax,4)
LBB0_3:                                 ##   in Loop: Header=BB0_4 Depth=1
	movq	16(%rbx), %rbx
	testq	%rbx, %rbx
	je	LBB0_62
LBB0_4:                                 ## =>This Inner Loop Header: Depth=1
	movl	(%rbx), %eax
	addl	%r12d, %eax
	cmpl	$15, %eax
	ja	LBB0_65
## %bb.5:                               ##   in Loop: Header=BB0_4 Depth=1
	movslq	(%r15,%rax,4), %rax
	addq	%r15, %rax
	jmpq	*%rax
LBB0_6:                                 ##   in Loop: Header=BB0_4 Depth=1
	xorl	%edi, %edi
	testl	%r14d, %r14d
	setle	%dil
	callq	_BUG_ON
	movslq	%r14d, %rax
	decl	%r14d
	movl	(%r13,%rax,4), %ecx
	orl	%ecx, -4(%r13,%rax,4)
	jmp	LBB0_3
LBB0_7:                                 ##   in Loop: Header=BB0_4 Depth=1
	movq	_CEXPR_MAXDEPTH@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	decl	%eax
	cmpl	%eax, %r14d
	je	LBB0_67
## %bb.8:                               ##   in Loop: Header=BB0_4 Depth=1
	movl	4(%rbx), %ecx
	movq	-64(%rbp), %rax                 ## 8-byte Reload
	movq	_CEXPR_TARGET@GOTPCREL(%rip), %rdx
	testl	%ecx, (%rdx)
	jne	LBB0_13
## %bb.9:                               ##   in Loop: Header=BB0_4 Depth=1
	movq	-56(%rbp), %rax                 ## 8-byte Reload
	movq	_CEXPR_XTARGET@GOTPCREL(%rip), %rdx
	testl	%ecx, (%rdx)
	je	LBB0_11
## %bb.10:                              ##   in Loop: Header=BB0_4 Depth=1
	movq	-72(%rbp), %rax                 ## 8-byte Reload
LBB0_11:                                ##   in Loop: Header=BB0_4 Depth=1
	je	LBB0_13
## %bb.12:                              ##   in Loop: Header=BB0_4 Depth=1
	cmpq	$0, -72(%rbp)                   ## 8-byte Folded Reload
	je	LBB0_65
LBB0_13:                                ##   in Loop: Header=BB0_4 Depth=1
	testb	$-128, %cl
	jne	LBB0_25
## %bb.14:                              ##   in Loop: Header=BB0_4 Depth=1
	testb	$-126, %cl
	je	LBB0_26
## %bb.15:                              ##   in Loop: Header=BB0_4 Depth=1
	addq	$4, %rax
	jmp	LBB0_27
LBB0_16:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	_CEXPR_MAXDEPTH@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	decl	%eax
	cmpl	%eax, %r14d
	je	LBB0_67
## %bb.17:                              ##   in Loop: Header=BB0_4 Depth=1
	movl	4(%rbx), %eax
	addl	$-128, %eax
	cmpl	$13, %eax
	ja	LBB0_65
## %bb.18:                              ##   in Loop: Header=BB0_4 Depth=1
	leaq	LJTI0_1(%rip), %rcx
	movslq	(%rcx,%rax,4), %rdx
	addq	%rcx, %rdx
	movq	-104(%rbp), %rax                ## 8-byte Reload
	movq	-96(%rbp), %rcx                 ## 8-byte Reload
	jmpq	*%rdx
LBB0_19:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	-56(%rbp), %rax                 ## 8-byte Reload
	movq	-64(%rbp), %rcx                 ## 8-byte Reload
LBB0_20:                                ##   in Loop: Header=BB0_4 Depth=1
	movl	(%rax), %eax
	movl	(%rcx), %ecx
LBB0_21:                                ##   in Loop: Header=BB0_4 Depth=1
	movl	12(%rbx), %edx
	cmpl	$133, %edx
	je	LBB0_31
## %bb.22:                              ##   in Loop: Header=BB0_4 Depth=1
	cmpl	$142, %edx
	jne	LBB0_65
## %bb.23:                              ##   in Loop: Header=BB0_4 Depth=1
	xorl	%edx, %edx
	cmpl	%ecx, %eax
	sete	%dl
	jmp	LBB0_32
LBB0_24:                                ##   in Loop: Header=BB0_4 Depth=1
	xorl	%edi, %edi
	testl	%r14d, %r14d
	setle	%dil
	callq	_BUG_ON
	movslq	%r14d, %rax
	decl	%r14d
	movl	(%r13,%rax,4), %ecx
	andl	%ecx, -4(%r13,%rax,4)
	jmp	LBB0_3
LBB0_25:                                ##   in Loop: Header=BB0_4 Depth=1
	addq	$8, %rax
	jmp	LBB0_27
LBB0_26:                                ##   in Loop: Header=BB0_4 Depth=1
	testb	$-127, %cl
	je	LBB0_65
LBB0_27:                                ##   in Loop: Header=BB0_4 Depth=1
	movl	(%rax), %esi
	movl	12(%rbx), %eax
	cmpl	$133, %eax
	je	LBB0_30
## %bb.28:                              ##   in Loop: Header=BB0_4 Depth=1
	cmpl	$142, %eax
	jne	LBB0_65
## %bb.29:                              ##   in Loop: Header=BB0_4 Depth=1
	leaq	8(%rbx), %rdi
	decl	%esi
	callq	_ebitmap_get_bit
	jmp	LBB0_55
LBB0_30:                                ##   in Loop: Header=BB0_4 Depth=1
	leaq	8(%rbx), %rdi
	decl	%esi
	callq	_ebitmap_get_bit
	jmp	LBB0_49
LBB0_31:                                ##   in Loop: Header=BB0_4 Depth=1
	xorl	%edx, %edx
	cmpl	%ecx, %eax
	setne	%dl
LBB0_32:                                ##   in Loop: Header=BB0_4 Depth=1
	movslq	%r14d, %rax
	incl	%r14d
	movl	%edx, 4(%r13,%rax,4)
	jmp	LBB0_3
LBB0_33:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	-56(%rbp), %rax                 ## 8-byte Reload
	movslq	4(%rax), %rax
	movq	-64(%rbp), %rcx                 ## 8-byte Reload
	movslq	4(%rcx), %rcx
	movq	_policydb@GOTPCREL(%rip), %rdx
	movq	(%rdx), %rdx
	leaq	-1(%rax), %r8
	movq	-8(%rdx,%rax,8), %rdi
	leaq	-1(%rcx), %rsi
	movq	-8(%rdx,%rcx,8), %r9
	movl	12(%rbx), %edx
	cmpl	$139, %edx
	je	LBB0_56
## %bb.34:                              ##   in Loop: Header=BB0_4 Depth=1
	cmpl	$143, %edx
	je	LBB0_58
## %bb.35:                              ##   in Loop: Header=BB0_4 Depth=1
	cmpl	$144, %edx
	jne	LBB0_21
## %bb.36:                              ##   in Loop: Header=BB0_4 Depth=1
                                        ## kill: def $esi killed $esi killed $rsi
	callq	_ebitmap_get_bit
	jmp	LBB0_55
LBB0_37:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	-64(%rbp), %rax                 ## 8-byte Reload
	jmp	LBB0_41
LBB0_38:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	-56(%rbp), %rax                 ## 8-byte Reload
	movq	16(%rax), %rax
	jmp	LBB0_43
LBB0_39:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	-56(%rbp), %rax                 ## 8-byte Reload
	movq	16(%rax), %rax
	jmp	LBB0_45
LBB0_40:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	-56(%rbp), %rax                 ## 8-byte Reload
LBB0_41:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	16(%rax), %rax
	leaq	4(%rax), %rsi
	jmp	LBB0_46
LBB0_42:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	-56(%rbp), %rax                 ## 8-byte Reload
	movq	16(%rax), %rax
	addq	$4, %rax
LBB0_43:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	-64(%rbp), %rcx                 ## 8-byte Reload
	movq	16(%rcx), %rsi
	jmp	LBB0_46
LBB0_44:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	-56(%rbp), %rax                 ## 8-byte Reload
	movq	16(%rax), %rax
	addq	$4, %rax
LBB0_45:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	-64(%rbp), %rcx                 ## 8-byte Reload
	movq	16(%rcx), %rsi
	addq	$4, %rsi
LBB0_46:                                ##   in Loop: Header=BB0_4 Depth=1
	movl	12(%rbx), %ecx
	movl	$-133, %edx
	addl	%edx, %ecx
	cmpl	$11, %ecx
	ja	LBB0_65
## %bb.47:                              ##   in Loop: Header=BB0_4 Depth=1
	leaq	LJTI0_2(%rip), %rdx
	movslq	(%rdx,%rcx,4), %rcx
	addq	%rdx, %rcx
	jmpq	*%rcx
LBB0_48:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	%rax, %rdi
	callq	_mls_level_eq
LBB0_49:                                ##   in Loop: Header=BB0_4 Depth=1
	xorl	%ecx, %ecx
	testl	%eax, %eax
	sete	%cl
	movslq	%r14d, %rax
	incl	%r14d
	movl	%ecx, 4(%r13,%rax,4)
	jmp	LBB0_3
LBB0_50:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	%rsi, %rdi
	movq	%rax, %rsi
	callq	_mls_level_incomp
	jmp	LBB0_55
LBB0_51:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	%rax, %rdi
	callq	_mls_level_eq
	jmp	LBB0_55
LBB0_52:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	%rsi, %rdi
	movq	%rax, %rsi
	jmp	LBB0_54
LBB0_53:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	%rax, %rdi
LBB0_54:                                ##   in Loop: Header=BB0_4 Depth=1
	callq	_mls_level_dom
LBB0_55:                                ##   in Loop: Header=BB0_4 Depth=1
	movslq	%r14d, %rcx
	incl	%r14d
	movl	%eax, 4(%r13,%rcx,4)
	jmp	LBB0_3
LBB0_56:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	%r9, -80(%rbp)                  ## 8-byte Spill
	movq	%r8, -88(%rbp)                  ## 8-byte Spill
                                        ## kill: def $esi killed $esi killed $rsi
	callq	_ebitmap_get_bit
	testl	%eax, %eax
	je	LBB0_59
## %bb.57:                              ##   in Loop: Header=BB0_4 Depth=1
	xorl	%eax, %eax
	jmp	LBB0_60
LBB0_58:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	%r9, %rdi
	movl	%r8d, %esi
	callq	_ebitmap_get_bit
	jmp	LBB0_55
LBB0_59:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	-80(%rbp), %rdi                 ## 8-byte Reload
	movq	-88(%rbp), %rsi                 ## 8-byte Reload
                                        ## kill: def $esi killed $esi killed $rsi
	callq	_ebitmap_get_bit
	testl	%eax, %eax
	sete	%al
LBB0_60:                                ##   in Loop: Header=BB0_4 Depth=1
	movzbl	%al, %eax
	jmp	LBB0_55
LBB0_61:
	movl	$-1, %r14d
LBB0_62:
	xorl	%edi, %edi
	testl	%r14d, %r14d
	setne	%dil
	callq	_BUG_ON
	movl	(%r13), %ebx
LBB0_63:
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	cmpq	-48(%rbp), %rax
	jne	LBB0_68
## %bb.64:
	movl	%ebx, %eax
	leaq	-40(%rbp), %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_65:
	xorl	%ebx, %ebx
	xorl	%eax, %eax
	callq	_BUG
	jmp	LBB0_63
LBB0_67:
	xorl	%ebx, %ebx
	jmp	LBB0_63
LBB0_68:
	callq	___stack_chk_fail
	.cfi_endproc
	.p2align	2, 0x90
	.data_region jt32
.set L0_0_set_6, LBB0_6-LJTI0_0
.set L0_0_set_2, LBB0_2-LJTI0_0
.set L0_0_set_65, LBB0_65-LJTI0_0
.set L0_0_set_7, LBB0_7-LJTI0_0
.set L0_0_set_16, LBB0_16-LJTI0_0
.set L0_0_set_24, LBB0_24-LJTI0_0
LJTI0_0:
	.long	L0_0_set_6
	.long	L0_0_set_2
	.long	L0_0_set_65
	.long	L0_0_set_7
	.long	L0_0_set_65
	.long	L0_0_set_65
	.long	L0_0_set_65
	.long	L0_0_set_65
	.long	L0_0_set_65
	.long	L0_0_set_65
	.long	L0_0_set_65
	.long	L0_0_set_65
	.long	L0_0_set_65
	.long	L0_0_set_65
	.long	L0_0_set_16
	.long	L0_0_set_24
.set L0_1_set_20, LBB0_20-LJTI0_1
.set L0_1_set_19, LBB0_19-LJTI0_1
.set L0_1_set_33, LBB0_33-LJTI0_1
.set L0_1_set_65, LBB0_65-LJTI0_1
.set L0_1_set_37, LBB0_37-LJTI0_1
.set L0_1_set_38, LBB0_38-LJTI0_1
.set L0_1_set_39, LBB0_39-LJTI0_1
.set L0_1_set_40, LBB0_40-LJTI0_1
.set L0_1_set_42, LBB0_42-LJTI0_1
.set L0_1_set_44, LBB0_44-LJTI0_1
LJTI0_1:
	.long	L0_1_set_20
	.long	L0_1_set_19
	.long	L0_1_set_33
	.long	L0_1_set_65
	.long	L0_1_set_65
	.long	L0_1_set_65
	.long	L0_1_set_65
	.long	L0_1_set_37
	.long	L0_1_set_38
	.long	L0_1_set_39
	.long	L0_1_set_40
	.long	L0_1_set_65
	.long	L0_1_set_42
	.long	L0_1_set_44
.set L0_2_set_48, LBB0_48-LJTI0_2
.set L0_2_set_65, LBB0_65-LJTI0_2
.set L0_2_set_50, LBB0_50-LJTI0_2
.set L0_2_set_51, LBB0_51-LJTI0_2
.set L0_2_set_52, LBB0_52-LJTI0_2
.set L0_2_set_53, LBB0_53-LJTI0_2
LJTI0_2:
	.long	L0_2_set_48
	.long	L0_2_set_65
	.long	L0_2_set_65
	.long	L0_2_set_65
	.long	L0_2_set_65
	.long	L0_2_set_65
	.long	L0_2_set_50
	.long	L0_2_set_65
	.long	L0_2_set_65
	.long	L0_2_set_51
	.long	L0_2_set_52
	.long	L0_2_set_53
	.end_data_region
                                        ## -- End function
	.comm	_CEXPR_MAXDEPTH,4,2             ## @CEXPR_MAXDEPTH
	.comm	_policydb,8,3                   ## @policydb
	.comm	_CEXPR_TARGET,4,2               ## @CEXPR_TARGET
	.comm	_CEXPR_XTARGET,4,2              ## @CEXPR_XTARGET
	.no_dead_strip	_constraint_expr_eval
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function constraint_expr_eval
_constraint_expr_eval:                  ; @constraint_expr_eval
	.cfi_startproc
; %bb.0:
	stp	x28, x27, [sp, #-96]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 96
	stp	x26, x25, [sp, #16]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #32]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #48]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #64]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #80]             ; 16-byte Folded Spill
	add	x29, sp, #80
	.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
	.cfi_offset w27, -88
	.cfi_offset w28, -96
	sub	sp, sp, #32
	mov	x19, x3
	mov	x23, x2
	mov	x21, x1
	mov	x22, x0
Lloh0:
	adrp	x8, ___stack_chk_guard@GOTPAGE
Lloh1:
	ldr	x8, [x8, ___stack_chk_guard@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	stur	x8, [x29, #-88]
Lloh3:
	adrp	x26, _CEXPR_MAXDEPTH@GOTPAGE
Lloh4:
	ldr	x26, [x26, _CEXPR_MAXDEPTH@GOTPAGEOFF]
	ldr	w8, [x26]
	lsl	x8, x8, #2
	mov	x9, x8
Lloh5:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh6:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	add	x8, x8, #15
	and	x8, x8, #0x7fffffff0
	sub	x25, x9, x8
	mov	sp, x25
	cbz	x3, LBB0_61
; %bb.1:
	add	x24, x22, #8
	add	x28, x21, #8
	mov	w27, #-1
Lloh7:
	adrp	x20, lJTI0_0@PAGE
Lloh8:
	add	x20, x20, lJTI0_0@PAGEOFF
	b	LBB0_4
LBB0_2:                                 ;   in Loop: Header=BB0_4 Depth=1
	lsr	w0, w27, #31
	bl	_BUG_ON
	mov	x8, x27
	sbfiz	x8, x8, #2, #32
	ldr	w9, [x25, x8]
	cmp	w9, #0
	cset	w9, eq
	str	w9, [x25, x8]
LBB0_3:                                 ;   in Loop: Header=BB0_4 Depth=1
	ldr	x19, [x19, #16]
	cbz	x19, LBB0_62
LBB0_4:                                 ; =>This Inner Loop Header: Depth=1
	ldr	w8, [x19]
	sub	w8, w8, #131
	cmp	w8, #15
	b.hi	LBB0_63
; %bb.5:                                ;   in Loop: Header=BB0_4 Depth=1
	adr	x9, LBB0_2
	ldrb	w10, [x20, x8]
	add	x9, x9, x10, lsl #2
	br	x9
LBB0_6:                                 ;   in Loop: Header=BB0_4 Depth=1
	cmp	w27, #1
	cset	w0, lt
	bl	_BUG_ON
	ldr	w8, [x25, w27, sxtw #2]
                                        ; kill: def $w27 killed $w27 killed $x27 def $x27
	sxtw	x9, w27
	sub	x27, x9, #1
	lsl	x9, x27, #2
	ldr	w10, [x25, x9]
	orr	w8, w10, w8
	b	LBB0_22
LBB0_7:                                 ;   in Loop: Header=BB0_4 Depth=1
	ldr	w8, [x26]
	sub	w8, w8, #1
	cmp	w27, w8
	b.eq	LBB0_64
; %bb.8:                                ;   in Loop: Header=BB0_4 Depth=1
	ldr	w9, [x19, #4]
Lloh9:
	adrp	x8, _CEXPR_TARGET@GOTPAGE
Lloh10:
	ldr	x8, [x8, _CEXPR_TARGET@GOTPAGEOFF]
Lloh11:
	ldr	w10, [x8]
	mov	x8, x21
	tst	w10, w9
	b.ne	LBB0_10
; %bb.9:                                ;   in Loop: Header=BB0_4 Depth=1
Lloh12:
	adrp	x8, _CEXPR_XTARGET@GOTPAGE
Lloh13:
	ldr	x8, [x8, _CEXPR_XTARGET@GOTPAGEOFF]
Lloh14:
	ldr	w8, [x8]
	ands	w10, w8, w9
	csel	x8, x22, x23, eq
	cmp	w10, #0
	ccmp	x23, #0, #0, ne
	b.eq	LBB0_63
LBB0_10:                                ;   in Loop: Header=BB0_4 Depth=1
	tbnz	w9, #7, LBB0_23
; %bb.11:                               ;   in Loop: Header=BB0_4 Depth=1
	mov	w10, #130
	tst	w9, w10
	b.eq	LBB0_24
; %bb.12:                               ;   in Loop: Header=BB0_4 Depth=1
	add	x8, x8, #4
	b	LBB0_25
LBB0_13:                                ;   in Loop: Header=BB0_4 Depth=1
	ldr	w8, [x26]
	sub	w8, w8, #1
	cmp	w27, w8
	b.eq	LBB0_64
; %bb.14:                               ;   in Loop: Header=BB0_4 Depth=1
	ldr	w8, [x19, #4]
	sub	w8, w8, #128
	cmp	w8, #13
	b.hi	LBB0_63
; %bb.15:                               ;   in Loop: Header=BB0_4 Depth=1
Lloh15:
	adrp	x11, lJTI0_1@PAGE
Lloh16:
	add	x11, x11, lJTI0_1@PAGEOFF
	adr	x10, LBB0_16
	ldrb	w9, [x11, x8]
	add	x10, x10, x9, lsl #2
	mov	x8, x24
	mov	x9, x28
	br	x10
LBB0_16:                                ;   in Loop: Header=BB0_4 Depth=1
	mov	x8, x22
	mov	x9, x21
LBB0_17:                                ;   in Loop: Header=BB0_4 Depth=1
	ldr	w8, [x8]
	ldr	w9, [x9]
LBB0_18:                                ;   in Loop: Header=BB0_4 Depth=1
	ldr	w10, [x19, #12]
	cmp	w10, #133
	b.eq	LBB0_29
; %bb.19:                               ;   in Loop: Header=BB0_4 Depth=1
	cmp	w10, #142
	b.ne	LBB0_63
; %bb.20:                               ;   in Loop: Header=BB0_4 Depth=1
	cmp	w8, w9
	b	LBB0_46
LBB0_21:                                ;   in Loop: Header=BB0_4 Depth=1
	cmp	w27, #1
	cset	w0, lt
	bl	_BUG_ON
	ldr	w8, [x25, w27, sxtw #2]
                                        ; kill: def $w27 killed $w27 killed $x27 def $x27
	sxtw	x9, w27
	sub	x27, x9, #1
	lsl	x9, x27, #2
	ldr	w10, [x25, x9]
	and	w8, w10, w8
LBB0_22:                                ;   in Loop: Header=BB0_4 Depth=1
	str	w8, [x25, x9]
                                        ; kill: def $w27 killed $w27 killed $x27 def $x27
	b	LBB0_3
LBB0_23:                                ;   in Loop: Header=BB0_4 Depth=1
	add	x8, x8, #8
	b	LBB0_25
LBB0_24:                                ;   in Loop: Header=BB0_4 Depth=1
	mov	w10, #129
	tst	w9, w10
	b.eq	LBB0_63
LBB0_25:                                ;   in Loop: Header=BB0_4 Depth=1
	ldr	w8, [x8]
	ldr	w9, [x19, #12]
	cmp	w9, #133
	b.eq	LBB0_28
; %bb.26:                               ;   in Loop: Header=BB0_4 Depth=1
	cmp	w9, #142
	b.ne	LBB0_63
; %bb.27:                               ;   in Loop: Header=BB0_4 Depth=1
	add	x0, x19, #8
	sub	w1, w8, #1
	bl	_ebitmap_get_bit
	b	LBB0_54
LBB0_28:                                ;   in Loop: Header=BB0_4 Depth=1
	add	x0, x19, #8
	sub	w1, w8, #1
	bl	_ebitmap_get_bit
	b	LBB0_45
LBB0_29:                                ;   in Loop: Header=BB0_4 Depth=1
	cmp	w8, w9
	cset	w8, ne
	b	LBB0_47
LBB0_30:                                ;   in Loop: Header=BB0_4 Depth=1
	stp	x24, x23, [x29, #-104]          ; 16-byte Folded Spill
	ldr	w8, [x22, #4]
Lloh17:
	adrp	x9, _policydb@GOTPAGE
Lloh18:
	ldr	x9, [x9, _policydb@GOTPAGEOFF]
Lloh19:
	ldr	x10, [x9]
	sub	w23, w8, #1
	ldr	x0, [x10, w23, sxtw #3]
	ldr	w9, [x21, #4]
	sub	w1, w9, #1
	ldr	x24, [x10, w1, sxtw #3]
	ldr	w10, [x19, #12]
	cmp	w10, #139
	b.eq	LBB0_55
; %bb.31:                               ;   in Loop: Header=BB0_4 Depth=1
	cmp	w10, #143
	b.eq	LBB0_57
; %bb.32:                               ;   in Loop: Header=BB0_4 Depth=1
	cmp	w10, #144
	b.eq	LBB0_58
; %bb.33:                               ;   in Loop: Header=BB0_4 Depth=1
	ldp	x24, x23, [x29, #-104]          ; 16-byte Folded Reload
	b	LBB0_18
LBB0_34:                                ;   in Loop: Header=BB0_4 Depth=1
	ldr	x8, [x21, #16]
	b	LBB0_38
LBB0_35:                                ;   in Loop: Header=BB0_4 Depth=1
	ldr	x8, [x22, #16]
	ldr	x1, [x21, #16]
	b	LBB0_42
LBB0_36:                                ;   in Loop: Header=BB0_4 Depth=1
	ldr	x8, [x22, #16]
	b	LBB0_41
LBB0_37:                                ;   in Loop: Header=BB0_4 Depth=1
	ldr	x8, [x22, #16]
LBB0_38:                                ;   in Loop: Header=BB0_4 Depth=1
	add	x1, x8, #4
	b	LBB0_42
LBB0_39:                                ;   in Loop: Header=BB0_4 Depth=1
	ldr	x8, [x22, #16]
	add	x8, x8, #4
	ldr	x1, [x21, #16]
	b	LBB0_42
LBB0_40:                                ;   in Loop: Header=BB0_4 Depth=1
	ldr	x8, [x22, #16]
	add	x8, x8, #4
LBB0_41:                                ;   in Loop: Header=BB0_4 Depth=1
	ldr	x9, [x21, #16]
	add	x1, x9, #4
LBB0_42:                                ;   in Loop: Header=BB0_4 Depth=1
	ldr	w9, [x19, #12]
	sub	w9, w9, #133
	cmp	w9, #11
	b.hi	LBB0_63
; %bb.43:                               ;   in Loop: Header=BB0_4 Depth=1
Lloh20:
	adrp	x12, lJTI0_2@PAGE
Lloh21:
	add	x12, x12, lJTI0_2@PAGEOFF
	adr	x10, LBB0_44
	ldrb	w11, [x12, x9]
	add	x10, x10, x11, lsl #2
	br	x10
LBB0_44:                                ;   in Loop: Header=BB0_4 Depth=1
	mov	x0, x8
	bl	_mls_level_eq
LBB0_45:                                ;   in Loop: Header=BB0_4 Depth=1
	cmp	w0, #0
LBB0_46:                                ;   in Loop: Header=BB0_4 Depth=1
	cset	w8, eq
LBB0_47:                                ;   in Loop: Header=BB0_4 Depth=1
                                        ; kill: def $w27 killed $w27 killed $x27 def $x27
LBB0_48:                                ;   in Loop: Header=BB0_4 Depth=1
	sxtw	x9, w27
	add	x27, x9, #1
	str	w8, [x25, x27, lsl #2]
                                        ; kill: def $w27 killed $w27 killed $x27 def $x27
	b	LBB0_3
LBB0_49:                                ;   in Loop: Header=BB0_4 Depth=1
	mov	x0, x1
	mov	x1, x8
	bl	_mls_level_incomp
	b	LBB0_54
LBB0_50:                                ;   in Loop: Header=BB0_4 Depth=1
	mov	x0, x8
	bl	_mls_level_eq
	b	LBB0_54
LBB0_51:                                ;   in Loop: Header=BB0_4 Depth=1
	mov	x0, x1
	mov	x1, x8
	b	LBB0_53
LBB0_52:                                ;   in Loop: Header=BB0_4 Depth=1
	mov	x0, x8
LBB0_53:                                ;   in Loop: Header=BB0_4 Depth=1
	bl	_mls_level_dom
LBB0_54:                                ;   in Loop: Header=BB0_4 Depth=1
                                        ; kill: def $w27 killed $w27 killed $x27 def $x27
	sxtw	x8, w27
	add	x27, x8, #1
	str	w0, [x25, x27, lsl #2]
                                        ; kill: def $w27 killed $w27 killed $x27 def $x27
	b	LBB0_3
LBB0_55:                                ;   in Loop: Header=BB0_4 Depth=1
	bl	_ebitmap_get_bit
	cbz	w0, LBB0_59
; %bb.56:                               ;   in Loop: Header=BB0_4 Depth=1
	mov	w8, #0
	b	LBB0_60
LBB0_57:                                ;   in Loop: Header=BB0_4 Depth=1
	mov	x0, x24
	mov	x1, x23
LBB0_58:                                ;   in Loop: Header=BB0_4 Depth=1
	bl	_ebitmap_get_bit
                                        ; kill: def $w27 killed $w27 killed $x27 def $x27
	sxtw	x8, w27
	add	x27, x8, #1
	str	w0, [x25, x27, lsl #2]
                                        ; kill: def $w27 killed $w27 killed $x27 def $x27
	ldp	x24, x23, [x29, #-104]          ; 16-byte Folded Reload
	b	LBB0_3
LBB0_59:                                ;   in Loop: Header=BB0_4 Depth=1
	mov	x0, x24
	mov	x1, x23
	bl	_ebitmap_get_bit
	cmp	w0, #0
	cset	w8, eq
LBB0_60:                                ;   in Loop: Header=BB0_4 Depth=1
	ldp	x24, x23, [x29, #-104]          ; 16-byte Folded Reload
	b	LBB0_48
LBB0_61:
	mov	w27, #-1
LBB0_62:
	cmp	w27, #0
	cset	w0, ne
	bl	_BUG_ON
	ldr	w0, [x25]
	b	LBB0_65
LBB0_63:
	bl	_BUG
LBB0_64:
	mov	w0, #0
LBB0_65:
	ldur	x8, [x29, #-88]
Lloh22:
	adrp	x9, ___stack_chk_guard@GOTPAGE
Lloh23:
	ldr	x9, [x9, ___stack_chk_guard@GOTPAGEOFF]
Lloh24:
	ldr	x9, [x9]
	cmp	x9, x8
	b.ne	LBB0_67
; %bb.66:
	sub	sp, x29, #80
	ldp	x29, x30, [sp, #80]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #64]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #48]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #32]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #16]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp], #96             ; 16-byte Folded Reload
	ret
LBB0_67:
	bl	___stack_chk_fail
	.loh AdrpLdrGot	Lloh5, Lloh6
	.loh AdrpLdrGot	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpAdd	Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpLdrGotLdr	Lloh12, Lloh13, Lloh14
	.loh AdrpAdd	Lloh15, Lloh16
	.loh AdrpLdrGotLdr	Lloh17, Lloh18, Lloh19
	.loh AdrpAdd	Lloh20, Lloh21
	.loh AdrpLdrGotLdr	Lloh22, Lloh23, Lloh24
	.cfi_endproc
	.section	__TEXT,__const
lJTI0_0:
	.byte	(LBB0_6-LBB0_2)>>2
	.byte	(LBB0_2-LBB0_2)>>2
	.byte	(LBB0_63-LBB0_2)>>2
	.byte	(LBB0_7-LBB0_2)>>2
	.byte	(LBB0_63-LBB0_2)>>2
	.byte	(LBB0_63-LBB0_2)>>2
	.byte	(LBB0_63-LBB0_2)>>2
	.byte	(LBB0_63-LBB0_2)>>2
	.byte	(LBB0_63-LBB0_2)>>2
	.byte	(LBB0_63-LBB0_2)>>2
	.byte	(LBB0_63-LBB0_2)>>2
	.byte	(LBB0_63-LBB0_2)>>2
	.byte	(LBB0_63-LBB0_2)>>2
	.byte	(LBB0_63-LBB0_2)>>2
	.byte	(LBB0_13-LBB0_2)>>2
	.byte	(LBB0_21-LBB0_2)>>2
lJTI0_1:
	.byte	(LBB0_17-LBB0_16)>>2
	.byte	(LBB0_16-LBB0_16)>>2
	.byte	(LBB0_30-LBB0_16)>>2
	.byte	(LBB0_63-LBB0_16)>>2
	.byte	(LBB0_63-LBB0_16)>>2
	.byte	(LBB0_63-LBB0_16)>>2
	.byte	(LBB0_63-LBB0_16)>>2
	.byte	(LBB0_34-LBB0_16)>>2
	.byte	(LBB0_35-LBB0_16)>>2
	.byte	(LBB0_36-LBB0_16)>>2
	.byte	(LBB0_37-LBB0_16)>>2
	.byte	(LBB0_63-LBB0_16)>>2
	.byte	(LBB0_39-LBB0_16)>>2
	.byte	(LBB0_40-LBB0_16)>>2
lJTI0_2:
	.byte	(LBB0_44-LBB0_44)>>2
	.byte	(LBB0_63-LBB0_44)>>2
	.byte	(LBB0_63-LBB0_44)>>2
	.byte	(LBB0_63-LBB0_44)>>2
	.byte	(LBB0_63-LBB0_44)>>2
	.byte	(LBB0_63-LBB0_44)>>2
	.byte	(LBB0_49-LBB0_44)>>2
	.byte	(LBB0_63-LBB0_44)>>2
	.byte	(LBB0_63-LBB0_44)>>2
	.byte	(LBB0_50-LBB0_44)>>2
	.byte	(LBB0_51-LBB0_44)>>2
	.byte	(LBB0_52-LBB0_44)>>2
                                        ; -- End function
	.comm	_CEXPR_MAXDEPTH,4,2             ; @CEXPR_MAXDEPTH
	.comm	_policydb,8,3                   ; @policydb
	.comm	_CEXPR_TARGET,4,2               ; @CEXPR_TARGET
	.comm	_CEXPR_XTARGET,4,2              ; @CEXPR_XTARGET
	.no_dead_strip	_constraint_expr_eval
.subsections_via_symbols
