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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
// RUN: %swift -swift-version 5 -target arm64e-apple-ios12.0 -parse-stdlib -parse-as-library %s -emit-ir -module-name test -Xcc -Xclang -Xcc -fptrauth-calls | %FileCheck %s --check-prefix=CHECK
// REQUIRES: CPU=arm64e
// REQUIRES: OS=ios
import Builtin
protocol P {
static func foo()
}
protocol Q {
init()
associatedtype Assoc : P
}
// CHECK: @"$s4test1PMp" = hidden constant
// CHECK-SAME: { i32 -775684095, i32 0 }
// CHECK: @"$s4test1QMp" = hidden constant
// -687472632 == 0xd7060008. 0x8bb0 == 35760.
// CHECK-SAME: { i32 2053505032, i32 0 },
// -1951399929 == 0x8bb00007. 0x81b8 == 33208.
// CHECK-SAME: { i32 -1951399929, i32 0 },
// -2118647806 == 0x81b80002. 0xd706 == 55046.
// CHECK-SAME: { i32 -2118647806, i32 0 }
struct A : P {
static func foo() {}
}
struct B : Q {
typealias Assoc = A
}
sil @A_foo : $@convention(witness_method : P) (@thick A.Type) -> () {
bb0(%0 : $@thick A.Type):
return undef : $()
}
sil_witness_table A : P module test {
method #P.foo: @A_foo
}
// CHECK: @A_foo.ptrauth = private constant { ptr, i32, i64, i64 } { ptr @A_foo, i32 0, i64 ptrtoint (ptr getelementptr inbounds ([2 x ptr], ptr @"$s4test1AVAA1PAAWP", i32 0, i32 1) to i64), i64 53700 }, section "llvm.ptrauth"
// CHECK: @"$s4test1AVAA1PAAWP" = hidden constant [2 x ptr] [ptr @"$s4test1AVAA1PAAMc", ptr @A_foo.ptrauth], align 8
sil @B_init : $@convention(witness_method : Q) (@thick B.Type) -> (@out B) {
bb0(%0 : $*B, %1 : $@thick B.Type):
return undef : $()
}
sil_witness_table B : Q module test {
associated_type_protocol (Assoc: P): A: P module main
associated_type Assoc: A
method #Q.init!allocator: @B_init
}
// CHECK: @B_init.ptrauth = private constant { ptr, i32, i64, i64 } { ptr @B_init, i32 0, i64 ptrtoint (ptr getelementptr inbounds ([4 x ptr], ptr @"$s4test1BVAA1QAAWP", i32 0, i32 3) to i64), i64 33208 }, section "llvm.ptrauth"
// CHECK: @"$s4test1BVAA1QAAWP" = hidden global [4 x ptr] [
// CHECK-SAME: ptr @"$s4test1BVAA1QAAMc",
// CHECK-SAME: @"{{.*}}.ptrauth",
// CHECK-SAME: ptr @B_init.ptrauth]
sil @test_accesses : $@convention(thin) <T : Q> () -> () {
bb0:
%0 = witness_method $T.Assoc, #P.foo : $@convention(witness_method : P) <Self where Self : P> (@thick Self.Type) -> ()
%1 = metatype $@thick T.Assoc.Type
apply %0<T.Assoc>(%1) : $@convention(witness_method : P) <τ_0_0 where τ_0_0 : P> (@thick τ_0_0.Type) -> ()
return undef : $()
}
// CHECK-LABEL: define swiftcc void @test_accesses(ptr %T, ptr %T.Q)
// Fetch T.Assoc.
// CHECK: [[T_ASSOC:%.*]] = extractvalue %swift.metadata_response [[TMP:%.*]], 0
// CHECK-NEXT: {{%.*}} = extractvalue %swift.metadata_response [[TMP]], 1
// Fetch T.Assoc : P.
// CHECK-NEXT: %T.Assoc.P = call swiftcc ptr @swift_getAssociatedConformanceWitness(ptr %T.Q, ptr %T, ptr [[T_ASSOC]]
// Fetch T.Assoc.foo
// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds ptr, ptr %T.Assoc.P, i32 1
// CHECK-NEXT: [[T1:%.*]] = load ptr, ptr [[T0]], align 8
// CHECK-NEXT: [[T2:%.*]] = ptrtoint ptr [[T0]] to i64
// CHECK-NEXT: [[DISC:%.*]] = call i64 @llvm.ptrauth.blend(i64 [[T2]], i64 53700)
// TODO: be smart about this and do a complete-metadata fetch in the first place
// CHECK-NEXT: [[ASSOC_RESPONSE:%.*]] = call swiftcc %swift.metadata_response @swift_checkMetadataState(i64 0, ptr [[T_ASSOC]])
// CHECK-NEXT: [[ASSOC:%.*]] = extractvalue %swift.metadata_response [[ASSOC_RESPONSE]], 0
// CHECK-NEXT: call swiftcc void [[T1]](ptr swiftself [[ASSOC]], ptr [[ASSOC]], ptr %T.Assoc.P) [ "ptrauth"(i32 0, i64 [[DISC]]) ]
// CHECK-NEXT: ret void
sil @use_conformances : $@convention(thin) () -> () {
bb0:
%0 = function_ref @test_accesses : $@convention(thin) <T : Q> () -> ()
apply %0<B>() : $@convention(thin) <T : Q> () -> ()
return undef : $()
}
|
