// File: /workspace/github_c_makefile_star2_O0/oreparaz[P]dudect/examples/donna/curve25519-donna.c
// Function: crecip
static void
crecip(limb *out, const limb *z) {
  limb z2[10];
  limb z9[10];
  limb z11[10];
  limb z2_5_0[10];
  limb z2_10_0[10];
  limb z2_20_0[10];
  limb z2_50_0[10];
  limb z2_100_0[10];
  limb t0[10];
  limb t1[10];
  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 $0x348, %rsp            # imm = 0x348
movq %rdi, 0x340(%rsp)
movq %rsi, 0x338(%rsp)
leaq 0x2e0(%rsp), %rdi
movq 0x338(%rsp), %rsi
callq 0x4b20
leaq 0x10(%rsp), %rdi
leaq 0x2e0(%rsp), %rsi
callq 0x4b20
leaq 0x60(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x4b20
leaq 0x290(%rsp), %rdi
leaq 0x60(%rsp), %rsi
movq 0x338(%rsp), %rdx
callq 0x2dd0
leaq 0x240(%rsp), %rdi
leaq 0x290(%rsp), %rsi
leaq 0x2e0(%rsp), %rdx
callq 0x2dd0
leaq 0x60(%rsp), %rdi
leaq 0x240(%rsp), %rsi
callq 0x4b20
leaq 0x1f0(%rsp), %rdi
leaq 0x60(%rsp), %rsi
leaq 0x290(%rsp), %rdx
callq 0x2dd0
leaq 0x60(%rsp), %rdi
leaq 0x1f0(%rsp), %rsi
callq 0x4b20
leaq 0x10(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x4b20
leaq 0x60(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x4b20
leaq 0x10(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x4b20
leaq 0x60(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x4b20
leaq 0x1a0(%rsp), %rdi
leaq 0x60(%rsp), %rsi
leaq 0x1f0(%rsp), %rdx
callq 0x2dd0
leaq 0x60(%rsp), %rdi
leaq 0x1a0(%rsp), %rsi
callq 0x4b20
leaq 0x10(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x4b20
movl $0x2, 0xc(%rsp)
cmpl $0xa, 0xc(%rsp)
jge 0x2b03
leaq 0x60(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x4b20
leaq 0x10(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x4b20
movl 0xc(%rsp), %eax
addl $0x2, %eax
movl %eax, 0xc(%rsp)
jmp 0x2ad1
leaq 0x150(%rsp), %rdi
leaq 0x10(%rsp), %rsi
leaq 0x1a0(%rsp), %rdx
callq 0x2dd0
leaq 0x60(%rsp), %rdi
leaq 0x150(%rsp), %rsi
callq 0x4b20
leaq 0x10(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x4b20
movl $0x2, 0xc(%rsp)
cmpl $0x14, 0xc(%rsp)
jge 0x2b78
leaq 0x60(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x4b20
leaq 0x10(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x4b20
movl 0xc(%rsp), %eax
addl $0x2, %eax
movl %eax, 0xc(%rsp)
jmp 0x2b46
leaq 0x60(%rsp), %rdi
leaq 0x10(%rsp), %rsi
leaq 0x150(%rsp), %rdx
callq 0x2dd0
leaq 0x10(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x4b20
leaq 0x60(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x4b20
movl $0x2, 0xc(%rsp)
cmpl $0xa, 0xc(%rsp)
jge 0x2be7
leaq 0x10(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x4b20
leaq 0x60(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x4b20
movl 0xc(%rsp), %eax
addl $0x2, %eax
movl %eax, 0xc(%rsp)
jmp 0x2bb5
leaq 0x100(%rsp), %rdi
leaq 0x60(%rsp), %rsi
leaq 0x1a0(%rsp), %rdx
callq 0x2dd0
leaq 0x60(%rsp), %rdi
leaq 0x100(%rsp), %rsi
callq 0x4b20
leaq 0x10(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x4b20
movl $0x2, 0xc(%rsp)
cmpl $0x32, 0xc(%rsp)
jge 0x2c5c
leaq 0x60(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x4b20
leaq 0x10(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x4b20
movl 0xc(%rsp), %eax
addl $0x2, %eax
movl %eax, 0xc(%rsp)
jmp 0x2c2a
leaq 0xb0(%rsp), %rdi
leaq 0x10(%rsp), %rsi
leaq 0x100(%rsp), %rdx
callq 0x2dd0
leaq 0x10(%rsp), %rdi
leaq 0xb0(%rsp), %rsi
callq 0x4b20
leaq 0x60(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x4b20
movl $0x2, 0xc(%rsp)
cmpl $0x64, 0xc(%rsp)
jge 0x2cd1
leaq 0x10(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x4b20
leaq 0x60(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x4b20
movl 0xc(%rsp), %eax
addl $0x2, %eax
movl %eax, 0xc(%rsp)
jmp 0x2c9f
leaq 0x10(%rsp), %rdi
leaq 0x60(%rsp), %rsi
leaq 0xb0(%rsp), %rdx
callq 0x2dd0
leaq 0x60(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x4b20
leaq 0x10(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x4b20
movl $0x2, 0xc(%rsp)
cmpl $0x32, 0xc(%rsp)
jge 0x2d40
leaq 0x60(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x4b20
leaq 0x10(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x4b20
movl 0xc(%rsp), %eax
addl $0x2, %eax
movl %eax, 0xc(%rsp)
jmp 0x2d0e
leaq 0x60(%rsp), %rdi
leaq 0x10(%rsp), %rsi
leaq 0x100(%rsp), %rdx
callq 0x2dd0
leaq 0x10(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x4b20
leaq 0x60(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x4b20
leaq 0x10(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x4b20
leaq 0x60(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x4b20
leaq 0x10(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x4b20
movq 0x340(%rsp), %rdi
leaq 0x10(%rsp), %rsi
leaq 0x240(%rsp), %rdx
callq 0x2dd0
addq $0x348, %rsp            # imm = 0x348
retq
nopw %cs:(%rax,%rax)