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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
|
// RUN: %target-swift-frontend -primary-file %s -O -sil-verify-all -module-name=test -emit-sil | %FileCheck %s
// Also do an end-to-end test to check if the generated code is correct.
// RUN: %empty-directory(%t)
// RUN: %target-build-swift -O -module-name=test %s -o %t/a.out
// RUN: %target-codesign %t/a.out
// RUN: %target-run %t/a.out | %FileCheck %s -check-prefix=CHECK-OUTPUT
// REQUIRES: executable_test
struct Str {
var i: Int = 27
var j: Int = 28
@inline(never)
var c: Int { i + 100 }
}
struct GenStr<T> {
var i: T
var j: T
var x: T
@inline(never)
var c: T { return x }
init(_ t1: T, _ t2: T, _ t3: T) {
self.i = t1
self.j = t2
self.x = t3
}
}
// CHECK-LABEL: sil {{.*}} @$s4test0A6SimpleyyySiAA3StrVXEXEF :
// CHECK-NOT: keypath
// CHECK-LABEL: } // end sil function '$s4test0A6SimpleyyySiAA3StrVXEXEF'
@inline(never)
func testSimple(_ mymap: ((Str)->Int) -> ()) {
mymap(\.i)
mymap(\.j)
mymap(\.c)
}
// CHECK-LABEL: sil {{.*}} @$s4test0A6GenStryyySiAA0bC0VySiGXEXEF :
// CHECK-NOT: keypath
// CHECK-LABEL: } // end sil function '$s4test0A6GenStryyySiAA0bC0VySiGXEXEF'
@inline(never)
func testGenStr(_ mymap: ((GenStr<Int>)->Int) -> ()) {
mymap(\.i)
mymap(\.j)
mymap(\.c)
}
// CHECK-LABEL: sil {{.*}} @$s4test0A7GenericyyyxAA6GenStrVyxGXEXElF :
// CHECK: keypath
// CHECK: keypath
// CHECK: keypath
// CHECK: } // end sil function '$s4test0A7GenericyyyxAA6GenStrVyxGXEXElF'
@inline(never)
@_semantics("optimize.sil.specialize.generic.never")
func testGeneric<T>(_ mymap: ((GenStr<T>)->T) -> ()) {
mymap(\.i)
mymap(\.j)
mymap(\.c)
}
@inline(never)
@_optimize(none)
public func _opaqueIdentity<T>(_ x: T) -> T {
return x
}
func calltests() {
// CHECK-OUTPUT-LABEL: testSimple:
print("testSimple:")
// CHECK-OUTPUT-NEXT: 27
// CHECK-OUTPUT-NEXT: 28
// CHECK-OUTPUT-NEXT: 127
testSimple { (c: (Str)->Int) in
let s = Str()
print(c(s))
}
// CHECK-OUTPUT-LABEL: testGenStr:
print("testGenStr:")
// CHECK-OUTPUT-NEXT: 3
// CHECK-OUTPUT-NEXT: 4
// CHECK-OUTPUT-NEXT: 5
testGenStr { (c: (GenStr)->Int) in
let s = GenStr(3, 4, 5)
print(c(s))
}
// CHECK-OUTPUT-LABEL: testGeneric:
print("testGeneric:")
// CHECK-OUTPUT-NEXT: 3
// CHECK-OUTPUT-NEXT: 4
// CHECK-OUTPUT-NEXT: 5
testGeneric { (c: (GenStr)->Int) in
let s = GenStr(3, 4, 5)
print(c(s))
}
}
calltests()
|
