mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
178 lines
8.1 KiB
Swift
178 lines
8.1 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-build-swift -lswiftSwiftReflectionTest %s -o %t/reflect_existential
|
|
// RUN: %target-codesign %t/reflect_existential
|
|
|
|
// RUN: %target-run %target-swift-reflection-test %t/reflect_existential | %FileCheck %s --check-prefix=CHECK-%target-ptrsize %add_num_extra_inhabitants
|
|
|
|
// REQUIRES: reflection_test_support
|
|
// REQUIRES: executable_test
|
|
// UNSUPPORTED: use_os_stdlib
|
|
// UNSUPPORTED: asan
|
|
|
|
import SwiftReflectionTest
|
|
|
|
class TestGeneric<T> {
|
|
var t: T
|
|
|
|
init(_ t: T) {
|
|
self.t = t
|
|
}
|
|
}
|
|
|
|
protocol P {}
|
|
protocol CP : class {}
|
|
class C : CP {}
|
|
class D : C, P {}
|
|
|
|
reflect(object: TestGeneric(D() as Any))
|
|
|
|
// CHECK-64: Type reference:
|
|
// CHECK-64: (bound_generic_class reflect_existential.TestGeneric
|
|
// CHECK-64: (protocol_composition))
|
|
|
|
// CHECK-64: Type info:
|
|
// CHECK-64: (class_instance size=48 alignment=8 stride=48 num_extra_inhabitants=0 bitwise_takable=1
|
|
// CHECK-64: (field name=t offset=16
|
|
// CHECK-64: (opaque_existential size=32 alignment=8 stride=32 num_extra_inhabitants=[[#num_extra_inhabitants_64bit]] bitwise_takable=1
|
|
// CHECK-64: (field name=metadata offset=24
|
|
// CHECK-64: (builtin size=8 alignment=8 stride=8 num_extra_inhabitants=[[#num_extra_inhabitants_64bit]] bitwise_takable=1)))))
|
|
|
|
// CHECK-32: Type reference:
|
|
// CHECK-32: (bound_generic_class reflect_existential.TestGeneric
|
|
// CHECK-32: (protocol_composition))
|
|
|
|
// CHECK-32: Type info:
|
|
// CHECK-32: (class_instance size=24 alignment=4 stride=24 num_extra_inhabitants=0 bitwise_takable=1
|
|
// CHECK-32: (field name=t offset=8
|
|
// CHECK-32: (opaque_existential size=16 alignment=4 stride=16 num_extra_inhabitants=4096 bitwise_takable=1
|
|
// CHECK-32: (field name=metadata offset=12
|
|
// CHECK-32: (builtin size=4 alignment=4 stride=4 num_extra_inhabitants=4096 bitwise_takable=1)))))
|
|
|
|
reflect(object: TestGeneric(D() as P))
|
|
|
|
// CHECK-64: Type reference:
|
|
// CHECK-64: (bound_generic_class reflect_existential.TestGeneric
|
|
// CHECK-64: (protocol_composition
|
|
// CHECK-64: (protocol reflect_existential.P)))
|
|
|
|
// CHECK-64: Type info:
|
|
// CHECK-64: (class_instance size=56 alignment=8 stride=56 num_extra_inhabitants=0 bitwise_takable=1
|
|
// CHECK-64: (field name=t offset=16
|
|
// CHECK-64: (opaque_existential size=40 alignment=8 stride=40 num_extra_inhabitants=[[#num_extra_inhabitants_64bit]] bitwise_takable=1
|
|
// CHECK-64: (field name=metadata offset=24
|
|
// CHECK-64: (builtin size=8 alignment=8 stride=8 num_extra_inhabitants=[[#num_extra_inhabitants_64bit]] bitwise_takable=1))
|
|
// CHECK-64: (field name=wtable offset=32
|
|
// CHECK-64: (builtin size=8 alignment=8 stride=8 num_extra_inhabitants=1 bitwise_takable=1)))))
|
|
|
|
// CHECK-32: Type reference:
|
|
// CHECK-32: (bound_generic_class reflect_existential.TestGeneric
|
|
// CHECK-32: (protocol_composition
|
|
// CHECK-32: (protocol reflect_existential.P)))
|
|
|
|
// CHECK-32: Type info:
|
|
// CHECK-32: (class_instance size=28 alignment=4 stride=28 num_extra_inhabitants=0 bitwise_takable=1
|
|
// CHECK-32: (field name=t offset=8
|
|
// CHECK-32: (opaque_existential size=20 alignment=4 stride=20 num_extra_inhabitants=4096 bitwise_takable=1
|
|
// CHECK-32: (field name=metadata offset=12
|
|
// CHECK-32: (builtin size=4 alignment=4 stride=4 num_extra_inhabitants=4096 bitwise_takable=1))
|
|
// CHECK-32: (field name=wtable offset=16
|
|
// CHECK-32: (builtin size=4 alignment=4 stride=4 num_extra_inhabitants=1 bitwise_takable=1)))))
|
|
|
|
reflect(object: TestGeneric(D() as (P & AnyObject)))
|
|
|
|
// CHECK-64: Type reference:
|
|
// CHECK-64: (bound_generic_class reflect_existential.TestGeneric
|
|
// CHECK-64: (protocol_composition any_object
|
|
// CHECK-64: (protocol reflect_existential.P)))
|
|
|
|
// CHECK-64: Type info:
|
|
// CHECK-64: (class_instance size=32 alignment=8 stride=32 num_extra_inhabitants=0 bitwise_takable=1
|
|
// CHECK-64: (field name=t offset=16
|
|
// CHECK-64: (class_existential size=16 alignment=8 stride=16 num_extra_inhabitants=[[#num_extra_inhabitants_64bit]] bitwise_takable=1
|
|
// CHECK-64: (field name=object offset=0
|
|
// CHECK-64: (reference kind=strong refcounting=unknown))
|
|
// CHECK-64: (field name=wtable offset=8
|
|
// CHECK-64: (builtin size=8 alignment=8 stride=8 num_extra_inhabitants=1 bitwise_takable=1)))))
|
|
|
|
// CHECK-32: Type reference:
|
|
// CHECK-32: (bound_generic_class reflect_existential.TestGeneric
|
|
// CHECK-32: (protocol_composition any_object
|
|
// CHECK-32: (protocol reflect_existential.P)))
|
|
|
|
// CHECK-32: Type info:
|
|
// CHECK-32: (class_instance size=16 alignment=4 stride=16 num_extra_inhabitants=0 bitwise_takable=1
|
|
// CHECK-32: (field name=t offset=8
|
|
// CHECK-32: (class_existential size=8 alignment=4 stride=8 num_extra_inhabitants=4096 bitwise_takable=1
|
|
// CHECK-32: (field name=object offset=0
|
|
// CHECK-32: (reference kind=strong refcounting=unknown))
|
|
// CHECK-32: (field name=wtable offset=4
|
|
// CHECK-32: (builtin size=4 alignment=4 stride=4 num_extra_inhabitants=1 bitwise_takable=1)))))
|
|
|
|
reflect(object: TestGeneric(D() as CP))
|
|
|
|
// CHECK-64: Type reference:
|
|
// CHECK-64: (bound_generic_class reflect_existential.TestGeneric
|
|
// CHECK-64: (protocol_composition any_object
|
|
// CHECK-64: (protocol reflect_existential.CP)))
|
|
|
|
// CHECK-64: Type info:
|
|
// CHECK-64: (class_instance size=32 alignment=8 stride=32 num_extra_inhabitants=0 bitwise_takable=1
|
|
// CHECK-64: (field name=t offset=16
|
|
// CHECK-64: (class_existential size=16 alignment=8 stride=16 num_extra_inhabitants=[[#num_extra_inhabitants_64bit]] bitwise_takable=1
|
|
// CHECK-64: (field name=object offset=0
|
|
// CHECK-64: (reference kind=strong refcounting=unknown))
|
|
// CHECK-64: (field name=wtable offset=8
|
|
// CHECK-64: (builtin size=8 alignment=8 stride=8 num_extra_inhabitants=1 bitwise_takable=1)))))
|
|
|
|
// CHECK-32: Type reference:
|
|
// CHECK-32: (bound_generic_class reflect_existential.TestGeneric
|
|
// CHECK-32: (protocol_composition any_object
|
|
// CHECK-32: (protocol reflect_existential.CP)))
|
|
|
|
// CHECK-32: Type info:
|
|
// CHECK-32: (class_instance size=16 alignment=4 stride=16 num_extra_inhabitants=0 bitwise_takable=1
|
|
// CHECK-32: (field name=t offset=8
|
|
// CHECK-32: (class_existential size=8 alignment=4 stride=8 num_extra_inhabitants=4096 bitwise_takable=1
|
|
// CHECK-32: (field name=object offset=0
|
|
// CHECK-32: (reference kind=strong refcounting=unknown))
|
|
// CHECK-32: (field name=wtable offset=4
|
|
// CHECK-32: (builtin size=4 alignment=4 stride=4 num_extra_inhabitants=1 bitwise_takable=1)))))
|
|
|
|
reflect(object: TestGeneric(D() as (C & P)))
|
|
|
|
// CHECK-64: Type reference:
|
|
// CHECK-64: (bound_generic_class reflect_existential.TestGeneric
|
|
// CHECK-64: (protocol_composition any_object
|
|
// CHECK-64: (class reflect_existential.C)
|
|
// CHECK-64: (protocol reflect_existential.P)))
|
|
|
|
// CHECK-64: Type info:
|
|
// CHECK-64: (class_instance size=32 alignment=8 stride=32 num_extra_inhabitants=0 bitwise_takable=1
|
|
// CHECK-64: (field name=t offset=16
|
|
// CHECK-64: (class_existential size=16 alignment=8 stride=16 num_extra_inhabitants=[[#num_extra_inhabitants_64bit]] bitwise_takable=1
|
|
// CHECK-64: (field name=object offset=0
|
|
// CHECK-64: (reference kind=strong refcounting=native))
|
|
// CHECK-64: (field name=wtable offset=8
|
|
// CHECK-64: (builtin size=8 alignment=8 stride=8 num_extra_inhabitants=1 bitwise_takable=1)))))
|
|
|
|
// CHECK-32: Type reference:
|
|
// CHECK-32: (bound_generic_class reflect_existential.TestGeneric
|
|
// CHECK-32: (protocol_composition any_object
|
|
// CHECK-32: (class reflect_existential.C)
|
|
// CHECK-32: (protocol reflect_existential.P)))
|
|
|
|
// CHECK-32: Type info:
|
|
// CHECK-32: (class_instance size=16 alignment=4 stride=16 num_extra_inhabitants=0 bitwise_takable=1
|
|
// CHECK-32: (field name=t offset=8
|
|
// CHECK-32: (class_existential size=8 alignment=4 stride=8 num_extra_inhabitants=4096 bitwise_takable=1
|
|
// CHECK-32: (field name=object offset=0
|
|
// CHECK-32: (reference kind=strong refcounting=native))
|
|
// CHECK-32: (field name=wtable offset=4
|
|
// CHECK-32: (builtin size=4 alignment=4 stride=4 num_extra_inhabitants=1 bitwise_takable=1)))))
|
|
|
|
doneReflecting()
|
|
|
|
// CHECK-64: Done.
|
|
|
|
// CHECK-32: Done.
|