	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function lambda_compute_auxillary_space
_lambda_compute_auxillary_space:        ## @lambda_compute_auxillary_space
	.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	$168, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	%esi, -100(%rbp)                ## 4-byte Spill
	movl	%edi, %ebx
	callq	_LN_DEPTH
	movl	%eax, %r14d
	movl	%ebx, -60(%rbp)                 ## 4-byte Spill
	movl	%ebx, %edi
	callq	_LN_INVARIANTS
	movl	%eax, %ebx
	movl	$128, %edi
	movl	%r14d, %esi
	callq	_lambda_matrix_new
	movq	%rax, -56(%rbp)                 ## 8-byte Spill
	movl	$128, %edi
	movl	%ebx, %esi
	callq	_lambda_matrix_new
	movq	%rax, -80(%rbp)                 ## 8-byte Spill
	movl	$128, %edi
	callq	_lambda_vector_new
	movq	%rax, -88(%rbp)                 ## 8-byte Spill
	movl	$128, %edi
	movl	%r14d, %esi
	callq	_lambda_matrix_new
	movq	%rax, -120(%rbp)                ## 8-byte Spill
	movl	$128, %edi
	movl	%ebx, %esi
	callq	_lambda_matrix_new
	movq	%rax, -136(%rbp)                ## 8-byte Spill
	movl	$128, %edi
	callq	_lambda_vector_new
	movq	%rax, -112(%rbp)                ## 8-byte Spill
	testl	%r14d, %r14d
	movl	%r14d, -104(%rbp)               ## 4-byte Spill
	jle	LBB0_1
## %bb.2:
	movl	%r14d, %eax
	movq	%rax, -144(%rbp)                ## 8-byte Spill
	movl	%ebx, %eax
	movl	%eax, %ecx
	andl	$-8, %ecx
	movq	%rcx, -184(%rbp)                ## 8-byte Spill
	addq	$-8, %rcx
	movq	%rcx, -176(%rbp)                ## 8-byte Spill
	movq	%rcx, %rdx
	shrq	$3, %rdx
	incq	%rdx
	movq	%rdx, %rcx
	movq	%rdx, -168(%rbp)                ## 8-byte Spill
	andq	$-2, %rdx
	movq	%rdx, -152(%rbp)                ## 8-byte Spill
	xorl	%r15d, %r15d
	xorl	%r14d, %r14d
	movq	-56(%rbp), %r13                 ## 8-byte Reload
	movl	%ebx, -44(%rbp)                 ## 4-byte Spill
	movq	%rax, -128(%rbp)                ## 8-byte Spill
	jmp	LBB0_3
	.p2align	4, 0x90
LBB0_49:                                ##   in Loop: Header=BB0_3 Depth=1
	incq	%r15
	cmpq	-144(%rbp), %r15                ## 8-byte Folded Reload
	je	LBB0_50
LBB0_3:                                 ## =>This Loop Header: Depth=1
                                        ##     Child Loop BB0_8 Depth 2
                                        ##       Child Loop BB0_10 Depth 3
                                        ##       Child Loop BB0_13 Depth 3
                                        ##       Child Loop BB0_20 Depth 3
                                        ##       Child Loop BB0_24 Depth 3
                                        ##     Child Loop BB0_31 Depth 2
                                        ##       Child Loop BB0_33 Depth 3
                                        ##       Child Loop BB0_36 Depth 3
                                        ##       Child Loop BB0_43 Depth 3
                                        ##       Child Loop BB0_47 Depth 3
	movl	-60(%rbp), %edi                 ## 4-byte Reload
	callq	_LN_LOOPS
	movl	(%rax,%r15,4), %r12d
	movl	%r12d, %edi
	callq	_LL_STEP
	testq	%rax, %rax
	movl	%r12d, -72(%rbp)                ## 4-byte Spill
	movl	%r12d, %edi
	jle	LBB0_5
## %bb.4:                               ##   in Loop: Header=BB0_3 Depth=1
	callq	_LL_LOWER_BOUND
	jmp	LBB0_6
	.p2align	4, 0x90
LBB0_5:                                 ##   in Loop: Header=BB0_3 Depth=1
	callq	_LL_UPPER_BOUND
LBB0_6:                                 ##   in Loop: Header=BB0_3 Depth=1
	movq	%rax, %r12
	testq	%rax, %rax
	movq	%r15, -96(%rbp)                 ## 8-byte Spill
	je	LBB0_26
## %bb.7:                               ##   in Loop: Header=BB0_3 Depth=1
	movslq	%r14d, %r14
	jmp	LBB0_8
	.p2align	4, 0x90
LBB0_25:                                ##   in Loop: Header=BB0_8 Depth=2
	leaq	1(%r14), %rax
	xorl	%edi, %edi
	cmpq	$127, %r14
	movq	%rax, %r14
	setl	%dil
	callq	_gcc_assert
	movq	%r12, %rdi
	callq	_LLE_NEXT
	movq	%rax, %r12
	testq	%rax, %rax
	movq	-96(%rbp), %r15                 ## 8-byte Reload
	je	LBB0_26
LBB0_8:                                 ##   Parent Loop BB0_3 Depth=1
                                        ## =>  This Loop Header: Depth=2
                                        ##       Child Loop BB0_10 Depth 3
                                        ##       Child Loop BB0_13 Depth 3
                                        ##       Child Loop BB0_20 Depth 3
                                        ##       Child Loop BB0_24 Depth 3
	testq	%r15, %r15
	je	LBB0_11
## %bb.9:                               ##   in Loop: Header=BB0_8 Depth=2
	movq	%r13, %rbx
	xorl	%r13d, %r13d
	.p2align	4, 0x90
LBB0_10:                                ##   Parent Loop BB0_3 Depth=1
                                        ##     Parent Loop BB0_8 Depth=2
                                        ## =>    This Inner Loop Header: Depth=3
	movq	%r12, %rdi
	callq	_LLE_COEFFICIENTS
	movl	(%rax,%r13,4), %eax
	movq	(%rbx,%r14,8), %rcx
	movl	%eax, (%rcx,%r13,4)
	incq	%r13
	cmpq	%r13, %r15
	jne	LBB0_10
LBB0_11:                                ##   in Loop: Header=BB0_8 Depth=2
	cmpl	$0, -44(%rbp)                   ## 4-byte Folded Reload
	movq	-80(%rbp), %r13                 ## 8-byte Reload
	movq	-128(%rbp), %r15                ## 8-byte Reload
	jle	LBB0_14
## %bb.12:                              ##   in Loop: Header=BB0_8 Depth=2
	xorl	%ebx, %ebx
	.p2align	4, 0x90
LBB0_13:                                ##   Parent Loop BB0_3 Depth=1
                                        ##     Parent Loop BB0_8 Depth=2
                                        ## =>    This Inner Loop Header: Depth=3
	movq	%r12, %rdi
	callq	_LLE_INVARIANT_COEFFICIENTS
	movl	(%rax,%rbx,4), %eax
	movq	(%r13,%r14,8), %rcx
	movl	%eax, (%rcx,%rbx,4)
	incq	%rbx
	cmpq	%rbx, %r15
	jne	LBB0_13
LBB0_14:                                ##   in Loop: Header=BB0_8 Depth=2
	movq	%r12, %rdi
	callq	_LLE_CONSTANT
	movq	-88(%rbp), %rbx                 ## 8-byte Reload
	movl	%eax, (%rbx,%r14,4)
	movq	%r12, %rdi
	callq	_LLE_DENOMINATOR
	negl	%eax
	movq	-56(%rbp), %r13                 ## 8-byte Reload
	movq	(%r13,%r14,8), %rcx
	movq	-96(%rbp), %rdx                 ## 8-byte Reload
	movl	%eax, (%rcx,%rdx,4)
	negl	(%rbx,%r14,4)
	movl	-44(%rbp), %ebx                 ## 4-byte Reload
	testl	%ebx, %ebx
	jle	LBB0_25
## %bb.15:                              ##   in Loop: Header=BB0_8 Depth=2
	movq	-80(%rbp), %rax                 ## 8-byte Reload
	movq	(%rax,%r14,8), %rax
	cmpl	$8, %ebx
	jae	LBB0_17
## %bb.16:                              ##   in Loop: Header=BB0_8 Depth=2
	xorl	%ecx, %ecx
	jmp	LBB0_24
	.p2align	4, 0x90
LBB0_17:                                ##   in Loop: Header=BB0_8 Depth=2
	cmpq	$0, -176(%rbp)                  ## 8-byte Folded Reload
	je	LBB0_18
## %bb.19:                              ##   in Loop: Header=BB0_8 Depth=2
	movq	-152(%rbp), %rdx                ## 8-byte Reload
	xorl	%ecx, %ecx
	.p2align	4, 0x90
LBB0_20:                                ##   Parent Loop BB0_3 Depth=1
                                        ##     Parent Loop BB0_8 Depth=2
                                        ## =>    This Inner Loop Header: Depth=3
	movdqu	(%rax,%rcx,4), %xmm0
	movdqu	16(%rax,%rcx,4), %xmm1
	movdqu	32(%rax,%rcx,4), %xmm2
	movdqu	48(%rax,%rcx,4), %xmm3
	pxor	%xmm4, %xmm4
	psubd	%xmm0, %xmm4
	pxor	%xmm0, %xmm0
	psubd	%xmm1, %xmm0
	movdqu	%xmm4, (%rax,%rcx,4)
	movdqu	%xmm0, 16(%rax,%rcx,4)
	pxor	%xmm0, %xmm0
	psubd	%xmm2, %xmm0
	pxor	%xmm1, %xmm1
	psubd	%xmm3, %xmm1
	movdqu	%xmm0, 32(%rax,%rcx,4)
	movdqu	%xmm1, 48(%rax,%rcx,4)
	addq	$16, %rcx
	addq	$-2, %rdx
	jne	LBB0_20
## %bb.21:                              ##   in Loop: Header=BB0_8 Depth=2
	testb	$1, -168(%rbp)                  ## 1-byte Folded Reload
	je	LBB0_23
LBB0_22:                                ##   in Loop: Header=BB0_8 Depth=2
	movdqu	(%rax,%rcx,4), %xmm0
	movdqu	16(%rax,%rcx,4), %xmm1
	pxor	%xmm2, %xmm2
	psubd	%xmm0, %xmm2
	pxor	%xmm0, %xmm0
	psubd	%xmm1, %xmm0
	movdqu	%xmm2, (%rax,%rcx,4)
	movdqu	%xmm0, 16(%rax,%rcx,4)
LBB0_23:                                ##   in Loop: Header=BB0_8 Depth=2
	movq	-184(%rbp), %rdx                ## 8-byte Reload
	movq	%rdx, %rcx
	cmpq	%r15, %rdx
	je	LBB0_25
	.p2align	4, 0x90
LBB0_24:                                ##   Parent Loop BB0_3 Depth=1
                                        ##     Parent Loop BB0_8 Depth=2
                                        ## =>    This Inner Loop Header: Depth=3
	negl	(%rax,%rcx,4)
	incq	%rcx
	cmpq	%rcx, %r15
	jne	LBB0_24
	jmp	LBB0_25
LBB0_18:                                ##   in Loop: Header=BB0_8 Depth=2
	xorl	%ecx, %ecx
	testb	$1, -168(%rbp)                  ## 1-byte Folded Reload
	jne	LBB0_22
	jmp	LBB0_23
	.p2align	4, 0x90
LBB0_26:                                ##   in Loop: Header=BB0_3 Depth=1
	movl	-72(%rbp), %r12d                ## 4-byte Reload
	movl	%r12d, %edi
	callq	_LL_STEP
	movl	%r12d, %edi
	testq	%rax, %rax
	jle	LBB0_28
## %bb.27:                              ##   in Loop: Header=BB0_3 Depth=1
	callq	_LL_UPPER_BOUND
	jmp	LBB0_29
	.p2align	4, 0x90
LBB0_28:                                ##   in Loop: Header=BB0_3 Depth=1
	callq	_LL_LOWER_BOUND
LBB0_29:                                ##   in Loop: Header=BB0_3 Depth=1
	movq	%rax, %r12
	testq	%rax, %rax
	je	LBB0_49
## %bb.30:                              ##   in Loop: Header=BB0_3 Depth=1
	movq	%r15, %rcx
	andq	$-8, %rcx
	addq	$-8, %rcx
	movq	%r15, %rdx
	movabsq	$9223372036854775800, %rax      ## imm = 0x7FFFFFFFFFFFFFF8
	andq	%rax, %rdx
	shrq	$3, %rcx
	movq	%rdx, -72(%rbp)                 ## 8-byte Spill
	leaq	-8(%rdx), %rax
	incq	%rcx
	movq	%rax, -200(%rbp)                ## 8-byte Spill
	shrq	$3, %rax
	andq	$-2, %rcx
	movq	%rcx, -160(%rbp)                ## 8-byte Spill
	incq	%rax
	movq	%rax, -192(%rbp)                ## 8-byte Spill
	movslq	%r14d, %r14
	jmp	LBB0_31
	.p2align	4, 0x90
LBB0_48:                                ##   in Loop: Header=BB0_31 Depth=2
	movq	%r12, %rdi
	callq	_LLE_DENOMINATOR
	movq	(%r13,%r14,8), %rcx
	movl	%eax, (%rcx,%r15,4)
	leaq	1(%r14), %rax
	xorl	%edi, %edi
	cmpq	$127, %r14
	movq	%rax, %r14
	setl	%dil
	callq	_gcc_assert
	movq	%r12, %rdi
	callq	_LLE_NEXT
	movq	%rax, %r12
	testq	%rax, %rax
	je	LBB0_49
LBB0_31:                                ##   Parent Loop BB0_3 Depth=1
                                        ## =>  This Loop Header: Depth=2
                                        ##       Child Loop BB0_33 Depth 3
                                        ##       Child Loop BB0_36 Depth 3
                                        ##       Child Loop BB0_43 Depth 3
                                        ##       Child Loop BB0_47 Depth 3
	testq	%r15, %r15
	je	LBB0_34
## %bb.32:                              ##   in Loop: Header=BB0_31 Depth=2
	xorl	%ebx, %ebx
	.p2align	4, 0x90
LBB0_33:                                ##   Parent Loop BB0_3 Depth=1
                                        ##     Parent Loop BB0_31 Depth=2
                                        ## =>    This Inner Loop Header: Depth=3
	movq	%r12, %rdi
	callq	_LLE_COEFFICIENTS
	movl	(%rax,%rbx,4), %eax
	movq	(%r13,%r14,8), %rcx
	movl	%eax, (%rcx,%rbx,4)
	incq	%rbx
	cmpq	%rbx, %r15
	jne	LBB0_33
LBB0_34:                                ##   in Loop: Header=BB0_31 Depth=2
	cmpl	$0, -44(%rbp)                   ## 4-byte Folded Reload
	movq	-80(%rbp), %r13                 ## 8-byte Reload
	movq	-128(%rbp), %r15                ## 8-byte Reload
	jle	LBB0_37
## %bb.35:                              ##   in Loop: Header=BB0_31 Depth=2
	xorl	%ebx, %ebx
	.p2align	4, 0x90
LBB0_36:                                ##   Parent Loop BB0_3 Depth=1
                                        ##     Parent Loop BB0_31 Depth=2
                                        ## =>    This Inner Loop Header: Depth=3
	movq	%r12, %rdi
	callq	_LLE_INVARIANT_COEFFICIENTS
	movl	(%rax,%rbx,4), %eax
	movq	(%r13,%r14,8), %rcx
	movl	%eax, (%rcx,%rbx,4)
	incq	%rbx
	cmpq	%rbx, %r15
	jne	LBB0_36
LBB0_37:                                ##   in Loop: Header=BB0_31 Depth=2
	movq	%r12, %rdi
	callq	_LLE_CONSTANT
	movq	-88(%rbp), %rcx                 ## 8-byte Reload
	movl	%eax, (%rcx,%r14,4)
	movq	-96(%rbp), %r15                 ## 8-byte Reload
	testq	%r15, %r15
	movq	-56(%rbp), %r13                 ## 8-byte Reload
	movl	-44(%rbp), %ebx                 ## 4-byte Reload
	je	LBB0_48
## %bb.38:                              ##   in Loop: Header=BB0_31 Depth=2
	movq	(%r13,%r14,8), %rax
	cmpq	$8, %r15
	jae	LBB0_40
## %bb.39:                              ##   in Loop: Header=BB0_31 Depth=2
	xorl	%ecx, %ecx
	jmp	LBB0_47
	.p2align	4, 0x90
LBB0_40:                                ##   in Loop: Header=BB0_31 Depth=2
	cmpq	$0, -200(%rbp)                  ## 8-byte Folded Reload
	je	LBB0_41
## %bb.42:                              ##   in Loop: Header=BB0_31 Depth=2
	movq	-160(%rbp), %rdx                ## 8-byte Reload
	xorl	%ecx, %ecx
	.p2align	4, 0x90
LBB0_43:                                ##   Parent Loop BB0_3 Depth=1
                                        ##     Parent Loop BB0_31 Depth=2
                                        ## =>    This Inner Loop Header: Depth=3
	movdqu	(%rax,%rcx,4), %xmm0
	movdqu	16(%rax,%rcx,4), %xmm1
	movdqu	32(%rax,%rcx,4), %xmm2
	movdqu	48(%rax,%rcx,4), %xmm3
	pxor	%xmm4, %xmm4
	psubd	%xmm0, %xmm4
	pxor	%xmm0, %xmm0
	psubd	%xmm1, %xmm0
	movdqu	%xmm4, (%rax,%rcx,4)
	movdqu	%xmm0, 16(%rax,%rcx,4)
	pxor	%xmm0, %xmm0
	psubd	%xmm2, %xmm0
	pxor	%xmm1, %xmm1
	psubd	%xmm3, %xmm1
	movdqu	%xmm0, 32(%rax,%rcx,4)
	movdqu	%xmm1, 48(%rax,%rcx,4)
	addq	$16, %rcx
	addq	$-2, %rdx
	jne	LBB0_43
## %bb.44:                              ##   in Loop: Header=BB0_31 Depth=2
	testb	$1, -192(%rbp)                  ## 1-byte Folded Reload
	je	LBB0_46
LBB0_45:                                ##   in Loop: Header=BB0_31 Depth=2
	movdqu	(%rax,%rcx,4), %xmm0
	movdqu	16(%rax,%rcx,4), %xmm1
	pxor	%xmm2, %xmm2
	psubd	%xmm0, %xmm2
	pxor	%xmm0, %xmm0
	psubd	%xmm1, %xmm0
	movdqu	%xmm2, (%rax,%rcx,4)
	movdqu	%xmm0, 16(%rax,%rcx,4)
LBB0_46:                                ##   in Loop: Header=BB0_31 Depth=2
	movq	-72(%rbp), %rdx                 ## 8-byte Reload
	movq	%rdx, %rcx
	cmpq	%rdx, %r15
	je	LBB0_48
	.p2align	4, 0x90
LBB0_47:                                ##   Parent Loop BB0_3 Depth=1
                                        ##     Parent Loop BB0_31 Depth=2
                                        ## =>    This Inner Loop Header: Depth=3
	negl	(%rax,%rcx,4)
	incq	%rcx
	cmpq	%rcx, %r15
	jne	LBB0_47
	jmp	LBB0_48
LBB0_41:                                ##   in Loop: Header=BB0_31 Depth=2
	xorl	%ecx, %ecx
	testb	$1, -192(%rbp)                  ## 1-byte Folded Reload
	jne	LBB0_45
	jmp	LBB0_46
LBB0_1:
	xorl	%r14d, %r14d
	movq	-56(%rbp), %r13                 ## 8-byte Reload
LBB0_50:
	movl	-60(%rbp), %edi                 ## 4-byte Reload
	callq	_lambda_lattice_compute_base
	movq	%r14, %r15
	movl	%eax, %r14d
	movl	%eax, %edi
	callq	_LATTICE_BASE
	movq	%r13, %rdi
	movq	%rax, %rsi
	movq	-120(%rbp), %rdx                ## 8-byte Reload
	movl	%r15d, %ecx
	movq	%r13, %r12
	movl	-104(%rbp), %r13d               ## 4-byte Reload
	movl	%r13d, %r8d
	movl	%r13d, %r9d
	callq	_lambda_matrix_mult
	movl	%r14d, %edi
	callq	_LATTICE_ORIGIN
	movq	%r12, %rdi
	movl	%r15d, %esi
	movl	%r13d, %edx
	movl	%eax, %ecx
	movq	-112(%rbp), %r12                ## 8-byte Reload
	movq	%r12, %r8
	callq	_lambda_matrix_vector_mult
	movq	-88(%rbp), %rdi                 ## 8-byte Reload
	movl	$1, %esi
	movq	%r12, %rdx
	movl	$-1, %ecx
	movq	%r12, %r8
	movl	%r15d, %r9d
	callq	_lambda_vector_add_mc
	movl	%r14d, %edi
	callq	_LATTICE_ORIGIN_INVARIANTS
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	movq	%rax, %rsi
	movq	-136(%rbp), %r12                ## 8-byte Reload
	movq	%r12, %rdx
	movl	%r15d, %ecx
	movl	%r13d, %r8d
	movl	%ebx, %r9d
	callq	_lambda_matrix_mult
	movl	%ebx, (%rsp)
	movq	-80(%rbp), %rdi                 ## 8-byte Reload
	movl	$1, %esi
	movq	%r12, %rdx
	movl	$-1, %ecx
	movq	%r12, %r8
	movl	%r15d, %r9d
	callq	_lambda_matrix_add_mc
	movl	%r13d, %edi
	movl	%r13d, %esi
	callq	_lambda_matrix_new
	movq	%rax, %r14
	movl	-100(%rbp), %edi                ## 4-byte Reload
	callq	_LTM_MATRIX
	movl	%eax, %edi
	movq	%r14, %rsi
	movl	%r13d, %edx
	callq	_lambda_matrix_inverse
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	%r14, %rsi
	movq	-56(%rbp), %r14                 ## 8-byte Reload
	movq	%r14, %rdx
	movl	%r15d, %ecx
	movl	%r13d, %r8d
	movl	%r13d, %r9d
	callq	_lambda_matrix_mult
	movl	%r15d, %edi
	movl	%r13d, %esi
	movl	%ebx, %edx
	movq	%r14, %rcx
	movq	%r12, %r8
	movq	-112(%rbp), %r9                 ## 8-byte Reload
	addq	$168, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_compute_nest_using_fourier_motzkin ## TAILCALL
	.cfi_endproc
                                        ## -- End function
	.no_dead_strip	_lambda_compute_auxillary_space
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function lambda_compute_auxillary_space
_lambda_compute_auxillary_space:        ; @lambda_compute_auxillary_space
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #176
	.cfi_def_cfa_offset 176
	stp	x28, x27, [sp, #80]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #96]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #112]            ; 16-byte Folded Spill
	stp	x22, x21, [sp, #128]            ; 16-byte Folded Spill
	stp	x20, x19, [sp, #144]            ; 16-byte Folded Spill
	stp	x29, x30, [sp, #160]            ; 16-byte Folded Spill
	add	x29, sp, #160
	.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
	str	w1, [sp, #32]                   ; 4-byte Folded Spill
	mov	x20, x0
	bl	_LN_DEPTH
	mov	x19, x0
	str	w20, [sp, #52]                  ; 4-byte Folded Spill
	mov	x0, x20
	bl	_LN_INVARIANTS
	mov	x20, x0
	mov	w0, #128
	mov	x1, x19
	bl	_lambda_matrix_new
	mov	x21, x0
	mov	w0, #128
	mov	x1, x20
	bl	_lambda_matrix_new
	mov	x26, x0
	mov	w0, #128
	bl	_lambda_vector_new
	mov	x27, x0
	mov	w0, #128
	mov	x1, x19
	bl	_lambda_matrix_new
	str	x0, [sp, #16]                   ; 8-byte Folded Spill
	mov	w0, #128
	mov	x1, x20
	bl	_lambda_matrix_new
	str	x0, [sp, #24]                   ; 8-byte Folded Spill
	mov	w0, #128
	bl	_lambda_vector_new
	str	x0, [sp, #8]                    ; 8-byte Folded Spill
	cmp	w19, #1
	str	w19, [sp, #36]                  ; 4-byte Folded Spill
	b.lt	LBB0_42
; %bb.1:
	mov	x25, #0
	mov	w28, #0
	mov	w8, w19
	str	x8, [sp, #40]                   ; 8-byte Folded Spill
	mov	w8, w20
	and	x9, x8, #0xfffffff0
	stp	x9, x8, [sp, #64]               ; 16-byte Folded Spill
	lsl	x24, x8, #2
	b	LBB0_4
LBB0_2:                                 ;   in Loop: Header=BB0_4 Depth=1
                                        ; kill: def $w28 killed $w28 killed $x28 def $x28
LBB0_3:                                 ;   in Loop: Header=BB0_4 Depth=1
	add	x25, x25, #1
	ldr	x8, [sp, #40]                   ; 8-byte Folded Reload
	cmp	x25, x8
	b.eq	LBB0_43
LBB0_4:                                 ; =>This Loop Header: Depth=1
                                        ;     Child Loop BB0_9 Depth 2
                                        ;       Child Loop BB0_11 Depth 3
                                        ;       Child Loop BB0_14 Depth 3
                                        ;       Child Loop BB0_19 Depth 3
                                        ;       Child Loop BB0_22 Depth 3
                                        ;     Child Loop BB0_29 Depth 2
                                        ;       Child Loop BB0_31 Depth 3
                                        ;       Child Loop BB0_34 Depth 3
                                        ;       Child Loop BB0_39 Depth 3
                                        ;       Child Loop BB0_41 Depth 3
	ldr	w0, [sp, #52]                   ; 4-byte Folded Reload
	bl	_LN_LOOPS
	ldr	w22, [x0, x25, lsl #2]
	mov	x0, x22
	bl	_LL_STEP
	cmp	x0, #1
	b.lt	LBB0_6
; %bb.5:                                ;   in Loop: Header=BB0_4 Depth=1
	mov	x0, x22
	bl	_LL_LOWER_BOUND
	mov	x23, x0
	cbnz	x0, LBB0_7
	b	LBB0_24
LBB0_6:                                 ;   in Loop: Header=BB0_4 Depth=1
	mov	x0, x22
	bl	_LL_UPPER_BOUND
	mov	x23, x0
	cbz	x0, LBB0_24
LBB0_7:                                 ;   in Loop: Header=BB0_4 Depth=1
	sxtw	x28, w28
	b	LBB0_9
LBB0_8:                                 ;   in Loop: Header=BB0_9 Depth=2
	add	x28, x19, #1
	cmp	x19, #127
	cset	w0, lt
	bl	_gcc_assert
	mov	x0, x23
	bl	_LLE_NEXT
	mov	x23, x0
	cbz	x0, LBB0_23
LBB0_9:                                 ;   Parent Loop BB0_4 Depth=1
                                        ; =>  This Loop Header: Depth=2
                                        ;       Child Loop BB0_11 Depth 3
                                        ;       Child Loop BB0_14 Depth 3
                                        ;       Child Loop BB0_19 Depth 3
                                        ;       Child Loop BB0_22 Depth 3
	mov	x19, x28
	cbz	x25, LBB0_12
; %bb.10:                               ;   in Loop: Header=BB0_9 Depth=2
	mov	x28, #0
LBB0_11:                                ;   Parent Loop BB0_4 Depth=1
                                        ;     Parent Loop BB0_9 Depth=2
                                        ; =>    This Inner Loop Header: Depth=3
	mov	x0, x23
	bl	_LLE_COEFFICIENTS
	lsl	x8, x28, #2
	ldr	w9, [x0, x8]
	ldr	x10, [x21, x19, lsl #3]
	str	w9, [x10, x8]
	add	x28, x28, #1
	cmp	x25, x28
	b.ne	LBB0_11
LBB0_12:                                ;   in Loop: Header=BB0_9 Depth=2
	cmp	w20, #1
	b.lt	LBB0_15
; %bb.13:                               ;   in Loop: Header=BB0_9 Depth=2
	mov	x28, #0
LBB0_14:                                ;   Parent Loop BB0_4 Depth=1
                                        ;     Parent Loop BB0_9 Depth=2
                                        ; =>    This Inner Loop Header: Depth=3
	mov	x0, x23
	bl	_LLE_INVARIANT_COEFFICIENTS
	ldr	w8, [x0, x28]
	ldr	x9, [x26, x19, lsl #3]
	str	w8, [x9, x28]
	add	x28, x28, #4
	cmp	x24, x28
	b.ne	LBB0_14
LBB0_15:                                ;   in Loop: Header=BB0_9 Depth=2
	mov	x0, x23
	bl	_LLE_CONSTANT
	lsl	x28, x19, #2
	str	w0, [x27, x28]
	mov	x0, x23
	bl	_LLE_DENOMINATOR
	neg	w8, w0
	ldr	x9, [x21, x19, lsl #3]
	str	w8, [x9, x25, lsl #2]
	ldr	w8, [x27, x28]
	neg	w8, w8
	str	w8, [x27, x28]
	cmp	w20, #1
	b.lt	LBB0_8
; %bb.16:                               ;   in Loop: Header=BB0_9 Depth=2
	ldr	x8, [x26, x19, lsl #3]
	cmp	w20, #16
	b.hs	LBB0_18
; %bb.17:                               ;   in Loop: Header=BB0_9 Depth=2
	mov	x9, #0
	b	LBB0_21
LBB0_18:                                ;   in Loop: Header=BB0_9 Depth=2
	add	x9, x8, #32
	ldr	x10, [sp, #64]                  ; 8-byte Folded Reload
LBB0_19:                                ;   Parent Loop BB0_4 Depth=1
                                        ;     Parent Loop BB0_9 Depth=2
                                        ; =>    This Inner Loop Header: Depth=3
	ldp	q0, q1, [x9, #-32]
	ldp	q2, q3, [x9]
	neg.4s	v0, v0
	neg.4s	v1, v1
	neg.4s	v2, v2
	neg.4s	v3, v3
	stp	q0, q1, [x9, #-32]
	stp	q2, q3, [x9], #64
	subs	x10, x10, #16
	b.ne	LBB0_19
; %bb.20:                               ;   in Loop: Header=BB0_9 Depth=2
	ldp	x11, x10, [sp, #64]             ; 16-byte Folded Reload
	mov	x9, x11
	cmp	x11, x10
	b.eq	LBB0_8
LBB0_21:                                ;   in Loop: Header=BB0_9 Depth=2
	add	x8, x8, x9, lsl #2
	ldr	x10, [sp, #72]                  ; 8-byte Folded Reload
	sub	x9, x10, x9
LBB0_22:                                ;   Parent Loop BB0_4 Depth=1
                                        ;     Parent Loop BB0_9 Depth=2
                                        ; =>    This Inner Loop Header: Depth=3
	ldr	w10, [x8]
	neg	w10, w10
	str	w10, [x8], #4
	subs	x9, x9, #1
	b.ne	LBB0_22
	b	LBB0_8
LBB0_23:                                ;   in Loop: Header=BB0_4 Depth=1
                                        ; kill: def $w28 killed $w28 killed $x28 def $x28
LBB0_24:                                ;   in Loop: Header=BB0_4 Depth=1
	mov	x0, x22
	bl	_LL_STEP
	cmp	x0, #1
	b.lt	LBB0_26
; %bb.25:                               ;   in Loop: Header=BB0_4 Depth=1
	mov	x0, x22
	bl	_LL_UPPER_BOUND
	mov	x22, x0
	cbnz	x0, LBB0_27
	b	LBB0_3
LBB0_26:                                ;   in Loop: Header=BB0_4 Depth=1
	mov	x0, x22
	bl	_LL_LOWER_BOUND
	mov	x22, x0
	cbz	x0, LBB0_3
LBB0_27:                                ;   in Loop: Header=BB0_4 Depth=1
	and	x8, x25, #0xfffffffffffffff0
	str	x8, [sp, #56]                   ; 8-byte Folded Spill
	mov	x8, x28
	sxtw	x28, w8
	and	x19, x25, #0x7ffffffffffffff0
	b	LBB0_29
LBB0_28:                                ;   in Loop: Header=BB0_29 Depth=2
	mov	x0, x22
	bl	_LLE_DENOMINATOR
	ldr	x8, [x21, x23, lsl #3]
	str	w0, [x8, x25, lsl #2]
	add	x28, x23, #1
	cmp	x23, #127
	cset	w0, lt
	bl	_gcc_assert
	mov	x0, x22
	bl	_LLE_NEXT
	mov	x22, x0
	cbz	x0, LBB0_2
LBB0_29:                                ;   Parent Loop BB0_4 Depth=1
                                        ; =>  This Loop Header: Depth=2
                                        ;       Child Loop BB0_31 Depth 3
                                        ;       Child Loop BB0_34 Depth 3
                                        ;       Child Loop BB0_39 Depth 3
                                        ;       Child Loop BB0_41 Depth 3
	mov	x23, x28
	cbz	x25, LBB0_32
; %bb.30:                               ;   in Loop: Header=BB0_29 Depth=2
	mov	x28, #0
LBB0_31:                                ;   Parent Loop BB0_4 Depth=1
                                        ;     Parent Loop BB0_29 Depth=2
                                        ; =>    This Inner Loop Header: Depth=3
	mov	x0, x22
	bl	_LLE_COEFFICIENTS
	lsl	x8, x28, #2
	ldr	w9, [x0, x8]
	ldr	x10, [x21, x23, lsl #3]
	str	w9, [x10, x8]
	add	x28, x28, #1
	cmp	x25, x28
	b.ne	LBB0_31
LBB0_32:                                ;   in Loop: Header=BB0_29 Depth=2
	cmp	w20, #1
	b.lt	LBB0_35
; %bb.33:                               ;   in Loop: Header=BB0_29 Depth=2
	mov	x28, #0
LBB0_34:                                ;   Parent Loop BB0_4 Depth=1
                                        ;     Parent Loop BB0_29 Depth=2
                                        ; =>    This Inner Loop Header: Depth=3
	mov	x0, x22
	bl	_LLE_INVARIANT_COEFFICIENTS
	ldr	w8, [x0, x28]
	ldr	x9, [x26, x23, lsl #3]
	str	w8, [x9, x28]
	add	x28, x28, #4
	cmp	x24, x28
	b.ne	LBB0_34
LBB0_35:                                ;   in Loop: Header=BB0_29 Depth=2
	mov	x0, x22
	bl	_LLE_CONSTANT
	str	w0, [x27, x23, lsl #2]
	cbz	x25, LBB0_28
; %bb.36:                               ;   in Loop: Header=BB0_29 Depth=2
	ldr	x8, [x21, x23, lsl #3]
	cmp	x25, #16
	b.hs	LBB0_38
; %bb.37:                               ;   in Loop: Header=BB0_29 Depth=2
	mov	x9, #0
	b	LBB0_41
LBB0_38:                                ;   in Loop: Header=BB0_29 Depth=2
	add	x9, x8, #32
	ldr	x10, [sp, #56]                  ; 8-byte Folded Reload
LBB0_39:                                ;   Parent Loop BB0_4 Depth=1
                                        ;     Parent Loop BB0_29 Depth=2
                                        ; =>    This Inner Loop Header: Depth=3
	ldp	q0, q1, [x9, #-32]
	ldp	q2, q3, [x9]
	neg.4s	v0, v0
	neg.4s	v1, v1
	neg.4s	v2, v2
	neg.4s	v3, v3
	stp	q0, q1, [x9, #-32]
	stp	q2, q3, [x9], #64
	subs	x10, x10, #16
	b.ne	LBB0_39
; %bb.40:                               ;   in Loop: Header=BB0_29 Depth=2
	mov	x9, x19
	cmp	x25, x19
	b.eq	LBB0_28
LBB0_41:                                ;   Parent Loop BB0_4 Depth=1
                                        ;     Parent Loop BB0_29 Depth=2
                                        ; =>    This Inner Loop Header: Depth=3
	lsl	x10, x9, #2
	ldr	w11, [x8, x10]
	neg	w11, w11
	str	w11, [x8, x10]
	add	x9, x9, #1
	cmp	x25, x9
	b.ne	LBB0_41
	b	LBB0_28
LBB0_42:
	mov	w28, #0
LBB0_43:
	ldr	w0, [sp, #52]                   ; 4-byte Folded Reload
	bl	_lambda_lattice_compute_base
	mov	x22, x0
	bl	_LATTICE_BASE
	mov	x1, x0
	mov	x0, x21
	ldr	x24, [sp, #16]                  ; 8-byte Folded Reload
	mov	x2, x24
	mov	x3, x28
	ldr	w19, [sp, #36]                  ; 4-byte Folded Reload
	mov	x4, x19
	mov	x5, x19
	bl	_lambda_matrix_mult
	mov	x0, x22
	bl	_LATTICE_ORIGIN
	mov	x3, x0
	mov	x0, x21
	mov	x1, x28
	mov	x2, x19
	ldr	x25, [sp, #8]                   ; 8-byte Folded Reload
	mov	x4, x25
	bl	_lambda_matrix_vector_mult
	mov	x0, x27
	mov	w1, #1
	mov	x2, x25
	mov	w3, #-1
	mov	x4, x25
	mov	x5, x28
	bl	_lambda_vector_add_mc
	mov	x0, x22
	bl	_LATTICE_ORIGIN_INVARIANTS
	mov	x1, x0
	mov	x0, x21
	ldr	x23, [sp, #24]                  ; 8-byte Folded Reload
	mov	x2, x23
	mov	x3, x28
	mov	x4, x19
	mov	x5, x20
	bl	_lambda_matrix_mult
	mov	x0, x26
	mov	w1, #1
	mov	x2, x23
	mov	w3, #-1
	mov	x4, x23
	mov	x5, x28
	mov	x6, x20
	bl	_lambda_matrix_add_mc
	mov	x0, x19
	mov	x1, x19
	bl	_lambda_matrix_new
	mov	x22, x0
	ldr	w0, [sp, #32]                   ; 4-byte Folded Reload
	bl	_LTM_MATRIX
	mov	x1, x22
	mov	x2, x19
	bl	_lambda_matrix_inverse
	mov	x0, x24
	mov	x1, x22
	mov	x2, x21
	mov	x3, x28
	mov	x4, x19
	mov	x5, x19
	bl	_lambda_matrix_mult
	mov	x0, x28
	mov	x1, x19
	mov	x2, x20
	mov	x3, x21
	mov	x4, x23
	mov	x5, x25
	ldp	x29, x30, [sp, #160]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #144]            ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #128]            ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #112]            ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #96]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #80]             ; 16-byte Folded Reload
	add	sp, sp, #176
	b	_compute_nest_using_fourier_motzkin
	.cfi_endproc
                                        ; -- End function
	.no_dead_strip	_lambda_compute_auxillary_space
.subsections_via_symbols
