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
|
// RUN: %target-swift-emit-sil -O -Xllvm -sil-inline-generics=false -Xllvm -sil-partial-specialization=false -primary-file %s -o - | %FileCheck %s
// check if the compiler does not crash if a function is specialized
// which contains a collection cast
class MyClass {}
class KeyClass : Hashable {
func hash(into hasher: inout Hasher) {}
}
func ==(lhs: KeyClass, rhs: KeyClass) -> Bool { return true }
// CHECK-LABEL: sil{{.*}}@{{.*}}arrayUpCast{{.*}} <Ct where Ct : MyClass>
func arrayUpCast<Ct: MyClass>(_ arr: [Ct]) -> [MyClass] {
// CHECK: apply %{{[0-9]*}}<Ct{{.*}}>(%{{[0-9]*}})
return arr
// CHECK: return
}
// CHECK-LABEL: sil{{.*}}@{{.*}}arrayDownCast{{.*}} <Ct where Ct : MyClass>
func arrayDownCast<Ct: MyClass>(_ arr: [MyClass]) -> [Ct] {
// CHECK: apply %{{[0-9]*}}<{{.*}}Ct>(%{{[0-9]*}})
return arr as! [Ct]
// CHECK: return
}
// CHECK-LABEL: sil{{.*}}@{{.*}}dictUpCast{{.*}} <Ct where Ct : MyClass>
func dictUpCast<Ct: MyClass>(_ dict: [KeyClass:Ct]) -> [KeyClass:MyClass] {
// CHECK: apply %{{[0-9]*}}<{{.*}}Ct{{.*}}>(%{{[0-9]*}})
return dict as [KeyClass:MyClass]
// CHECK: return
}
// CHECK-LABEL: sil{{.*}}@{{.*}}dictDownCast{{.*}} <Ct where Ct : MyClass>
func dictDownCast<Ct: MyClass>(_ dict: [KeyClass:MyClass]) -> [KeyClass:Ct] {
// CHECK: apply %{{[0-9]*}}<KeyClass, MyClass, KeyClass, Ct>(%{{[0-9]*}})
return dict as! [KeyClass:Ct]
// CHECK: return
}
func setUpCast<Ct: KeyClass>(_ s: Set<Ct>) -> Set<KeyClass> {
// CHECK: apply %{{[0-9]*}}<Ct, KeyClass>(%{{[0-9]*}})
return s as Set<KeyClass>
// CHECK: return
}
func setDownCast<Ct : KeyClass>(_ s : Set<KeyClass>) -> Set<Ct> {
// CHECK: apply %{{[0-9]*}}<KeyClass, Ct>(%{{[0-9]*}})
return s as! Set<Ct>
// CHECK: return
}
let arr: [MyClass] = [MyClass()]
arrayUpCast(arr)
arrayDownCast(arr)
let dict: [KeyClass:MyClass] = [KeyClass() : MyClass()]
dictUpCast(dict)
dictDownCast(dict)
let s: Set<KeyClass> = Set()
setUpCast(s)
setDownCast(s)
|
