	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_bms_subset_compare             ## -- Begin function bms_subset_compare
	.p2align	4, 0x90
_bms_subset_compare:                    ## @bms_subset_compare
	.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
	movq	%rsi, %r14
	testq	%rdi, %rdi
	je	LBB0_9
## %bb.1:
	movq	%rdi, %r15
	testq	%r14, %r14
	je	LBB0_12
## %bb.2:
	movq	_BMS_EQUAL@GOTPCREL(%rip), %rax
	movq	(%rax), %rbx
	movl	(%r15), %edi
	movl	(%r14), %esi
	callq	_Min
	testl	%eax, %eax
	jle	LBB0_14
## %bb.3:
	movq	8(%r15), %r8
	movq	8(%r14), %r9
	movq	_BMS_SUBSET1@GOTPCREL(%rip), %rcx
	movq	(%rcx), %r11
	movq	_BMS_SUBSET2@GOTPCREL(%rip), %rcx
	movq	(%rcx), %r12
	movl	%eax, %r10d
	xorl	%edx, %edx
	jmp	LBB0_5
	.p2align	4, 0x90
LBB0_4:                                 ##   in Loop: Header=BB0_5 Depth=1
	incq	%rdx
	cmpq	%rdx, %r10
	je	LBB0_15
LBB0_5:                                 ## =>This Inner Loop Header: Depth=1
	movl	(%r8,%rdx,4), %ecx
	movl	(%r9,%rdx,4), %edi
	movl	%edi, %esi
	notl	%esi
	testl	%esi, %ecx
	je	LBB0_7
## %bb.6:                               ##   in Loop: Header=BB0_5 Depth=1
	cmpq	%r11, %rbx
	movq	%r12, %rbx
	je	LBB0_28
LBB0_7:                                 ##   in Loop: Header=BB0_5 Depth=1
	notl	%ecx
	testl	%ecx, %edi
	je	LBB0_4
## %bb.8:                               ##   in Loop: Header=BB0_5 Depth=1
	cmpq	%r12, %rbx
	movq	%r11, %rbx
	jne	LBB0_4
	jmp	LBB0_28
LBB0_9:
	testq	%r14, %r14
	je	LBB0_30
## %bb.10:
	movq	%r14, %rdi
	callq	_bms_is_empty
	testq	%rax, %rax
	jne	LBB0_30
## %bb.11:
	movq	_BMS_SUBSET1@GOTPCREL(%rip), %rax
	jmp	LBB0_31
LBB0_12:
	movq	%r15, %rdi
	callq	_bms_is_empty
	testq	%rax, %rax
	jne	LBB0_30
## %bb.13:
	movq	_BMS_SUBSET2@GOTPCREL(%rip), %rax
	jmp	LBB0_31
LBB0_30:
	movq	_BMS_EQUAL@GOTPCREL(%rip), %rax
	jmp	LBB0_31
LBB0_14:
	xorl	%eax, %eax
LBB0_15:
	movl	(%r15), %ecx
	movl	(%r14), %edx
	cmpl	%edx, %ecx
	jle	LBB0_22
## %bb.16:
	cmpl	%ecx, %eax
	jge	LBB0_32
## %bb.17:
	movq	8(%r15), %rdx
	movq	_BMS_SUBSET1@GOTPCREL(%rip), %rsi
	movq	(%rsi), %rsi
	movq	_BMS_SUBSET2@GOTPCREL(%rip), %rdi
	movq	(%rdi), %rdi
	movl	%eax, %eax
	jmp	LBB0_19
	.p2align	4, 0x90
LBB0_18:                                ##   in Loop: Header=BB0_19 Depth=1
	incq	%rax
	cmpq	%rax, %rcx
	je	LBB0_32
LBB0_19:                                ## =>This Inner Loop Header: Depth=1
	cmpl	$0, (%rdx,%rax,4)
	je	LBB0_18
## %bb.20:                              ##   in Loop: Header=BB0_19 Depth=1
	cmpq	%rsi, %rbx
	movq	%rdi, %rbx
	jne	LBB0_18
	jmp	LBB0_28
LBB0_22:
	cmpl	%edx, %ecx
	jge	LBB0_32
## %bb.23:
	cmpl	%edx, %eax
	jge	LBB0_32
## %bb.24:
	movq	8(%r14), %rcx
	movq	_BMS_SUBSET2@GOTPCREL(%rip), %rsi
	movq	(%rsi), %rsi
	movq	_BMS_SUBSET1@GOTPCREL(%rip), %rdi
	movq	(%rdi), %rdi
	movl	%eax, %eax
	jmp	LBB0_26
	.p2align	4, 0x90
LBB0_25:                                ##   in Loop: Header=BB0_26 Depth=1
	incq	%rax
	cmpq	%rax, %rdx
	je	LBB0_32
LBB0_26:                                ## =>This Inner Loop Header: Depth=1
	cmpl	$0, (%rcx,%rax,4)
	je	LBB0_25
## %bb.27:                              ##   in Loop: Header=BB0_26 Depth=1
	cmpq	%rsi, %rbx
	movq	%rdi, %rbx
	jne	LBB0_25
LBB0_28:
	movq	_BMS_DIFFERENT@GOTPCREL(%rip), %rax
LBB0_31:
	movq	(%rax), %rbx
LBB0_32:
	movq	%rbx, %rax
	popq	%rbx
	popq	%r12
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_BMS_EQUAL,8,3                  ## @BMS_EQUAL
	.comm	_BMS_SUBSET1,8,3                ## @BMS_SUBSET1
	.comm	_BMS_SUBSET2,8,3                ## @BMS_SUBSET2
	.comm	_BMS_DIFFERENT,8,3              ## @BMS_DIFFERENT
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_bms_subset_compare             ; -- Begin function bms_subset_compare
	.p2align	2
_bms_subset_compare:                    ; @bms_subset_compare
	.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
	mov	x20, x1
	cbz	x0, LBB0_9
; %bb.1:
	mov	x21, x0
	cbz	x20, LBB0_11
; %bb.2:
Lloh0:
	adrp	x8, _BMS_EQUAL@GOTPAGE
Lloh1:
	ldr	x8, [x8, _BMS_EQUAL@GOTPAGEOFF]
Lloh2:
	ldr	x19, [x8]
	ldr	w0, [x21]
	ldr	w1, [x20]
	bl	_Min
	cmp	w0, #1
	b.lt	LBB0_13
; %bb.3:
	ldr	x8, [x21, #8]
Lloh3:
	adrp	x10, _BMS_SUBSET1@GOTPAGE
Lloh4:
	ldr	x10, [x10, _BMS_SUBSET1@GOTPAGEOFF]
	ldr	x9, [x20, #8]
Lloh5:
	ldr	x10, [x10]
Lloh6:
	adrp	x11, _BMS_SUBSET2@GOTPAGE
Lloh7:
	ldr	x11, [x11, _BMS_SUBSET2@GOTPAGEOFF]
Lloh8:
	ldr	x11, [x11]
	mov	w12, w0
	b	LBB0_5
LBB0_4:                                 ;   in Loop: Header=BB0_5 Depth=1
	add	x9, x9, #4
	add	x8, x8, #4
	subs	x12, x12, #1
	b.eq	LBB0_14
LBB0_5:                                 ; =>This Inner Loop Header: Depth=1
	ldr	w13, [x8]
	ldr	w14, [x9]
	bics	wzr, w13, w14
	b.eq	LBB0_7
; %bb.6:                                ;   in Loop: Header=BB0_5 Depth=1
	cmp	x19, x10
	mov	x19, x11
	b.eq	LBB0_27
LBB0_7:                                 ;   in Loop: Header=BB0_5 Depth=1
	bics	wzr, w14, w13
	b.eq	LBB0_4
; %bb.8:                                ;   in Loop: Header=BB0_5 Depth=1
	cmp	x19, x11
	mov	x19, x10
	b.ne	LBB0_4
	b	LBB0_27
LBB0_9:
	cbz	x20, LBB0_20
; %bb.10:
	mov	x0, x20
	bl	_bms_is_empty
Lloh9:
	adrp	x8, _BMS_EQUAL@GOTPAGE
Lloh10:
	ldr	x8, [x8, _BMS_EQUAL@GOTPAGEOFF]
Lloh11:
	adrp	x9, _BMS_SUBSET1@GOTPAGE
Lloh12:
	ldr	x9, [x9, _BMS_SUBSET1@GOTPAGEOFF]
	b	LBB0_12
LBB0_11:
	mov	x0, x21
	bl	_bms_is_empty
Lloh13:
	adrp	x8, _BMS_EQUAL@GOTPAGE
Lloh14:
	ldr	x8, [x8, _BMS_EQUAL@GOTPAGEOFF]
Lloh15:
	adrp	x9, _BMS_SUBSET2@GOTPAGE
Lloh16:
	ldr	x9, [x9, _BMS_SUBSET2@GOTPAGEOFF]
LBB0_12:
	cmp	x0, #0
	csel	x8, x9, x8, eq
	b	LBB0_28
LBB0_13:
	mov	w0, #0
LBB0_14:
	ldr	w11, [x21]
	ldr	w12, [x20]
	cmp	w11, w12
	b.le	LBB0_21
; %bb.15:
	cmp	w0, w11
	b.ge	LBB0_29
; %bb.16:
	ldr	x10, [x21, #8]
Lloh17:
	adrp	x8, _BMS_SUBSET1@GOTPAGE
Lloh18:
	ldr	x8, [x8, _BMS_SUBSET1@GOTPAGEOFF]
Lloh19:
	ldr	x8, [x8]
Lloh20:
	adrp	x9, _BMS_SUBSET2@GOTPAGE
Lloh21:
	ldr	x9, [x9, _BMS_SUBSET2@GOTPAGEOFF]
Lloh22:
	ldr	x9, [x9]
	add	x10, x10, w0, uxtw #2
	sub	x11, x11, w0, uxtw
	b	LBB0_18
LBB0_17:                                ;   in Loop: Header=BB0_18 Depth=1
	add	x10, x10, #4
	subs	x11, x11, #1
	b.eq	LBB0_29
LBB0_18:                                ; =>This Inner Loop Header: Depth=1
	ldr	w12, [x10]
	cbz	w12, LBB0_17
; %bb.19:                               ;   in Loop: Header=BB0_18 Depth=1
	cmp	x19, x8
	mov	x19, x9
	b.ne	LBB0_17
	b	LBB0_27
LBB0_20:
Lloh23:
	adrp	x8, _BMS_EQUAL@GOTPAGE
Lloh24:
	ldr	x8, [x8, _BMS_EQUAL@GOTPAGEOFF]
	b	LBB0_28
LBB0_21:
	cmp	w11, w12
	b.ge	LBB0_29
; %bb.22:
	cmp	w0, w12
	b.ge	LBB0_29
; %bb.23:
	ldr	x10, [x20, #8]
Lloh25:
	adrp	x8, _BMS_SUBSET2@GOTPAGE
Lloh26:
	ldr	x8, [x8, _BMS_SUBSET2@GOTPAGEOFF]
Lloh27:
	ldr	x8, [x8]
Lloh28:
	adrp	x9, _BMS_SUBSET1@GOTPAGE
Lloh29:
	ldr	x9, [x9, _BMS_SUBSET1@GOTPAGEOFF]
Lloh30:
	ldr	x9, [x9]
	add	x10, x10, w0, uxtw #2
	sub	x11, x12, w0, uxtw
	b	LBB0_25
LBB0_24:                                ;   in Loop: Header=BB0_25 Depth=1
	add	x10, x10, #4
	subs	x11, x11, #1
	b.eq	LBB0_29
LBB0_25:                                ; =>This Inner Loop Header: Depth=1
	ldr	w12, [x10]
	cbz	w12, LBB0_24
; %bb.26:                               ;   in Loop: Header=BB0_25 Depth=1
	cmp	x19, x8
	mov	x19, x9
	b.ne	LBB0_24
LBB0_27:
Lloh31:
	adrp	x8, _BMS_DIFFERENT@GOTPAGE
Lloh32:
	ldr	x8, [x8, _BMS_DIFFERENT@GOTPAGEOFF]
LBB0_28:
	ldr	x19, [x8]
LBB0_29:
	mov	x0, x19
	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
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGot	Lloh11, Lloh12
	.loh AdrpLdrGot	Lloh9, Lloh10
	.loh AdrpLdrGot	Lloh15, Lloh16
	.loh AdrpLdrGot	Lloh13, Lloh14
	.loh AdrpLdrGotLdr	Lloh20, Lloh21, Lloh22
	.loh AdrpLdrGotLdr	Lloh17, Lloh18, Lloh19
	.loh AdrpLdrGot	Lloh23, Lloh24
	.loh AdrpLdrGotLdr	Lloh28, Lloh29, Lloh30
	.loh AdrpLdrGotLdr	Lloh25, Lloh26, Lloh27
	.loh AdrpLdrGot	Lloh31, Lloh32
	.cfi_endproc
                                        ; -- End function
	.comm	_BMS_EQUAL,8,3                  ; @BMS_EQUAL
	.comm	_BMS_SUBSET1,8,3                ; @BMS_SUBSET1
	.comm	_BMS_SUBSET2,8,3                ; @BMS_SUBSET2
	.comm	_BMS_DIFFERENT,8,3              ; @BMS_DIFFERENT
.subsections_via_symbols
