// File: /workspace/github_c_makefile_star2_O1/ioerror[P]csidh-reference-implementation/mont.c
// Function: xMUL
void xMUL(proj *Q, proj const *A, proj const *P, ui const *k)
{
    proj R = *P;
    const proj Pcopy = *P; /* in case Q = P */

    Q->x = fp_1;
    Q->z = fp_0;

    unsigned long i = 64 * LIMBS;
    while (--i && !ui_bit(k, i));

    do {

        bool bit = ui_bit(k, i);

        if (bit) { proj T = *Q; *Q = R; R = T; } /* not constant-time */
        //fp_cswap(&Q->x, &R.x, bit);
        //fp_cswap(&Q->z, &R.z, bit);

        xDBLADD(Q, &R, Q, &R, &Pcopy, A);

        if (bit) { proj T = *Q; *Q = R; R = T; } /* not constant-time */
        //fp_cswap(&Q->x, &R.x, bit);
        //fp_cswap(&Q->z, &R.z, bit);

    } while (i--);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x188, %rsp            # imm = 0x188
vmovups (%rdx), %ymm0
vmovups 0x20(%rdx), %ymm1
vmovups 0x40(%rdx), %ymm2
vmovups 0x60(%rdx), %ymm3
vmovups %ymm3, 0x60(%rsp)
vmovups %ymm2, 0x40(%rsp)
vmovups %ymm1, 0x20(%rsp)
vmovups %ymm0, (%rsp)
vmovups (%rdx), %ymm0
vmovups 0x20(%rdx), %ymm1
vmovups 0x40(%rdx), %ymm2
vmovups 0x60(%rdx), %ymm3
vmovups %ymm3, 0x160(%rsp)
vmovups %ymm2, 0x140(%rsp)
vmovups %ymm1, 0x120(%rsp)
vmovups %ymm0, 0x100(%rsp)
leaq 0x1773(%rip), %rax      # 0x4090
vmovups (%rax), %ymm0
vmovups 0x20(%rax), %ymm1
movq %rdi, %rbx
vmovups %ymm1, 0x20(%rdi)
vmovups %ymm0, (%rdi)
leaq 0x1717(%rip), %rax      # 0x4050
vmovups (%rax), %ymm0
vmovups 0x20(%rax), %ymm1
vmovups %ymm0, 0x40(%rdi)
movq %rcx, %r14
movq %rsi, %r15
vmovups %ymm1, 0x60(%rdi)
movl $0x1ff, %esi            # imm = 0x1FF
xorl %r12d, %r12d
movl $0x1ff, %r13d           # imm = 0x1FF
subq $0x1, %r13
jb 0x297e
movq %r14, %rdi
vzeroupper
callq 0x1224
movq %r13, %rsi
testb %al, %al
je 0x2960
incq %r13
movq %r13, %r12
movq %rsp, %r13
leaq 0x100(%rsp), %rbp
movq %r14, %rdi
movq %r12, %rsi
vzeroupper
callq 0x1224
testb %al, %al
je 0x2af3
vmovups (%rbx), %ymm0
vmovups 0x20(%rbx), %ymm1
vmovups 0x40(%rbx), %ymm2
vmovups 0x60(%rbx), %ymm3
vmovups %ymm3, 0xe0(%rsp)
vmovups %ymm2, 0xc0(%rsp)
vmovups %ymm1, 0xa0(%rsp)
vmovups %ymm0, 0x80(%rsp)
vmovups (%rsp), %ymm0
vmovups 0x20(%rsp), %ymm1
vmovups 0x40(%rsp), %ymm2
vmovups 0x60(%rsp), %ymm3
vmovups %ymm3, 0x60(%rbx)
vmovups %ymm2, 0x40(%rbx)
vmovups %ymm1, 0x20(%rbx)
vmovups %ymm0, (%rbx)
vmovups 0x80(%rsp), %ymm0
vmovups 0xa0(%rsp), %ymm1
vmovups 0xc0(%rsp), %ymm2
vmovups 0xe0(%rsp), %ymm3
vmovups %ymm3, 0x60(%rsp)
vmovups %ymm2, 0x40(%rsp)
vmovups %ymm1, 0x20(%rsp)
vmovups %ymm0, (%rsp)
movq %rbx, %rdi
movq %r13, %rsi
movq %rbx, %rdx
movq %r13, %rcx
movq %rbp, %r8
movq %r15, %r9
vzeroupper
callq 0x2524
vmovups (%rbx), %ymm0
vmovups 0x20(%rbx), %ymm1
vmovups 0x40(%rbx), %ymm2
vmovups 0x60(%rbx), %ymm3
vmovups %ymm3, 0xe0(%rsp)
vmovups %ymm2, 0xc0(%rsp)
vmovups %ymm1, 0xa0(%rsp)
vmovups %ymm0, 0x80(%rsp)
vmovups (%rsp), %ymm0
vmovups 0x20(%rsp), %ymm1
vmovups 0x40(%rsp), %ymm2
vmovups 0x60(%rsp), %ymm3
vmovups %ymm3, 0x60(%rbx)
vmovups %ymm2, 0x40(%rbx)
vmovups %ymm1, 0x20(%rbx)
vmovups %ymm0, (%rbx)
vmovups 0x80(%rsp), %ymm0
vmovups 0xa0(%rsp), %ymm1
vmovups 0xc0(%rsp), %ymm2
vmovups 0xe0(%rsp), %ymm3
vmovups %ymm3, 0x60(%rsp)
vmovups %ymm2, 0x40(%rsp)
vmovups %ymm1, 0x20(%rsp)
vmovups %ymm0, (%rsp)
jmp 0x2b0a
movq %rbx, %rdi
movq %r13, %rsi
movq %rbx, %rdx
movq %r13, %rcx
movq %rbp, %r8
movq %r15, %r9
callq 0x2524
addq $-0x1, %r12
jb 0x2989
addq $0x188, %rsp            # imm = 0x188
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
vzeroupper
retq