// File: /workspace/github_c_makefile_star2_O1/oreparaz[P]dudect/examples/donna/curve25519-donna.c
// Function: fsquare
static void
fsquare(limb *output, const limb *in) {
  limb t[19];
  fsquare_inner(t, in);
  /* |t[i]| < 14*2^54 because the largest product of two limbs will be <
   * 2^(27+27) and fsquare_inner adds together, at most, 14 of those
   * products. */
  freduce_degree(t);
  freduce_coefficients(t);
  /* |t[i]| < 2^26 */
  memcpy(output, t, sizeof(limb) * 10);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x98, %rsp
movq %rdi, %rbx
movslq (%rsi), %r10
movq %r10, %rax
imulq %r10, %rax
movq %rsp, %r14
movq %rax, (%r14)
leaq (%r10,%r10), %rdx
movq 0x8(%rsi), %r11
movslq %r11d, %r8
shlq $0x20, %r11
movq %r8, %rax
imulq %rdx, %rax
movq %rax, 0x8(%r14)
movq %r8, %rax
imulq %r8, %rax
movslq 0x10(%rsi), %rcx
movq %rcx, %rdi
imulq %r10, %rdi
addq %rax, %rdi
addq %rdi, %rdi
movq %rdi, 0x10(%r14)
movq %rcx, %rdi
imulq %r8, %rdi
movslq 0x18(%rsi), %rax
movq %rax, %r9
imulq %r10, %r9
addq %rdi, %r9
addq %r9, %r9
movq %r9, 0x18(%r14)
movq %rcx, %rdi
imulq %rcx, %rdi
movq %r11, %r15
sarq $0x1e, %r15
imulq %rax, %r15
movslq 0x20(%rsi), %r9
imulq %r9, %rdx
addq %rdi, %rdx
addq %r15, %rdx
movq %rdx, 0x20(%r14)
movq %rax, %rdi
imulq %rcx, %rdi
movq %r9, %r15
imulq %r8, %r15
movslq 0x28(%rsi), %rdx
movq %rdx, %r12
imulq %r10, %r12
addq %rdi, %r12
addq %r15, %r12
addq %r12, %r12
movq %r12, 0x28(%r14)
movq %rax, %rdi
imulq %rax, %rdi
movq %r9, %r15
imulq %rcx, %r15
addq %rdi, %r15
movslq 0x30(%rsi), %rdi
movq %rdi, %r12
imulq %r10, %r12
addq %r15, %r12
sarq $0x1f, %r11
imulq %rdx, %r11
addq %r12, %r11
addq %r11, %r11
movq %r11, 0x30(%r14)
movq %r9, %r11
imulq %rax, %r11
movq %rdx, %r15
imulq %rcx, %r15
addq %r11, %r15
movq %rdi, %r12
imulq %r8, %r12
addq %r15, %r12
movslq 0x38(%rsi), %r11
movq %r11, %r15
imulq %r10, %r15
addq %r12, %r15
addq %r15, %r15
movq %r15, 0x38(%r14)
movq %rdi, %r12
imulq %rcx, %r12
movslq 0x40(%rsi), %r15
movq %r15, %r13
imulq %r10, %r13
addq %r12, %r13
movq %r11, %r12
imulq %r8, %r12
movq %rdx, %rbp
imulq %rax, %rbp
addq %r12, %rbp
movq %r9, %r12
imulq %r9, %r12
leaq (%r12,%rbp,4), %r12
leaq (%r12,%r13,2), %r12
movq %r12, 0x40(%r14)
movq %rdx, %r12
imulq %r9, %r12
movq %rdi, %r13
imulq %rax, %r13
addq %r12, %r13
movq %r11, %r12
imulq %rcx, %r12
addq %r13, %r12
movq %r15, %r13
imulq %r8, %r13
movslq 0x48(%rsi), %rsi
imulq %rsi, %r10
addq %r13, %r10
addq %r12, %r10
addq %r10, %r10
movq %r10, 0x48(%r14)
movq %rdx, %r10
imulq %rdx, %r10
movq %rdi, %r12
imulq %r9, %r12
addq %r10, %r12
movq %r15, %r10
imulq %rcx, %r10
addq %r12, %r10
movq %r11, %r12
imulq %rax, %r12
imulq %rsi, %r8
addq %r12, %r8
addq %r10, %r10
leaq (%r10,%r8,4), %r8
movq %r8, 0x50(%r14)
movq %rdi, %r8
imulq %rdx, %r8
movq %r11, %r10
imulq %r9, %r10
addq %r8, %r10
movq %r15, %r8
imulq %rax, %r8
imulq %rsi, %rcx
addq %r8, %rcx
addq %r10, %rcx
addq %rcx, %rcx
movq %rcx, 0x58(%r14)
movq %rdi, %rcx
imulq %rdi, %rcx
movq %r11, %r8
imulq %rdx, %r8
imulq %rsi, %rax
addq %r8, %rax
movq %rsi, %r8
imulq %r9, %r8
imulq %r15, %r9
leaq (%rcx,%r9,2), %rcx
leaq (%rcx,%rax,4), %rax
movq %rax, 0x60(%r14)
movq %r11, %rax
imulq %rdi, %rax
movq %r15, %rcx
imulq %rdx, %rcx
addq %rax, %rcx
addq %r8, %rcx
addq %rcx, %rcx
movq %rcx, 0x68(%r14)
movq %r11, %rax
imulq %r11, %rax
movq %r15, %rcx
imulq %rdi, %rcx
addq %rax, %rcx
imulq %rsi, %rdx
leaq (%rcx,%rdx,2), %rax
addq %rax, %rax
movq %rax, 0x70(%r14)
movq %r15, %rax
imulq %r11, %rax
imulq %rsi, %rdi
addq %rax, %rdi
addq %rdi, %rdi
movq %rdi, 0x78(%r14)
movq %r15, %rax
imulq %r15, %rax
imulq %rsi, %r11
leaq (%rax,%r11,4), %rax
movq %rax, 0x80(%r14)
imulq %rsi, %r15
addq %r15, %r15
movq %r15, 0x88(%r14)
imulq %rsi, %rsi
addq %rsi, %rsi
movq %rsi, 0x90(%r14)
movq %r14, %rdi
callq 0x30e3
movq %r14, %rdi
callq 0x31c8
movl $0xa, %ecx
movq %rbx, %rdi
movq %r14, %rsi
rep  movsq (%rsi), %es:(%rdi)
addq $0x98, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq