mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
7cceaff5f3
Type annotations for instruction operands are omitted, e.g. ``` %3 = struct $S(%1, %2) ``` Operand types are redundant anyway and were only used for sanity checking in the SIL parser. But: operand types _are_ printed if the definition of the operand value was not printed yet. This happens: * if the block with the definition appears after the block where the operand's instruction is located * if a block or instruction is printed in isolation, e.g. in a debugger The old behavior can be restored with `-Xllvm -sil-print-types`. This option is added to many existing test files which check for operand types in their check-lines.
56 lines
2.1 KiB
Swift
56 lines
2.1 KiB
Swift
// RUN: %empty-directory(%t/src)
|
|
// RUN: split-file %s %t/src
|
|
|
|
/// Build the library A
|
|
// RUN: %target-swift-frontend -emit-module %t/src/Preconcurrency.swift \
|
|
// RUN: -module-name Preconcurrency -swift-version 5 -enable-library-evolution \
|
|
// RUN: -emit-module-path %t/Preconcurrency.swiftmodule
|
|
|
|
// RUN: %target-swift-emit-silgen -Xllvm -sil-print-types -swift-version 6 -disable-availability-checking -I %t %t/src/test.swift -o - -verify | %FileCheck %s
|
|
|
|
// REQUIRES: concurrency
|
|
|
|
//--- Preconcurrency.swift
|
|
|
|
public func takeNonSendableClosure_preconcurrency(_ fn: @escaping () -> Int) {}
|
|
public func takeNonSendableClosure_preconcurrency_generic<T>(_ fn: @escaping () -> T) {}
|
|
|
|
//--- test.swift
|
|
|
|
import Preconcurrency
|
|
|
|
func takeNonSendableClosure_strict(_ fn: @escaping () -> Int) { }
|
|
@preconcurrency
|
|
|
|
actor MyActor {
|
|
var counter = 0
|
|
}
|
|
func forceIsolation(isolation: isolated MyActor?) {}
|
|
|
|
// rdar://132478429
|
|
//
|
|
// We were trying to emit dynamic isolation checks in functions that are
|
|
// isolated to optional actor references by just passing that reference
|
|
// directly to extract_executor, which is incorrect --- we need to skip
|
|
// the check when the reference is nil.
|
|
|
|
// CHECK-LABEL: sil private [ossa] @$s4test0A25OptionalIsolation_checked9isolationyAA7MyActorCSgYi_tFSiycfU_ :
|
|
// CHECK: [[T0:%.*]] = copy_value %0 : $Optional<MyActor>
|
|
// CHECK-NEXT: [[BORROW:%.*]] = begin_borrow [[T0]] :
|
|
// CHECK-NEXT: switch_enum [[BORROW]] : $Optional<MyActor>, case #Optional.some!enumelt: bb1, case #Optional.none!enumelt: bb2
|
|
// CHECK: bb1([[T0:%.*]] : @guaranteed $MyActor):
|
|
// CHECK-NEXT: extract_executor [[T0]] : $MyActor
|
|
// CHECK: // function_ref _checkExpectedExecutor
|
|
// CHECK: br bb3
|
|
// CHECK: bb2:
|
|
// CHECK-NEXT: br bb3
|
|
func testOptionalIsolation_checked(isolation: isolated MyActor?) {
|
|
takeNonSendableClosure_preconcurrency {
|
|
// This closure inherits isolation because it's non-Sendable, and
|
|
// it requires a dynamic check because we're passing it to a
|
|
// preconcurrency function.
|
|
forceIsolation(isolation: isolation)
|
|
return 0
|
|
}
|
|
}
|