Merge pull request #23708 from gottesmm/pr-677c6cc4ceb8103971123ee40b6022281bdcdeef

Author: swift-ci

lib/SILOptimizer/Mandatory/SemanticARCOpts.cpp

@@ -89,6 +89,8 @@ static bool isConsumed(
                         })) {
         forwardingInsts.get()->push_back(user);
         for (SILValue v : user->getResults()) {
+          if (v.getOwnershipKind() != ValueOwnershipKind::Owned)
+            continue;
           copy(v->getUses(), std::back_inserter(worklist));
         }
         continue;

test/SILOptimizer/semantic-arc-opts.sil

@@ -18,6 +18,10 @@ struct NativeObjectPair {
 
 class Klass {}
 
+struct MyInt {
+  var value: Builtin.Int32
+}
+
 struct AnotherStruct {
   var i : Builtin.Int32
   var c : Klass
@@ -378,3 +382,16 @@ bb3:
   %9999 = tuple()
   return %9999 : $()
 }
+
+// CHECK-LABEL: sil [ossa] @do_not_add_trivial_users_of_owned_values_to_isconsumed_worklist : $@convention(thin) (@guaranteed (Klass, MyInt)) -> Builtin.Int32 {
+// CHECK-NOT: copy_value
+// CHECK-NOT: destroy_value
+// CHECK: } // end sil function 'do_not_add_trivial_users_of_owned_values_to_isconsumed_worklist'
+sil [ossa] @do_not_add_trivial_users_of_owned_values_to_isconsumed_worklist : $@convention(thin) (@guaranteed (Klass, MyInt)) -> Builtin.Int32 {
+bb0(%0 : @guaranteed $(Klass, MyInt)):
+  %1 = copy_value %0 : $(Klass, MyInt)
+  (%2, %3) = destructure_tuple %1 : $(Klass, MyInt)
+  %4 = struct_extract %3 : $MyInt, #MyInt.value
+  destroy_value %2 : $Klass
+  return %4 : $Builtin.Int32
+}