Revert "Merge pull request swiftlang#34231 from CodaFi/skippy"

This reverts commit 4f49b6a, reversing
changes made to cb70220.

Author: MaxDesiatov

include/swift/Driver/Action.h

@@ -130,40 +130,23 @@ class JobAction : public Action {
 class IncrementalJobAction : public JobAction {
 public:
   struct InputInfo {
-    /// The status of an input known to the driver. These are used to affect
-    /// the scheduling decisions made during an incremental build.
-    ///
-    /// \Note The order of cases matters. They are ordered from least to
-    /// greatest impact on the incremental build schedule.
-    enum class Status {
-      /// The input to this job is up to date.
+    enum Status {
       UpToDate,
-      /// The input to this job has changed in a way that requires this job to
-      /// be rerun, but not in such a way that it requires a cascading rebuild.
-      NeedsNonCascadingBuild,
-      /// The input to this job has changed in a way that requires this job to
-      /// be rerun, and in such a way that all jobs dependent upon this one
-      /// must be scheduled as well.
       NeedsCascadingBuild,
-      /// The input to this job was not known to the driver when it was last
-      /// run.
+      NeedsNonCascadingBuild,
       NewlyAdded
     };
 
   public:
-    Status status = Status::UpToDate;
+    Status status = UpToDate;
     llvm::sys::TimePoint<> previousModTime;
 
     InputInfo() = default;
     InputInfo(Status stat, llvm::sys::TimePoint<> time)
         : status(stat), previousModTime(time) {}
 
     static InputInfo makeNewlyAdded() {
-      return {Status::NewlyAdded, llvm::sys::TimePoint<>::max()};
-    }
-
-    static InputInfo makeNeedsCascadingRebuild() {
-      return {Status::NeedsCascadingBuild, llvm::sys::TimePoint<>::min()};
+      return InputInfo(Status::NewlyAdded, llvm::sys::TimePoint<>::max());
     }
   };
 
@@ -183,8 +166,7 @@ class IncrementalJobAction : public JobAction {
 
 public:
   static bool classof(const Action *A) {
-    return A->getKind() == Action::Kind::CompileJob ||
-           A->getKind() == Action::Kind::MergeModuleJob;
+    return A->getKind() == Action::Kind::CompileJob;
   }
 };
 
@@ -281,12 +263,12 @@ class REPLJobAction : public JobAction {
   }
 };
 
-class MergeModuleJobAction : public IncrementalJobAction {
+class MergeModuleJobAction : public JobAction {
   virtual void anchor() override;
 public:
-  MergeModuleJobAction(ArrayRef<const Action *> Inputs, InputInfo input)
-      : IncrementalJobAction(Action::Kind::MergeModuleJob, Inputs,
-                             file_types::TY_SwiftModuleFile, input) {}
+  MergeModuleJobAction(ArrayRef<const Action *> Inputs)
+      : JobAction(Action::Kind::MergeModuleJob, Inputs,
+                  file_types::TY_SwiftModuleFile) {}
 
   static bool classof(const Action *A) {
     return A->getKind() == Action::Kind::MergeModuleJob;

lib/Driver/Compilation.cpp

@@ -446,7 +446,7 @@ namespace driver {
 
     std::vector<const Job*>
     reloadAndRemarkDeps(const Job *FinishedCmd, int ReturnCode,
-                        const bool forRanges) {
+                             const bool forRanges) {
       const CommandOutput &Output = FinishedCmd->getOutput();
       StringRef DependenciesFile =
           Output.getAdditionalOutputForType(file_types::TY_SwiftDeps);
@@ -458,8 +458,7 @@ namespace driver {
         // coarse dependencies that always affect downstream nodes), but we're
         // not using either of those right now, and this logic should probably
         // be revisited when we are.
-        assert(isa<MergeModuleJobAction>(FinishedCmd->getSource()) ||
-               FinishedCmd->getCondition() == Job::Condition::Always);
+        assert(FinishedCmd->getCondition() == Job::Condition::Always);
         return {};
       }
       const bool compileExitedNormally =
@@ -908,7 +907,6 @@ namespace driver {
         return everyIncrementalJob;
       };
 
-      const Job *mergeModulesJob = nullptr;
       CommandSet jobsToSchedule;
       CommandSet initialCascadingCommands;
       for (const Job *cmd : Comp.getJobs()) {
@@ -917,11 +915,6 @@ namespace driver {
           continue;
         }
 
-        if (isa<MergeModuleJobAction>(cmd->getSource())) {
-          assert(!mergeModulesJob && "multiple scheduled merge-modules jobs?");
-          mergeModulesJob = cmd;
-        }
-
         const Optional<std::pair<bool, bool>> shouldSchedAndIsCascading =
             computeShouldInitiallyScheduleJobAndDependendents(cmd, forRanges);
         if (!shouldSchedAndIsCascading)
@@ -943,15 +936,6 @@ namespace driver {
            collectIncrementalExternallyDependentJobsFromDependencyGraph(
                forRanges))
         jobsToSchedule.insert(cmd);
-
-      // The merge-modules job is special: it *must* be scheduled if any other
-      // job has been scheduled because any other job can influence the
-      // structure of the resulting module. Additionally, the initial scheduling
-      // predicate above is only aware of intra-module changes. External
-      // dependencies changing *must* cause merge-modules to be scheduled.
-      if (!jobsToSchedule.empty() && mergeModulesJob) {
-        jobsToSchedule.insert(mergeModulesJob);
-      }
       return jobsToSchedule;
     }
 
@@ -1047,13 +1031,6 @@ namespace driver {
     /// But returns None if there was a dependency read error.
     Optional<std::pair<Job::Condition, bool>>
     loadDependenciesAndComputeCondition(const Job *const Cmd, bool forRanges) {
-      // merge-modules Jobs do not have .swiftdeps files associated with them,
-      // however, their compilation condition is computed as a function of their
-      // inputs, so their condition can be used as normal.
-      if (isa<MergeModuleJobAction>(Cmd->getSource())) {
-        return std::make_pair(Cmd->getCondition(), true);
-      }
-
       // Try to load the dependencies file for this job. If there isn't one, we
       // always have to run the job, but it doesn't affect any other jobs. If
       // there should be one but it's not present or can't be loaded, we have to
@@ -1186,12 +1163,7 @@ namespace driver {
           continue;
         }
 
-        // Is this module out of date? If not, just keep searching.
-        if (Comp.getLastBuildTime() >= depStatus.getLastModificationTime())
-          continue;
-
-        // Can we run a cross-module incremental build at all?
-        // If not, fall back.
+        // Can we run a cross-module incremental build at all? If not, fallback.
         if (!Comp.getEnableCrossModuleIncrementalBuild()) {
           fallbackToExternalBehavior(external);
           continue;
@@ -1637,8 +1609,8 @@ namespace driver {
           CompileJobAction::InputInfo info;
           info.previousModTime = entry.first->getInputModTime();
           info.status = entry.second ?
-            CompileJobAction::InputInfo::Status::NeedsCascadingBuild :
-            CompileJobAction::InputInfo::Status::NeedsNonCascadingBuild;
+            CompileJobAction::InputInfo::NeedsCascadingBuild :
+            CompileJobAction::InputInfo::NeedsNonCascadingBuild;
           inputs[&inputFile->getInputArg()] = info;
         }
       }
@@ -1655,7 +1627,7 @@ namespace driver {
 
           CompileJobAction::InputInfo info;
           info.previousModTime = entry->getInputModTime();
-          info.status = CompileJobAction::InputInfo::Status::UpToDate;
+          info.status = CompileJobAction::InputInfo::UpToDate;
           inputs[&inputFile->getInputArg()] = info;
         }
       }

lib/Driver/CompilationRecord.h

@@ -59,12 +59,12 @@ inline static StringRef getName(TopLevelKey Key) {
 inline static StringRef
 getIdentifierForInputInfoStatus(CompileJobAction::InputInfo::Status Status) {
   switch (Status) {
-  case CompileJobAction::InputInfo::Status::UpToDate:
+  case CompileJobAction::InputInfo::UpToDate:
     return "";
-  case CompileJobAction::InputInfo::Status::NewlyAdded:
-  case CompileJobAction::InputInfo::Status::NeedsCascadingBuild:
+  case CompileJobAction::InputInfo::NewlyAdded:
+  case CompileJobAction::InputInfo::NeedsCascadingBuild:
     return "!dirty";
-  case CompileJobAction::InputInfo::Status::NeedsNonCascadingBuild:
+  case CompileJobAction::InputInfo::NeedsNonCascadingBuild:
     return "!private";
   }
 
@@ -76,11 +76,11 @@ getIdentifierForInputInfoStatus(CompileJobAction::InputInfo::Status Status) {
 /// compilation record file (.swiftdeps file).
 inline static Optional<CompileJobAction::InputInfo::Status>
 getInfoStatusForIdentifier(StringRef Identifier) {
-  using InputStatus = CompileJobAction::InputInfo::Status;
-  return llvm::StringSwitch<Optional<InputStatus>>(Identifier)
-    .Case("", InputStatus::UpToDate)
-    .Case("!dirty", InputStatus::NeedsCascadingBuild)
-    .Case("!private", InputStatus::NeedsNonCascadingBuild)
+  return llvm::StringSwitch<Optional<
+      CompileJobAction::InputInfo::Status>>(Identifier)
+    .Case("", CompileJobAction::InputInfo::UpToDate)
+    .Case("!dirty", CompileJobAction::InputInfo::NeedsCascadingBuild)
+    .Case("!private", CompileJobAction::InputInfo::NeedsNonCascadingBuild)
     .Default(None);
 }