Method RemoveRef

IDEHelper/Compiler/BfModule.cpp:13429–13461

}

BfTypedValue BfModule::RemoveRef(BfTypedValue typedValue, bool makeInReadOnly)
{
	if ((typedValue.mType != NULL) && (typedValue.mType->IsRef()))
	{
		auto refType = (BfRefType*)typedValue.mType;

		auto elementType = typedValue.mType->GetUnderlyingType();
		if (typedValue.IsAddr())
		{
			if (elementType->IsValuelessType())
			{
				BF_ASSERT(!typedValue.mValue);
				typedValue = BfTypedValue(typedValue.mValue, elementType, true);
			}
			else
				typedValue = BfTypedValue(mBfIRBuilder->CreateAlignedLoad(typedValue.mValue, elementType->mAlign), elementType, true);
		}
		else
			typedValue = BfTypedValue(typedValue.mValue, elementType, true);

		if (typedValue.mType->IsValuelessType())
		{
			BF_ASSERT(typedValue.mValue.IsFake());
		}

		if ((refType->mRefKind == BfRefType::RefKind_In) && (makeInReadOnly))
		{
			if (typedValue.mKind == BfTypedValueKind_Addr)
				typedValue.mKind = BfTypedValueKind_ReadOnlyAddr;
		}
	}
	return typedValue;
}

BfTypedValue BfModule::SanitizeAddr(BfTypedValue typedValue)
{