Revert "Fix aliasing DestroyAddrInst with load borrow. Enable speculative scoped instruction hoisting."

This reverts commit b50d466.

Author: MAJKFL

SwiftCompilerSources/Sources/Optimizer/FunctionPasses/LoopInvariantCodeMotion.swift

@@ -647,9 +647,10 @@ private extension MovableInstructions {
       return false
     }
 
+    let dominatingBlocks = loop.getBlocksThatDominateAllExitingAndLatchBlocks(context)
     var changed = false
 
-    for scopedInst in scopedInsts {
+    for scopedInst in scopedInsts where dominatingBlocks.contains(scopedInst.parentBlock) {
       guard scopedInst.hoist(outOf: loop, context) else {
         continue
       }
@@ -1106,9 +1107,9 @@ private extension ScopedInstruction {
     case is BeginApplyInst:
       return true // Has already been checked with other full applies.
     case is LoadBorrowInst:
-      for inst in loop.loopBlocks.lazy.flatMap(\.instructions) {
-        if (inst is DestroyAddrInst || inst is StoreInst) && inst.operands.contains(where: { context.aliasAnalysis.mayAlias(operands.first!.value, $0.value) }) {
-          if !scope.contains(inst) {
+      for storeInst in analyzedInstructions.stores {
+        if storeInst.mayWrite(toAddress: operands.first!.value, context.aliasAnalysis) {
+          if !scope.contains(storeInst) {
             return false
           }
         }