// File: msotoodeh[P]asymmetric-passwords/common/curve25519/curve25519_mehdi.c
// Function: ecp_SubReduce
void ecp_SubReduce(U32* Z, const U32* X, const U32* Y) 
{
    M64 c;
    c.u32.hi = ecp_Sub(Z, X, Y) & 38;

    ECP_SUB_C0(Z[0], Z[0], c.u32.hi);
    ECP_SUB_C1(Z[1], Z[1]);
    ECP_SUB_C1(Z[2], Z[2]);
    ECP_SUB_C1(Z[3], Z[3]);
    ECP_SUB_C1(Z[4], Z[4]);
    ECP_SUB_C1(Z[5], Z[5]);
    ECP_SUB_C1(Z[6], Z[6]);
    ECP_SUB_C1(Z[7], Z[7]);

    ECP_SUB_C0(Z[0], Z[0], c.u32.hi & 38);
    ECP_SUB_C1(Z[1], Z[1]);
    ECP_SUB_C1(Z[2], Z[2]);
    ECP_SUB_C1(Z[3], Z[3]);
    ECP_SUB_C1(Z[4], Z[4]);
    ECP_SUB_C1(Z[5], Z[5]);
    ECP_SUB_C1(Z[6], Z[6]);
    ECP_SUB_C1(Z[7], Z[7]);
}

// Assembly:
subq $0x28, %rsp
movq %rdi, 0x20(%rsp)
movq %rsi, 0x18(%rsp)
movq %rdx, 0x10(%rsp)
movq 0x20(%rsp), %rdi
movq 0x18(%rsp), %rsi
movq 0x10(%rsp), %rdx
callq 0x40fd20
andl $0x26, %eax
movl %eax, 0xc(%rsp)
movq 0x20(%rsp), %rax
movl (%rax), %eax
movl 0xc(%rsp), %ecx
subq %rcx, %rax
movq %rax, 0x8(%rsp)
movl 0x8(%rsp), %ecx
movq 0x20(%rsp), %rax
movl %ecx, (%rax)
movq 0x20(%rsp), %rax
movl 0x4(%rax), %eax
movslq 0xc(%rsp), %rcx
addq %rcx, %rax
movq %rax, 0x8(%rsp)
movl 0x8(%rsp), %ecx
movq 0x20(%rsp), %rax
movl %ecx, 0x4(%rax)
movq 0x20(%rsp), %rax
movl 0x8(%rax), %eax
movslq 0xc(%rsp), %rcx
addq %rcx, %rax
movq %rax, 0x8(%rsp)
movl 0x8(%rsp), %ecx
movq 0x20(%rsp), %rax
movl %ecx, 0x8(%rax)
movq 0x20(%rsp), %rax
movl 0xc(%rax), %eax
movslq 0xc(%rsp), %rcx
addq %rcx, %rax
movq %rax, 0x8(%rsp)
movl 0x8(%rsp), %ecx
movq 0x20(%rsp), %rax
movl %ecx, 0xc(%rax)
movq 0x20(%rsp), %rax
movl 0x10(%rax), %eax
movslq 0xc(%rsp), %rcx
addq %rcx, %rax
movq %rax, 0x8(%rsp)
movl 0x8(%rsp), %ecx
movq 0x20(%rsp), %rax
movl %ecx, 0x10(%rax)
movq 0x20(%rsp), %rax
movl 0x14(%rax), %eax
movslq 0xc(%rsp), %rcx
addq %rcx, %rax
movq %rax, 0x8(%rsp)
movl 0x8(%rsp), %ecx
movq 0x20(%rsp), %rax
movl %ecx, 0x14(%rax)
movq 0x20(%rsp), %rax
movl 0x18(%rax), %eax
movslq 0xc(%rsp), %rcx
addq %rcx, %rax
movq %rax, 0x8(%rsp)
movl 0x8(%rsp), %ecx
movq 0x20(%rsp), %rax
movl %ecx, 0x18(%rax)
movq 0x20(%rsp), %rax
movl 0x1c(%rax), %eax
movslq 0xc(%rsp), %rcx
addq %rcx, %rax
movq %rax, 0x8(%rsp)
movl 0x8(%rsp), %ecx
movq 0x20(%rsp), %rax
movl %ecx, 0x1c(%rax)
movq 0x20(%rsp), %rax
movl (%rax), %eax
movl 0xc(%rsp), %ecx
andl $0x26, %ecx
movl %ecx, %ecx
subq %rcx, %rax
movq %rax, 0x8(%rsp)
movl 0x8(%rsp), %ecx
movq 0x20(%rsp), %rax
movl %ecx, (%rax)
movq 0x20(%rsp), %rax
movl 0x4(%rax), %eax
movslq 0xc(%rsp), %rcx
addq %rcx, %rax
movq %rax, 0x8(%rsp)
movl 0x8(%rsp), %ecx
movq 0x20(%rsp), %rax
movl %ecx, 0x4(%rax)
movq 0x20(%rsp), %rax
movl 0x8(%rax), %eax
movslq 0xc(%rsp), %rcx
addq %rcx, %rax
movq %rax, 0x8(%rsp)
movl 0x8(%rsp), %ecx
movq 0x20(%rsp), %rax
movl %ecx, 0x8(%rax)
movq 0x20(%rsp), %rax
movl 0xc(%rax), %eax
movslq 0xc(%rsp), %rcx
addq %rcx, %rax
movq %rax, 0x8(%rsp)
movl 0x8(%rsp), %ecx
movq 0x20(%rsp), %rax
movl %ecx, 0xc(%rax)
movq 0x20(%rsp), %rax
movl 0x10(%rax), %eax
movslq 0xc(%rsp), %rcx
addq %rcx, %rax
movq %rax, 0x8(%rsp)
movl 0x8(%rsp), %ecx
movq 0x20(%rsp), %rax
movl %ecx, 0x10(%rax)
movq 0x20(%rsp), %rax
movl 0x14(%rax), %eax
movslq 0xc(%rsp), %rcx
addq %rcx, %rax
movq %rax, 0x8(%rsp)
movl 0x8(%rsp), %ecx
movq 0x20(%rsp), %rax
movl %ecx, 0x14(%rax)
movq 0x20(%rsp), %rax
movl 0x18(%rax), %eax
movslq 0xc(%rsp), %rcx
addq %rcx, %rax
movq %rax, 0x8(%rsp)
movl 0x8(%rsp), %ecx
movq 0x20(%rsp), %rax
movl %ecx, 0x18(%rax)
movq 0x20(%rsp), %rax
movl 0x1c(%rax), %eax
movslq 0xc(%rsp), %rcx
addq %rcx, %rax
movq %rax, 0x8(%rsp)
movl 0x8(%rsp), %ecx
movq 0x20(%rsp), %rax
movl %ecx, 0x1c(%rax)
addq $0x28, %rsp
retq
nopw %cs:(%rax,%rax)