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