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

Author: MAJKFL

SwiftCompilerSources/Sources/Optimizer/FunctionPasses/LoopInvariantCodeMotion.swift

@@ -647,10 +647,9 @@ private extension MovableInstructions {
       return false
     }
 
-    let dominatingBlocks = loop.getBlocksThatDominateAllExitingAndLatchBlocks(context)
     var changed = false
 
-    for scopedInst in scopedInsts where dominatingBlocks.contains(scopedInst.parentBlock) {
+    for scopedInst in scopedInsts {
       guard scopedInst.hoist(outOf: loop, context) else {
         continue
       }
@@ -1107,9 +1106,9 @@ private extension ScopedInstruction {
     case is BeginApplyInst:
       return true // Has already been checked with other full applies.
     case is LoadBorrowInst:
-      for storeInst in analyzedInstructions.stores {
-        if storeInst.mayWrite(toAddress: operands.first!.value, context.aliasAnalysis) {
-          if !scope.contains(storeInst) {
+      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) {
             return false
           }
         }