// File: /workspace/github_cpp_makefile_star2_O3/dfrodriguezp[P]PiCM-cpp/functions.cc
// Function: boris(std::vector<std::valarray<double>, std::allocator<std::valarray<double>>>&, std::vector<double, std::allocator<double>> const&, std::vector<unsigned int, std::allocator<unsigned int>> const&, std::vector<std::valarray<double>, std::allocator<std::valarray<double>>> const&, std::valarray<double> const&, double const&, unsigned int const&)
void boris(VecArr &velocities,
           const std::vector<Real> &QoverM,
           const std::vector<Int> &moves,
           const VecArr &E, const Array &B,
           const Real &dt, const Int &N)
{
    Array t;
    Real t_2;
    Array s;
    Array v_minus;
    Array v_prime;
    Array v_plus;

    for (Int p = 0; p < N; ++p)
    {
        if (moves.at(p))
        {
            t = 0.5 * QoverM.at(p) * B * dt;
            t_2 = norm(t) * norm(t);
            s = (2.0 * t) / (1.0 + t_2);
            v_minus = velocities.at(p) + 0.5 * QoverM.at(p) * E[p] * dt;
            v_prime = v_minus + cross(v_minus, t);
            v_plus = v_minus + cross(v_prime, s);
            velocities.at(p) = v_plus + 0.5 * QoverM.at(p) * E[p] * dt;
        }
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xc8, %rsp
movq %r9, 0x60(%rsp)
movq %r8, 0x38(%rsp)
movq %rcx, 0x80(%rsp)
movq %rdx, 0xb8(%rsp)
movq %rsi, 0x68(%rsp)
movq %rdi, 0x88(%rsp)
movq 0x100(%rsp), %rax
xorl %r8d, %r8d
movq %rax, 0xb0(%rsp)
cmpl $0x0, (%rax)
je 0x9f43
xorl %r15d, %r15d
xorl %ebx, %ebx
movq $0x0, 0x28(%rsp)
xorl %r13d, %r13d
movq $0x0, 0x30(%rsp)
movq $0x0, 0x20(%rsp)
movq $0x0, 0x10(%rsp)
xorl %ebp, %ebp
xorl %eax, %eax
xorl %r14d, %r14d
movl %r8d, %r8d
movq 0xb8(%rsp), %rdx
movq (%rdx), %rcx
movq 0x8(%rdx), %rdx
subq %rcx, %rdx
sarq $0x2, %rdx
cmpq %r8, %rdx
jbe 0x9fab
cmpl $0x0, (%rcx,%r8,4)
je 0x984e
movq 0x68(%rsp), %rdx
movq (%rdx), %rcx
movq 0x8(%rdx), %rdx
subq %rcx, %rdx
sarq $0x3, %rdx
cmpq %r8, %rdx
jbe 0x9fde
movsd (%rcx,%r8,8), %xmm1
mulsd 0x1825(%rip), %xmm1     # 0xb020
movq 0x60(%rsp), %rcx
movsd (%rcx), %xmm2
movq 0x38(%rsp), %rcx
movq (%rcx), %rcx
cmpq %rcx, %rax
movq %r8, 0x18(%rsp)
movq %rbp, 0x58(%rsp)
jne 0x9859
testq %rax, %rax
je 0x995c
movq 0x38(%rsp), %rcx
movq 0x8(%rcx), %rcx
xorl %edx, %edx
movsd (%rcx,%rdx,8), %xmm0
mulsd %xmm1, %xmm0
mulsd %xmm2, %xmm0
movsd %xmm0, (%rbx,%rdx,8)
incq %rdx
cmpq %rdx, %rax
jne 0x982f
movq %rax, %rsi
jmp 0x98cd
movq %r14, %r12
movq %rax, %rdi
jmp 0x9f27
movsd %xmm2, (%rsp)
movsd %xmm1, 0x8(%rsp)
testq %rbx, %rbx
je 0x9879
movq %rbx, %rdi
callq 0x3270
movq 0x38(%rsp), %rax
movq (%rax), %rcx
movq %rcx, %r12
leaq (,%rcx,8), %rdi
callq 0x3290
testq %r12, %r12
movsd 0x8(%rsp), %xmm1
movsd (%rsp), %xmm2
je 0x996b
movq %r12, %rsi
movq 0x38(%rsp), %rcx
movq 0x8(%rcx), %rcx
xorl %edx, %edx
movq 0x18(%rsp), %r8
movsd (%rcx,%rdx,8), %xmm0
mulsd %xmm1, %xmm0
mulsd %xmm2, %xmm0
movsd %xmm0, (%rax,%rdx,8)
incq %rdx
cmpq %rdx, %rsi
jne 0x98b0
movq %rax, %rbx
movq %rsi, %rbp
movsd -0x8(%rbx,%rsi,8), %xmm0
mulsd %xmm0, %xmm0
decq %rbp
je 0x990c
leaq -0x2(%rsi), %r12
movq %r12, %rax
movsd (%rbx,%rax,8), %xmm1
mulsd %xmm1, %xmm1
addsd %xmm1, %xmm0
addq $-0x1, %rax
jb 0x98e6
ucomisd 0x172f(%rip), %xmm0     # 0xb030
jb 0x991f
xorps %xmm2, %xmm2
sqrtsd %xmm0, %xmm2
jmp 0x9937
ucomisd 0x171c(%rip), %xmm0     # 0xb030
jb 0x9982
xorps %xmm2, %xmm2
sqrtsd %xmm0, %xmm2
jmp 0x9996
movq %rsi, 0x8(%rsp)
callq 0x3200
movq 0x8(%rsp), %rsi
movq 0x18(%rsp), %r8
movapd %xmm0, %xmm2
movsd -0x8(%rbx,%rsi,8), %xmm0
mulsd %xmm0, %xmm0
testq %rbp, %rbp
je 0x99a0
movsd (%rbx,%r12,8), %xmm1
mulsd %xmm1, %xmm1
addsd %xmm1, %xmm0
addq $-0x1, %r12
jb 0x9946
jmp 0x99a5
xorpd %xmm2, %xmm2
movb $0x1, %r12b
xorl %esi, %esi
xorpd %xmm0, %xmm0
jmp 0x99a8
xorpd %xmm2, %xmm2
movb $0x1, %r12b
xorl %esi, %esi
movq %rax, %rbx
xorpd %xmm0, %xmm0
movq 0x18(%rsp), %r8
jmp 0x99a8
movq %rsi, %r12
callq 0x3200
movq %r12, %rsi
movq 0x18(%rsp), %r8
movapd %xmm0, %xmm2
movsd -0x8(%rbx,%rsi,8), %xmm0
mulsd %xmm0, %xmm0
movl $0x1, %esi
xorl %r12d, %r12d
ucomisd 0x1680(%rip), %xmm0     # 0xb030
movq %rsi, 0x8(%rsp)
jb 0x99bd
sqrtsd %xmm0, %xmm0
jmp 0x99d6
movsd %xmm2, (%rsp)
callq 0x3200
movsd (%rsp), %xmm2
movq 0x8(%rsp), %rsi
movq 0x18(%rsp), %r8
movq 0x28(%rsp), %rcx
mulsd %xmm0, %xmm2
addsd 0x1629(%rip), %xmm2     # 0xb010
cmpq %rsi, %rcx
jne 0x9a11
testq %rcx, %rcx
je 0x9a47
xorl %eax, %eax
movsd (%rbx,%rax,8), %xmm0
addsd %xmm0, %xmm0
divsd %xmm2, %xmm0
movsd %xmm0, (%r13,%rax,8)
incq %rax
cmpq %rax, %rcx
jne 0x99f3
jmp 0x9a7b
movsd %xmm2, (%rsp)
testq %r13, %r13
je 0x9a28
movq %r13, %rdi
callq 0x3270
movq 0x8(%rsp), %rsi
leaq (,%rsi,8), %rdi
callq 0x3290
testb %r12b, %r12b
movq 0x18(%rsp), %r8
movsd (%rsp), %xmm1
je 0x9a52
movq %rax, %r13
movq $0x0, 0x28(%rsp)
jmp 0x9a7b
xorl %ecx, %ecx
movq 0x8(%rsp), %rdx
movsd (%rbx,%rcx,8), %xmm0
addsd %xmm0, %xmm0
divsd %xmm1, %xmm0
movsd %xmm0, (%rax,%rcx,8)
incq %rcx
cmpq %rcx, %rdx
jne 0x9a59
movq %rax, %r13
movq %rdx, 0x28(%rsp)
movq %r13, (%rsp)
movq 0x88(%rsp), %rax
movq (%rax), %rbp
movq 0x8(%rax), %rdx
subq %rbp, %rdx
sarq $0x4, %rdx
cmpq %r8, %rdx
jbe 0x9fcd
movq 0x68(%rsp), %rcx
movq (%rcx), %rax
movq 0x8(%rcx), %rdx
subq %rax, %rdx
sarq $0x3, %rdx
cmpq %r8, %rdx
jbe 0x9fbc
movq %r8, %rsi
shlq $0x4, %rsi
addq %rsi, %rbp
movsd (%rax,%r8,8), %xmm1
mulsd 0x154e(%rip), %xmm1     # 0xb020
movq 0x80(%rsp), %rax
movq (%rax), %r13
addq %rsi, %r13
movq 0x60(%rsp), %rax
movsd (%rax), %xmm2
movq (%rbp), %r12
cmpq %r12, %r14
movq %rsi, 0xc0(%rsp)
jne 0x9b32
testq %r14, %r14
je 0x9b9e
movq 0x8(%rbp), %rax
movq 0x8(%r13), %rcx
xorl %edx, %edx
movsd (%rcx,%rdx,8), %xmm0
mulsd %xmm1, %xmm0
mulsd %xmm2, %xmm0
addsd (%rax,%rdx,8), %xmm0
movsd %xmm0, (%r15,%rdx,8)
incq %rdx
cmpq %rdx, %r14
jne 0x9b0d
movq %r14, %r12
jmp 0x9ba1
movsd %xmm2, 0x70(%rsp)
movsd %xmm1, 0x40(%rsp)
testq %r15, %r15
je 0x9b4f
movq %r15, %rdi
callq 0x3270
movq (%rbp), %r12
leaq (,%r12,8), %rdi
callq 0x3290
testq %r12, %r12
movsd 0x40(%rsp), %xmm1
movsd 0x70(%rsp), %xmm2
je 0x9b9b
movq 0x8(%rbp), %rcx
movq 0x8(%r13), %rdx
xorl %esi, %esi
movsd (%rdx,%rsi,8), %xmm0
mulsd %xmm1, %xmm0
mulsd %xmm2, %xmm0
addsd (%rcx,%rsi,8), %xmm0
movsd %xmm0, (%rax,%rsi,8)
incq %rsi
cmpq %rsi, %r12
jne 0x9b77
movq %rax, %r15
jmp 0x9ba1
movq %rax, %r15
xorl %r12d, %r12d
movq (%rsp), %r13
movups 0x8(%r15), %xmm0
movaps %xmm0, 0xa0(%rsp)
movups 0x8(%rbx), %xmm0
movaps %xmm0, 0x40(%rsp)
movsd (%rbx), %xmm0
movaps %xmm0, 0x90(%rsp)
movsd (%r15), %xmm0
movapd %xmm0, 0x70(%rsp)
movl $0x18, %edi
callq 0x3290
movq %rax, %r14
movapd 0x90(%rsp), %xmm5
movapd %xmm5, %xmm0
movapd 0xa0(%rsp), %xmm4
mulsd %xmm4, %xmm0
movapd %xmm4, %xmm1
movapd 0x70(%rsp), %xmm3
shufpd $0x1, %xmm3, %xmm1      # xmm1 = xmm1[1],xmm3[0]
movapd 0x40(%rsp), %xmm2
mulsd %xmm2, %xmm3
subsd %xmm0, %xmm3
mulpd %xmm2, %xmm1
shufpd $0x1, %xmm5, %xmm2      # xmm2 = xmm2[1],xmm5[0]
mulpd %xmm4, %xmm2
subpd %xmm1, %xmm2
movupd %xmm2, (%rax)
movsd %xmm3, 0x10(%rax)
movq 0x30(%rsp), %rdx
cmpq %r12, %rdx
jne 0x9c61
testq %rdx, %rdx
movq 0x20(%rsp), %rcx
je 0x9ca7
xorl %eax, %eax
movsd (%r15,%rax,8), %xmm0
addsd (%r14,%rax,8), %xmm0
movsd %xmm0, (%rcx,%rax,8)
incq %rax
cmpq %rax, %rdx
jne 0x9c46
jmp 0x9cb0
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x9c70
callq 0x3270
leaq (,%r12,8), %rdi
callq 0x3290
testq %r12, %r12
je 0x9cb5
xorl %ecx, %ecx
movsd (%r15,%rcx,8), %xmm0
addsd (%r14,%rcx,8), %xmm0
movsd %xmm0, (%rax,%rcx,8)
incq %rcx
cmpq %rcx, %r12
jne 0x9c84
movq %rax, %rbp
movq %r12, 0x30(%rsp)
jmp 0x9cc1
movq $0x0, 0x30(%rsp)
movq %rcx, %rbp
jmp 0x9cc1
movq %rax, %rbp
movq $0x0, 0x30(%rsp)
movq %r14, %rdi
callq 0x3270
movups 0x8(%rbp), %xmm0
movaps %xmm0, 0xa0(%rsp)
movups 0x8(%r13), %xmm0
movaps %xmm0, 0x40(%rsp)
movsd (%r13), %xmm0
movaps %xmm0, 0x90(%rsp)
movq %rbp, 0x20(%rsp)
movsd (%rbp), %xmm0
movapd %xmm0, 0x70(%rsp)
movl $0x18, %edi
callq 0x3290
movq %rax, %r14
movapd 0x90(%rsp), %xmm5
movapd %xmm5, %xmm0
movapd 0xa0(%rsp), %xmm4
mulsd %xmm4, %xmm0
movapd %xmm4, %xmm1
movapd 0x70(%rsp), %xmm3
shufpd $0x1, %xmm3, %xmm1      # xmm1 = xmm1[1],xmm3[0]
movapd 0x40(%rsp), %xmm2
mulsd %xmm2, %xmm3
subsd %xmm0, %xmm3
mulpd %xmm2, %xmm1
shufpd $0x1, %xmm5, %xmm2      # xmm2 = xmm2[1],xmm5[0]
mulpd %xmm4, %xmm2
subpd %xmm1, %xmm2
movupd %xmm2, (%rax)
movsd %xmm3, 0x10(%rax)
movq 0x58(%rsp), %rbp
cmpq %r12, %rbp
jne 0x9d8c
testq %rbp, %rbp
je 0x9dcd
xorl %eax, %eax
movq 0x10(%rsp), %rcx
movsd (%r15,%rax,8), %xmm0
addsd (%r14,%rax,8), %xmm0
movsd %xmm0, (%rcx,%rax,8)
incq %rax
cmpq %rax, %rbp
jne 0x9d71
jmp 0x9ddb
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x9d9b
callq 0x3270
leaq (,%r12,8), %rdi
callq 0x3290
testq %r12, %r12
je 0x9dd6
xorl %ecx, %ecx
movsd (%r15,%rcx,8), %xmm0
addsd (%r14,%rcx,8), %xmm0
movsd %xmm0, (%rax,%rcx,8)
incq %rcx
cmpq %rcx, %r12
jne 0x9daf
movq %r12, %rbp
jmp 0x9dd8
xorl %ebp, %ebp
movq 0x10(%rsp), %rcx
jmp 0x9ddb
xorl %ebp, %ebp
movq %rax, %rcx
movq %rcx, 0x10(%rsp)
movq %r14, %rdi
callq 0x3270
movq 0x68(%rsp), %rcx
movq (%rcx), %rax
movq 0x8(%rcx), %rdx
subq %rax, %rdx
sarq $0x3, %rdx
movq 0x18(%rsp), %r8
cmpq %r8, %rdx
jbe 0x9f9a
movsd (%rax,%r8,8), %xmm1
mulsd 0x1209(%rip), %xmm1     # 0xb020
movq 0x88(%rsp), %rcx
movq (%rcx), %rax
movq 0x8(%rcx), %rdx
subq %rax, %rdx
sarq $0x4, %rdx
cmpq %r8, %rdx
jbe 0x9f9a
movq 0x80(%rsp), %rcx
movq (%rcx), %r14
movq 0xc0(%rsp), %rdx
addq %rdx, %r14
movq 0x60(%rsp), %rcx
movsd (%rcx), %xmm2
leaq (%rax,%rdx), %r13
cmpq %rbp, (%rax,%rdx)
jne 0x9e9d
testq %rbp, %rbp
movq 0x8(%rsp), %rdi
je 0x9f16
movq 0x8(%r13), %rax
movq 0x8(%r14), %rcx
xorl %edx, %edx
movq 0x10(%rsp), %rsi
movsd (%rcx,%rdx,8), %xmm0
mulsd %xmm1, %xmm0
mulsd %xmm2, %xmm0
addsd (%rsi,%rdx,8), %xmm0
movsd %xmm0, (%rax,%rdx,8)
incq %rdx
cmpq %rdx, %rbp
jne 0x9e7c
jmp 0x9f18
movsd %xmm2, 0x40(%rsp)
movsd %xmm1, 0x58(%rsp)
movq 0x8(%r13), %rdi
testq %rdi, %rdi
je 0x9eb7
callq 0x3270
movq %rbp, (%r13)
leaq (,%rbp,8), %rdi
callq 0x3290
movq %rax, 0x8(%r13)
movq (%r13), %rcx
testq %rcx, %rcx
movq 0x18(%rsp), %r8
movsd 0x58(%rsp), %xmm1
movsd 0x40(%rsp), %xmm2
je 0x9f1e
movq 0x8(%r14), %rdx
xorl %esi, %esi
movq (%rsp), %r13
movq 0x10(%rsp), %rdi
movsd (%rdx,%rsi,8), %xmm0
mulsd %xmm1, %xmm0
mulsd %xmm2, %xmm0
addsd (%rdi,%rsi,8), %xmm0
movsd %xmm0, (%rax,%rsi,8)
incq %rsi
cmpq %rsi, %rcx
jne 0x9ef5
jmp 0x9f22
xorl %ebp, %ebp
movq (%rsp), %r13
jmp 0x9f27
movq (%rsp), %r13
movq 0x8(%rsp), %rdi
incl %r8d
movq %rdi, %rax
movq %r12, %r14
movq 0xb0(%rsp), %rcx
cmpl (%rcx), %r8d
jb 0x97a8
jmp 0x9f5d
xorl %r15d, %r15d
xorl %ebx, %ebx
movq $0x0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
xorl %r13d, %r13d
movq 0x10(%rsp), %rdi
callq 0x3270
movq 0x20(%rsp), %rdi
callq 0x3270
movq %r15, %rdi
callq 0x3270
movq %r13, %rdi
callq 0x3270
movq %rbx, %rdi
addq $0xc8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x3270
leaq 0x13c4(%rip), %rdi      # 0xb365
movq %r8, %rsi
xorl %eax, %eax
callq 0x3380
leaq 0x13b3(%rip), %rdi      # 0xb365
movq %r8, %rsi
xorl %eax, %eax
callq 0x3380
leaq 0x13a2(%rip), %rdi      # 0xb365
movq %r8, %rsi
xorl %eax, %eax
callq 0x3380
leaq 0x1391(%rip), %rdi      # 0xb365
movq %r8, %rsi
xorl %eax, %eax
callq 0x3380
leaq 0x1380(%rip), %rdi      # 0xb365
movq %r8, %rsi
xorl %eax, %eax
callq 0x3380
jmp 0x9ff1
movq %rax, %rbp
movq %r14, %rdi
callq 0x3270
jmp 0xa01c
jmp 0xa015
jmp 0xa010
jmp 0xa015
jmp 0xa010
jmp 0xa010
jmp 0xa010
jmp 0xa015
jmp 0xa010
jmp 0xa015
movq %rax, %rbp
jmp 0xa01c
movq %rax, %rbp
movq (%rsp), %r13
movq 0x10(%rsp), %rdi
callq 0x3270
movq 0x20(%rsp), %rdi
callq 0x3270
movq %r15, %rdi
callq 0x3270
movq %r13, %rdi
callq 0x3270
movq %rbx, %rdi
callq 0x3270
movq %rbp, %rdi
callq 0x3460