Merge pull request #71180 from nate-chandler/test/20240126/1

[Test] Verify fix to inout_aliasable load [copy] to load_borrow promotion.

Author: nate-chandler

test/SILOptimizer/semantic-arc-opts-loadcopy-to-loadborrow.sil

@@ -57,6 +57,7 @@ final class Klass {
 class C {}
 
 sil @getC : $@convention(thin) () -> (@owned C)
+sil @borrowC : $@convention(thin) (@guaranteed C) -> ()
 
 extension Klass : MyFakeAnyObject {
   func myFakeMethod()
@@ -1637,3 +1638,16 @@ entry:
     %retval = tuple ()
     return %retval : $()
 }
+
+// CHECK-LABEL: sil [ossa] @dont_promote_load_copy_of_inout_aliasable : {{.*}} {
+// CHECK:         load [copy]
+// CHECK-LABEL: } // end sil function 'dont_promote_load_copy_of_inout_aliasable'
+sil [ossa] @dont_promote_load_copy_of_inout_aliasable : $@convention(thin) (@inout_aliasable C) -> () {
+bb0(%addr : $*C):
+  %c = load [copy] %addr : $*C
+  %borrowC = function_ref @borrowC : $@convention(thin) (@guaranteed C) -> ()
+  apply %borrowC(%c) : $@convention(thin) (@guaranteed C) -> ()
+  destroy_value %c : $C
+  %5 = tuple ()
+  return %5 : $()
+}