Method CreateValueTypeEqualsMethod

IDEHelper/Compiler/BfModule.cpp:5311–5602

}

void BfModule::CreateValueTypeEqualsMethod(bool strictEquals)
{
	if (mCurMethodInstance->mIsUnspecialized)
		return;

	if (mBfIRBuilder->mIgnoreWrites)
		return;

	BF_ASSERT(!mCurTypeInstance->IsBoxed());

	auto compareType = mCurMethodInstance->mParams[0].mResolvedType;
	bool isValid = true;

	auto boolType = GetPrimitiveType(BfTypeCode_Boolean);
	if (compareType->IsValuelessType())
	{
		mBfIRBuilder->CreateRet(GetDefaultValue(boolType));
		return;
	}

	if (compareType->IsTypedPrimitive())
	{
		BfExprEvaluator exprEvaluator(this);
		BfTypedValue leftTypedVal = LoadValue(exprEvaluator.LoadLocal(mCurMethodState->mLocals[0]));
		BfTypedValue rightTypedVal = LoadValue(exprEvaluator.LoadLocal(mCurMethodState->mLocals[1]));
		auto cmpResult = mBfIRBuilder->CreateCmpEQ(leftTypedVal.mValue, rightTypedVal.mValue);
		mBfIRBuilder->CreateRet(cmpResult);
		return;
	}

	auto compareDType = compareType->ToDependedType();
	BfTypeInstance* compareTypeInst = compareType->ToTypeInstance();
	if (compareTypeInst != NULL)
	{
		if (compareType->IsPrimitiveType())
			compareTypeInst = GetWrappedStructType(compareType);
		if ((compareTypeInst == NULL) || (!compareTypeInst->IsValueType()))
		{
			isValid = false;
		}
		mBfIRBuilder->PopulateType(compareTypeInst);
	}

	if (!isValid)
	{
		ClearLifetimeEnds();
		mBfIRBuilder->CreateRet(GetDefaultValue(boolType));
		return;
	}

	AddDependency(compareDType, mCurTypeInstance, BfDependencyMap::DependencyFlag_ReadFields);

	auto refNode = mCurTypeInstance->mTypeDef->GetRefNode();
	if (refNode == NULL)
		refNode = mCompiler->mValueTypeTypeDef->GetRefNode();
	UpdateSrcPos(refNode);
	SetIllegalSrcPos();