Enhance the memdep interface so that users can tell the difference between a dependency which cannot be calculated and a path reaching the entry point of the function. This patch introduces isNonFuncLocal, which replaces isUnknown in some cases.

Patch by Xiaoyi Guo.



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@141896 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html
index 04ea709..bf10711 100644
--- a/docs/ReleaseNotes.html
+++ b/docs/ReleaseNotes.html
@@ -707,6 +707,10 @@
 <li>It is mandatory to initialize all out-of-tree passes too and their dependencies now with
 <code>INITIALIZE_PASS{BEGIN,END,}</code> and <code>INITIALIZE_{PASS,AG}_DEPENDENCY</code>.</li>
 
+<li>The interface for MemDepResult in MemoryDependenceAnalysis has been enhanced
+    with new return types Unknown and NonFuncLocal, in addition to the existing
+    types Clobber, Def, and NonLocal.</li>
+
 </ul>
 </div>