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
|
// RUN: %empty-directory(%t)
// RUN: %target-build-swift -O %s -o %t/a.out
// RUN: %target-build-swift -O %s -emit-sil | %FileCheck %s
// RUN: %target-codesign %t/a.out
// RUN: %target-run %t/a.out | %FileCheck --check-prefix=CHECK-OUTPUT %s
// REQUIRES: executable_test
// REQUIRES: optimized_stdlib,swift_stdlib_no_asserts
var a = [27]
var gg = ""
@inline(never)
func use(_ s: String) {
gg = s
}
// CHECK-LABEL: sil hidden [noinline] @$s25array_element_propagation10testAppendyySaySiGzF :
// CHECK-NOT: load
// CHECK: } // end sil function '$s25array_element_propagation10testAppendyySaySiGzF'
@inline(never)
func testAppend(_ arr: inout [Int]) {
let a = [28]
arr += [a[0]]
}
// CHECK-LABEL: sil hidden [noinline] @$s25array_element_propagation8testLoopyyF :
// CHECK-NOT: load
// CHECK: } // end sil function '$s25array_element_propagation8testLoopyyF'
@inline(never)
func testLoop() {
let a = ["xyz"]
for _ in 0..<1000 {
use(a[0])
}
}
// CHECK-LABEL: sil hidden [noinline] @$s25array_element_propagation12testNonConstyySSF :
// CHECK-NOT: load
// CHECK: } // end sil function '$s25array_element_propagation12testNonConstyySSF'
@inline(never)
func testNonConst(_ s: String) {
let a = [s]
for _ in 0..<1000 {
use(a[0])
}
}
// CHECK-OUTPUT: [27, 28]
testAppend(&a)
print(a)
// CHECK-OUTPUT: xyz
testLoop()
print(gg)
// CHECK-OUTPUT: abc
testNonConst("abc")
print(gg)
|
