[move-only][borrow2destructure] Add support for processing switch_enum.

As mentioned previously, I am right now creating new Implementations for each
switch_enum argument. Once I get tests working I am going to refactor and reuse
the same implementation so I can reuse memory.

NOTE: This currently does not impact SILGen since I did not change SILGenPattern
to emit noncopyable switched upon values as guaranteed. Keep in mind that I am
not going to do this for no implicit copy though since no implicit copy values
cannot contain move only values so we do not need to work with destructures.

Author: gottesmm

lib/SILOptimizer/Mandatory/MoveOnlyAddressChecker.cpp

@@ -1986,6 +1986,44 @@ class MoveOnlyCheckerPass : public SILFunctionTransform {
     if (MoveOnlyChecker(getFunction(), deAnalysis, domTree).checkFunction()) {
       invalidateAnalysis(SILAnalysis::InvalidationKind::Instructions);
     }
+
+    if (!getOptions().VerifyAll)
+      return;
+
+    // TODO: Enable this by default when verify all is disabled and make it a
+    // diagnostic error saying file a bug.
+    for (auto &block : *getFunction()) {
+      for (auto &inst : block) {
+        if (auto *cvi = dyn_cast<CopyValueInst>(&inst)) {
+          if (cvi->getOperand()->getType().isMoveOnly()) {
+            llvm::errs() << "Should have eliminated copy at this point: "
+                         << *cvi;
+            llvm::report_fatal_error("standard compiler error");
+          }
+          continue;
+        }
+
+        if (auto *li = dyn_cast<LoadInst>(&inst)) {
+          if (li->getOwnershipQualifier() == LoadOwnershipQualifier::Copy &&
+              li->getType().isMoveOnly()) {
+            llvm::errs() << "Should have eliminated copy at this point: "
+                         << *li;
+            llvm::report_fatal_error("standard compiler error");
+          }
+          continue;
+        }
+
+        if (auto *copyAddr = dyn_cast<CopyAddrInst>(&inst)) {
+          if (!copyAddr->isTakeOfSrc() &&
+              copyAddr->getSrc()->getType().isMoveOnly()) {
+            llvm::errs() << "Should have eliminated copy at this point: "
+                         << *copyAddr;
+            llvm::report_fatal_error("standard compiler error");
+          }
+          continue;
+        }
+      }
+    }
   }
 };