mirror of
https://github.com/apple/swift.git
synced 2026-02-27 18:26:24 +01:00
3dd5286d48
We don't need to export the type metadata address point alias in clients that
lazily emit other module's type metadata. There will be an exported
metadata symbol in the originating module for that purpose.
Instead, satisfy any local uses of the metadata address point uses by its
underlying address computation.
This is to workaround a bug where LLVM generates the wrong assembly for
weak aliases that point to an offset of another symbol.
```
@"$e1C7MyClassCySiGN" = weak_odr hidden alias %swift.type, getelementptr
inbounds (<{ ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr }>,
ptr @"$e1C7MyClassCySiGMf", i32 0, i32 1)
```
Generates:
```
.weak_reference _$e1C7MyClassCySiGN
.private_extern _$e1C7MyClassCySiGN
.alt_entry _$e1C7MyClassCySiGN
_$e1C7MyClassCySiGN = _$e1C7MyClassCySiGMf+8
```
Instead of
```
.weak_definition _$e1C7MyClassCySiGN
.private_extern _$e1C7MyClassCySiGN
.alt_entry _$e1C7MyClassCySiGN
_$e1C7MyClassCySiGN = _$e1C7MyClassCySiGMf+8
```
Leading for "weak"ness to be ignored and duplicate type medata symbol linkage
errors.
rdar://169573918
76 lines
3.1 KiB
Swift
76 lines
3.1 KiB
Swift
// RUN: %target-swift-emit-ir %s -parse-stdlib -enable-experimental-feature Embedded -target arm64e-apple-none -wmo -disable-experimental-feature EmbeddedExistentials | %FileCheck %s
|
|
// RUN: %target-swift-emit-ir %s -parse-stdlib -enable-experimental-feature Embedded -target arm64e-apple-none -wmo | %FileCheck %s --check-prefix=EXIST
|
|
|
|
// REQUIRES: swift_in_compiler
|
|
// REQUIRES: swift_feature_Embedded
|
|
|
|
public class MyClass {
|
|
func foo() { }
|
|
func bar() { }
|
|
}
|
|
|
|
public class MySubClass: MyClass {
|
|
override func foo() { }
|
|
}
|
|
|
|
// CHECK: @"$e4main7MyClassCN" = {{.*}}<{ ptr, ptr, ptr, ptr, ptr, ptr }> <{ ptr null, ptr @"$e4main7MyClassCfD", ptr null, ptr @"$e4main7MyClassC3fooyyF", ptr @"$e4main7MyClassC3baryyF", ptr @swift_deletedMethodError }>
|
|
// CHECK: @"$e4main10MySubClassCN" = {{.*}}<{ ptr, ptr, ptr, ptr, ptr, ptr }> <{ ptr @"$e4main7MyClassCN", ptr @"$e4main10MySubClassCfD", ptr null, ptr @"$e4main10MySubClassC3fooyyF", ptr @"$e4main7MyClassC3baryyF", ptr @"$e4main10MySubClassCACycfC" }>
|
|
|
|
// CHECK: define {{.*}}void @"$e4main4test1xyAA7MyClassC_tF"(ptr %0)
|
|
public func test(x: MyClass) {
|
|
|
|
x.foo() // goes through the vtable
|
|
// CHECK: %1 = load ptr, ptr %0
|
|
// CHECK: %2 = getelementptr inbounds ptr, ptr %1, i64 3
|
|
// CHECK: %3 = load ptr, ptr %2
|
|
// CHECK: call swiftcc void %3(ptr swiftself %0)
|
|
|
|
x.bar() // does not go through the vtable
|
|
// CHECK: call swiftcc void @"$e4main7MyClassC3baryyF"
|
|
|
|
let y = MySubClass()
|
|
// CHECK: call swiftcc ptr @"$e4main10MySubClassCACycfC"
|
|
|
|
y.foo() // does not go through the vtable
|
|
// CHECK: call swiftcc void @"$e4main10MySubClassC3fooyyF"
|
|
|
|
y.bar() // does not go through the vtable
|
|
// CHECK: call swiftcc void @"$e4main7MyClassC3baryyF"
|
|
|
|
}
|
|
|
|
|
|
// EXIST: @"$e4main10MySubClassCMf" = {{.*}} <{ ptr @"$eBoWV", ptr getelementptr inbounds ({{.*}}, ptr @"$e4main7MyClassCMf", i32 0, i32 1), ptr @"$e4main10MySubClassCfD", ptr null, ptr @"$e4main10MySubClassC3fooyyF", ptr @"$e4main7MyClassC3baryyF", ptr @"$e4main10MySubClassCACycfC" }>
|
|
// EXIST: @"$e4main7MyClassCMf" = {{.*}} <{ ptr @"$eBoWV", ptr null, ptr @"$e4main7MyClassCfD", ptr null, ptr @"$e4main7MyClassC3fooyyF", ptr @"$e4main7MyClassC3baryyF", ptr @swift_deletedMethodError }>
|
|
|
|
// EXIST: @"$e4main10MySubClassCN" = {{.*}}alias{{.*}} ptr @"$e4main10MySubClassCMf", i32 0, i32 1)
|
|
// EXIST: @"$e4main7MyClassCN" = {{.*}}alias{{.*}} ptr @"$e4main7MyClassCMf", i32 0, i32 1)
|
|
|
|
|
|
// EXIST: define {{.*}}void @"$e4main4test1xyAA7MyClassC_tF"(ptr %0)
|
|
|
|
// public func test(x: MyClass) {
|
|
|
|
// x.foo() // goes through the vtable
|
|
|
|
// EXIST: %1 = load ptr, ptr %0
|
|
// EXIST: %2 = getelementptr inbounds ptr, ptr %1, i64 3
|
|
// EXIST: %3 = load ptr, ptr %2
|
|
// EXIST: call swiftcc void %3(ptr swiftself %0)
|
|
|
|
// x.bar() // does not go through the vtable
|
|
|
|
// EXIST: call swiftcc void @"$e4main7MyClassC3baryyF"
|
|
|
|
// let y = MySubClass()
|
|
|
|
// EXIST: call swiftcc ptr @"$e4main10MySubClassCACycfC"
|
|
|
|
// y.foo() // does not go through the vtable
|
|
|
|
// EXIST: call swiftcc void @"$e4main10MySubClassC3fooyyF"
|
|
|
|
// y.bar() // does not go through the vtable
|
|
|
|
// EXIST: call swiftcc void @"$e4main7MyClassC3baryyF"
|