// File: /workspace/github_c_makefile_star2_O0/joewalnes[P]verifysignature/verifysignature.c
// Function: fe_invert
void fe_invert(fe out,const fe z) {
    fe t0;
    fe t1;
    fe t2;
    fe t3;
    int i;

    fe_sq(t0,z);
    fe_sq(t1,t0); for (i = 1;i < 2;++i) fe_sq(t1,t1);
    fe_mul(t1,z,t1);
    fe_mul(t0,t0,t1);
    fe_sq(t2,t0);
    fe_mul(t1,t1,t2);
    fe_sq(t2,t1); for (i = 1;i < 5;++i) fe_sq(t2,t2);
    fe_mul(t1,t2,t1);
    fe_sq(t2,t1); for (i = 1;i < 10;++i) fe_sq(t2,t2);
    fe_mul(t2,t2,t1);
    fe_sq(t3,t2); for (i = 1;i < 20;++i) fe_sq(t3,t3);
    fe_mul(t2,t3,t2);
    fe_sq(t2,t2); for (i = 1;i < 10;++i) fe_sq(t2,t2);
    fe_mul(t1,t2,t1);
    fe_sq(t2,t1); for (i = 1;i < 50;++i) fe_sq(t2,t2);
    fe_mul(t2,t2,t1);
    fe_sq(t3,t2); for (i = 1;i < 100;++i) fe_sq(t3,t3);
    fe_mul(t2,t3,t2);
    fe_sq(t2,t2); for (i = 1;i < 50;++i) fe_sq(t2,t2);
    fe_mul(t1,t2,t1);
    fe_sq(t1,t1); for (i = 1;i < 5;++i) fe_sq(t1,t1);
    fe_mul(out,t1,t0);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xe0, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
leaq -0x40(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0xa830
leaq -0x70(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0xa830
movl $0x1, -0xd4(%rbp)
cmpl $0x2, -0xd4(%rbp)
jge 0xd57e
leaq -0x70(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xa830
movl -0xd4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xd4(%rbp)
jmp 0xd557
leaq -0x70(%rbp), %rdi
movq -0x10(%rbp), %rsi
leaq -0x70(%rbp), %rdx
callq 0xb2f0
leaq -0x40(%rbp), %rdi
leaq -0x40(%rbp), %rsi
leaq -0x70(%rbp), %rdx
callq 0xb2f0
leaq -0xa0(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0xa830
leaq -0x70(%rbp), %rdi
leaq -0x70(%rbp), %rsi
leaq -0xa0(%rbp), %rdx
callq 0xb2f0
leaq -0xa0(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xa830
movl $0x1, -0xd4(%rbp)
cmpl $0x5, -0xd4(%rbp)
jge 0xd60b
leaq -0xa0(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
callq 0xa830
movl -0xd4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xd4(%rbp)
jmp 0xd5de
leaq -0x70(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
leaq -0x70(%rbp), %rdx
callq 0xb2f0
leaq -0xa0(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xa830
movl $0x1, -0xd4(%rbp)
cmpl $0xa, -0xd4(%rbp)
jge 0xd666
leaq -0xa0(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
callq 0xa830
movl -0xd4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xd4(%rbp)
jmp 0xd639
leaq -0xa0(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
leaq -0x70(%rbp), %rdx
callq 0xb2f0
leaq -0xd0(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
callq 0xa830
movl $0x1, -0xd4(%rbp)
cmpl $0x14, -0xd4(%rbp)
jge 0xd6c7
leaq -0xd0(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
callq 0xa830
movl -0xd4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xd4(%rbp)
jmp 0xd69a
leaq -0xa0(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
leaq -0xa0(%rbp), %rdx
callq 0xb2f0
leaq -0xa0(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
callq 0xa830
movl $0x1, -0xd4(%rbp)
cmpl $0xa, -0xd4(%rbp)
jge 0xd72b
leaq -0xa0(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
callq 0xa830
movl -0xd4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xd4(%rbp)
jmp 0xd6fe
leaq -0x70(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
leaq -0x70(%rbp), %rdx
callq 0xb2f0
leaq -0xa0(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xa830
movl $0x1, -0xd4(%rbp)
cmpl $0x32, -0xd4(%rbp)
jge 0xd786
leaq -0xa0(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
callq 0xa830
movl -0xd4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xd4(%rbp)
jmp 0xd759
leaq -0xa0(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
leaq -0x70(%rbp), %rdx
callq 0xb2f0
leaq -0xd0(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
callq 0xa830
movl $0x1, -0xd4(%rbp)
cmpl $0x64, -0xd4(%rbp)
jge 0xd7e7
leaq -0xd0(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
callq 0xa830
movl -0xd4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xd4(%rbp)
jmp 0xd7ba
leaq -0xa0(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
leaq -0xa0(%rbp), %rdx
callq 0xb2f0
leaq -0xa0(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
callq 0xa830
movl $0x1, -0xd4(%rbp)
cmpl $0x32, -0xd4(%rbp)
jge 0xd84b
leaq -0xa0(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
callq 0xa830
movl -0xd4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xd4(%rbp)
jmp 0xd81e
leaq -0x70(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
leaq -0x70(%rbp), %rdx
callq 0xb2f0
leaq -0x70(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xa830
movl $0x1, -0xd4(%rbp)
cmpl $0x5, -0xd4(%rbp)
jge 0xd89d
leaq -0x70(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xa830
movl -0xd4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xd4(%rbp)
jmp 0xd876
movq -0x8(%rbp), %rdi
leaq -0x70(%rbp), %rsi
leaq -0x40(%rbp), %rdx
callq 0xb2f0
addq $0xe0, %rsp
popq %rbp
retq
nopw (%rax,%rax)