// File: menhits[P]phplus/src/Actions/BranchAction.cpp
// Function: BranchAction::addToProg(std::shared_ptr<ActionData>, std::shared_ptr<ActionData>, CppProgram*)
void addToProg(Action inLeft, Action inRight, CppProgram* prog)
	{
		Action leftInTmp = leftInput;
		Action rightInTmp = rightInput;
		
		if (leftInTmp->getReturnType()!=action->getInLeftType())
			leftInTmp=cppTupleCastAction(leftInTmp, action->getInLeftType());
		
		if (rightInTmp->getReturnType()!=action->getInRightType())
			rightInTmp=cppTupleCastAction(rightInTmp, action->getInRightType());
		
		action->addToProg(leftInTmp, rightInTmp, prog);
	}

// Assembly:
subq $0x128, %rsp            # imm = 0x128
movq %rdi, 0x120(%rsp)
movq %rsi, 0x118(%rsp)
movq %rdx, 0x110(%rsp)
movq %rcx, 0x108(%rsp)
movq 0x120(%rsp), %rsi
movq %rsi, 0x48(%rsp)
addq $0x88, %rsi
leaq 0xf8(%rsp), %rdi
callq 0x1ac60
movq 0x48(%rsp), %rsi
addq $0x98, %rsi
leaq 0xe8(%rsp), %rdi
callq 0x1ac60
leaq 0xf8(%rsp), %rdi
callq 0x1bb50
movq %rax, %rdi
callq 0x1bed0
movq 0x48(%rsp), %rdi
movq %rax, 0x50(%rsp)
addq $0x78, %rdi
callq 0x1bb50
movq %rax, %rdi
callq 0x3f060
movq 0x50(%rsp), %rdi
movq %rax, %rsi
callq 0x1be90
testb $0x1, %al
jne 0xb7167
jmp 0xb7236
leaq 0xc8(%rsp), %rdi
movq %rdi, 0x38(%rsp)
leaq 0xf8(%rsp), %rsi
callq 0x1ac60
movq 0x48(%rsp), %rdi
addq $0x78, %rdi
callq 0x1bb50
movq %rax, %rdi
callq 0x3f060
movq %rax, %rsi
leaq 0xb8(%rsp), %rdi
movq %rdi, 0x40(%rsp)
callq 0x1a920
movq 0x38(%rsp), %rsi
movq 0x40(%rsp), %rdx
leaq 0xd8(%rsp), %rdi
callq 0xc02c0
jmp 0xb71c5
leaq 0xf8(%rsp), %rdi
leaq 0xd8(%rsp), %rsi
callq 0x1ac90
leaq 0xd8(%rsp), %rdi
callq 0x1acc0
leaq 0xb8(%rsp), %rdi
callq 0x1a950
leaq 0xc8(%rsp), %rdi
callq 0x1acc0
jmp 0xb7236
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xb0(%rsp)
movl %eax, 0xac(%rsp)
leaq 0xb8(%rsp), %rdi
callq 0x1a950
leaq 0xc8(%rsp), %rdi
callq 0x1acc0
jmp 0xb7403
leaq 0xe8(%rsp), %rdi
callq 0x1bb50
movq %rax, %rdi
callq 0x1bed0
movq 0x48(%rsp), %rdi
movq %rax, 0x30(%rsp)
addq $0x78, %rdi
callq 0x1bb50
movq %rax, %rdi
callq 0x3f070
movq 0x30(%rsp), %rdi
movq %rax, %rsi
callq 0x1be90
testb $0x1, %al
jne 0xb727c
jmp 0xb7342
leaq 0x88(%rsp), %rdi
movq %rdi, 0x20(%rsp)
leaq 0xe8(%rsp), %rsi
callq 0x1ac60
movq 0x48(%rsp), %rdi
addq $0x78, %rdi
callq 0x1bb50
movq %rax, %rdi
callq 0x3f070
movq %rax, %rsi
leaq 0x78(%rsp), %rdi
movq %rdi, 0x28(%rsp)
callq 0x1a920
movq 0x20(%rsp), %rsi
movq 0x28(%rsp), %rdx
leaq 0x98(%rsp), %rdi
callq 0xc02c0
jmp 0xb72d7
leaq 0xe8(%rsp), %rdi
leaq 0x98(%rsp), %rsi
callq 0x1ac90
leaq 0x98(%rsp), %rdi
callq 0x1acc0
leaq 0x78(%rsp), %rdi
callq 0x1a950
leaq 0x88(%rsp), %rdi
callq 0x1acc0
jmp 0xb7342
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xb0(%rsp)
movl %eax, 0xac(%rsp)
leaq 0x78(%rsp), %rdi
callq 0x1a950
leaq 0x88(%rsp), %rdi
callq 0x1acc0
jmp 0xb7403
movq 0x48(%rsp), %rdi
addq $0x78, %rdi
callq 0x1bb50
movq %rax, 0x8(%rsp)
leaq 0x68(%rsp), %rdi
movq %rdi, 0x10(%rsp)
leaq 0xf8(%rsp), %rsi
callq 0x1ac60
leaq 0x58(%rsp), %rdi
movq %rdi, 0x18(%rsp)
leaq 0xe8(%rsp), %rsi
callq 0x1ac60
movq 0x8(%rsp), %rdi
movq 0x10(%rsp), %rsi
movq 0x18(%rsp), %rdx
movq 0x108(%rsp), %rcx
movq (%rdi), %rax
movq 0x28(%rax), %rax
callq *%rax
jmp 0xb73a5
leaq 0x58(%rsp), %rdi
callq 0x1acc0
leaq 0x68(%rsp), %rdi
callq 0x1acc0
leaq 0xe8(%rsp), %rdi
callq 0x1acc0
leaq 0xf8(%rsp), %rdi
callq 0x1acc0
addq $0x128, %rsp            # imm = 0x128
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xb0(%rsp)
movl %eax, 0xac(%rsp)
leaq 0x58(%rsp), %rdi
callq 0x1acc0
leaq 0x68(%rsp), %rdi
callq 0x1acc0
leaq 0xe8(%rsp), %rdi
callq 0x1acc0
leaq 0xf8(%rsp), %rdi
callq 0x1acc0
movq 0xb0(%rsp), %rdi
callq 0xb680
nopw (%rax,%rax)