// File: /workspace/github_cpp_makefile_star2_O1/menhits[P]phplus/src/AstNode.cpp
// Function: AstFuncBody::resolveAction()
void AstFuncBody::resolveAction()
{
	setTypesInput();
	Namespace subNs=ns->makeChildAndFrame(nameHint.empty()?"unnamed function's namespace":nameHint+"'s namespace");
	subNs->setInput(leftTypeNode->getReturnType()->getSubType(), rightTypeNode->getReturnType()->getSubType());
	bodyNode->setInput(subNs, true, Void, Void);
	Type funcReturnType=returnTypeNode->getReturnType()->getSubType();
	if (funcReturnType->isWhatev())
	{
		funcReturnType=funcReturnType->actuallyIs(bodyNode->getReturnType());
	}
	action=functionAction(bodyNode->makeCopy(true), funcReturnType, subNs->getStackFrame());
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0xd8, %rsp
movq %rdi, %rbx
callq 0x152f4
movq 0x10(%rbx), %rdx
movq 0x70(%rbx), %r14
leaq 0xc8(%rsp), %r12
testq %rdx, %rdx
je 0xf68a
leaq 0xb8(%rsp), %r15
movq %r12, (%r15)
movq 0x8(%rbx), %rsi
addq %rsi, %rdx
movq %r15, %rdi
callq 0xdde2
leaq 0x66b91(%rip), %rsi     # 0x76211
movq %r15, %rdi
callq 0xa560
jmp 0xf6a8
leaq 0xb8(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x66b65(%rip), %rsi     # 0x76201
leaq 0x66b7a(%rip), %rdx     # 0x7621d
callq 0xdf6a
leaq 0x28(%rsp), %rdi
leaq 0xb8(%rsp), %rdx
movq %r14, %rsi
callq 0x21c82
movq 0xb8(%rsp), %rdi
cmpq %r12, %rdi
je 0xf6cf
callq 0xa2b0
movq 0x28(%rsp), %r14
movq 0x88(%rbx), %rsi
leaq 0x10(%rsp), %rdi
callq 0x14dfe
movq 0x10(%rsp), %rsi
movq (%rsi), %rax
leaq 0xa8(%rsp), %rdi
callq *0x48(%rax)
movq 0x90(%rbx), %rsi
movq %rsp, %rdi
callq 0x14dfe
movq (%rsp), %rsi
movq (%rsi), %rax
leaq 0x98(%rsp), %rdi
callq *0x48(%rax)
leaq 0xa8(%rsp), %rsi
leaq 0x98(%rsp), %rdx
movq %r14, %rdi
callq 0x222a0
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0xf743
callq 0xdcba
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0xf752
callq 0xdcba
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0xf764
callq 0xdcba
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0xf773
callq 0xdcba
movq 0xa0(%rbx), %rdi
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %rax
movq %rcx, 0x78(%rsp)
movq %rax, 0x80(%rsp)
testq %rax, %rax
je 0xf7ab
movq 0x8980b(%rip), %rcx     # 0x98fa8
cmpb $0x0, (%rcx)
je 0xf7a7
incl 0x8(%rax)
jmp 0xf7ab
lock
incl 0x8(%rax)
leaq 0x89c4e(%rip), %rax     # 0x99400
movq (%rax), %rdx
movq 0x8(%rax), %rcx
movq %rdx, 0x68(%rsp)
movq %rcx, 0x70(%rsp)
testq %rcx, %rcx
je 0xf7dd
movq 0x897d9(%rip), %rdx     # 0x98fa8
cmpb $0x0, (%rdx)
je 0xf7d9
incl 0x8(%rcx)
jmp 0xf7dd
lock
incl 0x8(%rcx)
movq (%rax), %rcx
movq 0x8(%rax), %rax
movq %rcx, 0x58(%rsp)
movq %rax, 0x60(%rsp)
testq %rax, %rax
je 0xf808
movq 0x897ae(%rip), %rcx     # 0x98fa8
cmpb $0x0, (%rcx)
je 0xf804
incl 0x8(%rax)
jmp 0xf808
lock
incl 0x8(%rax)
leaq 0x78(%rsp), %rsi
leaq 0x68(%rsp), %rcx
leaq 0x58(%rsp), %r8
movl $0x1, %edx
callq 0x1491e
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0xf830
callq 0xdcba
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0xf83f
callq 0xdcba
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0xf851
callq 0xdcba
movq 0x98(%rbx), %rsi
movq %rsp, %rdi
callq 0x14dfe
movq (%rsp), %rsi
movq (%rsi), %rax
leaq 0x10(%rsp), %rdi
callq *0x48(%rax)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0xf87e
callq 0xdcba
movq 0x10(%rsp), %rdi
movq (%rdi), %rax
callq *0x30(%rax)
testb %al, %al
je 0xf8f9
movq 0x10(%rsp), %r14
movq 0xa0(%rbx), %rsi
leaq 0x88(%rsp), %rdi
callq 0x14dfe
movq (%r14), %rax
movq %rsp, %rdi
leaq 0x88(%rsp), %rdx
movq %r14, %rsi
callq *(%rax)
movaps (%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, (%rsp)
movq 0x18(%rsp), %rdi
movaps %xmm0, 0x10(%rsp)
testq %rdi, %rdi
je 0xf8d8
callq 0xdcba
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0xf8e7
callq 0xdcba
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
je 0xf8f9
callq 0xdcba
movq 0xa0(%rbx), %rsi
movq (%rsi), %rax
leaq 0x20(%rsp), %rdi
movl $0x1, %edx
callq *0x20(%rax)
movq 0x10(%rsp), %rcx
movq 0x18(%rsp), %rax
movq %rcx, 0x48(%rsp)
movq %rax, 0x50(%rsp)
testq %rax, %rax
je 0xf93e
movq 0x89678(%rip), %rcx     # 0x98fa8
cmpb $0x0, (%rcx)
je 0xf93a
incl 0x8(%rax)
jmp 0xf93e
lock
incl 0x8(%rax)
movq 0x28(%rsp), %rax
movq 0x40(%rax), %rcx
movq %rcx, 0x38(%rsp)
movq 0x48(%rax), %rax
movq %rax, 0x40(%rsp)
testq %rax, %rax
je 0xf96f
movq 0x89647(%rip), %rcx     # 0x98fa8
cmpb $0x0, (%rcx)
je 0xf96b
incl 0x8(%rax)
jmp 0xf96f
lock
incl 0x8(%rax)
leaq 0x50(%rsp), %r14
movq %rsp, %rdi
leaq 0x20(%rsp), %rsi
leaq 0x48(%rsp), %rdx
leaq 0x38(%rsp), %rcx
callq 0x64359
movaps (%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, (%rsp)
movq 0x50(%rbx), %rdi
movups %xmm0, 0x48(%rbx)
testq %rdi, %rdi
je 0xf9a8
callq 0xdcba
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0xf9b7
callq 0xdcba
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0xf9c6
callq 0xdcba
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0xf9d5
callq 0xdcba
movq 0x20(%rsp), %rsi
testq %rsi, %rsi
je 0xf9e9
leaq 0x20(%rsp), %rdi
callq 0x168f8
movq $0x0, 0x20(%rsp)
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0xfa01
callq 0xdcba
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0xfa10
callq 0xdcba
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq %rax, %rbx
movq 0x90(%rsp), %rdi
jmp 0xfad1
jmp 0xfadd
jmp 0xfb0b
movq %rax, %rbx
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0xfa4b
callq 0xdcba
leaq 0x20(%rsp), %rsi
movq %r14, %rdi
callq 0xa5c2
jmp 0xfae0
jmp 0xfadd
jmp 0xfadd
movq %rax, %rbx
movq 0x8(%rsp), %rdi
jmp 0xfae5
jmp 0xfaf1
movq %rax, %rbx
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0xfa82
callq 0xdcba
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0xfa91
callq 0xdcba
movq 0x80(%rsp), %rdi
jmp 0xfae5
movq %rax, %rbx
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0xfab5
callq 0xdcba
jmp 0xfab5
movq %rax, %rbx
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0xfac9
callq 0xdcba
jmp 0xfac9
movq %rax, %rbx
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0xfae0
callq 0xdcba
jmp 0xfae0
movq %rax, %rbx
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0xfaf4
callq 0xdcba
jmp 0xfaf4
movq %rax, %rbx
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0xfb03
callq 0xdcba
movq %rbx, %rdi
callq 0xa510
movq %rax, %rbx
movq 0xb8(%rsp), %rdi
cmpq %r12, %rdi
je 0xfb03
callq 0xa2b0
jmp 0xfb03