[region-isolation] Add SIL test for struct_element_addr and tuple_element_addr.

Author: gottesmm

test/Concurrency/transfernonsendable_instruction_matching.sil

@@ -45,6 +45,9 @@ sil @useIndirect : $@convention(thin) <τ_0_0> (@in_guaranteed τ_0_0) -> ()
 sil @constructMoveOnlyStruct : $@convention(thin) () -> @owned NonSendableMoveOnlyStruct
 sil @transferMoveOnlyStruct : $@convention(thin) @async (@guaranteed NonSendableMoveOnlyStruct) -> ()
 
+sil @constructStruct : $@convention(thin) () -> @owned NonSendableStruct
+sil @transferStruct : $@convention(thin) @async (@guaranteed NonSendableStruct) -> ()
+
 enum FakeOptional<T> {
 case none
 case some(T)
@@ -912,6 +915,56 @@ bb0:
   destroy_addr %a : $*NonSendableKlass
   dealloc_stack %a : $*NonSendableKlass
 
+  %9999 = tuple ()
+  return %9999 : $()
+}
+
+sil [ossa] @struct_element_addr_test_1 : $@convention(thin) @async () -> () {
+bb0:
+  %0 = function_ref @constructStruct : $@convention(thin) () -> @owned NonSendableStruct
+  %1 = apply %0() : $@convention(thin) () -> @owned NonSendableStruct
+
+  %a = alloc_stack $NonSendableStruct
+  %1_copy = copy_value %1 : $NonSendableStruct
+  store %1_copy to [init] %a : $*NonSendableStruct
+
+  %f = function_ref @transferStruct : $@convention(thin) @async (@guaranteed NonSendableStruct) -> ()
+  apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %f(%1) : $@convention(thin) @async (@guaranteed NonSendableStruct) -> () // expected-warning {{passing argument of non-sendable type 'NonSendableStruct' from nonisolated context to global actor '<null>'-isolated context at this call site could yield a race with accesses later in this function}}
+
+  %s = struct_element_addr %a : $*NonSendableStruct, #NonSendableStruct.ns
+  %f2 = function_ref @useIndirect : $@convention(thin) <τ_0_0> (@in_guaranteed τ_0_0) -> ()
+  apply %f2<NonSendableKlass>(%s) : $@convention(thin) <τ_0_0> (@in_guaranteed τ_0_0) -> () // expected-note {{access here could race}}
+
+  destroy_addr %a : $*NonSendableStruct
+  dealloc_stack %a : $*NonSendableStruct
+  destroy_value %1 : $NonSendableStruct
+
+  %9999 = tuple ()
+  return %9999 : $()
+}
+
+sil [ossa] @tuple_element_addr_test_1 : $@convention(thin) @async () -> () {
+bb0:
+  %0 = function_ref @constructNonSendableKlass : $@convention(thin) () -> @owned NonSendableKlass
+  %1 = apply %0() : $@convention(thin) () -> @owned NonSendableKlass
+
+  %a = alloc_stack $(NonSendableKlass, NonSendableKlass)
+  %1_copy = copy_value %1 : $NonSendableKlass
+  %1_copy_copy = copy_value %1 : $NonSendableKlass
+  %tup = tuple (%1_copy : $NonSendableKlass, %1_copy_copy : $NonSendableKlass)
+  store %tup to [init] %a : $*(NonSendableKlass, NonSendableKlass)
+
+  %f = function_ref @transferNonSendableKlass : $@convention(thin) @async (@guaranteed NonSendableKlass) -> ()
+  apply [caller_isolation=nonisolated] [callee_isolation=global_actor] %f(%1) : $@convention(thin) @async (@guaranteed NonSendableKlass) -> () // expected-warning {{passing argument of non-sendable type 'NonSendableKlass' from nonisolated context to global actor '<null>'-isolated context at this call site could yield a race with accesses later in this function}}
+
+  %s = tuple_element_addr %a : $*(NonSendableKlass, NonSendableKlass), 0
+  %f2 = function_ref @useIndirect : $@convention(thin) <τ_0_0> (@in_guaranteed τ_0_0) -> ()
+  apply %f2<NonSendableKlass>(%s) : $@convention(thin) <τ_0_0> (@in_guaranteed τ_0_0) -> () // expected-note {{access here could race}}
+
+  destroy_addr %a : $*(NonSendableKlass, NonSendableKlass)
+  dealloc_stack %a : $*(NonSendableKlass, NonSendableKlass)
+  destroy_value %1 : $NonSendableKlass
+
   %9999 = tuple ()
   return %9999 : $()
 }