// File: /workspace/github_cpp_makefile_star2_O3/devernay[P]vlpovutils/./small.hpp
// Function: void boost::numeric::ublas::inverse<boost::numeric::ublas::basic_row_major<unsigned long, long>, boost::numeric::ublas::basic_row_major<unsigned long, long>>(boost::numeric::ublas::bounded_matrix<double, 3ul, 3ul, boost::numeric::ublas::basic_row_major<unsigned long, long>> const&, double, boost::numeric::ublas::bounded_matrix<double, 3ul, 3ul, boost::numeric::ublas::basic_row_major<unsigned long, long>>&)
inline void
inverse(const bounded_matrix<double,3,3,L1>& A, double det, bounded_matrix<double,3,3,L2>& B)
{
    BOOST_UBLAS_CHECK(det != 0., boost::numeric::ublas::divide_by_zero());
    double fac = 1./det;
    for(int i=0; i<3; ++i) {
        for(int j=0; j<3; ++j) {
            B(j,i) = (  A((i+1)%3,(j+1)%3) * A((i+2)%3,(j+2)%3)
                        - A((i+1)%3,(j+2)%3) * A((i+2)%3,(j+1)%3))*fac;
        }
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rsi, %r13
movq %rdi, %r14
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x8799
jp 0x8799
movsd %xmm0, 0x8(%rsp)
movq 0x694f(%rip), %rbx      # 0xeff0
leaq 0x2f08(%rip), %rsi      # 0xb5b0
movl $0x15, %edx
movq %rbx, %rdi
callq 0x21a0
leaq 0x3564(%rip), %rsi      # 0xbc20
movl $0xb, %edx
movq %rbx, %rdi
callq 0x21a0
leaq 0x2f23(%rip), %rsi      # 0xb5f3
movl $0x9, %edx
movq %rbx, %rdi
callq 0x21a0
movq %rbx, %rdi
movl $0xab, %esi
callq 0x2270
movq %rax, %r15
leaq 0x2f09(%rip), %rsi      # 0xb5fd
movl $0x1, %edx
movq %rax, %rdi
callq 0x21a0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x2140
movsbl %al, %esi
movq %r15, %rdi
callq 0x2050
movq %rax, %rdi
callq 0x20e0
leaq 0x3557(%rip), %rsi      # 0xbc86
movl $0x9, %edx
movq %rbx, %rdi
callq 0x21a0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2140
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2050
movq %rax, %rdi
callq 0x20e0
leaq 0x3526(%rip), %rsi      # 0xbc90
leaq 0x58(%rsp), %rbx
movq %rbx, %rdi
callq 0x22b0
leaq 0x65da(%rip), %rax      # 0xed58
movq %rax, (%rbx)
movq %rbx, %rdi
callq 0xa6f8
leaq 0x58(%rsp), %rdi
callq 0x22f0
movsd 0x8(%rsp), %xmm0
movsd 0x2867(%rip), %xmm1     # 0xb008
divsd %xmm0, %xmm1
movsd %xmm1, 0x30(%rsp)
leaq 0x10(%r14), %r15
leaq 0x10(%r13), %rbp
movq $0x0, 0x10(%rsp)
movq %r13, 0x38(%rsp)
movq %rbp, 0x28(%rsp)
movq 0x10(%rsp), %rcx
leaq 0x1(%rcx), %rax
cmpq $0x3, %rax
movq %rax, 0x20(%rsp)
movl %eax, %edx
movl $0x0, %eax
cmoveq %rax, %rdx
movq %rdx, 0x18(%rsp)
leal 0x2(%rcx), %edx
movq %rdx, %rax
movl $0xaaaaaaab, %ecx       # imm = 0xAAAAAAAB
imulq %rcx, %rax
shrq $0x21, %rax
leal (%rax,%rax,2), %eax
subl %eax, %edx
movq %rdx, 0x40(%rsp)
xorl %ebx, %ebx
leaq 0x1(%rbx), %rax
movq %rax, 0x50(%rsp)
cmpq $0x2, %rbx
movl $0x0, %r13d
cmovneq %rax, %r13
movq (%r14), %rsi
movq 0x8(%r14), %rcx
movq 0x18(%rsp), %rdi
movq %r13, %rdx
callq 0x5792
movq %r15, %rdi
movq %rax, %rsi
callq 0x5654
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
leal -0x1(%rbx), %ebp
testq %rbx, %rbx
movl $0x2, %eax
cmoveq %rax, %rbp
movq (%r14), %rsi
movq 0x8(%r14), %rcx
movq 0x40(%rsp), %r12
movq %r12, %rdi
movq %rbp, %rdx
callq 0x5792
movq %r15, %rdi
movq %rax, %rsi
callq 0x5654
movq (%r14), %rsi
movq 0x8(%r14), %rcx
movsd 0x8(%rsp), %xmm0
mulsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
movq 0x18(%rsp), %rdi
movq %rbp, %rdx
movq 0x28(%rsp), %rbp
callq 0x5792
movq %r15, %rdi
movq %rax, %rsi
callq 0x5654
movsd (%rax), %xmm0
movsd %xmm0, 0x48(%rsp)
movq (%r14), %rsi
movq 0x8(%r14), %rcx
movq %r12, %rdi
movq %r13, %rdx
movq 0x38(%rsp), %r13
callq 0x5792
movq %r15, %rdi
movq %rax, %rsi
callq 0x5654
movsd 0x48(%rsp), %xmm1
mulsd (%rax), %xmm1
movsd 0x8(%rsp), %xmm0
subsd %xmm1, %xmm0
mulsd 0x30(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
movq (%r13), %rsi
movq 0x8(%r13), %rcx
movq %rbx, %rdi
movq 0x10(%rsp), %rdx
callq 0x5792
movq %rbp, %rdi
movq %rax, %rsi
callq 0x75be
movsd 0x8(%rsp), %xmm0
movsd %xmm0, (%rax)
movq 0x50(%rsp), %rax
movq %rax, %rbx
cmpq $0x3, %rax
jne 0x8807
movq 0x20(%rsp), %rax
movq %rax, 0x10(%rsp)
cmpq $0x3, %rax
jne 0x87c6
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x58(%rsp), %rdi
callq 0x22f0
movq %rbx, %rdi
callq 0x2280