LoopInvariantCodeMotion: fix check for hoisting load_borrow instructions

We need to check aliasing for all kind of side-effect instructions, not just stores and destroys

Author: eeckstein

SwiftCompilerSources/Sources/Optimizer/FunctionPasses/LoopInvariantCodeMotion.swift

@@ -1206,23 +1206,21 @@ private extension ScopedInstruction {
     case is BeginApplyInst:
       return true // Has already been checked with other full applies.
     case let loadBorrowInst as LoadBorrowInst:
-      for case let destroyAddrInst as DestroyAddrInst in analyzedInstructions.loopSideEffects {
-        if context.aliasAnalysis.mayAlias(loadBorrowInst.address, destroyAddrInst.destroyedAddress) {
-          if !scope.contains(destroyAddrInst) {
-            return false
-          }
+      for sideEffectInst in analyzedInstructions.loopSideEffects {
+        if let endBorrow = sideEffectInst as? EndBorrowInst,
+           let begin = endBorrow.borrow as? LoadBorrowInst,
+           begin == self
+        {
+          continue
         }
-      }
-      
-      for storeInst in analyzedInstructions.stores {
-        if storeInst.mayWrite(toAddress: loadBorrowInst.address, context.aliasAnalysis) {
-          if !scope.contains(storeInst) {
-            return false
-          }
+        if sideEffectInst.mayWrite(toAddress: loadBorrowInst.address, context.aliasAnalysis),
+           !scope.contains(sideEffectInst)
+        {
+          return false
         }
       }
-      
-      fallthrough
+      return true
+
     case is BeginAccessInst:
       for fullApplyInst in analyzedInstructions.fullApplies {
         guard mayWriteToMemory && fullApplyInst.mayReadOrWrite(address: operands.first!.value, context.aliasAnalysis) ||

test/SILOptimizer/licm.sil

@@ -1771,6 +1771,34 @@ bb3:
   return %r : $()
 }
 
+// CHECK-LABEL: sil [ossa] @dont_hoist_load_borrow :
+// CHECK:       bb1:
+// CHECK-NEXT:    copy_addr
+// CHECK-NEXT:    load_borrow
+// CHECK:       } // end sil function 'dont_hoist_load_borrow'
+sil [ossa] @dont_hoist_load_borrow : $@convention(thin) (@in_guaranteed String) -> () {
+bb0(%0 : $*String):
+  %1 = alloc_stack $String
+  br bb1
+
+bb1:
+  copy_addr %0 to [init] %1
+  %3 = load_borrow %1
+  fix_lifetime %3
+  end_borrow %3
+  %6 = load [take] %1
+  destroy_value %6
+  cond_br undef, bb2, bb3
+
+bb2:
+  br bb1
+
+bb3:
+  dealloc_stack %1
+  %r = tuple()
+  return %r : $()
+}
+
 // CHECK-LABEL: sil [ossa] @dont_hoist_struct :
 // CHECK:       bb1:
 // CHECK-NEXT:    struct $NonCopyable