actor_init_abi.swift

// RUN: %empty-directory(%t)

// NOTE: the two tests below look like a lot of copy-pasting, but the only thing that's varying between
// the two checks is whether "-D DELEGATES" is passed when compiling MysteryInit and whether the check-prefix when running the executable matches that or not.

/// -----------------------------------------------------------------------
/// Check if the actor init in the library can change from delegating to non-delegating
/// -----------------------------------------------------------------------

// ------> first library DOES delegate
// RUN: %target-build-swift-dylib(%t/%target-library-name(MysteryInit)) -D DELEGATES -target %target-swift-5.1-abi-triple -enable-library-evolution %S/Inputs/MysteryInit.swift -emit-module -emit-module-path %t/MysteryInit.swiftmodule -module-name MysteryInit
// RUN: %target-codesign %t/%target-library-name(MysteryInit)


// ------> make sure that works
// RUN: %target-build-swift -parse-as-library  -target %target-swift-5.1-abi-triple %s -lMysteryInit -I %t -L %t -o %t/main %target-rpath(%t)
// RUN: %target-codesign %t/main
// RUN: %target-run %t/main %t/%target-library-name(MysteryInit) | %FileCheck --check-prefix=CHECK-DELEGATES %s

// ------> do a little internal soundness check on this test itself
// RUN: %target-run %t/main %t/%target-library-name(MysteryInit) | not %FileCheck --check-prefix=CHECK-NO-DELEGATES %s

// ------> now recompile that library's init so it DOES NOT delegate, without recompiling executable
// RUN: %target-build-swift-dylib(%t/%target-library-name(MysteryInit)) -target %target-swift-5.1-abi-triple -enable-library-evolution %S/Inputs/MysteryInit.swift -emit-module -emit-module-path %t/MysteryInit.swiftmodule -module-name MysteryInit
// RUN: %target-codesign %t/%target-library-name(MysteryInit)

// ------> re-run executable
// RUN: %target-run %t/main %t/%target-library-name(MysteryInit) | %FileCheck --check-prefix=CHECK-NO-DELEGATES %s


/// -----------------------------------------------------------------------
/// now, other direction: Check if the actor init can change from non-delegating to delegating
/// -----------------------------------------------------------------------

// ------> library currently DOES NOT delegate. recompile executable to match.
// RUN: %target-build-swift -parse-as-library  -target %target-swift-5.1-abi-triple %s -lMysteryInit -I %t -L %t -o %t/main %target-rpath(%t)
// RUN: %target-codesign %t/main
// RUN: %target-run %t/main %t/%target-library-name(MysteryInit) | %FileCheck --check-prefix=CHECK-NO-DELEGATES %s

// ------> now recompile that library's init so it DOES delegate, without recompiling executable
// RUN: %target-build-swift-dylib(%t/%target-library-name(MysteryInit)) -D DELEGATES -target %target-swift-5.1-abi-triple -enable-library-evolution %S/Inputs/MysteryInit.swift -emit-module -emit-module-path %t/MysteryInit.swiftmodule -module-name MysteryInit
// RUN: %target-codesign %t/%target-library-name(MysteryInit)

// ------> re-run executable
// RUN: %target-run %t/main %t/%target-library-name(MysteryInit) | %FileCheck --check-prefix=CHECK-DELEGATES %s


// REQUIRES: executable_test
// REQUIRES: concurrency
// REQUIRES: objc_interop

// rdar://76038845
// REQUIRES: concurrency_runtime
// UNSUPPORTED: back_deployment_runtime

import MysteryInit

// NOTE: the number of myth/real checks in this function (in either mode) should
// match the number of times `test` is called. The -NOT check is there to catch
// any mistakes in updating the test.
func test(_ bigFoot: any NamedEntity) {
  switch bigFoot.name {
    case .none:
      print("bigfoot is myth")
      // CHECK-NO-DELEGATES: bigfoot is myth
      // CHECK-NO-DELEGATES: bigfoot is myth

      // CHECK-NO-DELEGATES-NOT: bigfoot
    default:
      print("bigfoot is real")
      // CHECK-DELEGATES: bigfoot is real
      // CHECK-DELEGATES: bigfoot is real

      // CHECK-DELEGATES-NOT: bigfoot
    }
}

@main
struct Main {
  static func main() {
    test(BigFoot())
    test(BigFootObjC())
  }
}