mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
a0088327d4
The reason why is that we want to distinguish inbetween SILFunction's that are marked as unspecified by SILGen and those that are parsed from textual SIL that do not have any specified isolation. This will make it easier to write nice FileCheck tests against SILGen output on what is the inferred isolation for various items. NFCI.
23 lines
1.1 KiB
Swift
23 lines
1.1 KiB
Swift
|
|
// RUN: %target-swift-frontend -module-name specialize_self -Xllvm -sil-full-demangle -O -sil-inline-threshold 0 -emit-sil -primary-file %s | %FileCheck %s
|
|
|
|
// CHECK-NOT: generic specialization <Swift.AnyObject, Self> of specialize_self.cast <A, B>(A) -> Swift.Optional<B>
|
|
|
|
// CHECK-LABEL: specialize_self.cast<A, B>(A) -> Swift.Optional<B>
|
|
// CHECK-NEXT: Isolation: unspecified
|
|
// CHECK-NEXT: sil hidden @$s15specialize_self4cast{{[_0-9a-zA-Z]*}}F : $@convention(thin) <T, R> (@in_guaranteed T) -> @out Optional<R>
|
|
func cast<T,R>(_ x: T) -> R? {
|
|
return x as? R
|
|
}
|
|
|
|
// CHECK-LABEL: static specialize_self.Base.returnIfSelf(Swift.AnyObject) -> Swift.Optional<Self>
|
|
// CHECK-NEXT: Isolation: unspecified
|
|
// CHECK-NEXT: sil hidden @$s15specialize_self4BaseC12returnIfSelf{{[_0-9a-zA-Z]*}}FZ : $@convention(method) (@guaranteed AnyObject, @thick Base.Type) -> @owned Optional<Base>
|
|
// CHECK: [[CAST:%[0-9]+]] = function_ref @$s15specialize_self4cast{{[_0-9a-zA-Z]*}}F
|
|
// CHECK: apply [[CAST]]<AnyObject, @dynamic_self Base>
|
|
class Base {
|
|
class func returnIfSelf(_ x: AnyObject) -> Self? {
|
|
return cast(x)
|
|
}
|
|
}
|