Method EmitReturn

IDEHelper/Compiler/BfModule.cpp:17145–17188

}

void BfModule::EmitReturn(const BfTypedValue& val)
{
	if (mCurMethodState->mIRExitBlock)
	{
		if (!mCurMethodInstance->mReturnType->IsValuelessType())
		{
			if (val) // We allow for val to be empty if we know we've already written the value to mRetVal
			{
				if ((mCurMethodState->mRetValAddr) || (mCurMethodState->mRetVal))
				{
					BfIRValue retVal = mCurMethodState->mRetVal.mValue;
					if (!mCurMethodState->mRetVal)
						retVal = mBfIRBuilder->CreateAlignedLoad(mCurMethodState->mRetValAddr, mCurMethodInstance->mReturnType->mAlign);

					mBfIRBuilder->CreateAlignedStore(val.mValue, retVal, mCurMethodInstance->mReturnType->mAlign);
				}
				else if (mIsComptimeModule)
				{
					if (!val.mType->IsValuelessType())
						mBfIRBuilder->CreateSetRet(val.mValue, val.mType->mTypeId);
					else
						mBfIRBuilder->CreateSetRet(BfIRValue(), val.mType->mTypeId);
				}
				else
				{
					// Just ignore
					BF_ASSERT(mCurMethodInstance->mReturnType->IsVar());
				}
			}
		}
		EmitDeferredScopeCalls(true, NULL, mCurMethodState->mIRExitBlock);
	}
	else
	{
		EmitDeferredScopeCalls(false, NULL);
		if (val)
		{
			BF_ASSERT(mBfIRBuilder->mIgnoreWrites);
		}
	}

	mCurMethodState->SetHadReturn(true);
	mCurMethodState->mLeftBlockUncond = true;
}

void BfModule::EmitDefaultReturn()
{