// File: /workspace/github_cpp_makefile_star2_O2/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, 0x28(%rsp)
movq %rdi, 0x20(%rsp)
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x68ec
jp 0x68ec
movsd %xmm0, 0x8(%rsp)
movq 0x6798(%rip), %r15      # 0xcff0
leaq 0x1b73(%rip), %rsi      # 0x83d2
movq %r15, %rdi
callq 0x2140
leaq 0x23ca(%rip), %rsi      # 0x8c38
movq %rax, %rdi
callq 0x2140
leaq 0x1b98(%rip), %rsi      # 0x8415
movq %rax, %rdi
callq 0x2140
movq %rax, %rdi
movl $0xab, %esi
callq 0x2270
leaq 0x1b86(%rip), %rsi      # 0x841f
movq %rax, %rdi
callq 0x2140
movq %rax, %rdi
callq 0x2090
leaq 0x23ee(%rip), %rsi      # 0x8c9e
movq %r15, %rdi
callq 0x2140
movq %rax, %rdi
callq 0x2090
leaq 0x23e1(%rip), %rsi      # 0x8ca8
leaq 0x58(%rsp), %rbx
movq %rbx, %rdi
callq 0x7cbc
movq %rbx, %rdi
callq 0x7cd2
leaq 0x58(%rsp), %rdi
callq 0x2300
movsd 0x8(%rsp), %xmm0
movsd 0x1714(%rip), %xmm1     # 0x8008
divsd %xmm0, %xmm1
movsd %xmm1, 0x18(%rsp)
xorl %ebx, %ebx
movq 0x20(%rsp), %r12
cmpq $0x3, %rbx
je 0x6a29
leaq 0x1(%rbx), %rax
cmpq $0x3, %rax
movq %rax, 0x10(%rsp)
movl %eax, %ecx
movl $0x0, %eax
cmoveq %rax, %rcx
movq %rcx, 0x38(%rsp)
leal 0x2(%rbx), %eax
xorl %edx, %edx
pushq $0x3
popq %rcx
divl %ecx
movq %rdx, 0x30(%rsp)
xorl %ebp, %ebp
movq %rbx, 0x40(%rsp)
cmpq $0x3, %rbp
je 0x6a1f
leaq 0x1(%rbp), %rax
movq %rax, 0x50(%rsp)
cmpq $0x3, %rax
movl $0x0, %ebx
cmovneq %rax, %rbx
movq %r12, %rdi
movq 0x38(%rsp), %r13
movq %r13, %rsi
movq %rbx, %rdx
callq 0x4082
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
leal -0x1(%rbp), %r15d
testq %rbp, %rbp
pushq $0x2
popq %rax
cmoveq %rax, %r15
movq %r12, %rdi
movq 0x30(%rsp), %r14
movq %r14, %rsi
movq %r15, %rdx
callq 0x4082
movsd 0x8(%rsp), %xmm0
mulsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
movq %r12, %rdi
movq %r13, %rsi
movq %r15, %rdx
callq 0x4082
movsd (%rax), %xmm0
movsd %xmm0, 0x48(%rsp)
movq %r12, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movq 0x40(%rsp), %rbx
callq 0x4082
movsd 0x48(%rsp), %xmm1
mulsd (%rax), %xmm1
movsd 0x8(%rsp), %xmm0
subsd %xmm1, %xmm0
mulsd 0x18(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
movq 0x28(%rsp), %rdi
movq %rbp, %rsi
movq %rbx, %rdx
callq 0x5bba
movsd 0x8(%rsp), %xmm0
movsd %xmm0, (%rax)
movq 0x50(%rsp), %rbp
jmp 0x6942
movq 0x10(%rsp), %rbx
jmp 0x6905
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x58(%rsp), %rdi
callq 0x2300
movq %rbx, %rdi
callq 0x2280