// File: /workspace/github_cpp_makefile_star2_O3/menhits[P]phplus/src/Actions/MakeTupleAction.cpp
// Function: MakeTupleAction::MakeTupleAction(std::vector<std::shared_ptr<ActionData>, std::allocator<std::shared_ptr<ActionData>>> const&)
MakeTupleAction(const vector<Action>& sourceActionsIn):
		ActionData(
			[&]() -> Type
			{
				TupleTypeMaker tuple;
				
				for (auto i=sourceActionsIn.begin(); i!=sourceActionsIn.end(); ++i)
				{
					tuple.add((*i)->getReturnType());
				}
				
				return tuple.get(true);
			}(),
			
			Void, Void
		)
	{
		if (sourceActionsIn.size()<=0)
		{
			error.log("MakeTupleAction created with empty list", INTERNAL_ERROR);
		}
		
		sourceActions=sourceActionsIn;
		
		for (auto i=sourceActions.begin(); i!=sourceActions.end(); ++i)
		{
			if (!(*i)->getInLeftType()->matches(Void) || !(*i)->getInRightType()->matches(Void))
			{
				error.log((*i)->getDescription() + " put into tuple creation even though its inputs are not void", INTERNAL_ERROR);
			}
			
			if ((*i)->getReturnType()->matches(Void))
			{
				error.log((*i)->getDescription() + " put into tuple creation even though its output is void", INTERNAL_ERROR);
			}
		}
	}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x138, %rsp            # imm = 0x138
movq %rsi, %r14
movq %rdi, 0x8(%rsp)
leaq 0x30(%rsp), %rsi
movq %r14, (%rsi)
leaq 0xf0(%rsp), %rdi
callq 0x6b4e6
leaq 0x2fab5(%rip), %r15     # 0x9a400
movq (%r15), %rdx
movq 0x8(%r15), %rax
movq %rdx, 0x90(%rsp)
movq %rax, 0x98(%rsp)
testq %rax, %rax
je 0x6a982
movq 0x2f63a(%rip), %rcx     # 0x99fa8
cmpb $0x0, (%rcx)
je 0x6a992
incl 0x8(%rax)
movq %rdx, 0x10(%rsp)
movq %rax, 0x18(%rsp)
jmp 0x6a9ac
movq %rdx, 0x10(%rsp)
movq $0x0, 0x18(%rsp)
jmp 0x6a9ba
lock
incl 0x8(%rax)
movq (%r15), %rdx
movq 0x8(%r15), %rax
movq %rdx, 0x10(%rsp)
movq %rax, 0x18(%rsp)
testq %rax, %rax
je 0x6a9ba
cmpb $0x0, (%rcx)
je 0x6a9b6
incl 0x8(%rax)
jmp 0x6a9ba
lock
incl 0x8(%rax)
leaq 0xf0(%rsp), %rsi
leaq 0x90(%rsp), %rdx
leaq 0x10(%rsp), %rcx
movq 0x8(%rsp), %rdi
callq 0x5f40c
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x6a9e8
callq 0xdce4
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0x6a9fa
callq 0xdce4
movq 0xf8(%rsp), %rdi
testq %rdi, %rdi
je 0x6aa0c
callq 0xdce4
leaq 0x2eecd(%rip), %rax     # 0x998e0
movq 0x8(%rsp), %rcx
movq %rax, (%rcx)
leaq 0x78(%rcx), %r13
xorps %xmm0, %xmm0
movups %xmm0, 0x78(%rcx)
movq $0x0, 0x88(%rcx)
movq 0x8(%r14), %rax
cmpq (%r14), %rax
movq %r13, 0xc8(%rsp)
jne 0x6aab5
leaq 0x128(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x124c9(%rip), %rsi     # 0x7cf1f
leaq 0x124e9(%rip), %rdx     # 0x7cf46
leaq 0x118(%rsp), %rdi
callq 0xdfa8
xorps %xmm0, %xmm0
leaq 0x100(%rsp), %rcx
movaps %xmm0, (%rcx)
leaq 0x2f894(%rip), %rdi     # 0x9a313
leaq 0x118(%rsp), %rsi
movl $0x3, %edx
callq 0x1fc46
movq 0x108(%rsp), %rdi
testq %rdi, %rdi
je 0x6aaa3
callq 0xdce4
movq 0x118(%rsp), %rdi
cmpq %r12, %rdi
je 0x6aab5
callq 0xa2b0
movq %r13, %rdi
movq %r14, %rsi
callq 0x6936a
movq 0x8(%rsp), %rax
movq 0x78(%rax), %r14
cmpq 0x80(%rax), %r14
je 0x6ad96
leaq 0xe0(%rsp), %rbp
movq 0x2f4c3(%rip), %r12     # 0x99fa8
leaq 0x30(%rsp), %r13
movq (%r14), %rax
movq 0x38(%rax), %rdi
movq (%r15), %rcx
movq 0x8(%r15), %rax
movq %rcx, 0x80(%rsp)
movq %rax, 0x88(%rsp)
testq %rax, %rax
je 0x6ab1d
cmpb $0x0, (%r12)
je 0x6ab19
incl 0x8(%rax)
jmp 0x6ab1d
lock
incl 0x8(%rax)
movq %rbp, %rbx
leaq 0x80(%rsp), %rsi
callq 0x55538
movb $0x1, %bpl
testb %al, %al
je 0x6ab80
movq (%r14), %rax
movq 0x48(%rax), %rdi
movq (%r15), %rcx
movq 0x8(%r15), %rax
movq %rcx, 0x70(%rsp)
movq %rax, 0x78(%rsp)
testq %rax, %rax
je 0x6ab61
cmpb $0x0, (%r12)
je 0x6ab5d
incl 0x8(%rax)
jmp 0x6ab61
lock
incl 0x8(%rax)
leaq 0x70(%rsp), %rsi
callq 0x55538
movl %eax, %ebp
xorb $0x1, %bpl
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x6ab80
callq 0xdce4
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x6ab92
callq 0xdce4
testb %bpl, %bpl
je 0x6ac5f
movq (%r14), %rsi
movq (%rsi), %rax
movq %r13, %rdi
callq *0x18(%rax)
movq %r13, %rdi
leaq 0x12396(%rip), %rsi     # 0x7cf47
callq 0xa560
leaq 0x60(%rsp), %rsi
movq %rsi, 0x50(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x6abde
movq %rdx, 0x50(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x60(%rsp)
jmp 0x6abe4
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0x58(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
xorps %xmm0, %xmm0
movaps %xmm0, 0xb0(%rsp)
leaq 0x2f705(%rip), %rdi     # 0x9a313
leaq 0x50(%rsp), %rsi
movl $0x3, %edx
leaq 0xb0(%rsp), %rcx
callq 0x1fc46
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0x6ac37
callq 0xdce4
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0x6ac4b
callq 0xa2b0
movq 0x30(%rsp), %rdi
leaq 0x40(%rsp), %rax
cmpq %rax, %rdi
je 0x6ac5f
callq 0xa2b0
movq (%r14), %rax
movq 0x28(%rax), %rdi
movq (%r15), %rcx
movq 0x8(%r15), %rax
movq %rcx, 0x20(%rsp)
movq %rax, 0x28(%rsp)
testq %rax, %rax
je 0x6ac8c
cmpb $0x0, (%r12)
je 0x6ac88
incl 0x8(%rax)
jmp 0x6ac8c
lock
incl 0x8(%rax)
leaq 0x20(%rsp), %rsi
callq 0x55538
movl %eax, %ebp
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x6aca7
callq 0xdce4
testb %bpl, %bpl
movq %rbx, %rbp
je 0x6ad80
movq (%r14), %rsi
movq (%rsi), %rax
movq %r13, %rdi
callq *0x18(%rax)
movq %r13, %rdi
leaq 0x122bb(%rip), %rsi     # 0x7cf84
callq 0xa560
movq %rbp, 0xd0(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x6acfa
movq %rdx, 0xd0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xe0(%rsp)
jmp 0x6ad01
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
movq 0x8(%rax), %rdx
movq %rdx, 0xd8(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
xorps %xmm0, %xmm0
movaps %xmm0, 0xa0(%rsp)
leaq 0x2f5e5(%rip), %rdi     # 0x9a313
leaq 0xd0(%rsp), %rsi
movl $0x3, %edx
leaq 0xa0(%rsp), %rcx
callq 0x1fc46
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x6ad5a
callq 0xdce4
movq 0xd0(%rsp), %rdi
cmpq %rbp, %rdi
je 0x6ad6c
callq 0xa2b0
movq 0x30(%rsp), %rdi
leaq 0x40(%rsp), %rax
cmpq %rax, %rdi
je 0x6ad80
callq 0xa2b0
addq $0x10, %r14
movq 0x8(%rsp), %rax
cmpq 0x80(%rax), %r14
jne 0x6aaea
addq $0x138, %rsp            # imm = 0x138
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r15
movq 0x108(%rsp), %rdi
testq %rdi, %rdi
je 0x6adbd
callq 0xdce4
movq 0x118(%rsp), %rdi
cmpq %r12, %rdi
jne 0x6ae9a
jmp 0x6aec0
jmp 0x6ae5f
jmp 0x6ae5f
movq %rax, %r15
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x6adef
callq 0xdce4
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0x6ae01
callq 0xdce4
movq 0xf8(%rsp), %rdi
testq %rdi, %rdi
je 0x6aed7
callq 0xdce4
jmp 0x6aed7
jmp 0x6ae5f
movq %rax, %r15
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0x6ae33
callq 0xdce4
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
jne 0x6ae86
jmp 0x6ae8b
jmp 0x6ae5a
movq %rax, %r15
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x6aea4
callq 0xdce4
jmp 0x6aea4
movq %rax, %r15
jmp 0x6ae8b
movq %rax, %r15
jmp 0x6aec0
movq %rax, %r15
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x6ae79
callq 0xdce4
movq 0xd0(%rsp), %rdi
cmpq %rbx, %rdi
je 0x6ae8b
callq 0xa2b0
movq 0x30(%rsp), %rdi
leaq 0x40(%rsp), %rax
cmpq %rax, %rdi
je 0x6aec0
callq 0xa2b0
jmp 0x6aec0
movq %rax, %r15
movq 0x88(%rsp), %rdi
jmp 0x6aeb6
movq %rax, %r15
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x6aec0
callq 0xdce4
movq 0xc8(%rsp), %rdi
callq 0x14fd0
movq 0x8(%rsp), %rdi
callq 0x600b4
movq %r15, %rdi
callq 0xa510
nop