	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function biba_dominate_element
_biba_dominate_element:                 ## @biba_dominate_element
	.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	%r12
	pushq	%rbx
	.cfi_offset %rbx, -48
	.cfi_offset %r12, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	(%rdi), %eax
	addl	$-128, %eax
	cmpl	$3, %eax
	ja	LBB0_9
## %bb.1:
	movq	%rsi, %r14
	movq	%rdi, %r15
	movl	$1, %ebx
	leaq	LJTI0_0(%rip), %rcx
	movslq	(%rcx,%rax,4), %rax
	addq	%rcx, %rax
	jmpq	*%rax
LBB0_2:
	movl	(%r14), %eax
	addl	$-128, %eax
	cmpl	$4, %eax
	jae	LBB0_4
## %bb.3:
	cltq
	leaq	L_switch.table.biba_dominate_element(%rip), %rcx
	movl	(%rcx,%rax,4), %ebx
	jmp	LBB0_11
LBB0_4:
	leaq	L_.str(%rip), %rdi
	callq	_panic
LBB0_5:
	movl	(%r14), %eax
	addl	$-128, %eax
	cmpl	$3, %eax
	ja	LBB0_8
## %bb.6:
	leaq	LJTI0_1(%rip), %rcx
	movslq	(%rcx,%rax,4), %rax
	addq	%rcx, %rax
	jmpq	*%rax
LBB0_12:
	movq	_MAC_BIBA_MAX_COMPARTMENTS@GOTPCREL(%rip), %r12
	cmpl	$0, (%r12)
	jle	LBB0_18
## %bb.13:
	xorl	%ebx, %ebx
	jmp	LBB0_15
	.p2align	4, 0x90
LBB0_14:                                ##   in Loop: Header=BB0_15 Depth=1
	cmpl	(%r12), %ebx
	jge	LBB0_18
LBB0_15:                                ## =>This Inner Loop Header: Depth=1
	incl	%ebx
	movl	8(%r15), %esi
	movl	%ebx, %edi
	callq	_MAC_BIBA_BIT_TEST
	testl	%eax, %eax
	jne	LBB0_14
## %bb.16:                              ##   in Loop: Header=BB0_15 Depth=1
	movl	8(%r14), %esi
	movl	%ebx, %edi
	callq	_MAC_BIBA_BIT_TEST
	testl	%eax, %eax
	je	LBB0_14
	jmp	LBB0_10
LBB0_8:
	leaq	L_.str(%rip), %rdi
	callq	_panic
LBB0_9:
	leaq	L_.str.1(%rip), %rdi
	callq	_panic
LBB0_10:
	xorl	%ebx, %ebx
LBB0_11:
	movl	%ebx, %eax
	popq	%rbx
	popq	%r12
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_18:
	movl	4(%r15), %eax
	xorl	%ebx, %ebx
	cmpl	4(%r14), %eax
	setge	%bl
	jmp	LBB0_11
	.cfi_endproc
	.p2align	2, 0x90
	.data_region jt32
.set L0_0_set_2, LBB0_2-LJTI0_0
.set L0_0_set_11, LBB0_11-LJTI0_0
.set L0_0_set_5, LBB0_5-LJTI0_0
LJTI0_0:
	.long	L0_0_set_2
	.long	L0_0_set_11
	.long	L0_0_set_5
	.long	L0_0_set_11
.set L0_1_set_11, LBB0_11-LJTI0_1
.set L0_1_set_10, LBB0_10-LJTI0_1
.set L0_1_set_12, LBB0_12-LJTI0_1
LJTI0_1:
	.long	L0_1_set_11
	.long	L0_1_set_10
	.long	L0_1_set_12
	.long	L0_1_set_11
	.end_data_region
                                        ## -- End function
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"biba_dominate_element: b->mbe_type invalid"

	.comm	_MAC_BIBA_MAX_COMPARTMENTS,4,2  ## @MAC_BIBA_MAX_COMPARTMENTS
L_.str.1:                               ## @.str.1
	.asciz	"biba_dominate_element: a->mbe_type invalid"

	.no_dead_strip	_biba_dominate_element
	.section	__TEXT,__literal16,16byte_literals
	.p2align	2                               ## @switch.table.biba_dominate_element
L_switch.table.biba_dominate_element:
	.long	1                               ## 0x1
	.long	0                               ## 0x0
	.long	0                               ## 0x0
	.long	1                               ## 0x1

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function biba_dominate_element
_biba_dominate_element:                 ; @biba_dominate_element
	.cfi_startproc
; %bb.0:
	stp	x22, x21, [sp, #-48]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 48
	stp	x20, x19, [sp, #16]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #32]             ; 16-byte Folded Spill
	add	x29, sp, #32
	.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
	ldr	w8, [x0]
	sub	w8, w8, #128
	cmp	w8, #3
	b.hi	LBB0_13
; %bb.1:
	mov	x19, x1
	mov	x20, x0
	mov	w0, #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:
	ldr	w8, [x19]
	sub	w8, w8, #128
	cmp	w8, #4
	b.hs	LBB0_4
; %bb.3:
Lloh2:
	adrp	x9, l_switch.table.biba_dominate_element@PAGE
Lloh3:
	add	x9, x9, l_switch.table.biba_dominate_element@PAGEOFF
	ldr	w0, [x9, w8, sxtw #2]
	b	LBB0_15
LBB0_4:
Lloh4:
	adrp	x0, l_.str@PAGE
Lloh5:
	add	x0, x0, l_.str@PAGEOFF
	bl	_panic
LBB0_5:
	ldr	w8, [x19]
	sub	w8, w8, #128
	cmp	w8, #3
	b.hi	LBB0_12
; %bb.6:
	mov	w0, #1
Lloh6:
	adrp	x9, lJTI0_1@PAGE
Lloh7:
	add	x9, x9, lJTI0_1@PAGEOFF
	adr	x10, LBB0_7
	ldrb	w11, [x9, x8]
	add	x10, x10, x11, lsl #2
	br	x10
LBB0_7:
Lloh8:
	adrp	x22, _MAC_BIBA_MAX_COMPARTMENTS@GOTPAGE
Lloh9:
	ldr	x22, [x22, _MAC_BIBA_MAX_COMPARTMENTS@GOTPAGEOFF]
	ldr	w8, [x22]
	cmp	w8, #1
	b.lt	LBB0_16
; %bb.8:
	mov	w21, #0
	b	LBB0_10
LBB0_9:                                 ;   in Loop: Header=BB0_10 Depth=1
	ldr	w8, [x22]
	cmp	w21, w8
	b.ge	LBB0_16
LBB0_10:                                ; =>This Inner Loop Header: Depth=1
	add	w21, w21, #1
	ldr	w1, [x20, #8]
	mov	x0, x21
	bl	_MAC_BIBA_BIT_TEST
	cbnz	w0, LBB0_9
; %bb.11:                               ;   in Loop: Header=BB0_10 Depth=1
	ldr	w1, [x19, #8]
	mov	x0, x21
	bl	_MAC_BIBA_BIT_TEST
	cbz	w0, LBB0_9
	b	LBB0_14
LBB0_12:
Lloh10:
	adrp	x0, l_.str@PAGE
Lloh11:
	add	x0, x0, l_.str@PAGEOFF
	bl	_panic
LBB0_13:
Lloh12:
	adrp	x0, l_.str.1@PAGE
Lloh13:
	add	x0, x0, l_.str.1@PAGEOFF
	bl	_panic
LBB0_14:
	mov	w0, #0
LBB0_15:
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #16]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp], #48             ; 16-byte Folded Reload
	ret
LBB0_16:
	ldr	w8, [x20, #4]
	ldr	w9, [x19, #4]
	cmp	w8, w9
	cset	w0, ge
	b	LBB0_15
	.loh AdrpAdd	Lloh0, Lloh1
	.loh AdrpAdd	Lloh2, Lloh3
	.loh AdrpAdd	Lloh4, Lloh5
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpLdrGot	Lloh8, Lloh9
	.loh AdrpAdd	Lloh10, Lloh11
	.loh AdrpAdd	Lloh12, Lloh13
	.cfi_endproc
	.section	__TEXT,__const
lJTI0_0:
	.byte	(LBB0_2-LBB0_2)>>2
	.byte	(LBB0_15-LBB0_2)>>2
	.byte	(LBB0_5-LBB0_2)>>2
	.byte	(LBB0_15-LBB0_2)>>2
lJTI0_1:
	.byte	(LBB0_15-LBB0_7)>>2
	.byte	(LBB0_14-LBB0_7)>>2
	.byte	(LBB0_7-LBB0_7)>>2
	.byte	(LBB0_15-LBB0_7)>>2
                                        ; -- End function
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"biba_dominate_element: b->mbe_type invalid"

	.comm	_MAC_BIBA_MAX_COMPARTMENTS,4,2  ; @MAC_BIBA_MAX_COMPARTMENTS
l_.str.1:                               ; @.str.1
	.asciz	"biba_dominate_element: a->mbe_type invalid"

	.no_dead_strip	_biba_dominate_element
	.section	__TEXT,__literal16,16byte_literals
	.p2align	2                               ; @switch.table.biba_dominate_element
l_switch.table.biba_dominate_element:
	.long	1                               ; 0x1
	.long	0                               ; 0x0
	.long	0                               ; 0x0
	.long	1                               ; 0x1

.subsections_via_symbols
