Add a Test for Moving Declarations From One Extension to Another

Author: CodaFi

test/Incremental/Fingerprints/Inputs/member-moves-extensions/definesS-after.swift

@@ -0,0 +1,17 @@
+public protocol P {
+  func foo()
+}
+
+public protocol Q: P {
+  func bar()
+}
+
+public struct S {}
+
+extension S: P {
+  public func foo() {}
+}
+
+extension S: Q {
+  public func bar() {}
+}

test/Incremental/Fingerprints/Inputs/member-moves-extensions/definesS-before.swift

@@ -0,0 +1,18 @@
+public protocol P {
+  func foo()
+}
+
+public protocol Q: P {
+  func bar()
+}
+
+public struct S {}
+
+extension S: P {
+  public func foo() {}
+  public func bar() {}
+}
+
+extension S: Q {
+
+}

test/Incremental/Fingerprints/Inputs/member-moves-extensions/main.swift

@@ -0,0 +1,7 @@
+extension S {
+  public func foo(_ parameter: Int = 42) {}
+  public func bar(_ parameter: Int = 42) {}
+}
+
+S().foo()
+S().bar()

test/Incremental/Fingerprints/Inputs/member-moves-extensions/ofm.json

@@ -0,0 +1,14 @@
+{
+  "main.swift": {
+    "object": "./main.o",
+    "swift-dependencies": "./main.swiftdeps"
+  },
+  "definesS.swift": {
+    "object": "./definesS.o",
+    "swift-dependencies": "./definesS.swiftdeps"
+  },
+  "": {
+    "swift-dependencies": "./main~buildrecord.swiftdeps"
+  }
+}
+

test/Incremental/Fingerprints/member-moves-extensions.swift

@@ -0,0 +1,32 @@
+// Test per-type-body fingerprints using simple extensions
+//
+// If the parser is allowed to use a body fingerprint for an extension
+// this test will fail because usesA.swift won't be recompiled for the
+// last step.
+
+// Establish status quo
+
+// RUN: %empty-directory(%t)
+// RUN: cp %S/Inputs/member-moves-extensions/* %t
+// RUN: cp %t/definesS{-before,}.swift
+
+// Seeing weird failure on CI, so set the mod times
+// RUN: touch -t 200101010101 %t/*.swift
+
+// RUN: cd %t && %target-swiftc_driver  -enable-batch-mode -j2 -incremental -driver-show-incremental main.swift definesS.swift -module-name main -output-file-map ofm.json  >& %t/output3
+
+// Change one type, only uses of that type get recompiled
+
+// RUN: cp %t/definesS{-after,}.swift
+
+// Seeing weird failure on CI, so ensure that definesS.swift is newer
+// RUN: touch -t 200201010101 %t/*
+// RUN: touch -t 200101010101 %t/*.swift
+// RUN: touch -t 200301010101 %t/definesS.swift
+
+// RUN: cd %t && %target-swiftc_driver  -enable-batch-mode -j2 -incremental -driver-show-incremental main.swift definesS.swift -module-name main -output-file-map ofm.json  >& %t/output4
+
+// RUN: %FileCheck -check-prefix=CHECK-RECOMPILED-W %s < %t/output4
+
+// CHECK-RECOMPILED-W: {compile: definesS.o <= definesS.swift}
+// CHECK-RECOMPILED-W: {compile: main.o <= main.swift}