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