[polly] r262608 - [DOC] Add documentation for the supported call instructions

[Johannes Doerfert via llvm-commits]

Author: jdoerfert
Date: Thu Mar  3 05:33:49 2016
New Revision: 262608

URL: http://llvm.org/viewvc/llvm-project?rev=262608&view=rev
Log:
[DOC] Add documentation for the supported call instructions

Modified:
    polly/trunk/docs/ReleaseNotes.rst

Modified: polly/trunk/docs/ReleaseNotes.rst
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/docs/ReleaseNotes.rst?rev=262608&r1=262607&r2=262608&view=diff
==============================================================================
--- polly/trunk/docs/ReleaseNotes.rst (original)
+++ polly/trunk/docs/ReleaseNotes.rst Thu Mar  3 05:33:49 2016
@@ -49,6 +49,23 @@ the ``struct``).
         s->B[i] += s->A[i];
     }
 
+
+
+Function calls with known side effects
+^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+
+Function calls that have only known memory effects can be represented as
+accesses in the polyhedral model. While calls without side effects were
+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 accesible through pointer arguments or
+access only memory accesible through pointer arguments. See also the function
+attributes ``readonly`` and ``argmemonly`` for more information.
+
+
+
 Update of the isl math library
 ------------------------------