Merge pull request swiftlang#63638 from atrick/fix-forward-guaranteed-assert

Remove an assert from visitForwardedGuaranteedOperands

Author: swift-ci

lib/SIL/Utils/OwnershipUtils.cpp

@@ -1779,8 +1779,6 @@ bool swift::visitForwardedGuaranteedOperands(
       || isa<OwnershipForwardingMultipleValueInstruction>(inst)
       || isa<MoveOnlyWrapperToCopyableValueInst>(inst)
       || isa<CopyableToMoveOnlyWrapperValueInst>(inst)) {
-    assert(inst->getNumRealOperands() == 1
-           && "forwarding instructions must have a single real operand");
     assert(!isa<SingleValueInstruction>(inst)
            || !BorrowedValue(cast<SingleValueInstruction>(inst))
                   && "forwarded operand cannot begin a borrow scope");

test/SILOptimizer/borrow_introducer_unit.sil

@@ -222,3 +222,29 @@ exit:
   %retval = tuple ()
   return %retval : $()
 }
+
+// CHECK-LABEL: begin running test 1 of 1 on introducer_dependence: find-borrow-introducers with: @trace[0]
+// CHECK: Introducers:
+// CHECK: %0 = argument of bb0 : $C
+// CHECK-LABEL: end running test 1 of 1 on introducer_dependence: find-borrow-introducers with: @trace[0]
+sil [ossa] @introducer_dependence : $@convention(thin) (@guaranteed C, @guaranteed Builtin.NativeObject) -> () {
+entry(%0 : @guaranteed $C, %1 : @guaranteed $Builtin.NativeObject):
+  test_specification "find-borrow-introducers @trace[0]"
+  %dependent = mark_dependence %0 : $C on %1 : $Builtin.NativeObject
+  debug_value [trace] %dependent : $C
+  %retval = tuple ()
+  return %retval : $()
+}
+
+// CHECK-LABEL: begin running test 1 of 1 on introducer_bridge: find-borrow-introducers with: @trace[0]
+// CHECK: Introducers:
+// CHECK: %0 = argument of bb0 : $C
+// CHECK-LABEL: end running test 1 of 1 on introducer_bridge: find-borrow-introducers with: @trace[0]
+sil [ossa] @introducer_bridge : $@convention(thin) (@guaranteed C, Builtin.Word) -> () {
+entry(%0 : @guaranteed $C, %1 : $Builtin.Word):
+  test_specification "find-borrow-introducers @trace[0]"
+  %bridge = ref_to_bridge_object %0 : $C, %1 : $Builtin.Word
+  debug_value [trace] %bridge : $Builtin.BridgeObject
+  %retval = tuple ()
+  return %retval : $()
+}