ABIChecking: use the always-generated-abi-descriptor to diagnose ABI breakages

rdar://84595482

Author: nkcsgexi

Sources/SwiftDriver/Driver/Driver.swift

@@ -353,6 +353,17 @@ public struct Driver {
       .appending(component: "Frameworks")
   } ()
 
+  lazy var abiDescriptorPath: TypedVirtualPath? = {
+    guard isFeatureSupported(.emit_abi_descriptor) else {
+      return nil
+    }
+    guard let moduleOutput = moduleOutputInfo.output else {
+      return nil
+    }
+    return TypedVirtualPath(file: VirtualPath.lookup(moduleOutput.outputPath)
+      .replacingExtension(with: .jsonABIBaseline).intern(), type: .jsonABIBaseline)
+  }()
+
   public func isFrontendArgSupported(_ opt: Option) -> Bool {
     var current = opt.spelling
     while(true) {
@@ -690,6 +701,7 @@ public struct Driver {
         compilerMode: compilerMode,
         outputFileMap: self.outputFileMap,
         moduleName: moduleOutputInfo.name)
+
     let projectDirectory = Self.computeProjectDirectoryPath(
       moduleOutputPath: self.moduleOutputInfo.output?.outputPath,
       fileSystem: self.fileSystem)
@@ -717,7 +729,6 @@ public struct Driver {
         compilerMode: compilerMode,
         outputFileMap: self.outputFileMap,
         moduleName: moduleOutputInfo.name)
-
     self.swiftPrivateInterfacePath = try Self.computeSupplementaryOutputPath(
         &parsedOptions, type: .privateSwiftInterface, isOutputOptions: [],
         outputPath: .emitPrivateModuleInterfacePath,

Sources/SwiftDriver/Jobs/APIDigesterJobs.swift

@@ -65,6 +65,50 @@ extension Driver {
     )
   }
 
+  mutating func digesterDiagnosticsJob(modulePath: VirtualPath.Handle, baselinePath:
+                                              VirtualPath.Handle, mode: DigesterMode) throws -> Job {
+    func getDescriptorPath(for mode: DigesterMode) -> TypedVirtualPath? {
+      switch mode {
+      case .api:
+        return nil
+      case .abi:
+        return abiDescriptorPath
+      }
+    }
+    guard let currentABI = getDescriptorPath(for: mode) else {
+      // we don't have existing descriptor to use so we have to load the module from interface/swiftmodule
+      return try digesterCompareToBaselineJob(modulePath: modulePath, baselinePath: baselinePath, mode: digesterMode)
+    }
+    var commandLine = [Job.ArgTemplate]()
+    commandLine.appendFlag("-diagnose-sdk")
+    commandLine.appendFlag("-input-paths")
+    commandLine.appendPath(VirtualPath.lookup(baselinePath))
+    commandLine.appendFlag("-input-paths")
+    commandLine.appendPath(currentABI.file)
+    if mode == .abi {
+      commandLine.appendFlag("-abi")
+    }
+    if let arg = parsedOptions.getLastArgument(.digesterBreakageAllowlistPath)?.asSingle {
+      let path = try VirtualPath(path: arg)
+      commandLine.appendFlag("-breakage-allowlist-path")
+      commandLine.appendPath(path)
+    }
+    commandLine.appendFlag("-serialize-diagnostics-path")
+    let diag = TypedVirtualPath(file: currentABI.file.parentDirectory.appending(component: currentABI.file.basename + ".dia").intern(), type: .diagnostics)
+    commandLine.appendPath(diag.file)
+    let inputs: [TypedVirtualPath] = [currentABI]
+    return Job(
+      moduleName: moduleOutputInfo.name,
+      kind: .compareABIBaseline,
+      tool: .absolute(try toolchain.getToolPath(.swiftAPIDigester)),
+      commandLine: commandLine,
+      inputs: inputs,
+      primaryInputs: [],
+      outputs: [diag],
+      supportsResponseFiles: true
+    )
+  }
+
   mutating func digesterCompareToBaselineJob(modulePath: VirtualPath.Handle, baselinePath: VirtualPath.Handle, mode: DigesterMode) throws -> Job {
     var commandLine = [Job.ArgTemplate]()
     commandLine.appendFlag("-diagnose-sdk")

Sources/SwiftDriver/Jobs/EmitModuleJob.swift

@@ -92,9 +92,9 @@ extension Driver {
     let outputPath = VirtualPath.lookup(moduleOutputPath)
     commandLine.appendFlag(.o)
     commandLine.appendPath(outputPath)
-    if isFeatureSupported(.emit_abi_descriptor) {
+    if let abiPath = abiDescriptorPath {
       commandLine.appendFlag(.emitAbiDescriptorPath)
-      commandLine.appendPath(outputPath.replacingExtension(with: .jsonABIBaseline))
+      commandLine.appendPath(abiPath.file)
     }
     return Job(
       moduleName: moduleOutputInfo.name,

Sources/SwiftDriver/Jobs/Job.swift

@@ -40,7 +40,7 @@ public struct Job: Codable, Equatable, Hashable {
     case generateAPIBaseline = "generate-api-baseline"
     case generateABIBaseline = "generate-abi-baseline"
     case compareAPIBaseline = "compare-api-baseline"
-    case compareABIBaseline = "compare-abi-baseline"
+    case compareABIBaseline = "Check ABI stability"
   }
 
   public enum ArgTemplate: Equatable, Hashable {

Sources/SwiftDriver/Jobs/MergeModuleJob.swift

@@ -76,9 +76,9 @@ extension Driver {
     commandLine.appendFlag(.o)
     commandLine.appendPath(outputPath)
 
-    if isFeatureSupported(.emit_abi_descriptor) {
+    if let abiPath = abiDescriptorPath {
       commandLine.appendFlag(.emitAbiDescriptorPath)
-      commandLine.appendPath(outputPath.replacingExtension(with: .jsonABIBaseline))
+      commandLine.appendPath(abiPath.file)
     }
     return Job(
       moduleName: moduleOutputInfo.name,

Sources/SwiftDriver/Jobs/Planning.swift

@@ -495,7 +495,7 @@ extension Driver {
     }
     if let baselineArg = parsedOptions.getLastArgument(.compareToBaselinePath)?.asSingle,
        let baselinePath = try? VirtualPath.intern(path: baselineArg) {
-      addJob(try digesterCompareToBaselineJob(modulePath: moduleOutputPath, baselinePath: baselinePath, mode: digesterMode))
+      addJob(try digesterDiagnosticsJob(modulePath: moduleOutputPath, baselinePath: baselinePath, mode: digesterMode))
     }
   }
 

Tests/SwiftDriverTests/APIDigesterTests.swift

@@ -252,18 +252,11 @@ class APIDigesterTests: XCTestCase {
                                      "-digester-breakage-allowlist-path", "allowlist/path"])
       let digesterJob = try XCTUnwrap(driver.planBuild().first { $0.kind == .compareABIBaseline })
       XCTAssertTrue(digesterJob.commandLine.contains("-diagnose-sdk"))
-      XCTAssertTrue(digesterJob.commandLine.contains(subsequence: ["-module", "foo"]))
-      XCTAssertTrue(digesterJob.commandLine.contains(subsequence: ["-baseline-path", .path(.absolute(.init("/baseline/path")))]))
-      XCTAssertTrue(digesterJob.commandLine.contains(subsequence: ["-I", .path(.relative(.init(".")))]))
-      XCTAssertTrue(digesterJob.commandLine.contains(subsequence: ["-sdk", .path(.absolute(.init("/path/to/sdk")))]))
-      XCTAssertTrue(digesterJob.commandLine.contains(subsequence: ["-I", .path(.absolute(.init("/some/path")))]))
-      XCTAssertTrue(digesterJob.commandLine.contains(subsequence: ["-F", .path(.relative(.init("framework/path")))]))
-      XCTAssertTrue(digesterJob.commandLine.contains(subsequence: ["-serialize-diagnostics-path",
-                                                                   .path(.relative(.init("breaking-changes.dia")))]))
+      XCTAssertTrue(digesterJob.commandLine.contains(subsequence: ["-input-paths", .path(.absolute(.init("/baseline/path")))]))
       XCTAssertTrue(digesterJob.commandLine.contains(subsequence: ["-breakage-allowlist-path",
                                                                    .path(.relative(.init("allowlist/path")))]))
-
       XCTAssertTrue(digesterJob.commandLine.contains("-abi"))
+      XCTAssertTrue(digesterJob.commandLine.contains("-serialize-diagnostics-path"))
     }
   }