[Polly][DOC] Add fine-grain dependences analysis to release notes.

[etherzhhb]

Summary

Later I will try to add the document about how to extract LLVM IR based dependences result from the fine-grain dependences analysis.

[grosser]

LGTM besides a mire typo.

dence"
+pass provides dependences analysis at memory reference level and memory access level.
+The memory reference level analysis distinguishes the accessed references in the
+same statement, and generates depednences relationships between (statement, reference)
+pairs. The memory acccess level analysis distinguishes accesses in the same statement,
+and generates depednences relationships between (statement, access) pairs. These
+fine-grain depednences are enabled by "-polly-dependences-analysis-level=reference-level"

dependences.

[etherzhhb]

In D17905#368446, @grosser wrote:

LGTM besides a mire typo.

dence"
+pass provides dependences analysis at memory reference level and memory access level.
+The memory reference level analysis distinguishes the accessed references in the
+same statement, and generates depednences relationships between (statement, reference)
+pairs. The memory acccess level analysis distinguishes accesses in the same statement,
+and generates depednences relationships between (statement, access) pairs. These
+fine-grain depednences are enabled by "-polly-dependences-analysis-level=reference-level"

dependences.

ah ... stupid copy & paste ...

[etherzhhb]

depednences -> dependences
acccess -> access

Also:
reference-level -> reference-wise
access-level -> access-wise

[grosser]

This seems still open, even though this patch got a LGTM? Ether, are you waiting for sth?

[llvm-commits]

waiting for some one to accept :) Next time will push when I got a LGTM

• msg-4787-335.txt162 BDownload

docs/ReleaseNotes.rst

 supported before, we now allow and model two other kinds. The first are
 intrinsic calls to ``memcpy``, ``memmove`` and ``memset``. These calls can be
 represented precisely if the pointers involved are known and the given length
 is affine. Additionally, we allow to over-approximate function calls that are
 known only to read memory, read memory accessible through pointer arguments or
 access only memory accessible through pointer arguments. See also the function
 attributes ``readonly`` and ``argmemonly`` for more information.
 
+Fine-grain dependences analysis
+^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+
+In addition of the ScopStmt-level depednences analysis, now the "polly-dependence"
+pass provides dependences analysis at memory reference level and memory access level.
+The memory reference level analysis distinguishes the accessed references in the
+same statement, and generates depednences relationships between (statement, reference)
+pairs. The memory acccess level analysis distinguishes accesses in the same statement,
+and generates depednences relationships between (statement, access) pairs. These
+fine-grain depednences are enabled by "-polly-dependences-analysis-level=reference-level"
+and "-polly-dependences-analysis-level=access-level", respectively.
 
 
 Update of the isl math library
 ------------------------------
 
 We imported the latest version of the isl math library into Polly.