[5.6] Remove _move, _copy and disable passes/remove tests since we don't need it for 5.6.

These are still enabled on main, we just realized that they aren't necessary.
That being said, we don't want to churn the tree by reverting the earlier
commits from December. So we are leaving those in but deleting the tests and
disabling the move passes.

Author: gottesmm

lib/SILOptimizer/PassManager/PassPipeline.cpp

@@ -149,10 +149,6 @@ static void addMandatoryDiagnosticOptPipeline(SILPassPipelinePlan &P) {
   P.addMandatoryInlining();
   P.addMandatorySILLinker();
 
-  // Before we promote any loads, perform _move checking for addresses.
-  P.addMoveFunctionCanonicalization();
-  P.addMoveKillsCopyableAddressesChecker();
-
   // Promote loads as necessary to ensure we have enough SSA formation to emit
   // SSA based diagnostics.
   P.addPredictableMemoryAccessOptimizations();
@@ -173,11 +169,6 @@ static void addMandatoryDiagnosticOptPipeline(SILPassPipelinePlan &P) {
   // dead allocations.
   P.addPredictableDeadAllocationElimination();
 
-  // Now perform move semantic checking.
-  P.addMoveKillsCopyableValuesChecker(); // No uses after _move of copyable
-                                         //   value.
-  P.addMoveOnlyChecker();                // Check noImplicitCopy isn't copied.
-
   // Now that we have finished performing diagnostics that rely on lexical
   // scopes, if lexical lifetimes are not enabled, eliminate lexical lfietimes.
   if (Options.LexicalLifetimes != LexicalLifetimesOption::On) {

stdlib/public/core/LifetimeManager.swift

@@ -165,61 +165,3 @@ extension String {
     return try _guts.withCString(body)
   }
 }
-
-/// Takes in a value at +1 and performs a Builtin.move upon it.
-///
-/// IMPLEMENTATION NOTES: During transparent inlining, Builtin.move becomes the
-/// move_value instruction if we are inlining into a context where the
-/// specialized type is loadable. If the transparent function is called in a
-/// context where the inlined function specializes such that the specialized
-/// type is still not loadable, the compiler aborts (a). Once we have opaque
-/// values, this restriction will be lifted since after that address only types
-/// at SILGen time will be loadable objects.
-///
-/// (a). This is implemented by requiring that Builtin.move only be called
-/// within a function marked with the semantic tag "lifetimemanagement.move"
-/// which conveniently is only the function we are defining here: _move.
-///
-/// NOTE: We mark this _alwaysEmitIntoClient to ensure that we are not creating
-/// new ABI that the stdlib must maintain if a user calls this ignoring the '_'
-/// implying it is stdlib SPI.
-@_alwaysEmitIntoClient
-@inlinable
-@_transparent
-@_semantics("lifetimemanagement.move")
-public func _move<T>(_ value: __owned T) -> T {
-    #if $BuiltinMove
-        Builtin.move(value)
-    #else
-        value
-    #endif
-}
-
-/// Takes in a value at +0 and performs a Builtin.copy upon it.
-///
-/// IMPLEMENTATION NOTES: During transparent inlining, Builtin.copy becomes the
-/// explicit_copy_value instruction if we are inlining into a context where the
-/// specialized type is loadable. If the transparent function is called in a
-/// context where the inlined function specializes such that the specialized
-/// type is still not loadable, the compiler aborts (a). Once we have opaque
-/// values, this restriction will be lifted since after that address only types
-/// at SILGen time will be loadable objects.
-///
-/// (a). This is implemented by requiring that Builtin.copy only be called
-/// within a function marked with the semantic tag "lifetimemanagement.copy"
-/// which conveniently is only the function we are defining here: _copy.
-///
-/// NOTE: We mark this _alwaysEmitIntoClient to ensure that we are not creating
-/// new ABI that the stdlib must maintain if a user calls this ignoring the '_'
-/// implying it is stdlib SPI.
-@_alwaysEmitIntoClient
-@inlinable
-@_transparent
-@_semantics("lifetimemanagement.copy")
-public func _copy<T>(_ value: T) -> T {
-  #if $BuiltinCopy
-    Builtin.copy(value)
-  #else
-    value
-  #endif
-}