// File: /workspace/github_c_makefile_star2_O0/agl[P]obstcp/curve25519/donna/smult.c
// Function: crecip
static void
crecip(felem *out, const felem *z) {
  felem z2[5];
  felem z9[5];
  felem z11[5];
  felem z2_5_0[5];
  felem z2_10_0[5];
  felem z2_20_0[5];
  felem z2_50_0[5];
  felem z2_100_0[5];
  felem t0[5];
  felem t1[5];
  int i;

  /* 2 */ fsquare(z2,z);
  /* 4 */ fsquare(t1,z2);
  /* 8 */ fsquare(t0,t1);
  /* 9 */ fmul(z9,t0,z);
  /* 11 */ fmul(z11,z9,z2);
  /* 22 */ fsquare(t0,z11);
  /* 2^5 - 2^0 = 31 */ fmul(z2_5_0,t0,z9);

  /* 2^6 - 2^1 */ fsquare(t0,z2_5_0);
  /* 2^7 - 2^2 */ fsquare(t1,t0);
  /* 2^8 - 2^3 */ fsquare(t0,t1);
  /* 2^9 - 2^4 */ fsquare(t1,t0);
  /* 2^10 - 2^5 */ fsquare(t0,t1);
  /* 2^10 - 2^0 */ fmul(z2_10_0,t0,z2_5_0);

  /* 2^11 - 2^1 */ fsquare(t0,z2_10_0);
  /* 2^12 - 2^2 */ fsquare(t1,t0);
  /* 2^20 - 2^10 */ for (i = 2;i < 10;i += 2) { fsquare(t0,t1); fsquare(t1,t0); }
  /* 2^20 - 2^0 */ fmul(z2_20_0,t1,z2_10_0);

  /* 2^21 - 2^1 */ fsquare(t0,z2_20_0);
  /* 2^22 - 2^2 */ fsquare(t1,t0);
  /* 2^40 - 2^20 */ for (i = 2;i < 20;i += 2) { fsquare(t0,t1); fsquare(t1,t0); }
  /* 2^40 - 2^0 */ fmul(t0,t1,z2_20_0);

  /* 2^41 - 2^1 */ fsquare(t1,t0);
  /* 2^42 - 2^2 */ fsquare(t0,t1);
  /* 2^50 - 2^10 */ for (i = 2;i < 10;i += 2) { fsquare(t1,t0); fsquare(t0,t1); }
  /* 2^50 - 2^0 */ fmul(z2_50_0,t0,z2_10_0);

  /* 2^51 - 2^1 */ fsquare(t0,z2_50_0);
  /* 2^52 - 2^2 */ fsquare(t1,t0);
  /* 2^100 - 2^50 */ for (i = 2;i < 50;i += 2) { fsquare(t0,t1); fsquare(t1,t0); }
  /* 2^100 - 2^0 */ fmul(z2_100_0,t1,z2_50_0);

  /* 2^101 - 2^1 */ fsquare(t1,z2_100_0);
  /* 2^102 - 2^2 */ fsquare(t0,t1);
  /* 2^200 - 2^100 */ for (i = 2;i < 100;i += 2) { fsquare(t1,t0); fsquare(t0,t1); }
  /* 2^200 - 2^0 */ fmul(t1,t0,z2_100_0);

  /* 2^201 - 2^1 */ fsquare(t0,t1);
  /* 2^202 - 2^2 */ fsquare(t1,t0);
  /* 2^250 - 2^50 */ for (i = 2;i < 50;i += 2) { fsquare(t0,t1); fsquare(t1,t0); }
  /* 2^250 - 2^0 */ fmul(t0,t1,z2_50_0);

  /* 2^251 - 2^1 */ fsquare(t1,t0);
  /* 2^252 - 2^2 */ fsquare(t0,t1);
  /* 2^253 - 2^3 */ fsquare(t1,t0);
  /* 2^254 - 2^4 */ fsquare(t0,t1);
  /* 2^255 - 2^5 */ fsquare(t1,t0);
  /* 2^255 - 21 */ fmul(out,t1,z11);
}

// Assembly:
subq $0x1f8, %rsp            # imm = 0x1F8
movq %rdi, 0x1f0(%rsp)
movq %rsi, 0x1e8(%rsp)
leaq 0x1c0(%rsp), %rdi
movq 0x1e8(%rsp), %rsi
callq 0xabcc
leaq 0x10(%rsp), %rdi
leaq 0x1c0(%rsp), %rsi
callq 0xabcc
leaq 0x40(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0xabcc
leaq 0x190(%rsp), %rdi
leaq 0x40(%rsp), %rsi
movq 0x1e8(%rsp), %rdx
callq 0xa89c
leaq 0x160(%rsp), %rdi
leaq 0x190(%rsp), %rsi
leaq 0x1c0(%rsp), %rdx
callq 0xa89c
leaq 0x40(%rsp), %rdi
leaq 0x160(%rsp), %rsi
callq 0xabcc
leaq 0x130(%rsp), %rdi
leaq 0x40(%rsp), %rsi
leaq 0x190(%rsp), %rdx
callq 0xa89c
leaq 0x40(%rsp), %rdi
leaq 0x130(%rsp), %rsi
callq 0xabcc
leaq 0x10(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0xabcc
leaq 0x40(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0xabcc
leaq 0x10(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0xabcc
leaq 0x40(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0xabcc
leaq 0x100(%rsp), %rdi
leaq 0x40(%rsp), %rsi
leaq 0x130(%rsp), %rdx
callq 0xa89c
leaq 0x40(%rsp), %rdi
leaq 0x100(%rsp), %rsi
callq 0xabcc
leaq 0x10(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0xabcc
movl $0x2, 0xc(%rsp)
cmpl $0xa, 0xc(%rsp)
jge 0xa5e3
leaq 0x40(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0xabcc
leaq 0x10(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0xabcc
movl 0xc(%rsp), %eax
addl $0x2, %eax
movl %eax, 0xc(%rsp)
jmp 0xa5b1
leaq 0xd0(%rsp), %rdi
leaq 0x10(%rsp), %rsi
leaq 0x100(%rsp), %rdx
callq 0xa89c
leaq 0x40(%rsp), %rdi
leaq 0xd0(%rsp), %rsi
callq 0xabcc
leaq 0x10(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0xabcc
movl $0x2, 0xc(%rsp)
cmpl $0x14, 0xc(%rsp)
jge 0xa658
leaq 0x40(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0xabcc
leaq 0x10(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0xabcc
movl 0xc(%rsp), %eax
addl $0x2, %eax
movl %eax, 0xc(%rsp)
jmp 0xa626
leaq 0x40(%rsp), %rdi
leaq 0x10(%rsp), %rsi
leaq 0xd0(%rsp), %rdx
callq 0xa89c
leaq 0x10(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0xabcc
leaq 0x40(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0xabcc
movl $0x2, 0xc(%rsp)
cmpl $0xa, 0xc(%rsp)
jge 0xa6c7
leaq 0x10(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0xabcc
leaq 0x40(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0xabcc
movl 0xc(%rsp), %eax
addl $0x2, %eax
movl %eax, 0xc(%rsp)
jmp 0xa695
leaq 0xa0(%rsp), %rdi
leaq 0x40(%rsp), %rsi
leaq 0x100(%rsp), %rdx
callq 0xa89c
leaq 0x40(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0xabcc
leaq 0x10(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0xabcc
movl $0x2, 0xc(%rsp)
cmpl $0x32, 0xc(%rsp)
jge 0xa73c
leaq 0x40(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0xabcc
leaq 0x10(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0xabcc
movl 0xc(%rsp), %eax
addl $0x2, %eax
movl %eax, 0xc(%rsp)
jmp 0xa70a
leaq 0x70(%rsp), %rdi
leaq 0x10(%rsp), %rsi
leaq 0xa0(%rsp), %rdx
callq 0xa89c
leaq 0x10(%rsp), %rdi
leaq 0x70(%rsp), %rsi
callq 0xabcc
leaq 0x40(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0xabcc
movl $0x2, 0xc(%rsp)
cmpl $0x64, 0xc(%rsp)
jge 0xa7ab
leaq 0x10(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0xabcc
leaq 0x40(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0xabcc
movl 0xc(%rsp), %eax
addl $0x2, %eax
movl %eax, 0xc(%rsp)
jmp 0xa779
leaq 0x10(%rsp), %rdi
leaq 0x40(%rsp), %rsi
leaq 0x70(%rsp), %rdx
callq 0xa89c
leaq 0x40(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0xabcc
leaq 0x10(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0xabcc
movl $0x2, 0xc(%rsp)
cmpl $0x32, 0xc(%rsp)
jge 0xa817
leaq 0x40(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0xabcc
leaq 0x10(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0xabcc
movl 0xc(%rsp), %eax
addl $0x2, %eax
movl %eax, 0xc(%rsp)
jmp 0xa7e5
leaq 0x40(%rsp), %rdi
leaq 0x10(%rsp), %rsi
leaq 0xa0(%rsp), %rdx
callq 0xa89c
leaq 0x10(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0xabcc
leaq 0x40(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0xabcc
leaq 0x10(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0xabcc
leaq 0x40(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0xabcc
leaq 0x10(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0xabcc
movq 0x1f0(%rsp), %rdi
leaq 0x10(%rsp), %rsi
leaq 0x160(%rsp), %rdx
callq 0xa89c
addq $0x1f8, %rsp            # imm = 0x1F8
retq
nop