// File: /workspace/github_cpp_makefile_star2_O1/WojciechMula[P]utf16utf8/src/random_utf8.cpp
// Function: RandomUTF8::generate(unsigned long)
std::vector<uint8_t> RandomUTF8::generate(size_t output_bytes)
{
    std::vector<uint8_t> result;
    result.reserve(output_bytes);
    uint8_t candidate, head;
    while (result.size() < output_bytes) {
        auto b = bytes_count(gen);
        switch (b) {
            case 0: // 1 byte
                candidate = val_7bit(gen);
                while(candidate == 0) {// though strictly speaking, a stream of nulls is UTF8, it tends to break some code
                    candidate = val_7bit(gen);
                }
                result.push_back(candidate);
                break;
            case 1: // 2 bytes
                candidate = 0xc0 | val_5bit(gen);
                while(candidate < 0xC2) {
                    candidate = 0xc0 | val_5bit(gen);
                }
                result.push_back(candidate);
                result.push_back(0x80 | val_6bit(gen));
                break;
            case 2: // 3 bytes
                head = 0xe0 | val_4bit(gen);
                result.push_back(head);
                candidate = 0x80 | val_6bit(gen);
                if(head == 0xE0) {
                    while(candidate < 0xA0) {
                        candidate = 0x80 | val_6bit(gen);
                    }
                } else if (head == 0xED) {
                    while(candidate > 0x9F) {
                        candidate = 0x80 | val_6bit(gen);
                    }
                }
                result.push_back(candidate);
                result.push_back(0x80 | val_6bit(gen));
                break;
            case 3: // 4 bytes
                head = 0xf0 | val_3bit(gen);
                while(head > 0xF4) {
                    head = 0xf0 | val_3bit(gen);
                }
                result.push_back(head);
                candidate = 0x80 | val_6bit(gen);
                if(head == 0xF0) {
                    while(candidate < 0x90) {
                        candidate = 0x80 | val_6bit(gen);
                    }
                } else if (head == 0xF4) {
                    while(candidate > 0x8F) {
                        candidate = 0x80 | val_6bit(gen);
                    }
                }
                result.push_back(candidate);
                result.push_back(0x80 | val_6bit(gen));
                result.push_back(0x80 | val_6bit(gen));
                break;
        }
    }
    result.push_back(0); // EOS for scalar code

    return result;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %rbx
vxorps %xmm0, %xmm0, %xmm0
vmovups %xmm0, (%rdi)
movq $0x0, 0x10(%rdi)
movq %rdx, %rsi
callq 0x43f0
movq 0x8(%rbx), %rsi
movq %rsi, %rax
subq (%rbx), %rax
movq %r14, 0x20(%rsp)
cmpq %r14, %rax
jae 0x433c
leaq 0x1388(%r15), %rax
movq %rax, 0x18(%rsp)
leaq 0x13c0(%r15), %r13
leaq 0x13ba(%r15), %rbp
leaq 0x13be(%r15), %rax
movq %rax, 0x10(%rsp)
leaq 0x13bc(%r15), %r14
leaq 0x13b8(%r15), %r12
movq 0x18(%rsp), %rdi
movq %r15, %rsi
movq %rdi, %rdx
callq 0x37e0
cmpl $0x3, %eax
ja 0x4316
movl %eax, %eax
leaq 0x910d(%rip), %rcx      # 0xd130
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq %r12, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x4482
movb %al, 0x9(%rsp)
testb %al, %al
jne 0x40ee
movq %r12, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x4482
jmp 0x403a
movq 0x10(%rsp), %rdi
movq %r15, %rsi
movq %rdi, %rdx
callq 0x4482
orb $-0x20, %al
movb %al, 0xa(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x4127
movb %al, (%rsi)
incq 0x8(%rbx)
jmp 0x4134
movq %r13, %rdi
movq %r15, %rsi
movq %r13, %rdx
callq 0x4482
orb $-0x10, %al
movb %al, 0xa(%rsp)
cmpb $-0xb, %al
jb 0x40d5
movq %r13, %rdi
movq %r15, %rsi
movq %r13, %rdx
callq 0x4482
jmp 0x4093
movq %r14, %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x4482
orb $-0x40, %al
movb %al, 0x9(%rsp)
cmpb $-0x3f, %al
ja 0x410e
movq %r14, %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x4482
jmp 0x40bb
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x41f0
movb %al, (%rsi)
incq 0x8(%rbx)
jmp 0x41fd
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
jne 0x4310
movq %rbx, %rdi
leaq 0x9(%rsp), %rdx
callq 0x4550
jmp 0x4316
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x4278
movb %al, (%rsi)
incq 0x8(%rbx)
jmp 0x4285
movq %rbx, %rdi
leaq 0xa(%rsp), %rdx
callq 0x4550
movq %rbp, %rdi
movq %r15, %rsi
movq %rbp, %rdx
callq 0x4482
orb $-0x80, %al
movb %al, 0x9(%rsp)
movb 0xa(%rsp), %cl
cmpb $-0x20, %cl
jne 0x4172
cmpb $-0x61, 0x9(%rsp)
ja 0x4199
movq %rbp, %rdi
movq %r15, %rsi
movq %rbp, %rdx
callq 0x4482
orb $-0x80, %al
movb %al, 0x9(%rsp)
cmpb $-0x60, %al
jb 0x4158
jmp 0x4199
cmpb $-0x13, %cl
setne %cl
cmpb $-0x60, %al
setb %al
orb %cl, %al
jne 0x4199
movq %rbp, %rdi
movq %r15, %rsi
movq %rbp, %rdx
callq 0x4482
orb $-0x80, %al
movb %al, 0x9(%rsp)
cmpb $-0x61, %al
ja 0x4181
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x41af
movb 0x9(%rsp), %al
movb %al, (%rsi)
incq 0x8(%rbx)
jmp 0x41bc
movq %rbx, %rdi
leaq 0x9(%rsp), %rdx
callq 0x4550
movq %rbp, %rdi
movq %r15, %rsi
movq %rbp, %rdx
callq 0x4482
orb $-0x80, %al
movb %al, 0xe(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
jne 0x4310
movq %rbx, %rdi
leaq 0xe(%rsp), %rdx
callq 0x4644
jmp 0x4316
movq %rbx, %rdi
leaq 0xa(%rsp), %rdx
callq 0x4550
movq %rbp, %rdi
movq %r15, %rsi
movq %rbp, %rdx
callq 0x4482
orb $-0x80, %al
movb %al, 0x9(%rsp)
movb 0xa(%rsp), %cl
cmpb $-0x10, %cl
jne 0x423b
cmpb $-0x71, 0x9(%rsp)
ja 0x4262
movq %rbp, %rdi
movq %r15, %rsi
movq %rbp, %rdx
callq 0x4482
orb $-0x80, %al
movb %al, 0x9(%rsp)
cmpb $-0x70, %al
jb 0x4221
jmp 0x4262
cmpb $-0xc, %cl
setne %cl
cmpb $-0x70, %al
setb %al
orb %cl, %al
jne 0x4262
movq %rbp, %rdi
movq %r15, %rsi
movq %rbp, %rdx
callq 0x4482
orb $-0x80, %al
movb %al, 0x9(%rsp)
cmpb $-0x71, %al
ja 0x424a
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x42b2
movb 0x9(%rsp), %al
movb %al, (%rsi)
incq 0x8(%rbx)
jmp 0x42bf
movq %rbx, %rdi
leaq 0x9(%rsp), %rdx
callq 0x4550
movq %rbp, %rdi
movq %r15, %rsi
movq %rbp, %rdx
callq 0x4482
orb $-0x80, %al
movb %al, 0xf(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
jne 0x4310
movq %rbx, %rdi
leaq 0xf(%rsp), %rdx
callq 0x4644
jmp 0x4316
movq %rbx, %rdi
leaq 0x9(%rsp), %rdx
callq 0x4550
movq %rbp, %rdi
movq %r15, %rsi
movq %rbp, %rdx
callq 0x4482
orb $-0x80, %al
movb %al, 0xd(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x42e5
movb %al, (%rsi)
incq 0x8(%rbx)
jmp 0x42f2
movq %rbx, %rdi
leaq 0xd(%rsp), %rdx
callq 0x4644
movq %rbp, %rdi
movq %r15, %rsi
movq %rbp, %rdx
callq 0x4482
orb $-0x80, %al
movb %al, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x432d
movb %al, (%rsi)
incq 0x8(%rbx)
movq 0x8(%rbx), %rsi
movq %rsi, %rax
subq (%rbx), %rax
cmpq 0x20(%rsp), %rax
jb 0x4001
jmp 0x433c
movq %rbx, %rdi
leaq 0xc(%rsp), %rdx
callq 0x4644
jmp 0x4316
movb $0x0, 0xb(%rsp)
cmpq 0x10(%rbx), %rsi
je 0x4350
movb $0x0, (%rsi)
incq 0x8(%rbx)
jmp 0x435d
leaq 0xb(%rsp), %rdx
movq %rbx, %rdi
callq 0x4644
movq %rbx, %rax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x4389
jmp 0x4389
jmp 0x4389
jmp 0x4389
jmp 0x4389
jmp 0x4389
jmp 0x4389
jmp 0x4389
jmp 0x4389
jmp 0x4389
jmp 0x4389
jmp 0x4389
jmp 0x4389
movq %rax, %r14
movq (%rbx), %rdi
testq %rdi, %rdi
je 0x43a0
movq 0x10(%rbx), %rsi
subq %rdi, %rsi
callq 0x21d0
movq %r14, %rdi
callq 0x22b0