// File: /workspace/github_c_makefile_star2_O1/LoupVaillant[P]Monocypher-Utils/src/monocypher.c
// Function: fe_frombytes
static void fe_frombytes(fe h, const u8 s[32])
{
    i64 t0 =  load32_le(s);
    i64 t1 =  load24_le(s +  4) << 6;
    i64 t2 =  load24_le(s +  7) << 5;
    i64 t3 =  load24_le(s + 10) << 3;
    i64 t4 =  load24_le(s + 13) << 2;
    i64 t5 =  load32_le(s + 16);
    i64 t6 =  load24_le(s + 20) << 7;
    i64 t7 =  load24_le(s + 23) << 5;
    i64 t8 =  load24_le(s + 26) << 4;
    i64 t9 = (load24_le(s + 29) & 8388607) << 2;
    FE_CARRY;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rdi, -0x8(%rsp)
movl (%rsi), %r9d
movl 0x10(%rsi), %r8d
movzbl 0x4(%rsi), %ecx
movzbl 0x5(%rsi), %eax
movzbl 0x6(%rsi), %edx
shll $0x16, %edx
shll $0xe, %eax
shll $0x6, %ecx
orl %eax, %ecx
orl %edx, %ecx
movzbl 0x7(%rsi), %ebx
movzbl 0x8(%rsi), %eax
movzbl 0x9(%rsi), %edx
shll $0x15, %edx
shll $0xd, %eax
shll $0x5, %ebx
orl %eax, %ebx
orl %edx, %ebx
movzbl 0xa(%rsi), %eax
movzbl 0xb(%rsi), %edx
movzbl 0xc(%rsi), %edi
shll $0x13, %edi
shll $0xb, %edx
leal (%rdx,%rax,8), %eax
orl %edi, %eax
movq %rax, %r15
movq %rax, -0x18(%rsp)
movzbl 0xd(%rsi), %eax
movzbl 0xe(%rsi), %edx
movzbl 0xf(%rsi), %edi
shll $0x12, %edi
shll $0xa, %edx
leal (%rdx,%rax,4), %ebp
orl %edi, %ebp
movzbl 0x14(%rsi), %r12d
movzbl 0x15(%rsi), %eax
movzbl 0x16(%rsi), %edx
shll $0x17, %edx
shll $0xf, %eax
shll $0x7, %r12d
orl %eax, %r12d
orl %edx, %r12d
movzbl 0x17(%rsi), %r11d
movzbl 0x18(%rsi), %eax
movzbl 0x19(%rsi), %edx
shll $0x15, %edx
shll $0xd, %eax
shll $0x5, %r11d
orl %eax, %r11d
orl %edx, %r11d
movzbl 0x1a(%rsi), %r13d
movzbl 0x1b(%rsi), %eax
movzbl 0x1c(%rsi), %edx
shll $0x14, %edx
shll $0xc, %eax
shll $0x4, %r13d
orl %eax, %r13d
orl %edx, %r13d
movzbl 0x1d(%rsi), %eax
movzbl 0x1e(%rsi), %edx
movzbl 0x1f(%rsi), %r10d
shll $0xa, %edx
leal (%rdx,%rax,4), %eax
andl $0x7f, %r10d
shll $0x12, %r10d
orl %eax, %r10d
movl $0x1000000, %r14d       # imm = 0x1000000
leal (%r10,%r14), %eax
movl %eax, -0x1c(%rsp)
shrl $0x19, %eax
leaq (%rax,%rax,8), %rdx
leaq (%rax,%rdx,2), %rax
addq %r9, %rax
movq %rax, %rsi
leal (%rcx,%r14), %eax
movl %eax, %r9d
shrl $0x19, %r9d
addl %ebx, %r9d
andl $0x7e000000, %eax       # imm = 0x7E000000
subl %eax, %ecx
leal (%r15,%r14), %edx
movl %edx, %ebx
shrl $0x19, %ebx
addl %ebp, %ebx
movq %r8, %rdi
addq $0x1000000, %r8         # imm = 0x1000000
movq %r8, %r15
shrq $0x19, %r15
addq %r12, %r15
addl %r11d, %r14d
movl %r14d, %ebp
shrl $0x19, %ebp
addl %r13d, %ebp
movl $0x2000000, %r13d       # imm = 0x2000000
leaq (%rsi,%r13), %rax
movq %rax, %r12
shrq $0x1a, %r12
addl %ecx, %r12d
movl $0xfc000000, %ecx       # imm = 0xFC000000
andl %ecx, %eax
subl %eax, %esi
movq %rsi, -0x10(%rsp)
movl $0x2000000, %eax        # imm = 0x2000000
leal (%r9,%rax), %ecx
movl %ecx, %esi
shrl $0x1a, %esi
addl -0x18(%rsp), %esi
andl $0xe000000, %edx        # imm = 0xE000000
subl %edx, %esi
andl $0x7c000000, %ecx       # imm = 0x7C000000
subl %ecx, %r9d
leal (%rbx,%rax), %ecx
movl %ecx, %edx
shrl $0x1a, %edx
addl %edx, %edi
andl $0xfe000000, %r8d       # imm = 0xFE000000
subl %r8d, %edi
andl $0xc000000, %ecx        # imm = 0xC000000
subl %ecx, %ebx
addq %r15, %r13
movq %r13, %rdx
shrq $0x1a, %rdx
addl %r11d, %edx
andl $0x3e000000, %r14d      # imm = 0x3E000000
subl %r14d, %edx
movl $0xfc000000, %ecx       # imm = 0xFC000000
andl %ecx, %r13d
movl -0x1c(%rsp), %r8d
andl %eax, %r8d
subl %r13d, %r15d
addl %ebp, %eax
movl %eax, %ecx
shrl $0x1a, %ecx
addl %r10d, %ecx
subl %r8d, %ecx
andl $0x3c000000, %eax       # imm = 0x3C000000
subl %eax, %ebp
movq -0x8(%rsp), %rax
movq -0x10(%rsp), %r8
movl %r8d, (%rax)
movl %r12d, 0x4(%rax)
movl %r9d, 0x8(%rax)
movl %esi, 0xc(%rax)
movl %ebx, 0x10(%rax)
movl %edi, 0x14(%rax)
movl %r15d, 0x18(%rax)
movl %edx, 0x1c(%rax)
movl %ebp, 0x20(%rax)
movl %ecx, 0x24(%rax)
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq