[no-implicit-copy] Make sure that we eliminate initial copy_value from [no_copy] cases like we do for moveonly.

Just missed pattern matching the copyable_to_moveonlywrapper at the beginning of
the initialization sequence.

rdar://104935447

Author: gottesmm

lib/SILOptimizer/Mandatory/MoveOnlyObjectChecker.cpp

@@ -554,7 +554,14 @@ void MoveOnlyChecker::check(DominanceInfo *domTree, PostOrderAnalysis *poa) {
     if (!diagnosticEmitter.emittedDiagnosticForValue(markedInst)) {
       if (markedInst->getCheckKind() == MarkMustCheckInst::CheckKind::NoCopy) {
         if (auto *cvi = dyn_cast<CopyValueInst>(markedInst->getOperand())) {
-          if (auto *arg = dyn_cast<SILFunctionArgument>(cvi->getOperand())) {
+          SingleValueInstruction *i = cvi;
+          if (auto *copyToMoveOnly =
+                  dyn_cast<CopyableToMoveOnlyWrapperValueInst>(
+                      cvi->getOperand())) {
+            i = copyToMoveOnly;
+          }
+
+          if (auto *arg = dyn_cast<SILFunctionArgument>(i->getOperand(0))) {
             if (arg->getOwnershipKind() == OwnershipKind::Guaranteed) {
               for (auto *use : markedInst->getConsumingUses()) {
                 destroys.push_back(cast<DestroyValueInst>(use->getUser()));

test/SILOptimizer/noimplicitcopy.sil

@@ -0,0 +1,31 @@
+// RUN: %target-sil-opt -enable-experimental-move-only -enable-sil-verify-all -sil-move-only-object-checker %s
+
+//////////////////
+// Declarations //
+//////////////////
+
+class Klass {}
+
+sil @classUseMoveOnlyWithoutEscaping : $@convention(thin) (@guaranteed Klass) -> ()
+
+///////////
+// Tests //
+///////////
+
+// This test makes sure that we eliminate %2 after checking and that
+// sil-verify-all does not trigger.
+sil [ossa] @test_remove_early_copyvalue : $@convention(thin) (@guaranteed Klass) -> () {
+bb0(%0 : @noImplicitCopy @guaranteed $Klass):
+  %1 = copyable_to_moveonlywrapper [guaranteed] %0 : $Klass
+  %2 = copy_value %1 : $@moveOnly Klass
+  %3 = mark_must_check [no_copy] %2 : $@moveOnly Klass
+  debug_value %3 : $@moveOnly Klass, let, name "x2", argno 1
+  %5 = begin_borrow %3 : $@moveOnly Klass
+  %6 = function_ref @classUseMoveOnlyWithoutEscaping : $@convention(thin) (@guaranteed Klass) -> ()
+  %7 = moveonlywrapper_to_copyable [guaranteed] %5 : $@moveOnly Klass
+  %8 = apply %6(%7) : $@convention(thin) (@guaranteed Klass) -> ()
+  end_borrow %5 : $@moveOnly Klass
+  destroy_value %3 : $@moveOnly Klass
+  %11 = tuple ()
+  return %11 : $()
+}