[Test] Update a few failing tests

Author: theblixguy

test/ModuleInterface/property_wrappers.swift

@@ -44,6 +44,7 @@ public struct HasWrappers {
   // CHECK: @TestResilient.Wrapper public var x: {{(Swift.)?}}Int {
   // CHECK-NEXT: get
   // CHECK-NEXT: set
+  // CHECK-NEXT: _modify  
   // CHECK-NEXT: }  
   @Wrapper public var x: Int
 
@@ -59,6 +60,7 @@ public struct HasWrappers {
   // CHECK: @TestResilient.WrapperWithInitialValue @_projectedValueProperty($z) public var z: Swift.Bool {
   // CHECK-NEXT: get
   // CHECK-NEXT: set
+  // CHECK-NEXT: _modify
   // CHECK-NEXT: }  
   @WrapperWithInitialValue(alternate: false) public var z
 }

test/SILGen/property_wrapper_coroutine.swift

@@ -19,12 +19,20 @@ struct State1: StateProtocol {
 
 var state = State()
 state.values = Array(repeating: "", count: 20000)
-// CHECK:  [[BEGIN_ACCESS_MODIFY:%.*]] = begin_access [modify] [dynamic] {{%.*}} : $*State
-// CHECK:  [[REF_MODIFY:%.*]] = function_ref @$s26property_wrapper_coroutine5StateV6valuesSaySSGvM : $@yield_once @convention(method) (@inout State) -> @yields @inout Array<String>
-// CHECK:  ([[RES1:%.*]], {{%.*}}) = begin_apply [[REF_MODIFY]]([[BEGIN_ACCESS_MODIFY]]) : $@yield_once @convention(method) (@inout State) -> @yields @inout Array<String>
+state.values[1000] = "foo"
+
+let state1 = State1()
+_ = state1.someValues
+
+// >> Check that the subscript assignment uses the _modify coroutine
+
+// CHECK:  {{%.*}} = begin_access [modify] [dynamic] {{%.*}} : $*State
+// CHECK:  [[REF_VALUES_MODIFY:%.*]] = function_ref @$s26property_wrapper_coroutine5StateV6valuesSaySSGvM : $@yield_once @convention(method) (@inout State) -> @yields @inout Array<String>
+// CHECK:  ([[RES1:%.*]], {{%.*}}) = begin_apply [[REF_VALUES_MODIFY]]({{%.*}}) : $@yield_once @convention(method) (@inout State) -> @yields @inout Array<String>
 // CHECK:  [[REF_ARRAY_SUBSCRIPT:%.*]] = function_ref @$sSayxSiciM : $@yield_once @convention(method) <τ_0_0> (Int, @inout Array<τ_0_0>) -> @yields @inout τ_0_0
 // CHECK:  ({{%.*}}, {{%.*}}) = begin_apply [[REF_ARRAY_SUBSCRIPT]]<String>({{%.*}}, [[RES1]]) : $@yield_once @convention(method) <τ_0_0> (Int, @inout Array<τ_0_0>) -> @yields @inout τ_0_0
-state.values[1000] = "foo"
+
+// >> Check that the _modify coroutine is synthesized properly
 
 // CHECK-LABEL: sil hidden [transparent] [ossa] @$s26property_wrapper_coroutine5StateV6valuesSaySSGvM : $@yield_once @convention(method) (@inout State) -> @yields @inout Array<String> {
 // CHECK: bb0([[STATE:%.*]] : $*State):
@@ -44,15 +52,14 @@ state.values[1000] = "foo"
 // CHECK:  unwind
 // CHECK-END: }
 
-var state1 = State1()
-_ = state1.someValues
+// >> Check that the _read coroutine is synthesized properly
 
 // CHECK-LABEL: sil shared [ossa] @$s26property_wrapper_coroutine6State1V10someValuesSaySSGvr : $@yield_once @convention(method) (@guaranteed State1) -> @yields @guaranteed Array<String> {
 // CHECK: bb0([[STATE1:%.*]] : @guaranteed $State1):
 // CHECK:  debug_value [[SELF:%.*]] : $State1, let, name "self", argno {{.*}}
 // CHECK:  [[EXTRACT_VALUE:%.*]] = struct_extract %0 : $State1, #State1._someValues
 // CHECK:  [[COPY_VALUE:%.*]] = copy_value [[EXTRACT_VALUE]] : $TestWrapper<Array<String>>
-// CHECK:  [[BEGIN_BORROW:%.*]] = begin_borrow [[COPY]] : $TestWrapper<Array<String>>
+// CHECK:  [[BEGIN_BORROW:%.*]] = begin_borrow [[COPY_VALUE]] : $TestWrapper<Array<String>>
 // CHECK:  [[EXTRACT_WRAPPEDVALUE:%.*]] = struct_extract [[BEGIN_BORROW]] : $TestWrapper<Array<String>>, #TestWrapper.wrappedValue
 // CHECK:  yield [[EXTRACT_WRAPPEDVALUE]] : $Array<String>, resume bb1, unwind bb2
 //

test/decl/var/property_wrappers_synthesis.swift

@@ -21,7 +21,7 @@ struct UseWrapper<T: DefaultInit> {
 
   // CHECK: accessor_decl{{.*}}_modify_for=wrapped
   // CHECK: yield_stmt
-  // CHECK: member_ref_expr{{.*}}UseWrapper.wrapped
+  // CHECK: member_ref_expr{{.*}}Wrapper.wrappedValue
   @Wrapper
   var wrapped = T()