// File: /workspace/github_cpp_makefile_star2_O2/occivink[P]pyct/monocypher.cpp
// Function: fe_frombytes_mask(int*, unsigned char const*, unsigned int)
static void fe_frombytes_mask(fe h, const u8 s[32], unsigned nb_mask)
{
    i32 mask = 0xffffff >> nb_mask;
    i64 t0 =  load32_le(s);                        // t0 < 2^32
    i64 t1 =  load24_le(s +  4) << 6;              // t1 < 2^30
    i64 t2 =  load24_le(s +  7) << 5;              // t2 < 2^29
    i64 t3 =  load24_le(s + 10) << 3;              // t3 < 2^27
    i64 t4 =  load24_le(s + 13) << 2;              // t4 < 2^26
    i64 t5 =  load32_le(s + 16);                   // t5 < 2^32
    i64 t6 =  load24_le(s + 20) << 7;              // t6 < 2^31
    i64 t7 =  load24_le(s + 23) << 5;              // t7 < 2^29
    i64 t8 =  load24_le(s + 26) << 4;              // t8 < 2^28
    i64 t9 = (load24_le(s + 29) & mask) << 2;      // t9 < 2^25
    FE_CARRY;                                      // Carry precondition OK
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movl %edx, %ecx
movq %rdi, %r10
movl $0xffffff, %eax         # imm = 0xFFFFFF
shrl %cl, %eax
movl (%rsi), %edi
movzwl 0x4(%rsi), %r9d
movzbl 0x6(%rsi), %ecx
shll $0x16, %ecx
shll $0x6, %r9d
orl %ecx, %r9d
movzwl 0x7(%rsi), %r14d
movzbl 0x9(%rsi), %ecx
shll $0x15, %ecx
shll $0x5, %r14d
orl %ecx, %r14d
movzwl 0xa(%rsi), %ecx
movzbl 0xc(%rsi), %edx
shll $0x13, %edx
leal (%rdx,%rcx,8), %ecx
movl %ecx, -0x1c(%rsp)
movzwl 0xd(%rsi), %ecx
movzbl 0xf(%rsi), %edx
shll $0x12, %edx
leal (%rdx,%rcx,4), %ebx
movzwl 0x14(%rsi), %r13d
movzbl 0x16(%rsi), %ecx
shll $0x17, %ecx
shll $0x7, %r13d
orl %ecx, %r13d
movzwl 0x17(%rsi), %r12d
movzbl 0x19(%rsi), %ecx
shll $0x15, %ecx
shll $0x5, %r12d
orl %ecx, %r12d
movzwl 0x1a(%rsi), %r11d
movzbl 0x1c(%rsi), %ecx
shll $0x14, %ecx
shll $0x4, %r11d
orl %ecx, %r11d
movzwl 0x1d(%rsi), %ecx
movzbl 0x1f(%rsi), %r8d
shll $0x10, %r8d
orl %ecx, %r8d
andl %eax, %r8d
movl $0x2000000, %edx        # imm = 0x2000000
movq %rdi, %rcx
leaq (%rdi,%rdx), %rax
movq %rax, %rdi
shrq $0x1a, %rdi
andq $-0x4000000, %rax       # imm = 0xFC000000
subq %rax, %rcx
movq %rcx, -0x8(%rsp)
addl %r9d, %edi
leaq (%rbx,%rdx), %rax
movl %eax, %ecx
andl $0x4000000, %eax        # imm = 0x4000000
subq %rax, %rbx
movq %rbx, -0x10(%rsp)
movl $0x1000000, %ebx        # imm = 0x1000000
leal (%rdi,%rbx), %eax
movl %eax, %r9d
shrl $0x19, %r9d
addl %r14d, %r9d
movl $0xfe000000, %ebp       # imm = 0xFE000000
andl %ebp, %eax
movl $0xfe000000, %r14d      # imm = 0xFE000000
subl %eax, %edi
movl 0x10(%rsi), %eax
shrl $0x1a, %ecx
leaq (%rcx,%rax), %r15
addq %rcx, %rax
addq $0x1000000, %rax        # imm = 0x1000000
movq %rax, %rsi
shrq $0x19, %rsi
addq %r13, %rsi
andl %r14d, %eax
subl %eax, %r15d
movq %r15, -0x18(%rsp)
movl $0x2000000, %eax        # imm = 0x2000000
leal (%r9,%rax), %ecx
movl %ecx, %r14d
shrl $0x1a, %r14d
addl -0x1c(%rsp), %r14d
andl $0x7c000000, %ecx       # imm = 0x7C000000
subl %ecx, %r9d
leaq (%rsi,%rdx), %r13
movq %r13, %rcx
movl $0xfc000000, %r15d      # imm = 0xFC000000
andl %r15d, %r13d
subl %r13d, %esi
shrq $0x1a, %rcx
addl %r12d, %ecx
leal (%r14,%rbx), %r13d
movl %r13d, %r12d
shrl $0x19, %r12d
addq -0x10(%rsp), %r12
andl $0x1e000000, %r13d      # imm = 0x1E000000
subl %r13d, %r14d
leal (%rcx,%rbx), %r13d
movl %r13d, %r15d
shrl $0x19, %r15d
addl %r11d, %r15d
movl $0xfe000000, %r11d      # imm = 0xFE000000
andl %r11d, %r13d
subl %r13d, %ecx
leaq (%r12,%rdx), %r13
movq %r13, %r11
movl $0xfc000000, %ebp       # imm = 0xFC000000
andl %ebp, %r13d
subl %r13d, %r12d
shrq $0x1a, %r11
addl -0x18(%rsp), %r11d
addl %r15d, %eax
movl %eax, %r13d
andl %ebp, %eax
subl %eax, %r15d
shrl $0x1a, %r13d
leal (%r13,%r8,4), %eax
addl %eax, %ebx
movl %ebx, %r8d
movl $0xfe000000, %ebp       # imm = 0xFE000000
andl %ebp, %ebx
subl %ebx, %eax
shrl $0x19, %r8d
imulq $0x13, %r8, %r8
addq -0x8(%rsp), %r8
addq %r8, %rdx
movq %rdx, %rbx
movl $0xfc000000, %ebp       # imm = 0xFC000000
andl %ebp, %edx
subl %edx, %r8d
shrq $0x1a, %rbx
addl %edi, %ebx
movl %r8d, (%r10)
movl %ebx, 0x4(%r10)
movl %r9d, 0x8(%r10)
movl %r14d, 0xc(%r10)
movl %r12d, 0x10(%r10)
movl %r11d, 0x14(%r10)
movl %esi, 0x18(%r10)
movl %ecx, 0x1c(%r10)
movl %r15d, 0x20(%r10)
movl %eax, 0x24(%r10)
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq