// File: 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
movq %rsp, %rbp
subq $0x80, %rsp
movq %rdi, -0x8(%rbp)
movsd %xmm0, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movsd -0x10(%rbp), %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0xd674
jp 0xd674
movq 0xca39(%rip), %rdi      # 0x19ff0
movq %rdi, -0x60(%rbp)
leaq 0x4e00(%rip), %rsi      # 0x123c2
callq 0x31f0
movq %rax, %rdi
leaq 0x55df(%rip), %rsi      # 0x12bb0
callq 0x31f0
movq %rax, %rdi
leaq 0x4e25(%rip), %rsi      # 0x12405
callq 0x31f0
movq %rax, %rdi
movl $0xab, %esi
callq 0x33c0
movq %rax, %rdi
leaq 0x4e13(%rip), %rsi      # 0x1240f
callq 0x31f0
movq %rax, %rdi
movq 0xc99d(%rip), %rsi      # 0x19fa8
movq %rsi, -0x58(%rbp)
callq 0x3220
movq -0x60(%rbp), %rdi
leaq 0x55f7(%rip), %rsi      # 0x12c16
callq 0x31f0
movq -0x58(%rbp), %rsi
movq %rax, %rdi
callq 0x3220
leaq 0x55e9(%rip), %rsi      # 0x12c20
leaq -0x28(%rbp), %rdi
movq %rdi, -0x50(%rbp)
callq 0x10fd0
movq -0x50(%rbp), %rdi
callq 0x11010
jmp 0xd64f
leaq -0x28(%rbp), %rdi
callq 0x11060
jmp 0xd674
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
leaq -0x28(%rbp), %rdi
callq 0x11060
jmp 0xd7ec
movsd 0x498c(%rip), %xmm0     # 0x12008
divsd -0x10(%rbp), %xmm0
movsd %xmm0, -0x40(%rbp)
movl $0x0, -0x44(%rbp)
cmpl $0x3, -0x44(%rbp)
jge 0xd7e3
movl $0x0, -0x48(%rbp)
cmpl $0x3, -0x48(%rbp)
jge 0xd7d3
movq -0x8(%rbp), %rdi
movl -0x44(%rbp), %eax
addl $0x1, %eax
movl $0x3, %ecx
cltd
idivl %ecx
movslq %edx, %rsi
movl -0x48(%rbp), %eax
addl $0x1, %eax
movl $0x3, %ecx
cltd
idivl %ecx
movslq %edx, %rdx
callq 0x7800
movsd (%rax), %xmm0
movsd %xmm0, -0x78(%rbp)
movq -0x8(%rbp), %rdi
movl -0x44(%rbp), %eax
addl $0x2, %eax
movl $0x3, %ecx
cltd
idivl %ecx
movslq %edx, %rsi
movl -0x48(%rbp), %eax
addl $0x2, %eax
movl $0x3, %ecx
cltd
idivl %ecx
movslq %edx, %rdx
callq 0x7800
movsd (%rax), %xmm0
movsd %xmm0, -0x70(%rbp)
movq -0x8(%rbp), %rdi
movl -0x44(%rbp), %eax
addl $0x1, %eax
movl $0x3, %ecx
cltd
idivl %ecx
movslq %edx, %rsi
movl -0x48(%rbp), %eax
addl $0x2, %eax
movl $0x3, %ecx
cltd
idivl %ecx
movslq %edx, %rdx
callq 0x7800
movsd (%rax), %xmm0
movsd %xmm0, -0x80(%rbp)
movq -0x8(%rbp), %rdi
movl -0x44(%rbp), %eax
addl $0x2, %eax
movl $0x3, %ecx
cltd
idivl %ecx
movslq %edx, %rsi
movl -0x48(%rbp), %eax
addl $0x1, %eax
movl $0x3, %ecx
cltd
idivl %ecx
movslq %edx, %rdx
callq 0x7800
movsd -0x80(%rbp), %xmm1
movsd -0x78(%rbp), %xmm0
movsd -0x70(%rbp), %xmm2
mulsd (%rax), %xmm1
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
mulsd -0x40(%rbp), %xmm0
movsd %xmm0, -0x68(%rbp)
movq -0x18(%rbp), %rdi
movslq -0x48(%rbp), %rsi
movslq -0x44(%rbp), %rdx
callq 0xb0b0
movsd -0x68(%rbp), %xmm0
movsd %xmm0, (%rax)
movl -0x48(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x48(%rbp)
jmp 0xd69e
jmp 0xd7d5
movl -0x44(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x44(%rbp)
jmp 0xd68d
addq $0x80, %rsp
popq %rbp
retq
movq -0x30(%rbp), %rdi
callq 0x33e0
nopw %cs:(%rax,%rax)
nop