From 0a21113a52b800752bcc7973cfaa2a23f230385a Mon Sep 17 00:00:00 2001 From: Johannes Doerfert Date: Thu, 3 Mar 2016 11:33:49 +0000 Subject: [PATCH] [DOC] Add documentation for the supported call instructions llvm-svn: 262608 --- polly/docs/ReleaseNotes.rst | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/polly/docs/ReleaseNotes.rst b/polly/docs/ReleaseNotes.rst index 5de2053..8e186c4 100644 --- a/polly/docs/ReleaseNotes.rst +++ b/polly/docs/ReleaseNotes.rst @@ -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 ------------------------------ -- 2.7.4