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
|
// RUN: %target-swift-emit-silgen -parse-as-library %s | %FileCheck %s
func use<T>(_: T) {}
func escape(_ f: () -> ()) {}
protocol P {}
class C: P {}
struct S {}
// CHECK-LABEL: sil hidden [ossa] @$s26guaranteed_closure_context0A9_capturesyyF
func guaranteed_captures() {
// CHECK: [[MUTABLE_TRIVIAL_BOX:%.*]] = alloc_box ${ var S }
// CHECK: [[MUTABLE_TRIVIAL_BOX_BORROW:%[^,]+]] = begin_borrow [var_decl] [[MUTABLE_TRIVIAL_BOX]]
var mutableTrivial = S()
// CHECK: [[MUTABLE_RETAINABLE_BOX:%.*]] = alloc_box ${ var C }
// CHECK: [[MUTABLE_RETAINABLE_BOX_LIFETIME:%[^,]+]] = begin_borrow [lexical] [var_decl] [[MUTABLE_RETAINABLE_BOX]]
var mutableRetainable = C()
// CHECK: [[MUTABLE_ADDRESS_ONLY_BOX:%.*]] = alloc_box ${ var any P }
// CHECK: [[MUTABLE_ADDRESS_ONLY_BOX_LIFETIME:%[^,]+]] = begin_borrow [lexical] [var_decl] [[MUTABLE_ADDRESS_ONLY_BOX]]
var mutableAddressOnly: P = C()
// CHECK: [[IMMUTABLE_TRIVIAL:%.*]] = apply {{.*}} -> S
// CHECK: [[MV_IMMUTABLE_TRIVIAL:%.*]] = move_value [var_decl] [[IMMUTABLE_TRIVIAL]] : $S
let immutableTrivial = S()
// CHECK: [[IMMUTABLE_RETAINABLE:%.*]] = apply {{.*}} -> @owned C
// CHECK: [[B_IMMUTABLE_RETAINABLE:%.*]] = move_value [lexical] [var_decl] [[IMMUTABLE_RETAINABLE]] : $C
let immutableRetainable = C()
// CHECK: [[IMMUTABLE_ADDRESS_ONLY:%.*]] = alloc_stack [lexical] [var_decl] $any P
let immutableAddressOnly: P = C()
func captureEverything() {
use((mutableTrivial, mutableRetainable, mutableAddressOnly,
immutableTrivial, immutableRetainable, immutableAddressOnly))
}
// CHECK-NOT: copy_value [[MUTABLE_TRIVIAL_BOX]]
// CHECK-NOT: copy_value [[MUTABLE_RETAINABLE_BOX_LIFETIME]]
// CHECK-NOT: copy_value [[MUTABLE_ADDRESS_ONLY_BOX_LIFETIME]]
// CHECK-NOT: copy_value [[IMMUTABLE_RETAINABLE]]
// CHECK: [[B_IMMUTABLE_RETAINABLE_BORROW:%.*]] = begin_borrow [[B_IMMUTABLE_RETAINABLE]] : $C
// CHECK: [[FN:%.*]] = function_ref [[FN_NAME:@\$s26guaranteed_closure_context0A9_capturesyyF17captureEverythingL_yyF]]
// CHECK: apply [[FN]]([[MUTABLE_TRIVIAL_BOX_BORROW]], [[MUTABLE_RETAINABLE_BOX_LIFETIME]], [[MUTABLE_ADDRESS_ONLY_BOX_LIFETIME]], [[MV_IMMUTABLE_TRIVIAL]], [[B_IMMUTABLE_RETAINABLE_BORROW]], [[IMMUTABLE_ADDRESS_ONLY]])
captureEverything()
// CHECK-NOT: copy_value [[MUTABLE_TRIVIAL_BOX]]
// CHECK-NOT: copy_value [[MUTABLE_RETAINABLE_BOX_LIFETIME]]
// CHECK-NOT: copy_value [[MUTABLE_ADDRESS_ONLY_BOX_LIFETIME]]
// CHECK-NOT: copy_value [[IMMUTABLE_RETAINABLE]]
// -- partial_apply still takes ownership of its arguments.
// CHECK: [[FN:%.*]] = function_ref [[FN_NAME]]
// CHECK: [[MUTABLE_TRIVIAL_BOX_COPY:%.*]] = copy_value [[MUTABLE_TRIVIAL_BOX_BORROW]]
// CHECK: [[MUTABLE_RETAINABLE_BOX_COPY:%.*]] = copy_value [[MUTABLE_RETAINABLE_BOX_LIFETIME]]
// CHECK: [[MUTABLE_ADDRESS_ONLY_BOX_COPY:%.*]] = copy_value [[MUTABLE_ADDRESS_ONLY_BOX_LIFETIME]]
// CHECK: [[IMMUTABLE_RETAINABLE_COPY:%.*]] = copy_value [[B_IMMUTABLE_RETAINABLE]]
// CHECK: [[IMMUTABLE_ADDRESS:%.*]] = alloc_stack $any P
// CHECK: [[CLOSURE:%.*]] = partial_apply {{.*}}([[MUTABLE_TRIVIAL_BOX_COPY]], [[MUTABLE_RETAINABLE_BOX_COPY]], [[MUTABLE_ADDRESS_ONLY_BOX_COPY]], [[MV_IMMUTABLE_TRIVIAL]], [[IMMUTABLE_RETAINABLE_COPY]], [[IMMUTABLE_ADDRESS]])
// CHECK: [[CONVERT:%.*]] = convert_escape_to_noescape [not_guaranteed] [[CLOSURE]]
// CHECK: apply {{.*}}[[CONVERT]]
// CHECK-NOT: copy_value [[MUTABLE_TRIVIAL_BOX_BORROW]]
// CHECK-NOT: copy_value [[MUTABLE_RETAINABLE_BOX_LIFETIME]]
// CHECK-NOT: copy_value [[MUTABLE_ADDRESS_ONLY_BOX_LIFETIME]]
// CHECK-NOT: copy_value [[IMMUTABLE_RETAINABLE]]
escape(captureEverything)
}
// CHECK: sil private [ossa] [[FN_NAME]] : $@convention(thin) (@guaranteed { var S }, @guaranteed { var C }, @guaranteed { var any P }, S, @guaranteed C, @in_guaranteed any P)
|
