Skip to content

Commit 1848ac0

Browse files
committed
Update lifetime_dependence_util.sil for borrow dependence.
1 parent eab9a35 commit 1848ac0

File tree

1 file changed

+4
-3
lines changed

1 file changed

+4
-3
lines changed

test/SILOptimizer/lifetime_dependence/lifetime_dependence_util.sil

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -110,9 +110,10 @@ entry(%0 : @owned $C, %1 : @owned $D, %2 : @guaranteed $D, %3 : $*D, %4 : $*D):
110110
%guaranteed_mark = mark_dependence [nonescaping] %owned_mark : $C on %pair : $PairC
111111
specify_test "lifetime_dependence_scope %guaranteed_mark"
112112
// CHECK-LABEL: dependence_scope: lifetime_dependence_scope with: %guaranteed_mark
113-
// CHECK-NEXT: Caller: %2 = argument of bb0 : $D
113+
// CHECK-NEXT: Borrowed: %{{.*}} = begin_borrow %2 : $D
114114
// CHECK-NEXT: Dependent: %{{.*}} = mark_dependence [nonescaping] %{{.*}} : $C on %{{.*}} : $PairC
115-
// CHECK-NEXT: Caller range
115+
// CHECK-NEXT: begin: %{{.*}} = begin_borrow %2 : $D
116+
// CHECK-NEXT: ends: end_borrow {{.*}} : $D
116117
// CHECK: dependence_scope: lifetime_dependence_scope with: %guaranteed_mark
117118

118119
%m = class_method %2 : $D, #D.field!read : (D) -> () -> (), $@yield_once @convention(method) (@guaranteed D) -> @yields @guaranteed C
@@ -195,7 +196,7 @@ entry(%0 : @owned $D, %1 : @owned $C):
195196
%load = load [copy] %access : $*C
196197
specify_test "lifetime_dependence_root %load"
197198
// CHECK-LABEL: dependence_root: lifetime_dependence_root with: %load
198-
// No root: Inheriting a dependence from an Escapable value.
199+
// CHECK-NEXT: Scope: Unknown: %{{.*}} = ref_element_addr %{{.*}} : $D, #D.object
199200
// CHECK-NEXT: dependence_root: lifetime_dependence_root with: %load
200201

201202
destroy_value %load : $C

0 commit comments

Comments
 (0)