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
|
// RUN: %target-swift-frontend -emit-ir -primary-file %s | %FileCheck %s -DINT=i%target-ptrsize
// RUN: %target-swift-frontend -O -emit-ir -primary-file %s | %FileCheck %s --check-prefix=CHECK-OPT -DINT=i%target-ptrsize
func use_metadata<F>(_ f: F) {}
func voidToVoid() {}
func intToInt(_ x: Int) -> Int { return x }
func cond() -> Bool { return true }
// CHECK: define hidden swiftcc void @"$s18metadata_dominance5test1yyF"()
func test1() {
// CHECK: call swiftcc i1 @"$s18metadata_dominance4condSbyF"()
if cond() {
// CHECK: [[T0:%.*]] = call {{.*}} @__swift_instantiateConcreteTypeFromMangledName({{.*}} @"$syycMD")
// CHECK: call swiftcc void @"$s18metadata_dominance04use_A0yyxlF"(ptr {{.*}}, ptr [[T0]])
use_metadata(voidToVoid)
// CHECK: call swiftcc i1 @"$s18metadata_dominance4condSbyF"()
// CHECK-NOT: @"$syycMD"
// CHECK: call swiftcc void @"$s18metadata_dominance04use_A0yyxlF"(ptr {{.*}}, ptr [[T0]])
if cond() {
use_metadata(voidToVoid)
} else {
// CHECK-NOT: @"$syycMD"
// CHECK: call swiftcc void @"$s18metadata_dominance04use_A0yyxlF"(ptr {{.*}}, ptr [[T0]])
use_metadata(voidToVoid)
}
}
// CHECK: [[T1:%.*]] = call {{.*}} @__swift_instantiateConcreteTypeFromMangledName({{.*}} @"$syycMD")
// CHECK: call swiftcc void @"$s18metadata_dominance04use_A0yyxlF"(ptr {{.*}}, ptr [[T1]])
use_metadata(voidToVoid)
}
// CHECK: define hidden swiftcc void @"$s18metadata_dominance5test2yyF"()
func test2() {
// CHECK: call swiftcc i1 @"$s18metadata_dominance4condSbyF"()
if cond() {
// CHECK: call swiftcc i1 @"$s18metadata_dominance4condSbyF"()
// CHECK: [[T0:%.*]] = call {{.*}} @__swift_instantiateConcreteTypeFromMangledName({{.*}} @"$syycMD")
// CHECK: call swiftcc void @"$s18metadata_dominance04use_A0yyxlF"(ptr {{.*}}, ptr [[T0]])
if cond() {
use_metadata(voidToVoid)
} else {
// CHECK: [[T1:%.*]] = call {{.*}} @__swift_instantiateConcreteTypeFromMangledName({{.*}} @"$syycMD")
// CHECK: call swiftcc void @"$s18metadata_dominance04use_A0yyxlF"(ptr {{.*}}, ptr [[T1]])
use_metadata(voidToVoid)
}
}
// CHECK: [[T2:%.*]] = call {{.*}} @__swift_instantiateConcreteTypeFromMangledName({{.*}} @"$syycMD")
// CHECK: call swiftcc void @"$s18metadata_dominance04use_A0yyxlF"(ptr {{.*}}, ptr [[T2]])
use_metadata(voidToVoid)
}
protocol P {
func makeFoo() -> Foo
}
class Foo: P {
func makeFoo() -> Foo {
fatalError()
}
}
class SubFoo: Foo {
final override func makeFoo() -> Foo {
// Check that it creates an instance of type Foo,
// and not an instance of a Self type involved
// in this protocol conformance.
return Foo()
}
}
@inline(never)
func testMakeFoo(_ p: P) -> Foo.Type {
let foo = p.makeFoo()
return type(of: foo)
}
// The protocol witness for metadata_dominance.P.makeFoo () -> metadata_dominance.Foo in
// conformance metadata_dominance.Foo : metadata_dominance.P should not use the Self type
// as the type of the object to be created. It should dynamically obtain the type.
// CHECK-OPT-LABEL: define internal swiftcc ptr @"$s18metadata_dominance3FooCAA1PA2aDP04makeC0ACyFTW"
// CHECK-OPT-NOT: tail call noalias ptr @swift_allocObject(ptr %Self
|
