// File: /workspace/github_cpp_makefile_star2_O2/MarkCBell[P]twister/./twister/kernel/parsing.cpp
// Function: format_command(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>&, std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>> const&, std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>> const&, std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>> const&, std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>> const&, std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>> const&, std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>> const&)
void format_command(std::string &command,
	const std::vector<std::string> &annulus_name,
	const std::vector<std::string> &annulus_name_inverse,
	const std::vector<std::string> &rectangle_name,
	const std::vector<std::string> &rectangle_name_inverse,
	const std::vector<std::string> &macro_name,
	const std::vector<std::string> &macro)
{
	// We now combine together all the curve names for formatting.
	std::set<std::string> valid_names;
	valid_names.insert(annulus_name.begin(), annulus_name.end());
	valid_names.insert(annulus_name_inverse.begin(), annulus_name_inverse.end());
	valid_names.insert(rectangle_name.begin(), rectangle_name.end());
	valid_names.insert(rectangle_name_inverse.begin(), rectangle_name_inverse.end());
	valid_names.insert(macro_name.begin(), macro_name.end());
	
	std::vector<std::string> names, inverse_names;
	names.insert(names.end(), annulus_name.begin(), annulus_name.end());
	names.insert(names.end(), annulus_name_inverse.begin(), annulus_name_inverse.end());
	names.insert(names.end(), rectangle_name.begin(), rectangle_name.end());
	names.insert(names.end(), rectangle_name_inverse.begin(), rectangle_name_inverse.end());
	inverse_names.insert(inverse_names.end(), annulus_name_inverse.begin(), annulus_name_inverse.end());
	inverse_names.insert(inverse_names.end(), annulus_name.begin(), annulus_name.end());
	inverse_names.insert(inverse_names.end(), rectangle_name_inverse.begin(), rectangle_name_inverse.end());
	inverse_names.insert(inverse_names.end(), rectangle_name.begin(), rectangle_name.end());
	
	nicen_command(command);
	tokenise_command(command, valid_names);
	replace_macros(command, macro_name, macro);
	expand_brackets(command, names, inverse_names);
	cleanup_command(command);
	
	return;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %r9, %r14
movq %r8, %r12
movq %rcx, %r15
movq %rdx, %rbp
leaq 0x40(%rsp), %rax
andl $0x0, (%rax)
andq $0x0, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
andq $0x0, 0x20(%rax)
movq %rsi, %r13
movq %rdi, %rbx
movq (%rsi), %rsi
movq 0x8(%r13), %rdx
leaq 0x38(%rsp), %rdi
callq 0x9da2
movq (%rbp), %rsi
movq 0x8(%rbp), %rdx
leaq 0x38(%rsp), %rdi
callq 0x9da2
movq (%r15), %rsi
movq 0x8(%r15), %rdx
leaq 0x38(%rsp), %rdi
callq 0x9da2
movq (%r12), %rsi
movq 0x8(%r12), %rdx
leaq 0x38(%rsp), %rdi
callq 0x9da2
movq (%r14), %rsi
movq 0x8(%r14), %rdx
leaq 0x38(%rsp), %rdi
callq 0x9da2
leaq 0x20(%rsp), %rdi
andq $0x0, 0x10(%rdi)
xorps %xmm0, %xmm0
andq $0x0, 0x10(%rsp)
movaps %xmm0, (%rdi)
movaps %xmm0, (%rsp)
movq (%r13), %rdx
movq 0x8(%r13), %rcx
xorl %esi, %esi
callq 0x9c94
leaq 0x20(%rsp), %rdi
movq 0x8(%rdi), %rsi
movq (%rbp), %rdx
movq 0x8(%rbp), %rcx
callq 0x9c94
leaq 0x20(%rsp), %rdi
movq 0x8(%rdi), %rsi
movq (%r15), %rdx
movq 0x8(%r15), %rcx
callq 0x9c94
leaq 0x20(%rsp), %rdi
movq 0x8(%rdi), %rsi
movq (%r12), %rdx
movq 0x8(%r12), %rcx
callq 0x9c94
movq %rsp, %rdi
movq 0x8(%rdi), %rsi
movq (%rbp), %rdx
movq 0x8(%rbp), %rcx
callq 0x9c94
movq %rsp, %rdi
movq 0x8(%rdi), %rsi
movq (%r13), %rdx
movq 0x8(%r13), %rcx
callq 0x9c94
movq %rsp, %rdi
movq 0x8(%rdi), %rsi
movq (%r12), %rdx
movq 0x8(%r12), %rcx
callq 0x9c94
movq %rsp, %rdi
movq 0x8(%rdi), %rsi
movq (%r15), %rdx
movq 0x8(%r15), %rcx
callq 0x9c94
movq %rbx, %rdi
callq 0x84ed
leaq 0x38(%rsp), %rsi
movq %rbx, %rdi
callq 0x8e98
movq 0xa0(%rsp), %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x92b8
leaq 0x20(%rsp), %rsi
movq %rsp, %rdx
movq %rbx, %rdi
callq 0x955f
movq %rbx, %rdi
callq 0x99e2
movq %rsp, %rdi
callq 0x66e2
leaq 0x20(%rsp), %rdi
callq 0x66e2
leaq 0x38(%rsp), %rdi
callq 0x9cb4
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x9c01
jmp 0x9c01
jmp 0x9c01
jmp 0x9c01
jmp 0x9c01
jmp 0x9c01
jmp 0x9c01
jmp 0x9c01
movq %rax, %rbx
movq %rsp, %rdi
callq 0x66e2
leaq 0x20(%rsp), %rdi
callq 0x66e2
jmp 0x9c1b
movq %rax, %rbx
leaq 0x38(%rsp), %rdi
callq 0x9cb4
movq %rbx, %rdi
callq 0x33d0