mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
c8e74b8393
Instead of adding a "flag" (`m` in `...Tgm5`) make it more generic to allow to drop any unused argument. Add all dropped arguments with a `t<n-1>` (where `<n-1>` is empty for n === 0). For example `...Ttt2g5`.
52 lines
2.1 KiB
Swift
52 lines
2.1 KiB
Swift
// REQUIRES: VENDOR=apple
|
|
// Validate that the specializations actually exist (if they don't then we're not
|
|
// validating that they end up with the correct linkages):
|
|
// RUN: %target-swift-frontend -emit-sil -o- -O -Xllvm -sil-disable-pass=cmo -validate-tbd-against-ir=none %s | %FileCheck %s
|
|
|
|
// RUN: %target-swift-frontend -emit-ir -o/dev/null -O -validate-tbd-against-ir=all %s
|
|
// RUN: %target-swift-frontend -emit-ir -o/dev/null -O -validate-tbd-against-ir=all -enable-library-evolution %s
|
|
|
|
// With -enable-testing:
|
|
// RUN: %target-swift-frontend -emit-ir -o/dev/null -O -validate-tbd-against-ir=all -enable-testing %s
|
|
// RUN: %target-swift-frontend -emit-ir -o/dev/null -O -validate-tbd-against-ir=all -enable-library-evolution -enable-testing %s
|
|
|
|
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-frontend -typecheck -parse-as-library -module-name test %s -emit-tbd -emit-tbd-path %t/typecheck.tbd -tbd-install_name specialization
|
|
// RUN: %target-swift-frontend -emit-ir -parse-as-library -module-name test %s -emit-tbd -emit-tbd-path %t/emit-ir.tbd -tbd-install_name specialization
|
|
// RUN: %llvm-readtapi --compare %t/typecheck.tbd %t/emit-ir.tbd
|
|
|
|
// rdar://problem/40738913
|
|
|
|
open class Foo {
|
|
@inline(never)
|
|
fileprivate func foo<T>(_: T.Type) {}
|
|
}
|
|
|
|
open class Bar<T> {
|
|
public init() {
|
|
bar()
|
|
}
|
|
|
|
@inline(never)
|
|
fileprivate func bar() {}
|
|
}
|
|
|
|
|
|
public func f() {
|
|
Foo().foo(Int.self)
|
|
Bar<Int>().bar()
|
|
}
|
|
|
|
|
|
// Generic specialization, from the foo call in f
|
|
// CHECK-LABEL: // specialized Foo.foo<A>(_:)
|
|
// CHECK-NEXT: sil private [noinline] @$s14specialization3FooC3foo33_A6E3E43DB6679655BDF5A878ABC489A0LLyyxmlFSi_Ttg5Tf4d_n : $@convention(thin) () -> ()
|
|
|
|
// Function signature specialization, from the bar call in Bar.init
|
|
// CHECK-LABEL: // specialized Bar.bar()
|
|
// CHECK-NEXT: sil private [noinline] @$s14specialization3BarC3bar33_A6E3E43DB6679655BDF5A878ABC489A0LLyyFTf4d_n : $@convention(thin) () -> () {
|
|
|
|
// Generic specialization, from the bar call in f
|
|
// CHECK-LABEL: // specialized Bar.bar()
|
|
// CHECK-NEXT: sil private [noinline] @$s14specialization3BarC3bar33_A6E3E43DB6679655BDF5A878ABC489A0LLyyFSi_Tg5Tf4d_n : $@convention(thin) () -> ()
|