// File: /workspace/github_c_makefile_star2_O0/skeeto[P]enchive/src/curve25519-donna.c
// Function: fsquare_inner
static void
fsquare_inner(int64_t *output, const int64_t *in)
{
  output[0] =       ((int64_t) ((int32_t) in[0])) * ((int32_t) in[0]);
  output[1] =  2 *  ((int64_t) ((int32_t) in[0])) * ((int32_t) in[1]);
  output[2] =  2 * (((int64_t) ((int32_t) in[1])) * ((int32_t) in[1]) +
                    ((int64_t) ((int32_t) in[0])) * ((int32_t) in[2]));
  output[3] =  2 * (((int64_t) ((int32_t) in[1])) * ((int32_t) in[2]) +
                    ((int64_t) ((int32_t) in[0])) * ((int32_t) in[3]));
  output[4] =       ((int64_t) ((int32_t) in[2])) * ((int32_t) in[2]) +
               4 *  ((int64_t) ((int32_t) in[1])) * ((int32_t) in[3]) +
               2 *  ((int64_t) ((int32_t) in[0])) * ((int32_t) in[4]);
  output[5] =  2 * (((int64_t) ((int32_t) in[2])) * ((int32_t) in[3]) +
                    ((int64_t) ((int32_t) in[1])) * ((int32_t) in[4]) +
                    ((int64_t) ((int32_t) in[0])) * ((int32_t) in[5]));
  output[6] =  2 * (((int64_t) ((int32_t) in[3])) * ((int32_t) in[3]) +
                    ((int64_t) ((int32_t) in[2])) * ((int32_t) in[4]) +
                    ((int64_t) ((int32_t) in[0])) * ((int32_t) in[6]) +
               2 *  ((int64_t) ((int32_t) in[1])) * ((int32_t) in[5]));
  output[7] =  2 * (((int64_t) ((int32_t) in[3])) * ((int32_t) in[4]) +
                    ((int64_t) ((int32_t) in[2])) * ((int32_t) in[5]) +
                    ((int64_t) ((int32_t) in[1])) * ((int32_t) in[6]) +
                    ((int64_t) ((int32_t) in[0])) * ((int32_t) in[7]));
  output[8] =       ((int64_t) ((int32_t) in[4])) * ((int32_t) in[4]) +
               2 * (((int64_t) ((int32_t) in[2])) * ((int32_t) in[6]) +
                    ((int64_t) ((int32_t) in[0])) * ((int32_t) in[8]) +
               2 * (((int64_t) ((int32_t) in[1])) * ((int32_t) in[7]) +
                    ((int64_t) ((int32_t) in[3])) * ((int32_t) in[5])));
  output[9] =  2 * (((int64_t) ((int32_t) in[4])) * ((int32_t) in[5]) +
                    ((int64_t) ((int32_t) in[3])) * ((int32_t) in[6]) +
                    ((int64_t) ((int32_t) in[2])) * ((int32_t) in[7]) +
                    ((int64_t) ((int32_t) in[1])) * ((int32_t) in[8]) +
                    ((int64_t) ((int32_t) in[0])) * ((int32_t) in[9]));
  output[10] = 2 * (((int64_t) ((int32_t) in[5])) * ((int32_t) in[5]) +
                    ((int64_t) ((int32_t) in[4])) * ((int32_t) in[6]) +
                    ((int64_t) ((int32_t) in[2])) * ((int32_t) in[8]) +
               2 * (((int64_t) ((int32_t) in[3])) * ((int32_t) in[7]) +
                    ((int64_t) ((int32_t) in[1])) * ((int32_t) in[9])));
  output[11] = 2 * (((int64_t) ((int32_t) in[5])) * ((int32_t) in[6]) +
                    ((int64_t) ((int32_t) in[4])) * ((int32_t) in[7]) +
                    ((int64_t) ((int32_t) in[3])) * ((int32_t) in[8]) +
                    ((int64_t) ((int32_t) in[2])) * ((int32_t) in[9]));
  output[12] =      ((int64_t) ((int32_t) in[6])) * ((int32_t) in[6]) +
               2 * (((int64_t) ((int32_t) in[4])) * ((int32_t) in[8]) +
               2 * (((int64_t) ((int32_t) in[5])) * ((int32_t) in[7]) +
                    ((int64_t) ((int32_t) in[3])) * ((int32_t) in[9])));
  output[13] = 2 * (((int64_t) ((int32_t) in[6])) * ((int32_t) in[7]) +
                    ((int64_t) ((int32_t) in[5])) * ((int32_t) in[8]) +
                    ((int64_t) ((int32_t) in[4])) * ((int32_t) in[9]));
  output[14] = 2 * (((int64_t) ((int32_t) in[7])) * ((int32_t) in[7]) +
                    ((int64_t) ((int32_t) in[6])) * ((int32_t) in[8]) +
               2 *  ((int64_t) ((int32_t) in[5])) * ((int32_t) in[9]));
  output[15] = 2 * (((int64_t) ((int32_t) in[7])) * ((int32_t) in[8]) +
                    ((int64_t) ((int32_t) in[6])) * ((int32_t) in[9]));
  output[16] =      ((int64_t) ((int32_t) in[8])) * ((int32_t) in[8]) +
               4 *  ((int64_t) ((int32_t) in[7])) * ((int32_t) in[9]);
  output[17] = 2 *  ((int64_t) ((int32_t) in[8])) * ((int32_t) in[9]);
  output[18] = 2 *  ((int64_t) ((int32_t) in[9])) * ((int32_t) in[9]);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq (%rax), %rax
movslq %eax, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
cltq
imulq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, (%rax)
movq -0x10(%rbp), %rax
movq (%rax), %rax
movslq %eax, %rcx
shlq %rcx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x8(%rax)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movslq %eax, %rcx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x10(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movslq %eax, %rcx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x18(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movslq %eax, %rcx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
cltq
shlq $0x2, %rax
movq -0x10(%rbp), %rdx
movq 0x18(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
cltq
shlq %rax
movq -0x10(%rbp), %rdx
movq 0x20(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x20(%rax)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movslq %eax, %rcx
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x20(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x28(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movslq %eax, %rcx
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x20(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x30(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
cltq
shlq %rax
movq -0x10(%rbp), %rdx
movq 0x28(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x30(%rax)
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movslq %eax, %rcx
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x28(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x30(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x38(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x38(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movslq %eax, %rcx
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x30(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
movq -0x10(%rbp), %rdx
movq (%rdx), %rdx
movslq %edx, %rdx
movq -0x10(%rbp), %rsi
movq 0x40(%rsi), %rsi
movslq %esi, %rsi
imulq %rsi, %rdx
addq %rdx, %rax
movq -0x10(%rbp), %rdx
movq 0x8(%rdx), %rdx
movslq %edx, %rdx
movq -0x10(%rbp), %rsi
movq 0x38(%rsi), %rsi
movslq %esi, %rsi
imulq %rsi, %rdx
movq -0x10(%rbp), %rsi
movq 0x18(%rsi), %rsi
movslq %esi, %rsi
movq -0x10(%rbp), %rdi
movq 0x28(%rdi), %rdi
movslq %edi, %rdi
imulq %rdi, %rsi
addq %rsi, %rdx
shlq %rdx
addq %rdx, %rax
shlq %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x40(%rax)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movslq %eax, %rcx
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x30(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x38(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x40(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq (%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x48(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x48(%rax)
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movslq %eax, %rcx
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x30(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x40(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x38(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
movq -0x10(%rbp), %rdx
movq 0x8(%rdx), %rdx
movslq %edx, %rdx
movq -0x10(%rbp), %rsi
movq 0x48(%rsi), %rsi
movslq %esi, %rsi
imulq %rsi, %rdx
addq %rdx, %rax
shlq %rax
addq %rax, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x50(%rax)
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movslq %eax, %rcx
movq -0x10(%rbp), %rax
movq 0x30(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x38(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x40(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x48(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x58(%rax)
movq -0x10(%rbp), %rax
movq 0x30(%rax), %rax
movslq %eax, %rcx
movq -0x10(%rbp), %rax
movq 0x30(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x40(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
movq -0x10(%rbp), %rdx
movq 0x28(%rdx), %rdx
movslq %edx, %rdx
movq -0x10(%rbp), %rsi
movq 0x38(%rsi), %rsi
movslq %esi, %rsi
imulq %rsi, %rdx
movq -0x10(%rbp), %rsi
movq 0x18(%rsi), %rsi
movslq %esi, %rsi
movq -0x10(%rbp), %rdi
movq 0x48(%rdi), %rdi
movslq %edi, %rdi
imulq %rdi, %rsi
addq %rsi, %rdx
shlq %rdx
addq %rdx, %rax
shlq %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x60(%rax)
movq -0x10(%rbp), %rax
movq 0x30(%rax), %rax
movslq %eax, %rcx
movq -0x10(%rbp), %rax
movq 0x38(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x40(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x48(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x68(%rax)
movq -0x10(%rbp), %rax
movq 0x38(%rax), %rax
movslq %eax, %rcx
movq -0x10(%rbp), %rax
movq 0x38(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x30(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x40(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
cltq
shlq %rax
movq -0x10(%rbp), %rdx
movq 0x48(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x70(%rax)
movq -0x10(%rbp), %rax
movq 0x38(%rax), %rax
movslq %eax, %rcx
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x30(%rax), %rax
cltq
movq -0x10(%rbp), %rdx
movq 0x48(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x78(%rax)
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
movslq %eax, %rcx
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x10(%rbp), %rax
movq 0x38(%rax), %rax
cltq
shlq $0x2, %rax
movq -0x10(%rbp), %rdx
movq 0x48(%rdx), %rdx
movslq %edx, %rdx
imulq %rdx, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x80(%rax)
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
movslq %eax, %rcx
shlq %rcx
movq -0x10(%rbp), %rax
movq 0x48(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x88(%rax)
movq -0x10(%rbp), %rax
movq 0x48(%rax), %rax
movslq %eax, %rcx
shlq %rcx
movq -0x10(%rbp), %rax
movq 0x48(%rax), %rax
cltq
imulq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x90(%rax)
popq %rbp
retq
nop