mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
eea471fe99
The ComputeEffects pass derives escape information for function arguments and adds those effects in the function. This needs a lot of changes in check-lines in the tests, because the effects are printed in SIL
32 lines
917 B
Swift
32 lines
917 B
Swift
|
|
// RUN: %target-swift-frontend -module-name devirt_nested_class -emit-sil -O %s | %FileCheck %s
|
|
|
|
fileprivate class Outer<T> {
|
|
class Inner<U> : Base<T, U> {
|
|
@_optimize(none)
|
|
override func method<V>(v: V) {}
|
|
}
|
|
}
|
|
|
|
fileprivate class Base<T, U> {
|
|
@_optimize(none)
|
|
func method<V>(v: V) {}
|
|
}
|
|
|
|
fileprivate class Derived<T, U> : Outer<T>.Inner<U> {}
|
|
|
|
@_transparent
|
|
fileprivate func bar<T, U, V>(b: Base<T, U>, v: V) {
|
|
b.method(v: v)
|
|
}
|
|
|
|
fileprivate func foo<T, U, V>(d: Outer<T>.Inner<U>, v: V) {
|
|
bar(b: d, v: v)
|
|
}
|
|
|
|
foo(d: Outer<Int>.Inner<Int>(), v: 0)
|
|
|
|
// CHECK-LABEL: sil {{.*}}@main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32
|
|
// CHECK: function_ref @$s19devirt_nested_class5Outer{{.*}}LC5InnerC6method1vyqd0___tlF : $@convention(method) <τ_0_0><τ_1_0><τ_2_0> (@in_guaranteed τ_2_0, @guaranteed Outer<τ_0_0>.Inner<τ_1_0>) -> ()
|
|
// CHECK: return
|