// File: /workspace/github_cpp_makefile_star2_O1/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, %r15
movq %rdi, 0x8(%rsp)
leaq 0x40(%rsp), %rsi
movq %r15, (%rsi)
leaq 0xf0(%rsp), %rdi
callq 0x6a5de
leaq 0x2f9c1(%rip), %r14     # 0x99400
movq (%r14), %rcx
movq 0x8(%r14), %rax
movq %rcx, 0x90(%rsp)
movq %rax, 0x98(%rsp)
testq %rax, %rax
je 0x69a70
movq 0x2f546(%rip), %rcx     # 0x98fa8
cmpb $0x0, (%rcx)
je 0x69a6c
incl 0x8(%rax)
jmp 0x69a70
lock
incl 0x8(%rax)
movq (%r14), %rcx
movq 0x8(%r14), %rax
movq %rcx, 0x80(%rsp)
movq %rax, 0x88(%rsp)
testq %rax, %rax
je 0x69aa1
movq 0x2f515(%rip), %rcx     # 0x98fa8
cmpb $0x0, (%rcx)
je 0x69a9d
incl 0x8(%rax)
jmp 0x69aa1
lock
incl 0x8(%rax)
leaq 0xf0(%rsp), %rsi
leaq 0x90(%rsp), %rdx
leaq 0x80(%rsp), %rcx
movq 0x8(%rsp), %rdi
callq 0x5e6ec
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x69ad5
callq 0xdcba
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0x69ae7
callq 0xdcba
movq 0xf8(%rsp), %rdi
testq %rdi, %rdi
je 0x69af9
callq 0xdcba
leaq 0x2ede0(%rip), %rax     # 0x988e0
movq 0x8(%rsp), %rcx
movq %rax, (%rcx)
leaq 0x78(%rcx), %r12
xorps %xmm0, %xmm0
movups %xmm0, 0x78(%rcx)
movq $0x0, 0x88(%rcx)
movq 0x8(%r15), %rax
cmpq (%r15), %rax
movq %r12, 0xc8(%rsp)
jne 0x69ba1
leaq 0x128(%rsp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x1241d(%rip), %rsi     # 0x7bf5f
leaq 0x1243d(%rip), %rdx     # 0x7bf86
leaq 0x118(%rsp), %rdi
callq 0xdf6a
xorps %xmm0, %xmm0
leaq 0x100(%rsp), %rcx
movaps %xmm0, (%rcx)
leaq 0x2f7a8(%rip), %rdi     # 0x99313
leaq 0x118(%rsp), %rsi
movl $0x3, %edx
callq 0x1f926
movq 0x108(%rsp), %rdi
testq %rdi, %rdi
je 0x69b8f
callq 0xdcba
movq 0x118(%rsp), %rdi
cmpq %rbx, %rdi
je 0x69ba1
callq 0xa2b0
movq %r12, %rdi
movq %r15, %rsi
callq 0x68476
movq 0x8(%rsp), %rax
movq 0x78(%rax), %r12
cmpq 0x80(%rax), %r12
je 0x69e8b
leaq 0xe0(%rsp), %r15
leaq 0x40(%rsp), %r13
movq (%r12), %rax
movq 0x38(%rax), %rdi
movq (%r14), %rcx
movq 0x8(%r14), %rax
movq %rcx, 0x70(%rsp)
movq %rax, 0x78(%rsp)
testq %rax, %rax
je 0x69c02
movq 0x2f3b4(%rip), %rcx     # 0x98fa8
cmpb $0x0, (%rcx)
je 0x69bfe
incl 0x8(%rax)
jmp 0x69c02
lock
incl 0x8(%rax)
movq %r15, %rbx
leaq 0x70(%rsp), %rsi
callq 0x548ce
movl %eax, %ebp
movb $0x1, %r15b
testb %al, %al
je 0x69c5c
movq (%r12), %rax
movq 0x48(%rax), %rdi
movq (%r14), %rcx
movq 0x8(%r14), %rax
movq %rcx, 0x60(%rsp)
movq %rax, 0x68(%rsp)
testq %rax, %rax
je 0x69c4b
movq 0x2f36b(%rip), %rcx     # 0x98fa8
cmpb $0x0, (%rcx)
je 0x69c47
incl 0x8(%rax)
jmp 0x69c4b
lock
incl 0x8(%rax)
leaq 0x60(%rsp), %rsi
callq 0x548ce
movl %eax, %r15d
xorb $0x1, %r15b
testb %bpl, %bpl
je 0x69c70
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x69c70
callq 0xdcba
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x69c7f
callq 0xdcba
testb %r15b, %r15b
movq %rbx, %r15
je 0x69d59
movq (%r12), %rsi
movq (%rsi), %rax
movq %r13, %rdi
callq *0x18(%rax)
movq %r13, %rdi
leaq 0x122e5(%rip), %rsi     # 0x7bf87
callq 0xa560
movq %r15, 0xd0(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x69cd3
movq %rdx, 0xd0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xe0(%rsp)
jmp 0x69cda
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, 0xd8(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
xorps %xmm0, %xmm0
movaps %xmm0, 0xb0(%rsp)
leaq 0x2f60c(%rip), %rdi     # 0x99313
leaq 0xd0(%rsp), %rsi
movl $0x3, %edx
leaq 0xb0(%rsp), %rcx
callq 0x1f926
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0x69d33
callq 0xdcba
movq 0xd0(%rsp), %rdi
cmpq %r15, %rdi
je 0x69d45
callq 0xa2b0
movq 0x40(%rsp), %rdi
leaq 0x50(%rsp), %rax
cmpq %rax, %rdi
je 0x69d59
callq 0xa2b0
movq (%r12), %rax
movq 0x28(%rax), %rdi
movq (%r14), %rcx
movq 0x8(%r14), %rax
movq %rcx, 0x30(%rsp)
movq %rax, 0x38(%rsp)
testq %rax, %rax
je 0x69d8c
movq 0x2f22a(%rip), %rcx     # 0x98fa8
cmpb $0x0, (%rcx)
je 0x69d88
incl 0x8(%rax)
jmp 0x69d8c
lock
incl 0x8(%rax)
leaq 0x30(%rsp), %rsi
callq 0x548ce
movl %eax, %ebp
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x69da7
callq 0xdcba
testb %bpl, %bpl
je 0x69e75
movq (%r12), %rsi
movq (%rsi), %rax
movq %r13, %rdi
callq *0x18(%rax)
movq %r13, %rdi
leaq 0x121fd(%rip), %rsi     # 0x7bfc4
callq 0xa560
leaq 0x20(%rsp), %rsi
movq %rsi, 0x10(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x69df4
movq %rdx, 0x10(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x20(%rsp)
jmp 0x69dfa
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0x18(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
xorps %xmm0, %xmm0
movaps %xmm0, 0xa0(%rsp)
leaq 0x2f4ef(%rip), %rdi     # 0x99313
leaq 0x10(%rsp), %rsi
movl $0x3, %edx
leaq 0xa0(%rsp), %rcx
callq 0x1f926
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x69e4d
callq 0xdcba
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x69e61
callq 0xa2b0
movq 0x40(%rsp), %rdi
leaq 0x50(%rsp), %rax
cmpq %rax, %rdi
je 0x69e75
callq 0xa2b0
addq $0x10, %r12
movq 0x8(%rsp), %rax
cmpq 0x80(%rax), %r12
jne 0x69bcf
addq $0x138, %rsp            # imm = 0x138
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq 0x108(%rsp), %rdi
testq %rdi, %rdi
je 0x69eb2
callq 0xdcba
movq 0x118(%rsp), %rdi
cmpq %rbx, %rdi
jne 0x69f92
jmp 0x69fb5
jmp 0x69f55
jmp 0x69f55
movq %rax, %r14
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x69ee7
callq 0xdcba
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0x69ef9
callq 0xdcba
movq 0xf8(%rsp), %rdi
testq %rdi, %rdi
je 0x69fcc
callq 0xdcba
jmp 0x69fcc
jmp 0x69f55
movq %rax, %r14
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0x69f2b
callq 0xdcba
movq 0xd0(%rsp), %rdi
cmpq %rbx, %rdi
jne 0x69f7e
jmp 0x69f83
jmp 0x69f50
movq %rax, %r14
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x69f9c
callq 0xdcba
jmp 0x69f9c
movq %rax, %r14
jmp 0x69f83
movq %rax, %r14
jmp 0x69fb5
movq %rax, %r14
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x69f6f
callq 0xdcba
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x69f83
callq 0xa2b0
movq 0x40(%rsp), %rdi
leaq 0x50(%rsp), %rax
cmpq %rax, %rdi
je 0x69fb5
callq 0xa2b0
jmp 0x69fb5
movq %rax, %r14
movq 0x78(%rsp), %rdi
jmp 0x69fab
movq %rax, %r14
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x69fb5
callq 0xdcba
movq 0xc8(%rsp), %rdi
callq 0x14d7c
movq 0x8(%rsp), %rdi
callq 0x5f370
movq %r14, %rdi
callq 0xa510