@@ -258,10 +258,9 @@ func testInOutVarClosureCaptureVar(_ f: inout () -> ()) {
258
258
}
259
259
260
260
// CHECK-LABEL: sil hidden [ossa] @$s16moveonly_closure38testConsumingNoEscapeClosureCaptureVaryyyyXEnF : $@convention(thin) (@owned @noescape @callee_guaranteed () -> ()) -> () {
261
- // CHECK: bb0([[ARG:%.*]] :
261
+ // CHECK: bb0([[ARG:%.*]] : @_eagerMove @owned
262
262
// CHECK: [[FUNC_BOX:%.*]] = alloc_box ${ var @noescape @callee_guaranteed () -> () }
263
- // CHECK: [[BORROW_FUNC_BOX:%.*]] = begin_borrow [lexical] [[FUNC_BOX]]
264
- // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[BORROW_FUNC_BOX]]
263
+ // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[FUNC_BOX]]
265
264
// CHECK: store [[ARG]] to [init] [[FUNC_PROJECT]]
266
265
//
267
266
// CHECK: [[BOX:%.*]] = alloc_box ${ var SingleElt }
@@ -325,10 +324,9 @@ func testConsumingNoEscapeClosureCaptureVar(_ f: consuming () -> ()) {
325
324
}
326
325
327
326
// CHECK-LABEL: sil hidden [ossa] @$s16moveonly_closure36testConsumingEscapeClosureCaptureVaryyyycnF : $@convention(thin) (@owned @callee_guaranteed () -> ()) -> () {
328
- // CHECK: bb0([[ARG:%.*]] : @owned
327
+ // CHECK: bb0([[ARG:%.*]] : @_eagerMove @ owned
329
328
// CHECK: [[FUNC_BOX:%.*]] = alloc_box ${ var @callee_guaranteed () -> () }
330
- // CHECK: [[BORROW_FUNC_BOX:%.*]] = begin_borrow [lexical] [[FUNC_BOX]]
331
- // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[BORROW_FUNC_BOX]]
329
+ // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[FUNC_BOX]]
332
330
// CHECK: store [[ARG]] to [init] [[FUNC_PROJECT]]
333
331
//
334
332
// CHECK: [[BOX:%.*]] = alloc_box ${ var SingleElt }
@@ -584,8 +582,7 @@ func testInOutVarClosureCaptureLet(_ f: inout () -> ()) {
584
582
// CHECK-LABEL: sil hidden [ossa] @$s16moveonly_closure38testConsumingNoEscapeClosureCaptureLetyyyyXEnF : $@convention(thin) (@owned @noescape @callee_guaranteed () -> ()) -> () {
585
583
// CHECK: bb0([[ARG:%.*]] :
586
584
// CHECK: [[FUNC_BOX:%.*]] = alloc_box ${ var @noescape @callee_guaranteed () -> () }
587
- // CHECK: [[BORROW_FUNC_BOX:%.*]] = begin_borrow [lexical] [[FUNC_BOX]]
588
- // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[BORROW_FUNC_BOX]]
585
+ // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[FUNC_BOX]]
589
586
// CHECK: store [[ARG]] to [init] [[FUNC_PROJECT]]
590
587
//
591
588
// CHECK: [[BOX:%.*]] = alloc_box ${ let SingleElt }
@@ -617,10 +614,9 @@ func testConsumingNoEscapeClosureCaptureLet(_ f: consuming () -> ()) {
617
614
}
618
615
619
616
// CHECK-LABEL: sil hidden [ossa] @$s16moveonly_closure36testConsumingEscapeClosureCaptureLetyyyycnF : $@convention(thin) (@owned @callee_guaranteed () -> ()) -> () {
620
- // CHECK: bb0([[ARG:%.*]] : @owned
617
+ // CHECK: bb0([[ARG:%.*]] : @_eagerMove @ owned
621
618
// CHECK: [[FUNC_BOX:%.*]] = alloc_box ${ var @callee_guaranteed () -> () }
622
- // CHECK: [[BORROW_FUNC_BOX:%.*]] = begin_borrow [lexical] [[FUNC_BOX]]
623
- // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[BORROW_FUNC_BOX]]
619
+ // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[FUNC_BOX]]
624
620
// CHECK: store [[ARG]] to [init] [[FUNC_PROJECT]]
625
621
//
626
622
// CHECK: [[BOX:%.*]] = alloc_box ${ let SingleElt }
@@ -874,10 +870,9 @@ func testInOutVarClosureCaptureInOut(_ f: inout () -> (), _ x: inout SingleElt)
874
870
}
875
871
876
872
// CHECK-LABEL: sil hidden [ossa] @$s16moveonly_closure40testConsumingNoEscapeClosureCaptureInOutyyyyXEn_AA9SingleEltVztF : $@convention(thin) (@owned @noescape @callee_guaranteed () -> (), @inout SingleElt) -> () {
877
- // CHECK: bb0([[OWNED_F:%.*]] : @owned $@noescape @callee_guaranteed () -> (), [[PROJECT:%.*]] : $*SingleElt):
873
+ // CHECK: bb0([[OWNED_F:%.*]] : @_eagerMove @ owned $@noescape @callee_guaranteed () -> (), [[PROJECT:%.*]] : $*SingleElt):
878
874
// CHECK: [[FUNC_BOX:%.*]] = alloc_box ${ var @noescape @callee_guaranteed () -> () }
879
- // CHECK: [[BORROW_FUNC_BOX:%.*]] = begin_borrow [lexical] [[FUNC_BOX]]
880
- // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[BORROW_FUNC_BOX]]
875
+ // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[FUNC_BOX]]
881
876
// CHECK: store [[OWNED_F]] to [init] [[FUNC_PROJECT]]
882
877
//
883
878
// CHECK: [[MARKED_PROJECT:%.*]] = mark_must_check [consumable_and_assignable] [[PROJECT]]
@@ -933,10 +928,9 @@ func testConsumingNoEscapeClosureCaptureInOut(_ f: consuming () -> (), _ x: inou
933
928
}
934
929
935
930
// CHECK-LABEL: sil hidden [ossa] @$s16moveonly_closure38testConsumingEscapeClosureCaptureInOutyyyycn_AA9SingleEltVztF : $@convention(thin) (@owned @callee_guaranteed () -> (), @inout SingleElt) -> () {
936
- // CHECK: bb0([[FUNC_ARG:%.*]] : @owned $@callee_guaranteed () -> (), [[PROJECT:%.*]] : $*SingleElt):
931
+ // CHECK: bb0([[FUNC_ARG:%.*]] : @_eagerMove @ owned $@callee_guaranteed () -> (), [[PROJECT:%.*]] : $*SingleElt):
937
932
// CHECK: [[FUNC_BOX:%.*]] = alloc_box ${ var @callee_guaranteed () -> () }
938
- // CHECK: [[BORROW_FUNC_BOX:%.*]] = begin_borrow [lexical] [[FUNC_BOX]]
939
- // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[BORROW_FUNC_BOX]]
933
+ // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[FUNC_BOX]]
940
934
// CHECK: store [[FUNC_ARG]] to [init] [[FUNC_PROJECT]]
941
935
//
942
936
// CHECK: [[CHECK:%.*]] = mark_must_check [consumable_and_assignable] [[PROJECT]]
@@ -1166,10 +1160,9 @@ func testLocalVarClosureCaptureConsuming(_ x: consuming SingleElt) {
1166
1160
}
1167
1161
1168
1162
// CHECK-LABEL: sil hidden [ossa] @$s16moveonly_closure035testConsumingNoEscapeClosureCaptureD0yyyyXEn_AA9SingleEltVntF : $@convention(thin) (@owned @noescape @callee_guaranteed () -> (), @owned SingleElt) -> () {
1169
- // CHECK: bb0([[F:%.*]] : @owned $@noescape @callee_guaranteed () -> (),
1163
+ // CHECK: bb0([[F:%.*]] : @_eagerMove @ owned $@noescape @callee_guaranteed () -> (),
1170
1164
// CHECK: [[FUNC_BOX:%.*]] = alloc_box ${ var @noescape @callee_guaranteed () -> () }
1171
- // CHECK: [[BORROW_FUNC_BOX:%.*]] = begin_borrow [lexical] [[FUNC_BOX]]
1172
- // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[BORROW_FUNC_BOX]]
1165
+ // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[FUNC_BOX]]
1173
1166
// CHECK: store [[F]] to [init] [[FUNC_PROJECT]]
1174
1167
//
1175
1168
// CHECK: [[BOX:%.*]] = alloc_box ${ var SingleElt }
@@ -1232,10 +1225,9 @@ func testConsumingNoEscapeClosureCaptureConsuming(_ f: consuming () -> (),
1232
1225
}
1233
1226
1234
1227
// CHECK-LABEL: sil hidden [ossa] @$s16moveonly_closure033testConsumingEscapeClosureCaptureD0yyyycn_AA9SingleEltVntF : $@convention(thin) (@owned @callee_guaranteed () -> (), @owned SingleElt) -> () {
1235
- // CHECK: bb0([[ARG:%.*]] : @owned $@callee_guaranteed () -> (),
1228
+ // CHECK: bb0([[ARG:%.*]] : @_eagerMove @ owned $@callee_guaranteed () -> (),
1236
1229
// CHECK: [[FUNC_BOX:%.*]] = alloc_box ${ var @callee_guaranteed () -> () }
1237
- // CHECK: [[BORROW_FUNC_BOX:%.*]] = begin_borrow [lexical] [[FUNC_BOX]]
1238
- // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[BORROW_FUNC_BOX]]
1230
+ // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[FUNC_BOX]]
1239
1231
// CHECK: store [[ARG]] to [init] [[FUNC_PROJECT]]
1240
1232
//
1241
1233
// CHECK: [[BOX:%.*]] = alloc_box ${ var SingleElt }
@@ -1483,10 +1475,9 @@ func testInOutVarClosureCaptureOwned(_ f: inout () -> (), _ x: __owned SingleElt
1483
1475
}
1484
1476
1485
1477
// CHECK-LABEL: sil hidden [ossa] @$s16moveonly_closure40testConsumingNoEscapeClosureCaptureOwnedyyyyXEn_AA9SingleEltVntF : $@convention(thin) (@owned @noescape @callee_guaranteed () -> (), @owned SingleElt) -> () {
1486
- // CHECK: bb0([[ARG:%.*]] : @owned $@noescape @callee_guaranteed () -> (),
1478
+ // CHECK: bb0([[ARG:%.*]] : @_eagerMove @ owned $@noescape @callee_guaranteed () -> (),
1487
1479
// CHECK: [[FUNC_BOX:%.*]] = alloc_box ${ var @noescape @callee_guaranteed () -> () }
1488
- // CHECK: [[BORROW_FUNC_BOX:%.*]] = begin_borrow [lexical] [[FUNC_BOX]]
1489
- // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[BORROW_FUNC_BOX]]
1480
+ // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[FUNC_BOX]]
1490
1481
// CHECK: store [[ARG]] to [init] [[FUNC_PROJECT]]
1491
1482
//
1492
1483
// CHECK: [[BOX:%.*]] = alloc_box ${ let SingleElt }
@@ -1519,10 +1510,9 @@ func testConsumingNoEscapeClosureCaptureOwned(_ f: consuming () -> (),
1519
1510
}
1520
1511
1521
1512
// CHECK-LABEL: sil hidden [ossa] @$s16moveonly_closure38testConsumingEscapeClosureCaptureOwnedyyyycn_AA9SingleEltVntF : $@convention(thin) (@owned @callee_guaranteed () -> (), @owned SingleElt) -> () {
1522
- // CHECK: bb0([[ARG:%.*]] : @owned $@callee_guaranteed () -> (),
1513
+ // CHECK: bb0([[ARG:%.*]] : @_eagerMove @ owned $@callee_guaranteed () -> (),
1523
1514
// CHECK: [[FUNC_BOX:%.*]] = alloc_box ${ var @callee_guaranteed () -> () }
1524
- // CHECK: [[BORROW_FUNC_BOX:%.*]] = begin_borrow [lexical] [[FUNC_BOX]]
1525
- // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[BORROW_FUNC_BOX]]
1515
+ // CHECK: [[FUNC_PROJECT:%.*]] = project_box [[FUNC_BOX]]
1526
1516
// CHECK: store [[ARG]] to [init] [[FUNC_PROJECT]]
1527
1517
//
1528
1518
// CHECK: [[BOX:%.*]] = alloc_box ${ let SingleElt }
0 commit comments