1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
// Tests that under -enable-llvm-wme, IRGen marks wtables and wcall sites with
// the right attributes and intrinsics.
// RUN: %target-build-swift -Xfrontend -disable-objc-interop -Xfrontend -enable-llvm-wme \
// RUN: -Xfrontend -enable-relative-protocol-witness-tables \
// RUN: %s -emit-ir -o - | %FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-%target-ptrsize --check-prefix=CHECK-%target-cpu
// REQUIRES: PTRSIZE=64
protocol TheProtocol {
func func1_live()
func func2_dead()
}
struct MyStruct : TheProtocol {
func func1_live() { print("MyStruct.func1_live") }
func func2_dead() { print("MyStruct.func2_dead") }
}
// CHECK: @"$s4main8MyStructVAA11TheProtocolAAWP" =
// CHECK-SAME: hidden constant [3 x i32]
// CHECK-SAME: i32 trunc {{.*}} @"$s4main8MyStructVAA11TheProtocolAAMc"
// CHECK-SAME: i32 trunc {{.*}} @"$s4main8MyStructVAA11TheProtocolA2aDP10func1_liveyyFTW"
// CHECK-SAME: i32 trunc {{.*}} @"$s4main8MyStructVAA11TheProtocolA2aDP10func2_deadyyFTW"
// CHECK-SAME: ], align 8, !type !0, !type !1, !vcall_visibility !2, !typed_global_not_for_cfi !3
func test1() {
// CHECK: define hidden swiftcc void @"$s4main5test1yyF"()
let x: MyStruct = MyStruct()
x.func1_live()
// CHECK: call swiftcc void @"$s4main8MyStructVACycfC"()
// CHECK-NEXT: call swiftcc void @"$s4main8MyStructV10func1_liveyyF"()
// CHECK-NEXT: ret void
}
func test2() {
// CHECK: define hidden swiftcc void @"$s4main5test2yyF"()
let x: TheProtocol = MyStruct()
x.func1_live()
// CHECK: [[TBL:%.*]] = phi ptr
// CHECK-arm64e: [[T0:%.*]] = ptrtoint ptr [[TBL]] to i64
// CHECK-arm64e: [[T1:%.*]] = call i64 @llvm.ptrauth.auth(i64 [[T0]], i32 2, i64 47152)
// CHECK-arm64e: [[TBL:%.*]] = inttoptr i64 [[T1]] to ptr
// CHECK: [[ENTRY:%.*]] = getelementptr inbounds i32, ptr [[TBL]], i32 1
// CHECK: call { ptr, i1 } @llvm.type.checked.load.relative(ptr [[ENTRY]], i32 0, metadata !"$s4main11TheProtocolP10func1_liveyyFTq")
}
// CHECK: !0 = !{i64 4, !"$s4main11TheProtocolP10func1_liveyyFTq"}
// CHECK: !1 = !{i64 8, !"$s4main11TheProtocolP10func2_deadyyFTq"}
// CHECK: !2 = !{i64 1, i64 4, i64 12}
// CHECK: !3 = !{}
|
