// File: /workspace/github_cpp_makefile_star2_O3/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 $0x178, %rsp            # imm = 0x178
movq %rdx, %r12
movq %rdi, %rbx
leaq 0x68(%rsp), %rax
movq %rax, -0x10(%rax)
movq 0x20772(%rip), %rsi     # 0x28dd0
movq 0x20773(%rip), %rdx     # 0x28dd8
addq %rsi, %rdx
leaq 0x58(%rsp), %rdi
callq 0x12c64
cmpb $0x1, 0x20b9f(%rip)     # 0x29218
jne 0x868e
movq 0x58(%rsp), %rsi
leaq 0x15fa8(%rip), %rdi     # 0x1e62f
xorl %eax, %eax
callq 0x6050
movq %rbx, 0xa0(%rsp)
leaq 0x168(%rsp), %r14
movq %r14, -0x10(%r14)
movq 0x58(%rsp), %rsi
movq 0x60(%rsp), %rdx
addq %rsi, %rdx
leaq 0x158(%rsp), %rdi
callq 0x12c64
leaq 0x148(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x15f83(%rip), %rsi     # 0x1e652
leaq 0x15f93(%rip), %rdx     # 0x1e669
leaq 0x138(%rsp), %rdi
callq 0xdf70
leaq 0xe0(%rsp), %rdi
leaq 0x158(%rsp), %rsi
leaq 0x138(%rsp), %rdx
callq 0xad94
movq 0x138(%rsp), %rdi
cmpq %r15, %rdi
je 0x8712
callq 0x6320
movq %r12, 0x98(%rsp)
movq 0x158(%rsp), %rdi
cmpq %r14, %rdi
je 0x872c
callq 0x6320
leaq 0x10(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x15ec8(%rip), %rsi     # 0x1e605
leaq 0x15ec2(%rip), %rdx     # 0x1e606
movq %rsp, %rdi
callq 0xdf70
leaq 0xc8(%rsp), %rdi
leaq 0x58(%rsp), %rsi
movq %rsp, %rdx
callq 0x8519
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x876f
callq 0x6320
movq 0xc8(%rsp), %r15
movq 0xd0(%rsp), %rax
movq %rax, 0xa8(%rsp)
cmpq %rax, %r15
je 0x8893
movq %rsp, %rbx
leaq 0xb0(%rsp), %rbp
leaq 0x1e8ee(%rip), %r14     # 0x27090
cmpb $0x1, 0x20a6f(%rip)     # 0x29218
jne 0x87bc
movq (%r15), %rsi
leaq 0x15eb5(%rip), %rdi     # 0x1e66a
xorl %eax, %eax
callq 0x6050
movq %r12, (%rsp)
movq %rbx, %rdi
leaq 0x15eaa(%rip), %rsi     # 0x1e674
leaq 0x15ea4(%rip), %rdx     # 0x1e675
callq 0xdf70
movq %rbp, %rdi
movq %r15, %rsi
movq %rbx, %rdx
callq 0x8519
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x87f2
callq 0x6320
movq 0xb0(%rsp), %r12
movq 0xb8(%rsp), %rax
subq %r12, %rax
je 0x8a7d
cmpq $0x41, %rax
jae 0x8a9c
movl $0x1, %r13d
cmpq $0x20, %rax
je 0x882e
movq 0x20(%r12), %rdi
callq 0x6520
movslq %eax, %r13
xorl %ebx, %ebx
movq 0x8(%rbx,%r14), %rsi
movq %r12, %rdi
callq 0x60b0
testl %eax, %eax
je 0x8853
addq $0x20, %rbx
cmpq $0x620, %rbx            # imm = 0x620
jne 0x8830
jmp 0x89d6
movq 0x128(%rsp), %rsi
addq %r14, %rbx
leaq 0x120(%rsp), %rdi
movq %r13, %rdx
movq %rbx, %rcx
callq 0xe03c
leaq 0x10(%rsp), %r12
movq %rbp, %rdi
callq 0xad22
addq $0x20, %r15
cmpq 0xa8(%rsp), %r15
movq %rsp, %rbx
jne 0x87a2
leaq 0xc8(%rsp), %rdi
callq 0xad22
movq 0x128(%rsp), %rsi
subq 0x120(%rsp), %rsi
sarq $0x5, %rsi
movq 0x98(%rsp), %rax
movq 0x8(%rax), %rdx
subq (%rax), %rdx
sarq $0x2, %rdx
cmpq %rdx, %rsi
ja 0x8b41
movq %rsp, %rdi
movq %r12, (%rdi)
movq 0xe0(%rsp), %rsi
movq 0xe8(%rsp), %rdx
addq %rsi, %rdx
callq 0x12c64
movq 0xa0(%rsp), %rbx
leaq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %r14
movq %r14, -0x10(%r14)
movq 0x100(%rsp), %rsi
movq 0x108(%rsp), %rdx
addq %rsi, %rdx
callq 0x12c64
leaq 0x120(%rsp), %rsi
leaq 0x40(%rsp), %rdi
callq 0xe532
movq %rsp, %rsi
leaq 0x78(%rsp), %rcx
movl $0x1, %edx
movq %rbx, %rdi
callq 0xaeba
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x8952
callq 0x6320
movq 0x20(%rsp), %rdi
cmpq %r14, %rdi
je 0x8961
callq 0x6320
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x896f
callq 0x6320
movq 0x120(%rsp), %rdi
testq %rdi, %rdi
je 0x8981
callq 0x6320
leaq 0x110(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8997
callq 0x6320
leaq 0xf0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x89ad
callq 0x6320
movq 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
je 0x89c1
callq 0x6320
movq %rbx, %rax
addq $0x178, %rsp            # imm = 0x178
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x10, %edi
callq 0x6150
movq %rax, %r14
movq 0xb0(%rsp), %rdx
leaq 0x15cff(%rip), %rsi     # 0x1e6f1
leaq 0x78(%rsp), %rdi
callq 0xae00
leaq 0x16cce(%rip), %rsi     # 0x1f6d1
leaq 0x78(%rsp), %rdi
callq 0x6630
leaq 0x10(%rsp), %r13
movq %r13, (%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x8a2f
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x8a3b
movq %rdx, (%rsp)
movq (%rcx), %rdx
movq %rdx, 0x10(%rsp)
movq 0x8(%rax), %rdx
movq %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 0x1f587(%rip), %rsi     # 0x27ff0
movq 0x1f538(%rip), %rdx     # 0x27fa8
movq %r14, %rdi
callq 0x65d0
jmp 0x8b41
leaq 0x15bf2(%rip), %rdi     # 0x1e676
leaq 0x15bfd(%rip), %rsi     # 0x1e688
leaq 0x15c04(%rip), %rcx     # 0x1e696
movl $0x216, %edx            # imm = 0x216
callq 0x6210
movl $0x10, %edi
callq 0x6150
movq %rax, %r14
leaq 0x15c23(%rip), %rsi     # 0x1e6d3
leaq 0x78(%rsp), %rdi
movq %r15, %rdx
callq 0xae00
leaq 0x16c0d(%rip), %rsi     # 0x1f6d1
leaq 0x78(%rsp), %rdi
callq 0x6630
leaq 0x10(%rsp), %rcx
movq %rcx, (%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x8af3
movups (%rcx), %xmm0
leaq 0x10(%rsp), %rdx
movups %xmm0, (%rdx)
jmp 0x8aff
movq %rdx, (%rsp)
movq (%rcx), %rdx
movq %rdx, 0x10(%rsp)
movq 0x8(%rax), %rdx
movq %rsp, %rsi
movq %rdx, 0x8(%rsi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movb $0x1, %bpl
movq %r14, %rdi
leaq 0x10(%rsp), %r13
callq 0x6560
xorl %ebp, %ebp
movq 0x1f4be(%rip), %rsi     # 0x27ff0
movq 0x1f46f(%rip), %rdx     # 0x27fa8
movq %r14, %rdi
callq 0x65d0
leaq 0x15bbf(%rip), %rdi     # 0x1e707
xorl %eax, %eax
callq 0x6050
movl $0x1, %edi
callq 0x63e0
movq %rax, %rbx
movq %rsp, %rdi
callq 0xae82
jmp 0x8c71
movq %rax, %rbx
movq 0x20(%rsp), %rdi
cmpq %r14, %rdi
je 0x8b84
callq 0x6320
jmp 0x8b84
jmp 0x8b81
jmp 0x8b9b
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x8c71
callq 0x6320
jmp 0x8c71
movq %rax, %rbx
jmp 0x8c71
movq %rax, %rbx
movq 0x138(%rsp), %rdi
cmpq %r15, %rdi
je 0x8bbd
callq 0x6320
jmp 0x8bbd
movq %rax, %rbx
movq 0x158(%rsp), %rdi
cmpq %r14, %rdi
je 0x8c7e
callq 0x6320
jmp 0x8c7e
movq %rax, %rbx
jmp 0x8c7e
jmp 0x8c03
jmp 0x8c31
jmp 0x8c4c
movq %rax, %rbx
jmp 0x8c57
movq %rax, %rbx
jmp 0x8c64
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x8c64
callq 0x6320
jmp 0x8c64
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x8c14
callq 0x6320
leaq 0x88(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8c2a
callq 0x6320
testb %bpl, %bpl
jne 0x8c4f
jmp 0x8c57
movq %rax, %rbx
leaq 0x88(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8c4f
callq 0x6320
jmp 0x8c4f
movq %rax, %rbx
movq %r14, %rdi
callq 0x6260
leaq 0xb0(%rsp), %rdi
callq 0xad22
leaq 0xc8(%rsp), %rdi
callq 0xad22
leaq 0xe0(%rsp), %rdi
callq 0xae82
movq 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
je 0x8c92
callq 0x6320
movq %rbx, %rdi
callq 0x65f0