mirror of
https://github.com/apple/swift.git
synced 2026-10-16 16:50:49 +02:00
Pavel Yaskevich
c6ee92e5d2
Similarly to SILVerifier condition, it has to use `isCompatibleWith` to allow for "none" as well.
55 lines
2.4 KiB
Plaintext
55 lines
2.4 KiB
Plaintext
// RUN: %target-sil-opt -sil-print-types -enable-objc-interop -enable-sil-verify-all=true %s | %target-sil-opt -sil-print-types -enable-objc-interop -enable-sil-verify-all=true | %FileCheck %s
|
|
// REQUIRES: concurrency
|
|
|
|
sil_stage raw // CHECK: sil_stage raw
|
|
|
|
import Builtin
|
|
import Swift
|
|
import _Concurrency
|
|
|
|
// CHECK-LABEL: sil @test_hop_to_executor
|
|
sil @test_hop_to_executor : $@convention(thin) (@guaranteed any Actor) -> () {
|
|
bb0(%0 : $any Actor):
|
|
// CHECK: hop_to_executor %0 : $any Actor
|
|
hop_to_executor %0 : $any Actor
|
|
// CHECK: hop_to_executor [mandatory] %0 : $any Actor
|
|
hop_to_executor [mandatory] %0 : $any Actor
|
|
%2 = tuple ()
|
|
return %2 : $()
|
|
}
|
|
|
|
sil @some_async_function : $@convention(thin) @async () -> ()
|
|
|
|
// CHECK-LABEL: sil @test_noasync_call
|
|
sil @test_noasync_call : $@convention(thin) () -> () {
|
|
bb0:
|
|
// CHECK: apply [noasync]
|
|
%fn = function_ref @some_async_function : $@convention(thin) @async () -> ()
|
|
%result = apply [noasync] %fn() : $@convention(thin) @async () -> ()
|
|
%2 = tuple ()
|
|
return %2 : $()
|
|
}
|
|
|
|
|
|
// CHECK-LABEL: sil [ossa] @test_cast_implicitactor_to_opaqueisolation : $@convention(thin) (@guaranteed Builtin.ImplicitActor) -> @owned Optional<any Actor> {
|
|
// CHECK: implicitactor_to_opaqueisolation_cast {{%.*}} : $Builtin.ImplicitActor
|
|
// CHECK: } // end sil function 'test_cast_implicitactor_to_opaqueisolation'
|
|
sil [ossa] @test_cast_implicitactor_to_opaqueisolation : $@convention(thin) (@guaranteed Builtin.ImplicitActor) -> @owned Optional<any Actor> {
|
|
bb0(%0 : @guaranteed $Builtin.ImplicitActor):
|
|
%1 = implicitactor_to_opaqueisolation_cast %0 : $Builtin.ImplicitActor
|
|
%2 = copy_value %1 : $Optional<any Actor>
|
|
return %2 : $Optional<any Actor>
|
|
}
|
|
|
|
// CHECK-LABEL: sil [ossa] @test_implicitactor_to_opaqueisolation_on_unowned : $@convention(thin) () -> @owned Optional<any Actor> {
|
|
// CHECK: implicitactor_to_opaqueisolation_cast {{%.*}} : $Builtin.ImplicitActor
|
|
// CHECK: } // end sil function 'test_implicitactor_to_opaqueisolation_on_unowned'
|
|
sil [ossa] @test_implicitactor_to_opaqueisolation_on_unowned : $@convention(thin) () -> @owned Optional<any Actor> {
|
|
bb0:
|
|
%0 = enum $Optional<any Actor>, #Optional.none!enumelt
|
|
%1 = unchecked_value_cast %0 : $Optional<any Actor> to $Builtin.ImplicitActor
|
|
%2 = implicitactor_to_opaqueisolation_cast %1 : $Builtin.ImplicitActor
|
|
%3 = copy_value %2 : $Optional<any Actor>
|
|
return %3 : $Optional<any Actor>
|
|
}
|