---

yaml
---
r: 349596
b: refs/heads/master-next
c: 9eeb661
h: refs/heads/master

Author: swift-ci

[refs]

@@ -1,6 +1,6 @@
 ---
 refs/heads/master: 3574c513bbc5578dd9346b4ea9ab5995c5927bb5
-refs/heads/master-next: d3ca90f4f2a8c3f463df67086c78ad4558fe8c7f
+refs/heads/master-next: 9eeb66154bdb5fb77d897aafacfb780c7cb0affd
 refs/tags/osx-passed: b6b74147ef8a386f532cf9357a1bde006e552c54
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-a: 6bb18e013c2284f2b45f5f84f2df2887dc0f7dea
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-b: 66d897bfcf64a82cb9a87f5e663d889189d06d07

branches/master-next/lib/SILOptimizer/Mandatory/SemanticARCOpts.cpp

@@ -186,8 +186,10 @@ struct SemanticARCOptVisitor
   bool visitCopyValueInst(CopyValueInst *cvi);
   bool visitBeginBorrowInst(BeginBorrowInst *bbi);
   bool visitLoadInst(LoadInst *li);
-      
-  bool isWrittenTo(LoadInst *li);
+
+  /// Return true if all of load insts destroy_value users are within the
+  /// guaranteed lifetime of the storage that is being loaded from.
+  bool isLoadGuaranteedByStorage(LoadInst *li);
 
   bool processWorklist();
 
@@ -713,7 +715,7 @@ class StorageGuaranteesLoadVisitor
 };
 } // namespace
 
-bool SemanticARCOptVisitor::isWrittenTo(LoadInst *load) {
+bool SemanticARCOptVisitor::isLoadGuaranteedByStorage(LoadInst *load) {
   StorageGuaranteesLoadVisitor visitor(*this, load);
   return visitor.doIt();
 }
@@ -735,9 +737,10 @@ bool SemanticARCOptVisitor::visitLoadInst(LoadInst *li) {
   if (isConsumed(li, destroyValues))
     return false;
 
-  // Then check if our address is ever written to. If it is, then we
-  // can not use the load_borrow.
-  if (isWrittenTo(li))
+  // Then check if our address is guaranteed to never be written to within the
+  // lifetime of our loaded value. If so, we can convert the loaded value to be
+  // at +0 instead of +1.
+  if (isLoadGuaranteedByStorage(li))
     return false;
 
   // Ok, we can perform our optimization. Convert the load [copy] into a