	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_hmm_add_expect                 ## -- Begin function hmm_add_expect
	.p2align	4, 0x90
_hmm_add_expect:                        ## @hmm_add_expect
	.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	$56, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rsi, %rbx
	movq	%rdi, -48(%rbp)                 ## 8-byte Spill
	movl	(%rdi), %eax
	xorl	%edi, %edi
	cmpl	(%rsi), %eax
	jne	LBB0_2
## %bb.1:
	movq	-48(%rbp), %rax                 ## 8-byte Reload
	movl	4(%rax), %eax
	xorl	%edi, %edi
	cmpl	4(%rbx), %eax
	sete	%dil
LBB0_2:
	movabsq	$9223372036854775806, %rax      ## imm = 0x7FFFFFFFFFFFFFFE
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	callq	_assert
	movq	%rbx, -56(%rbp)                 ## 8-byte Spill
	movl	4(%rbx), %eax
	testq	%rax, %rax
	je	LBB0_22
## %bb.3:
	movq	-48(%rbp), %rcx                 ## 8-byte Reload
	movq	16(%rcx), %r13
	movq	24(%rcx), %r14
	movq	-56(%rbp), %rcx                 ## 8-byte Reload
	movq	16(%rcx), %r12
	movq	24(%rcx), %rdi
	movl	%eax, %r8d
	andl	$-4, %r8d
	leaq	-4(%r8), %rcx
	movq	%rcx, -88(%rbp)                 ## 8-byte Spill
	movq	%rcx, %rdx
	shrq	$2, %rdx
	incq	%rdx
	movq	%rdx, %rcx
	movq	%rdx, -80(%rbp)                 ## 8-byte Spill
	movabsq	$9223372036854775806, %rcx      ## imm = 0x7FFFFFFFFFFFFFFE
	andq	%rcx, %rdx
	movq	%rdx, -72(%rbp)                 ## 8-byte Spill
	movl	%eax, %ebx
	andl	$3, %ebx
	xorl	%ecx, %ecx
	jmp	LBB0_5
	.p2align	4, 0x90
LBB0_4:                                 ##   in Loop: Header=BB0_5 Depth=1
	incq	%rcx
	cmpq	%rax, %rcx
	je	LBB0_22
LBB0_5:                                 ## =>This Loop Header: Depth=1
                                        ##     Child Loop BB0_12 Depth 2
                                        ##     Child Loop BB0_18 Depth 2
                                        ##     Child Loop BB0_20 Depth 2
	movq	(%r14,%rcx,8), %rdx
	addq	%rdx, (%rdi,%rcx,8)
	movq	(%r13,%rcx,8), %r15
	movq	(%r12,%rcx,8), %r10
	cmpl	$4, %eax
	jb	LBB0_6
## %bb.7:                               ##   in Loop: Header=BB0_5 Depth=1
	leaq	(%r15,%rax,8), %rdx
	cmpq	%rdx, %r10
	jae	LBB0_10
## %bb.8:                               ##   in Loop: Header=BB0_5 Depth=1
	leaq	(%r10,%rax,8), %rdx
	cmpq	%rdx, %r15
	jae	LBB0_10
LBB0_6:                                 ##   in Loop: Header=BB0_5 Depth=1
	xorl	%r11d, %r11d
LBB0_16:                                ##   in Loop: Header=BB0_5 Depth=1
	movq	%r11, %rdx
	notq	%rdx
	addq	%rax, %rdx
	testq	%rbx, %rbx
	je	LBB0_19
## %bb.17:                              ##   in Loop: Header=BB0_5 Depth=1
	movq	%rbx, %rsi
	.p2align	4, 0x90
LBB0_18:                                ##   Parent Loop BB0_5 Depth=1
                                        ## =>  This Inner Loop Header: Depth=2
	movq	(%r15,%r11,8), %r9
	addq	%r9, (%r10,%r11,8)
	incq	%r11
	decq	%rsi
	jne	LBB0_18
LBB0_19:                                ##   in Loop: Header=BB0_5 Depth=1
	cmpq	$3, %rdx
	jb	LBB0_4
	.p2align	4, 0x90
LBB0_20:                                ##   Parent Loop BB0_5 Depth=1
                                        ## =>  This Inner Loop Header: Depth=2
	movq	(%r15,%r11,8), %rdx
	addq	%rdx, (%r10,%r11,8)
	movq	8(%r15,%r11,8), %rdx
	addq	%rdx, 8(%r10,%r11,8)
	movq	16(%r15,%r11,8), %rdx
	addq	%rdx, 16(%r10,%r11,8)
	movq	24(%r15,%r11,8), %rdx
	addq	%rdx, 24(%r10,%r11,8)
	addq	$4, %r11
	cmpq	%r11, %rax
	jne	LBB0_20
	jmp	LBB0_4
	.p2align	4, 0x90
LBB0_10:                                ##   in Loop: Header=BB0_5 Depth=1
	cmpq	$0, -88(%rbp)                   ## 8-byte Folded Reload
	je	LBB0_21
## %bb.11:                              ##   in Loop: Header=BB0_5 Depth=1
	movq	-72(%rbp), %rsi                 ## 8-byte Reload
	xorl	%edx, %edx
	.p2align	4, 0x90
LBB0_12:                                ##   Parent Loop BB0_5 Depth=1
                                        ## =>  This Inner Loop Header: Depth=2
	movdqu	(%r15,%rdx,8), %xmm0
	movdqu	16(%r15,%rdx,8), %xmm1
	movdqu	(%r10,%rdx,8), %xmm2
	paddq	%xmm0, %xmm2
	movdqu	16(%r10,%rdx,8), %xmm0
	paddq	%xmm1, %xmm0
	movdqu	32(%r10,%rdx,8), %xmm1
	movdqu	48(%r10,%rdx,8), %xmm3
	movdqu	%xmm2, (%r10,%rdx,8)
	movdqu	%xmm0, 16(%r10,%rdx,8)
	movdqu	32(%r15,%rdx,8), %xmm0
	paddq	%xmm1, %xmm0
	movdqu	48(%r15,%rdx,8), %xmm1
	paddq	%xmm3, %xmm1
	movdqu	%xmm0, 32(%r10,%rdx,8)
	movdqu	%xmm1, 48(%r10,%rdx,8)
	addq	$8, %rdx
	addq	$-2, %rsi
	jne	LBB0_12
## %bb.13:                              ##   in Loop: Header=BB0_5 Depth=1
	testb	$1, -80(%rbp)                   ## 1-byte Folded Reload
	je	LBB0_15
LBB0_14:                                ##   in Loop: Header=BB0_5 Depth=1
	movdqu	(%r15,%rdx,8), %xmm0
	movdqu	16(%r15,%rdx,8), %xmm1
	movdqu	(%r10,%rdx,8), %xmm2
	paddq	%xmm0, %xmm2
	movdqu	16(%r10,%rdx,8), %xmm0
	paddq	%xmm1, %xmm0
	movdqu	%xmm2, (%r10,%rdx,8)
	movdqu	%xmm0, 16(%r10,%rdx,8)
LBB0_15:                                ##   in Loop: Header=BB0_5 Depth=1
	movq	%r8, %r11
	cmpq	%rax, %r8
	je	LBB0_4
	jmp	LBB0_16
LBB0_21:                                ##   in Loop: Header=BB0_5 Depth=1
	xorl	%edx, %edx
	testb	$1, -80(%rbp)                   ## 1-byte Folded Reload
	jne	LBB0_14
	jmp	LBB0_15
LBB0_22:
	movq	-56(%rbp), %r13                 ## 8-byte Reload
	movl	(%r13), %r14d
	testq	%r14, %r14
	je	LBB0_43
## %bb.23:
	movl	%eax, %r10d
	andl	$-4, %r10d
	leaq	-4(%r10), %r8
	movq	%r8, %r9
	shrq	$2, %r9
	incq	%r9
	andq	%r9, -64(%rbp)                  ## 8-byte Folded Spill
	movl	%eax, %r11d
	andl	$3, %r11d
	xorl	%r15d, %r15d
	jmp	LBB0_25
	.p2align	4, 0x90
LBB0_24:                                ##   in Loop: Header=BB0_25 Depth=1
	incq	%r15
	cmpq	%r14, %r15
	je	LBB0_43
LBB0_25:                                ## =>This Loop Header: Depth=1
                                        ##     Child Loop BB0_33 Depth 2
                                        ##     Child Loop BB0_39 Depth 2
                                        ##     Child Loop BB0_41 Depth 2
	testq	%rax, %rax
	je	LBB0_24
## %bb.26:                              ##   in Loop: Header=BB0_25 Depth=1
	movq	-48(%rbp), %rcx                 ## 8-byte Reload
	movq	8(%rcx), %rcx
	movq	(%rcx,%r15,8), %rdi
	movq	8(%r13), %rcx
	movq	(%rcx,%r15,8), %rdx
	cmpl	$4, %eax
	jb	LBB0_27
## %bb.28:                              ##   in Loop: Header=BB0_25 Depth=1
	leaq	(%rdi,%rax,8), %rcx
	cmpq	%rcx, %rdx
	jae	LBB0_31
## %bb.29:                              ##   in Loop: Header=BB0_25 Depth=1
	leaq	(%rdx,%rax,8), %rcx
	cmpq	%rcx, %rdi
	jae	LBB0_31
LBB0_27:                                ##   in Loop: Header=BB0_25 Depth=1
	xorl	%ebx, %ebx
LBB0_37:                                ##   in Loop: Header=BB0_25 Depth=1
	movq	%rbx, %r12
	notq	%r12
	addq	%rax, %r12
	testq	%r11, %r11
	je	LBB0_40
## %bb.38:                              ##   in Loop: Header=BB0_25 Depth=1
	movq	%r11, %rsi
	.p2align	4, 0x90
LBB0_39:                                ##   Parent Loop BB0_25 Depth=1
                                        ## =>  This Inner Loop Header: Depth=2
	movq	(%rdi,%rbx,8), %rcx
	addq	%rcx, (%rdx,%rbx,8)
	incq	%rbx
	decq	%rsi
	jne	LBB0_39
LBB0_40:                                ##   in Loop: Header=BB0_25 Depth=1
	cmpq	$3, %r12
	jb	LBB0_24
	.p2align	4, 0x90
LBB0_41:                                ##   Parent Loop BB0_25 Depth=1
                                        ## =>  This Inner Loop Header: Depth=2
	movq	(%rdi,%rbx,8), %rcx
	addq	%rcx, (%rdx,%rbx,8)
	movq	8(%rdi,%rbx,8), %rcx
	addq	%rcx, 8(%rdx,%rbx,8)
	movq	16(%rdi,%rbx,8), %rcx
	addq	%rcx, 16(%rdx,%rbx,8)
	movq	24(%rdi,%rbx,8), %rcx
	addq	%rcx, 24(%rdx,%rbx,8)
	addq	$4, %rbx
	cmpq	%rbx, %rax
	jne	LBB0_41
	jmp	LBB0_24
LBB0_31:                                ##   in Loop: Header=BB0_25 Depth=1
	testq	%r8, %r8
	je	LBB0_42
## %bb.32:                              ##   in Loop: Header=BB0_25 Depth=1
	movq	-64(%rbp), %rcx                 ## 8-byte Reload
	xorl	%ebx, %ebx
	.p2align	4, 0x90
LBB0_33:                                ##   Parent Loop BB0_25 Depth=1
                                        ## =>  This Inner Loop Header: Depth=2
	movdqu	(%rdi,%rbx,8), %xmm0
	movdqu	16(%rdi,%rbx,8), %xmm1
	movdqu	(%rdx,%rbx,8), %xmm2
	paddq	%xmm0, %xmm2
	movdqu	16(%rdx,%rbx,8), %xmm0
	paddq	%xmm1, %xmm0
	movdqu	32(%rdx,%rbx,8), %xmm1
	movdqu	48(%rdx,%rbx,8), %xmm3
	movdqu	%xmm2, (%rdx,%rbx,8)
	movdqu	%xmm0, 16(%rdx,%rbx,8)
	movdqu	32(%rdi,%rbx,8), %xmm0
	paddq	%xmm1, %xmm0
	movdqu	48(%rdi,%rbx,8), %xmm1
	paddq	%xmm3, %xmm1
	movdqu	%xmm0, 32(%rdx,%rbx,8)
	movdqu	%xmm1, 48(%rdx,%rbx,8)
	addq	$8, %rbx
	addq	$-2, %rcx
	jne	LBB0_33
## %bb.34:                              ##   in Loop: Header=BB0_25 Depth=1
	testb	$1, %r9b
	je	LBB0_36
LBB0_35:                                ##   in Loop: Header=BB0_25 Depth=1
	movdqu	(%rdi,%rbx,8), %xmm0
	movdqu	16(%rdi,%rbx,8), %xmm1
	movdqu	(%rdx,%rbx,8), %xmm2
	paddq	%xmm0, %xmm2
	movdqu	16(%rdx,%rbx,8), %xmm0
	paddq	%xmm1, %xmm0
	movdqu	%xmm2, (%rdx,%rbx,8)
	movdqu	%xmm0, 16(%rdx,%rbx,8)
LBB0_36:                                ##   in Loop: Header=BB0_25 Depth=1
	movq	%r10, %rbx
	cmpq	%rax, %r10
	je	LBB0_24
	jmp	LBB0_37
LBB0_42:                                ##   in Loop: Header=BB0_25 Depth=1
	xorl	%ebx, %ebx
	testb	$1, %r9b
	jne	LBB0_35
	jmp	LBB0_36
LBB0_43:
	addq	$56, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_hmm_add_expect                 ; -- Begin function hmm_add_expect
	.p2align	2
_hmm_add_expect:                        ; @hmm_add_expect
	.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, x1
	mov	x20, x0
	ldr	w8, [x0]
	ldr	w9, [x1]
	cmp	w8, w9
	b.ne	LBB0_2
; %bb.1:
	ldr	w8, [x20, #4]
	ldr	w9, [x19, #4]
	cmp	w8, w9
	cset	w0, eq
	b	LBB0_3
LBB0_2:
	mov	w0, #0
LBB0_3:
	bl	_assert
	ldr	w8, [x19, #4]
	cbz	w8, LBB0_14
; %bb.4:
	mov	x9, #0
	ldp	x11, x10, [x20, #16]
	and	x12, x8, #0xfffffff8
	lsl	x13, x8, #3
	ldp	x15, x14, [x19, #16]
	b	LBB0_6
LBB0_5:                                 ;   in Loop: Header=BB0_6 Depth=1
	add	x9, x9, #1
	cmp	x9, x8
	b.eq	LBB0_14
LBB0_6:                                 ; =>This Loop Header: Depth=1
                                        ;     Child Loop BB0_9 Depth 2
                                        ;     Child Loop BB0_13 Depth 2
	lsl	x17, x9, #3
	ldr	x16, [x10, x17]
	ldr	x0, [x14, x17]
	add	x16, x0, x16
	str	x16, [x14, x17]
	ldr	x16, [x11, x17]
	ldr	x17, [x15, x17]
	cmp	w8, #8
	b.lo	LBB0_11
; %bb.7:                                ;   in Loop: Header=BB0_6 Depth=1
	add	x0, x17, x13
	add	x1, x16, x13
	cmp	x17, x1
	ccmp	x16, x0, #2, lo
	b.lo	LBB0_11
; %bb.8:                                ;   in Loop: Header=BB0_6 Depth=1
	add	x0, x17, #32
	add	x1, x16, #32
	mov	x2, x12
LBB0_9:                                 ;   Parent Loop BB0_6 Depth=1
                                        ; =>  This Inner Loop Header: Depth=2
	ldp	q0, q1, [x1, #-32]
	ldp	q2, q3, [x1], #64
	ldp	q4, q5, [x0, #-32]
	ldp	q6, q7, [x0]
	add.2d	v0, v4, v0
	add.2d	v1, v5, v1
	add.2d	v2, v6, v2
	add.2d	v3, v7, v3
	stp	q0, q1, [x0, #-32]
	stp	q2, q3, [x0], #64
	subs	x2, x2, #8
	b.ne	LBB0_9
; %bb.10:                               ;   in Loop: Header=BB0_6 Depth=1
	mov	x0, x12
	cmp	x12, x8
	b.eq	LBB0_5
	b	LBB0_12
LBB0_11:                                ;   in Loop: Header=BB0_6 Depth=1
	mov	x0, #0
LBB0_12:                                ;   in Loop: Header=BB0_6 Depth=1
	lsl	x1, x0, #3
	add	x17, x17, x1
	add	x16, x16, x1
	sub	x0, x8, x0
LBB0_13:                                ;   Parent Loop BB0_6 Depth=1
                                        ; =>  This Inner Loop Header: Depth=2
	ldr	x1, [x16], #8
	ldr	x2, [x17]
	add	x1, x2, x1
	str	x1, [x17], #8
	subs	x0, x0, #1
	b.ne	LBB0_13
	b	LBB0_5
LBB0_14:
	ldr	w9, [x19]
	cbz	w9, LBB0_26
; %bb.15:
	mov	x10, #0
	and	x11, x8, #0xfffffff8
	lsl	x12, x8, #3
	b	LBB0_17
LBB0_16:                                ;   in Loop: Header=BB0_17 Depth=1
	add	x10, x10, #1
	cmp	x10, x9
	b.eq	LBB0_26
LBB0_17:                                ; =>This Loop Header: Depth=1
                                        ;     Child Loop BB0_21 Depth 2
                                        ;     Child Loop BB0_25 Depth 2
	cbz	w8, LBB0_16
; %bb.18:                               ;   in Loop: Header=BB0_17 Depth=1
	ldr	x13, [x20, #8]
	lsl	x14, x10, #3
	ldr	x13, [x13, x14]
	ldr	x15, [x19, #8]
	ldr	x14, [x15, x14]
	cmp	w8, #8
	b.lo	LBB0_23
; %bb.19:                               ;   in Loop: Header=BB0_17 Depth=1
	add	x15, x14, x12
	add	x16, x13, x12
	cmp	x14, x16
	ccmp	x13, x15, #2, lo
	b.lo	LBB0_23
; %bb.20:                               ;   in Loop: Header=BB0_17 Depth=1
	add	x15, x14, #32
	add	x16, x13, #32
	mov	x17, x11
LBB0_21:                                ;   Parent Loop BB0_17 Depth=1
                                        ; =>  This Inner Loop Header: Depth=2
	ldp	q0, q1, [x16, #-32]
	ldp	q2, q3, [x16], #64
	ldp	q4, q5, [x15, #-32]
	ldp	q6, q7, [x15]
	add.2d	v0, v4, v0
	add.2d	v1, v5, v1
	add.2d	v2, v6, v2
	add.2d	v3, v7, v3
	stp	q0, q1, [x15, #-32]
	stp	q2, q3, [x15], #64
	subs	x17, x17, #8
	b.ne	LBB0_21
; %bb.22:                               ;   in Loop: Header=BB0_17 Depth=1
	mov	x15, x11
	cmp	x11, x8
	b.eq	LBB0_16
	b	LBB0_24
LBB0_23:                                ;   in Loop: Header=BB0_17 Depth=1
	mov	x15, #0
LBB0_24:                                ;   in Loop: Header=BB0_17 Depth=1
	lsl	x16, x15, #3
	add	x14, x14, x16
	add	x13, x13, x16
	sub	x15, x8, x15
LBB0_25:                                ;   Parent Loop BB0_17 Depth=1
                                        ; =>  This Inner Loop Header: Depth=2
	ldr	x16, [x13], #8
	ldr	x17, [x14]
	add	x16, x17, x16
	str	x16, [x14], #8
	subs	x15, x15, #1
	b.ne	LBB0_25
	b	LBB0_16
LBB0_26:
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	ret
	.cfi_endproc
                                        ; -- End function
.subsections_via_symbols
