| // RUN: %empty-directory(%t) |
| |
| // RUN: %target-swift-frontend -module-name Mod -emit-module -enable-private-imports -enable-sil-ownership -swift-version 5 -o %t %S/Inputs/private_import_module.swift |
| // RUN: %target-swift-emit-silgen -enable-sil-ownership -I %t -primary-file %s %S/private_import_other.swift -module-name main -swift-version 5 | %FileCheck %s |
| // RUN: %target-swift-emit-silgen -enable-sil-ownership -I %t %s %S/private_import_other.swift -module-name main -swift-version 5 | %FileCheck %s |
| // RUN: %target-swift-emit-silgen -enable-sil-ownership -I %t %S/private_import_other.swift %s -module-name main -swift-version 5 | %FileCheck %s |
| // RUN: %target-swift-emit-ir -enable-sil-ownership -I %t -primary-file %s %S/private_import_other.swift -module-name main -o /dev/null |
| // RUN: %target-swift-emit-ir -enable-sil-ownership -I %t -O -primary-file %s %S/private_import_other.swift -module-name main -o /dev/null |
| |
| |
| @_private(sourceFile: "private_import_module.swift") import Mod |
| |
| public protocol Fooable { |
| func foo() |
| } |
| |
| struct FooImpl: Fooable, HasDefaultFoo {} |
| public struct PublicFooImpl: Fooable, HasDefaultFoo {} |
| |
| // CHECK-LABEL: sil{{.*}} @$s4main7FooImplVAA7FooableA2aDP3fooyyFTW : $@convention(witness_method: Fooable) (@in_guaranteed FooImpl) -> () { |
| // CHECK: function_ref @$s3Mod13HasDefaultFoo33_{{.*}}PAAE3fooyyF |
| // CHECK: } // end sil function '$s4main7FooImplVAA7FooableA2aDP3fooyyFTW' |
| |
| // CHECK-LABEL: sil{{.*}} @$s4main13PublicFooImplVAA7FooableA2aDP3fooyyFTW : $@convention(witness_method: Fooable) (@in_guaranteed PublicFooImpl) -> () { |
| // CHECK: function_ref @$s3Mod13HasDefaultFoo33_{{.*}}PAAE3fooyyF |
| // CHECK: } // end sil function '$s4main13PublicFooImplVAA7FooableA2aDP3fooyyFTW' |
| |
| private class PrivateSub: Base { |
| fileprivate override func foo() {} |
| } |
| class Sub: Base { |
| internal override func foo() {} |
| } |
| public class PublicSub: Base { |
| public override func foo() {} |
| } |
| |
| // CHECK-LABEL: sil_vtable PrivateSub { |
| // CHECK-NEXT: #Base.foo!1: {{.*}} : @$s4main10PrivateSub33_{{.*}}3fooyyF |
| // CHECK-NEXT: #Base.init!allocator.1: {{.*}} : @$s4main10PrivateSub33_{{.*}}ADycfC |
| // CHECK-NEXT: #PrivateSub.deinit!deallocator.1: @$s4main10PrivateSub33_{{.*}}fD |
| // CHECK-NEXT: } |
| |
| // CHECK-LABEL: sil_vtable Sub { |
| // CHECK-NEXT: #Base.foo!1: {{.*}} : @$s4main3SubC3fooyyF |
| // CHECK-NEXT: #Base.init!allocator.1: {{.*}} : @$s4main3SubCACycfC |
| // CHECK-NEXT: #Sub.deinit!deallocator.1: @$s4main3SubCfD |
| // CHECK-NEXT: } |
| |
| // CHECK-LABEL: sil_vtable [serialized] PublicSub { |
| // CHECK-NEXT: #Base.foo!1: {{.*}} : @$s4main9PublicSubC3fooyyF |
| // CHECK-NEXT: #Base.init!allocator.1: {{.*}} : @$s4main9PublicSubCACycfC |
| // CHECK-NEXT: #PublicSub.deinit!deallocator.1: @$s4main9PublicSubCfD |
| // CHECK-NEXT: } |
| |
| |
| |
| // CHECK-LABEL: sil_witness_table hidden FooImpl: Fooable module main { |
| // CHECK-NEXT: method #Fooable.foo!1: {{.*}} : @$s4main7FooImplVAA7FooableA2aDP3fooyyFTW |
| // CHECK-NEXT: } |
| |
| // CHECK-LABEL: sil_witness_table [serialized] PublicFooImpl: Fooable module main { |
| // CHECK-NEXT: method #Fooable.foo!1: {{.*}} : @$s4main13PublicFooImplVAA7FooableA2aDP3fooyyFTW |
| // CHECK-NEXT: } |