Moved interfaces to owned non-code-generating modules

IDEHelper/Compiler/BfCompiler.cpp

@@ -7072,7 +7072,7 @@ bool BfCompiler::DoCompile(const StringImpl& outputDirectory)
 		{
 			if (!module->mIsSpecialModule)
 			{
-				if ((module->mIsReified) && (module->mIsModuleMutable))
+				if ((module->HasCompiledOutput()) && (module->mIsModuleMutable))
 				{						
 					module->Finish();
 				}

IDEHelper/Compiler/BfContext.cpp

@@ -61,12 +61,14 @@ BfContext::BfContext(BfCompiler* compiler) :
 	mScratchModule->mIsSpecialModule = true;
 	mScratchModule->mIsScratchModule = true;
 	mScratchModule->mIsReified = true;
+	mScratchModule->mGeneratesCode = false;
 	mScratchModule->Init();	
 
 	mUnreifiedModule = new BfModule(this, "");
 	mUnreifiedModule->mIsSpecialModule = true;	
 	mUnreifiedModule->mIsScratchModule = true;
 	mUnreifiedModule->mIsReified = false;
+	mUnreifiedModule->mGeneratesCode = false;
 	mUnreifiedModule->Init();	
 
 	mValueTypeDeinitSentinel = (BfMethodInstance*)1;
@@ -158,7 +160,7 @@ void BfContext::AssignModule(BfType* type)
 	// We used to have this "IsReified" check, but we DO want to create modules for unreified types even if they remain unused.
 	//  What was that IsReified check catching?
 	//  It screwed up the reification of generic types- they just got switched to mScratchModule from mUnreifiedModule, but didn't ever generate code.
-	if (/*(!type->IsReified()) ||*/ (type->IsUnspecializedType()) || (type->IsInterface()) || (type->IsVar()) || (type->IsTypeAlias()) || (type->IsFunction()))
+	if (/*(!type->IsReified()) ||*/ (type->IsUnspecializedType()) || (type->IsVar()) || (type->IsTypeAlias()) || (type->IsFunction()))
 	{
 		if (typeInst->mIsReified)
 			module = mScratchModule;
@@ -221,6 +223,8 @@ void BfContext::AssignModule(BfType* type)
 		module->mOwnedTypeInstances.push_back(localTypeInst);
 	}
 
+	module->CalcGeneratesCode();
+
 	if (needsModuleInit)
 		module->Init();
 }

IDEHelper/Compiler/BfModule.cpp

@@ -847,6 +847,7 @@ BfModule::BfModule(BfContext* context, const StringImpl& moduleName)
 	mUsedSlotCount = -1;
 	
 	mIsReified = true;
+	mGeneratesCode = true;
 	mReifyQueued = false;
 	mIsSpecialModule = false;
 	mIsComptimeModule = false;
@@ -1048,6 +1049,20 @@ void BfModule::FinishInit()
 	mAwaitingInitFinish = false;	
 }
 
+void BfModule::CalcGeneratesCode()
+{
+	if ((!mIsReified) || (mIsScratchModule))
+	{
+		mGeneratesCode = false;
+		return;
+	}
+
+	mGeneratesCode = false;
+	for (auto typeInst : mOwnedTypeInstances)
+		if (!typeInst->IsInterface())
+			mGeneratesCode = true;
+}
+
 void BfModule::ReifyModule()
 {	
 	BF_ASSERT((mCompiler->mCompileState != BfCompiler::CompileState_Unreified) && (mCompiler->mCompileState != BfCompiler::CompileState_VData));
@@ -1055,6 +1070,7 @@ void BfModule::ReifyModule()
 	BfLogSysM("ReifyModule %@ %s\n", this, mModuleName.c_str());
 	BF_ASSERT((this != mContext->mScratchModule) && (this != mContext->mUnreifiedModule));
 	mIsReified = true;
+	CalcGeneratesCode();
 	mReifyQueued = false;
 	StartNewRevision(RebuildKind_SkipOnDemandTypes, true);
 	mCompiler->mStats.mModulesReified++;	
@@ -1065,6 +1081,7 @@ void BfModule::UnreifyModule()
 	BfLogSysM("UnreifyModule %p %s\n", this, mModuleName.c_str());
 	BF_ASSERT((this != mContext->mScratchModule) && (this != mContext->mUnreifiedModule));
 	mIsReified = false;	
+	CalcGeneratesCode();
 	mReifyQueued = false;
 	StartNewRevision(RebuildKind_None, true);
 	mCompiler->mStats.mModulesUnreified++;
@@ -1127,7 +1144,7 @@ void BfModule::SetupIRBuilder(bool dbgVerifyCodeGen)
 			mBfIRBuilder->mDbgVerifyCodeGen = true;
 		}
 	}	
-	else if (!mIsReified)
+	else if (!mGeneratesCode)
 	{
 		mBfIRBuilder->mIgnoreWrites = true;
 	}
@@ -9475,10 +9492,10 @@ bool BfModule::WantsLifetimes()
 
 bool BfModule::HasCompiledOutput()
 {
-	return (!mSystem->mIsResolveOnly) && (mIsReified) && (!mIsComptimeModule);
+	return (!mSystem->mIsResolveOnly) && (mGeneratesCode) && (!mIsComptimeModule);
 }
 
-// We will skip the object access check for any occurances of this value
+// We will skip the object access check for any occurrences of this value
 void BfModule::SkipObjectAccessCheck(BfTypedValue typedVal)
 {
 	if ((mBfIRBuilder->mIgnoreWrites) || (!typedVal.mType->IsObjectOrInterface()) || (mCurMethodState == NULL) || (mCurMethodState->mIgnoreObjectAccessCheck))
@@ -13107,9 +13124,9 @@ BfModuleMethodInstance BfModule::GetMethodInstance(BfTypeInstance* typeInst, BfM
 		{
 			MarkDerivedDirty(typeInst);
 
-			if (mIsScratchModule)
+			if (!HasCompiledOutput())
 			{
-				BfLogSysM("Marking scratch module method instance as reified: %p\n", methodInstance);
+				BfLogSysM("Marking non-compiled-output module method instance as reified: %p\n", methodInstance);
 				_SetReified();
 				CheckHotMethod(methodInstance, "");
 			}
@@ -23926,11 +23943,13 @@ bool BfModule::Finish()
 		mUsedSlotCount = mCompiler->mMaxInterfaceSlots;
 	}
 
+	if ((!mGeneratesCode) && (!mAddedToCount))
+		return true;
+
 	BF_ASSERT(mAddedToCount);
 	mAddedToCount = false;
 	mAwaitingFinish = false;
 	
-
 	mCompiler->mStats.mModulesFinished++;	
 
 	if (HasCompiledOutput())
@@ -24130,7 +24149,6 @@ void BfModule::ClearModuleData(bool clearTransientData)
 	}
 
 	mDICompileUnit = BfIRMDNode();	
-	mIsModuleMutable = false;	
 	if (clearTransientData)
 		mIncompleteMethodCount = 0;	
 	mHasGenericMethods = false;
@@ -24166,6 +24184,7 @@ void BfModule::ClearModuleData(bool clearTransientData)
 		mNextAltModule->ClearModuleData();
 	
 	BfLogSysM("ClearModuleData. Deleting IRBuilder: %p\n", mBfIRBuilder);			
+	mIsModuleMutable = false;
 	delete mBfIRBuilder;
 	mBfIRBuilder = NULL;	
 	mWantsIRIgnoreWrites = false;

IDEHelper/Compiler/BfModule.h

@@ -1476,6 +1476,7 @@ public:
 	bool mAddedToCount;
 	bool mHasForceLinkMarker;
 	bool mIsReified;
+	bool mGeneratesCode;
 	bool mReifyQueued;
 	bool mWantsIRIgnoreWrites;
 	bool mHasGenericMethods;
@@ -1947,6 +1948,7 @@ public:
 	void Init(bool isFullRebuild = true);		
 	bool WantsFinishModule();
 	void FinishInit();
+	void CalcGeneratesCode();
 	void ReifyModule();
 	void UnreifyModule();
 	void Cleanup();

IDEHelper/Compiler/BfModuleTypeUtils.cpp

@@ -1038,6 +1038,7 @@ void BfModule::PopulateType(BfType* resolvedTypeRef, BfPopulateType populateType
 					{
 						BfLogSysM("Setting reified type %p in module %p in PopulateType on module awaiting finish\n", resolvedTypeRef, typeModule);
 						typeModule->mIsReified = true;
+						typeModule->CalcGeneratesCode();
 						typeModule->mWantsIRIgnoreWrites = false;						
 						for (auto ownedTypes : typeModule->mOwnedTypeInstances)
 						{
@@ -6049,7 +6050,15 @@ void BfModule::AddMethodToWorkList(BfMethodInstance* methodInstance)
 	methodProcessRequest->mFromModule = this;
 
 	if ((!mCompiler->mIsResolveOnly) && (methodInstance->mIsReified))
+	{
+		if ((!mIsModuleMutable) && (!mIsScratchModule))
+		{
+			BF_ASSERT(!mGeneratesCode);
+			StartNewRevision(BfModule::RebuildKind_None);
+		}
+
 		BF_ASSERT(mIsModuleMutable || mReifyQueued);
+	}
 
 	BF_ASSERT(mBfIRBuilder != NULL);