[Macros] Validate the macro expansion via FileCheck for multi-file macro test.

Author: hborla

test/Macros/macro_expand_primary.swift

@@ -2,7 +2,8 @@
 // RUN: %empty-directory(%t-scratch)
 // RUN: %target-build-swift -I %swift-host-lib-dir -L %swift-host-lib-dir -emit-library -o %t/%target-library-name(MacroDefinition) -module-name=MacroDefinition %S/Inputs/syntax_macro_definitions.swift -g -no-toolchain-stdlib-rpath
 // RUN: %target-swift-frontend -emit-module -o %t/macro_library.swiftmodule %S/Inputs/macro_library.swift -module-name macro_library -enable-experimental-feature Macros -load-plugin-library %t/%target-library-name(MacroDefinition) -I %swift-host-lib-dir
-// RUN: %target-swift-frontend -typecheck -I%t -verify -primary-file %s %S/Inputs/macro_expand_other.swift -verify-ignore-unknown  -enable-experimental-feature Macros -load-plugin-library %t/%target-library-name(MacroDefinition) -I %swift-host-lib-dir
+// RUN: %target-swift-frontend -typecheck -I%t -verify -primary-file %s %S/Inputs/macro_expand_other.swift -verify-ignore-unknown  -enable-experimental-feature Macros -load-plugin-library %t/%target-library-name(MacroDefinition) -I %swift-host-lib-dir -dump-macro-expansions > %t/expansions-dump.txt 2>&1
+// RUN: %FileCheck -check-prefix=CHECK-DUMP %s < %t/expansions-dump.txt
 
 // REQUIRES: asserts
 // REQUIRES: OS=macosx
@@ -13,10 +14,65 @@ struct Treat {}
 
 @Observable
 final class Dog: Observable {
+  // CHECK-DUMP: public nonisolated func addObserver
+  // CHECK-DUMP: public nonisolated func removeObserver
+
+  // CHECK-DUMP: private struct Storage {
+  // CHECK-DUMP:   var name: String?
+  // CHECK-DUMP:   var treat: Treat?
+  // CHECK-DUMP:   var isHappy: Bool = true
+  // CHECK-DUMP: }
+
   var name: String?
+  // CHECK-DUMP: get {
+  // CHECK-DUMP:   _registrar.beginAccess(\.name)
+  // CHECK-DUMP:   defer { _registrar.endAccess() }
+  // CHECK-DUMP:   return _storage.name
+  // CHECK-DUMP: }
+  // CHECK-DUMP: set {
+  // CHECK-DUMP:   _registrar.beginAccess(\.name)
+  // CHECK-DUMP:   _registrar.register(observable: self, willSet: \.name, to: newValue)
+  // CHECK-DUMP:   defer {
+  // CHECK-DUMP:     _registrar.register(observable: self, didSet: \.name)
+  // CHECK-DUMP:     _registrar.endAccess()
+  // CHECK-DUMP:   }
+  // CHECK-DUMP:   _storage.name = newValue
+  // CHECK-DUMP: }
+
+
   var treat: Treat?
+  // CHECK-DUMP: get {
+  // CHECK-DUMP:   _registrar.beginAccess(\.treat)
+  // CHECK-DUMP:   defer { _registrar.endAccess() }
+  // CHECK-DUMP:   return _storage.treat
+  // CHECK-DUMP: }
+  // CHECK-DUMP: set {
+  // CHECK-DUMP:   _registrar.beginAccess(\.treat)
+  // CHECK-DUMP:   _registrar.register(observable: self, willSet: \.treat, to: newValue)
+  // CHECK-DUMP:   defer {
+  // CHECK-DUMP:     _registrar.register(observable: self, didSet: \.treat)
+  // CHECK-DUMP:     _registrar.endAccess()
+  // CHECK-DUMP:   }
+  // CHECK-DUMP:   _storage.treat = newValue
+  // CHECK-DUMP: }
+
 
   var isHappy: Bool = true
+  // CHECK-DUMP: get {
+  // CHECK-DUMP:   _registrar.beginAccess(\.isHappy)
+  // CHECK-DUMP:   defer { _registrar.endAccess() }
+  // CHECK-DUMP:   return _storage.isHappy
+  // CHECK-DUMP: }
+  // CHECK-DUMP: set {
+  // CHECK-DUMP:   _registrar.beginAccess(\.isHappy)
+  // CHECK-DUMP:   _registrar.register(observable: self, willSet: \.isHappy, to: newValue)
+  // CHECK-DUMP:   defer {
+  // CHECK-DUMP:     _registrar.register(observable: self, didSet: \.isHappy)
+  // CHECK-DUMP:     _registrar.endAccess()
+  // CHECK-DUMP:   }
+  // CHECK-DUMP:   _storage.isHappy = newValue
+  // CHECK-DUMP: }
+
 
   init() {}