// File: /workspace/github_cpp_makefile_star2_O1/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 $0x78, %rsp
movq %rsi, %rbp
movq %rdi, %r14
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x88c6
jp 0x88c6
movsd %xmm0, 0x8(%rsp)
movq 0x6822(%rip), %rbx      # 0xeff0
leaq 0x2ddb(%rip), %rsi      # 0xb5b0
movl $0x15, %edx
movq %rbx, %rdi
callq 0x21b0
leaq 0x3427(%rip), %rsi      # 0xbc10
movl $0xb, %edx
movq %rbx, %rdi
callq 0x21b0
leaq 0x2df6(%rip), %rsi      # 0xb5f3
movl $0x9, %edx
movq %rbx, %rdi
callq 0x21b0
movq %rbx, %rdi
movl $0xab, %esi
callq 0x2280
movq %rax, %r15
leaq 0x2ddc(%rip), %rsi      # 0xb5fd
movl $0x1, %edx
movq %rax, %rdi
callq 0x21b0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %esi
movq %r15, %rdi
callq 0x2050
movq %rax, %rdi
callq 0x20e0
leaq 0x341a(%rip), %rsi      # 0xbc76
movl $0x9, %edx
movq %rbx, %rdi
callq 0x21b0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2050
movq %rax, %rdi
callq 0x20e0
leaq 0x33e9(%rip), %rsi      # 0xbc80
leaq 0x68(%rsp), %rbx
movq %rbx, %rdi
callq 0x22c0
leaq 0x64ad(%rip), %rax      # 0xed58
movq %rax, (%rbx)
movq %rbx, %rdi
callq 0xa8c8
leaq 0x68(%rsp), %rdi
callq 0x2300
movsd 0x8(%rsp), %xmm0
movsd 0x273a(%rip), %xmm1     # 0xb008
divsd %xmm0, %xmm1
movsd %xmm1, 0x38(%rsp)
movq %r14, 0x20(%rsp)
leaq 0x10(%r14), %rbx
leaq 0x10(%rbp), %r14
movq $0x0, 0x10(%rsp)
movq %rbp, 0x40(%rsp)
movq %r14, 0x30(%rsp)
movq 0x20(%rsp), %r15
movq 0x10(%rsp), %rcx
leaq 0x1(%rcx), %rax
cmpq $0x3, %rax
movq %rax, 0x28(%rsp)
movl %eax, %edx
movl $0x0, %eax
cmoveq %rax, %rdx
movq %rdx, 0x48(%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, 0x18(%rsp)
movl $0x2, %r12d
xorl %esi, %esi
movq %rsi, 0x58(%rsp)
movq %r12, %rax
movabsq $-0x5555555555555555, %rcx # imm = 0xAAAAAAAAAAAAAAAB
mulq %rcx
shrq %rdx
leaq (%rdx,%rdx,2), %rax
movq %rbx, %r14
movq %r12, %rbx
subq %rax, %rbx
leaq 0x1(%rsi), %rax
movq %rax, 0x60(%rsp)
cmpq $0x2, %rsi
movl $0x0, %ebp
cmovneq %rax, %rbp
movq (%r15), %rsi
movq 0x8(%r15), %rcx
movq 0x48(%rsp), %r13
movq %r13, %rdi
movq %rbp, %rdx
callq 0x5830
movq %r14, %rdi
movq %rax, %rsi
callq 0x56f2
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
movq (%r15), %rsi
movq 0x8(%r15), %rcx
movq 0x18(%rsp), %rdi
movq %rbx, %rdx
callq 0x5830
movq %r14, %rdi
movq %rax, %rsi
callq 0x56f2
movq (%r15), %rsi
movq 0x8(%r15), %rcx
movsd 0x8(%rsp), %xmm0
mulsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
movq %r13, %rdi
movq %rbx, %rdx
movq %r14, %rbx
movq 0x30(%rsp), %r14
callq 0x5830
movq %rbx, %rdi
movq %rax, %rsi
callq 0x56f2
movsd (%rax), %xmm0
movsd %xmm0, 0x50(%rsp)
movq (%r15), %rsi
movq 0x8(%r15), %rcx
movq 0x18(%rsp), %rdi
movq %rbp, %rdx
movq 0x40(%rsp), %rbp
callq 0x5830
movq %rbx, %rdi
movq %rax, %rsi
callq 0x56f2
movsd 0x50(%rsp), %xmm1
mulsd (%rax), %xmm1
movsd 0x8(%rsp), %xmm0
subsd %xmm1, %xmm0
mulsd 0x38(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
movq (%rbp), %rsi
movq 0x8(%rbp), %rcx
movq 0x58(%rsp), %rdi
movq 0x10(%rsp), %rdx
callq 0x5830
movq %r14, %rdi
movq %rax, %rsi
callq 0x76fc
movsd 0x8(%rsp), %xmm0
movsd %xmm0, (%rax)
incq %r12
movq 0x60(%rsp), %rax
movq %rax, %rsi
cmpq $0x3, %rax
jne 0x8944
movq 0x28(%rsp), %rax
movq %rax, 0x10(%rsp)
cmpq $0x3, %rax
jne 0x88fd
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x68(%rsp), %rdi
callq 0x2300
movq %rbx, %rdi
callq 0x2290