|
7 | 7 |
|
8 | 8 | @propertyWrapper struct BoxWrapper<T> { var wrappedValue: T }
|
9 | 9 |
|
10 |
| -// CHECK-LABEL: sil {{.*}}[ossa] @$s23opaque_values_closures235captureBoxNonopaqueOwnedNonescapingyyxyXElF : {{.*}} { |
| 10 | +// CHECK-LABEL: sil {{.*}}[ossa] @$s33assign_or_init_without_opaque_sil35captureBoxNonopaqueOwnedNonescapingyyxyXElF : {{.*}} { |
11 | 11 | // CHECK: bb0([[GET:%[^,]+]] :
|
12 | 12 | // CHECK: [[BOX:%[^,]+]] = alloc_box $<τ_0_0> { var BoxWrapper<τ_0_0> } <U>, var
|
13 | 13 | // CHECK: [[VAR:%[^,]+]] = mark_uninitialized [var] [[BOX]]
|
14 | 14 | // CHECK: [[VAR_LIFETIME:%[^,]+]] = begin_borrow [lexical] [var_decl] [[VAR]]
|
15 | 15 | // CHECK: [[VAR_ADDR:%[^,]+]] = project_box [[VAR_LIFETIME]]
|
16 | 16 | // TODO: DETERMINE: Considering that captureCanEscape is false, should this mark_function_escape be emitted?
|
17 | 17 | // CHECK: mark_function_escape [[VAR_ADDR]]
|
18 |
| -// CHECK: [[LOCAL:%[^,]+]] = function_ref @$s23opaque_values_closures235captureBoxNonopaqueOwnedNonescapingyyxyXElF5localL_yylF |
| 18 | +// CHECK: [[LOCAL:%[^,]+]] = function_ref @$s33assign_or_init_without_opaque_sil35captureBoxNonopaqueOwnedNonescapingyyxyXElF5localL_yylF |
19 | 19 | // CHECK: apply [[LOCAL]]<U>([[VAR_LIFETIME]], [[GET]])
|
20 | 20 | // CHECK: end_borrow [[VAR_LIFETIME]]
|
21 | 21 | // CHECK: destroy_value [[VAR]]
|
22 |
| -// CHECK-LABEL: } // end sil function '$s23opaque_values_closures235captureBoxNonopaqueOwnedNonescapingyyxyXElF' |
| 22 | +// CHECK-LABEL: } // end sil function '$s33assign_or_init_without_opaque_sil35captureBoxNonopaqueOwnedNonescapingyyxyXElF' |
23 | 23 |
|
24 |
| -// CHECK-LABEL: sil {{.*}}[ossa] @$s23opaque_values_closures235captureBoxNonopaqueOwnedNonescapingyyxyXElF5localL_yylF : {{.*}} |
| 24 | +// CHECK-LABEL: sil {{.*}}[ossa] @$s33assign_or_init_without_opaque_sil35captureBoxNonopaqueOwnedNonescapingyyxyXElF5localL_yylF : {{.*}} |
25 | 25 | // CHECK: bb0(%0 : @closureCapture @guaranteed $<τ_0_0> { var BoxWrapper<τ_0_0> } <U>,
|
26 | 26 | // CHECK-SAME: %1 :
|
27 |
| -// CHECK-LABEL: } // end sil function '$s23opaque_values_closures235captureBoxNonopaqueOwnedNonescapingyyxyXElF5localL_yylF' |
| 27 | +// CHECK-LABEL: } // end sil function '$s33assign_or_init_without_opaque_sil35captureBoxNonopaqueOwnedNonescapingyyxyXElF5localL_yylF' |
28 | 28 | func captureBoxNonopaqueOwnedNonescaping<U>(_ get: () -> U) {
|
29 | 29 | @BoxWrapper var u: U
|
30 | 30 |
|
|
0 commit comments