[ownership] Some more comment post-commit fixes for ffa55937c4fa3b843 0e946321e151fe54c0f4060

lib/SILOptimizer/SILCombiner/SILCombine.cpp

@@ -172,7 +172,7 @@ bool SILCombiner::trySinkOwnedForwardingInst(SingleValueInstruction *svi) {
     svi->moveBefore(consumingUser);
     MadeChange = true;
 
-    // NOTE: We return nullptr here so that our caller doesn't delete the
+    // NOTE: We return false here so that our caller doesn't delete the
     // instruction and instead tries to simplify it.
     return false;
   }

lib/SILOptimizer/SILCombiner/SILCombiner.h

@@ -353,10 +353,6 @@ class SILCombiner :
   bool optimizeIdentityCastComposition(ApplyInst *FInverse,
                                        StringRef FInverseName, StringRef FName);
 
-  /// Let \p user and \p value be two forwarding single value instructions with
-  /// the property that \p user, through potentially a chain of forwarding
-  /// instructions.
-  ///
   /// Let \p user and \p value be two forwarding single value instructions  with
   /// the property that \p value is the value that \p user forwards. In this
   /// case, this helper routine will eliminate \p value if it can rewrite user

lib/SILOptimizer/SILCombiner/SILCombinerCastVisitors.cpp

@@ -141,6 +141,7 @@ class SingleBlockOwnedForwardingInstFolder {
     if (!hasOneNonDebugUse(next))
       return false;
 
+    assert(getSingleNonDebugUser(rest.back()) == next);
     rest.push_back(next);
     return true;
   }
@@ -166,14 +167,13 @@ class SingleBlockOwnedForwardingInstFolder {
   }
 
 private:
-  /// From backwards -> forwards, for each instruction in rest, delete all of
-  /// its debug uses and then set its single remaining use to be SILUndef.
+  /// Processing from def->use by walking rest backwards, delete all of its
+  /// debug uses and then set its single remaining use to be SILUndef.
   ///
   /// This means that after this runs front's forwarding operand is now
   /// SILUndef.
   void cleanupRest() & {
-    // We process backwards -> forwards. This cleans up everything but the front
-    // value.
+    // We process from def->use. This cleans up everything but the front value.
     while (!rest.empty()) {
       auto *inst = rest.pop_back_val();
       deleteAllDebugUses(inst, SC.getInstModCallbacks());