// File: /workspace/github_cpp_makefile_star2_O1/travisdowns[P]avx-turbo/avx-turbo.cpp
// Function: make_from_spec(ISA, std::vector<int, std::allocator<int>>)
std::vector<test_spec> make_from_spec(ISA, std::vector<int> cpus) {
    std::string str = arg_spec.Get();
    if (verbose) printf("Making tests from spec string: %s\n", str.c_str());

    test_spec spec{str, "<multiple descriptions>"};
    for (auto& elem : split(str,",")) {
        if (verbose) printf("Elem: %s\n", elem.c_str());
        std::vector<std::string> halves = split(elem,"/");
        assert(halves.size() > 0);
        if (halves.size() > 2) {
            throw std::runtime_error(std::string("bad spec syntax in element: '" + elem + "'"));
        }
        int count = (halves.size() == 1 ? 1 : std::atoi(halves[1].c_str()));
        const test_func* test = find_one_test(halves[0]);
        if (!test) {
            throw std::runtime_error("couldn't find test: '" + halves[0] + "'");
        }

        spec.thread_funcs.insert(spec.thread_funcs.end(), count, *test);
    }

    if (spec.count() > cpus.size()) {
        printf("ERROR: this spec requires %d CPUs but only %d are available.\n", (int)spec.count(), (int)cpus.size());
        exit(EXIT_FAILURE);
    }

    return {spec};
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x188, %rsp            # imm = 0x188
movq %rdx, %r13
movq %rdi, %rbx
leaq 0x70(%rsp), %rax
movq %rax, -0x10(%rax)
movq 0x2074a(%rip), %rsi     # 0x28dd0
movq 0x2074b(%rip), %rdx     # 0x28dd8
addq %rsi, %rdx
leaq 0x60(%rsp), %rdi
callq 0x12eaa
cmpb $0x1, 0x20b77(%rip)     # 0x29218
jne 0x86b6
movq 0x60(%rsp), %rsi
leaq 0x15f70(%rip), %rdi     # 0x1e61f
xorl %eax, %eax
callq 0x6050
leaq 0x178(%rsp), %r14
movq %r14, -0x10(%r14)
movq 0x60(%rsp), %rsi
movq 0x68(%rsp), %rdx
addq %rsi, %rdx
leaq 0x168(%rsp), %rdi
callq 0x12eaa
leaq 0x158(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x15f53(%rip), %rsi     # 0x1e642
leaq 0x15f63(%rip), %rdx     # 0x1e659
leaq 0x148(%rsp), %rdi
callq 0xe0a8
leaq 0xf0(%rsp), %rdi
leaq 0x168(%rsp), %rsi
leaq 0x148(%rsp), %rdx
callq 0xadde
movq 0x148(%rsp), %rdi
cmpq %r15, %rdi
je 0x8732
callq 0x6320
movq 0x168(%rsp), %rdi
cmpq %r14, %rdi
je 0x8744
callq 0x6320
leaq 0x18(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x15ea0(%rip), %rsi     # 0x1e5f5
leaq 0x15e9a(%rip), %rdx     # 0x1e5f6
leaq 0x8(%rsp), %rdi
callq 0xe0a8
movq %r13, 0x88(%rsp)
movq %rbx, 0x80(%rsp)
leaq 0xd8(%rsp), %rdi
leaq 0x60(%rsp), %rsi
leaq 0x8(%rsp), %rdx
callq 0x853e
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x879c
callq 0x6320
movq 0xd8(%rsp), %r15
movq 0xe0(%rsp), %rax
movq %rax, 0x90(%rsp)
cmpq %rax, %r15
je 0x88e9
leaq 0x8(%rsp), %rbx
leaq 0xa0(%rsp), %r14
leaq 0x1e8bf(%rip), %r13     # 0x27090
cmpb $0x1, 0x20a40(%rip)     # 0x29218
jne 0x87eb
movq (%r15), %rsi
leaq 0x15e76(%rip), %rdi     # 0x1e65a
xorl %eax, %eax
callq 0x6050
movq %r12, 0x8(%rsp)
movq %rbx, %rdi
leaq 0x15e6a(%rip), %rsi     # 0x1e664
leaq 0x15e64(%rip), %rdx     # 0x1e665
callq 0xe0a8
movq %r14, %rdi
movq %r15, %rsi
movq %rbx, %rdx
callq 0x853e
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x8823
callq 0x6320
movq 0xa0(%rsp), %r12
movq 0xa8(%rsp), %rax
subq %r12, %rax
je 0x8a34
cmpq $0x41, %rax
jae 0x8a53
movl $0x1, %ecx
cmpq $0x20, %rax
je 0x885e
movq 0x20(%r12), %rdi
callq 0x6520
movslq %eax, %rcx
movq %rcx, 0x98(%rsp)
xorl %r14d, %r14d
movq %rbx, %rbp
leaq (%r14,%r13), %rbx
movq 0x8(%r14,%r13), %rsi
movq %r12, %rdi
callq 0x60b0
testl %eax, %eax
cmovneq %rbp, %rbx
je 0x8894
addq $0x20, %r14
cmpq $0x620, %r14            # imm = 0x620
jne 0x8869
xorl %ebx, %ebx
testq %rbx, %rbx
leaq 0x18(%rsp), %r12
leaq 0xa0(%rsp), %r14
je 0x8ab1
movq 0x138(%rsp), %rsi
leaq 0x130(%rsp), %rdi
movq 0x98(%rsp), %rdx
movq %rbx, %rcx
callq 0xe16e
movq %r14, %rdi
callq 0xad72
addq $0x20, %r15
cmpq 0x90(%rsp), %r15
leaq 0x8(%rsp), %rbx
jne 0x87d1
leaq 0xd8(%rsp), %rdi
callq 0xad72
movq 0x138(%rsp), %rsi
subq 0x130(%rsp), %rsi
sarq $0x5, %rsi
movq 0x88(%rsp), %rax
movq 0x8(%rax), %rdx
subq (%rax), %rdx
sarq $0x2, %rdx
cmpq %rdx, %rsi
ja 0x8bae
leaq 0x8(%rsp), %rdi
movq %r12, (%rdi)
movq 0xf0(%rsp), %rsi
movq 0xf8(%rsp), %rdx
addq %rsi, %rdx
callq 0x12eaa
movq 0x80(%rsp), %rbx
leaq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %r14
movq %r14, -0x10(%r14)
movq 0x110(%rsp), %rsi
movq 0x118(%rsp), %rdx
addq %rsi, %rdx
callq 0x12eaa
leaq 0x130(%rsp), %rsi
leaq 0x48(%rsp), %rdi
callq 0xe66a
leaq 0x8(%rsp), %rsi
leaq 0xb8(%rsp), %rcx
movl $0x1, %edx
movq %rbx, %rdi
callq 0xaf04
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x89af
callq 0x6320
movq 0x28(%rsp), %rdi
cmpq %r14, %rdi
je 0x89be
callq 0x6320
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x89cd
callq 0x6320
movq 0x130(%rsp), %rdi
testq %rdi, %rdi
je 0x89df
callq 0x6320
leaq 0x120(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x89f5
callq 0x6320
leaq 0x100(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8a0b
callq 0x6320
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x8a1f
callq 0x6320
movq %rbx, %rax
addq $0x188, %rsp            # imm = 0x188
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x15c2b(%rip), %rdi     # 0x1e666
leaq 0x15c36(%rip), %rsi     # 0x1e678
leaq 0x15c3d(%rip), %rcx     # 0x1e686
movl $0x216, %edx            # imm = 0x216
callq 0x6210
movl $0x10, %edi
callq 0x6150
movq %rax, %r14
leaq 0x15c5c(%rip), %rsi     # 0x1e6c3
leaq 0xb8(%rsp), %rdi
movq %r15, %rdx
callq 0xae4a
leaq 0x16c43(%rip), %rsi     # 0x1f6c1
leaq 0xb8(%rsp), %rdi
callq 0x6630
leaq 0x18(%rsp), %rcx
movq %rcx, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x8b14
movups (%rcx), %xmm0
leaq 0x18(%rsp), %rdx
movups %xmm0, (%rdx)
jmp 0x8b21
movl $0x10, %edi
callq 0x6150
movq %rax, %r14
movq 0xa0(%rsp), %rdx
leaq 0x15c14(%rip), %rsi     # 0x1e6e1
leaq 0xb8(%rsp), %rdi
callq 0xae4a
leaq 0x16be0(%rip), %rsi     # 0x1f6c1
leaq 0xb8(%rsp), %rdi
callq 0x6630
leaq 0x18(%rsp), %rcx
movq %rcx, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x8b62
movups (%rcx), %xmm0
leaq 0x18(%rsp), %rdx
movups %xmm0, (%rdx)
jmp 0x8b6f
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
movq 0x8(%rax), %rdx
leaq 0x8(%rsp), %rsi
movq %rdx, 0x8(%rsi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movb $0x1, %bpl
movq %r14, %rdi
callq 0x6560
xorl %ebp, %ebp
movq 0x1f49f(%rip), %rsi     # 0x27ff0
movq 0x1f450(%rip), %rdx     # 0x27fa8
movq %r14, %rdi
callq 0x65d0
jmp 0x8bae
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
movq 0x8(%rax), %rdx
leaq 0x8(%rsp), %rsi
movq %rdx, 0x8(%rsi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movb $0x1, %bpl
movq %r14, %rdi
callq 0x6560
xorl %ebp, %ebp
movq 0x1f451(%rip), %rsi     # 0x27ff0
movq 0x1f402(%rip), %rdx     # 0x27fa8
movq %r14, %rdi
callq 0x65d0
leaq 0x15b42(%rip), %rdi     # 0x1e6f7
xorl %eax, %eax
callq 0x6050
movl $0x1, %edi
callq 0x63e0
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0xaecc
jmp 0x8ced
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r14, %rdi
je 0x8bef
callq 0x6320
jmp 0x8bef
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
jne 0x8c16
jmp 0x8ced
jmp 0x8c20
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x8ced
callq 0x6320
jmp 0x8ced
movq %rax, %rbx
jmp 0x8ced
movq %rax, %rbx
movq 0x148(%rsp), %rdi
cmpq %r15, %rdi
je 0x8c42
callq 0x6320
jmp 0x8c42
movq %rax, %rbx
movq 0x168(%rsp), %rdi
cmpq %r14, %rdi
je 0x8cfa
callq 0x6320
jmp 0x8cfa
movq %rax, %rbx
jmp 0x8cfa
jmp 0x8c69
jmp 0x8c82
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x8c88
callq 0x6320
jmp 0x8c88
movq %rax, %rbx
movb $0x1, %bpl
leaq 0xc8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8ca8
callq 0x6320
jmp 0x8ca8
jmp 0x8ca2
movq %rax, %rbx
movb $0x1, %bpl
testb %bpl, %bpl
je 0x8cd3
movq %r14, %rdi
callq 0x6260
jmp 0x8cd3
movq %rax, %rbx
jmp 0x8ce0
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x8ce0
callq 0x6320
jmp 0x8ce0
movq %rax, %rbx
leaq 0xa0(%rsp), %rdi
callq 0xad72
leaq 0xd8(%rsp), %rdi
callq 0xad72
leaq 0xf0(%rsp), %rdi
callq 0xaecc
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x8d0e
callq 0x6320
movq %rbx, %rdi
callq 0x65f0