allow specification of summary functions
commitf4f8195223a303321cf5d91aabea4cd795164149
authorSven van Haastregt <sven.vanhaastregt@arm.com>
Thu, 20 Feb 2014 15:28:45 +0000 (20 15:28 +0000)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 9 Jul 2014 09:08:43 +0000 (9 11:08 +0200)
treed2d704bae3569e212d3f7d0556e89d882ef8695a
parent0d38ab7bcba2f12ef5c3e349d24c3b325eaa9466
allow specification of summary functions

A summary function describes the accesses performed by
a function called from a scop and can be used when the original
function body is not available or if it is too complicated
to be analyzed in an accurate way.

Get the summary function supplied by the ``attribute'' pencil_access.
Handling a new attribute in Clang seems to require modifications in
Clang itself.  To avoid this, we define pencil_access as a builtin macro
that expands to the already existing annotate attribute.

Signed-off-by: Sven van Haastregt <sven.vanhaastregt@arm.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
pet.cc
scan.cc
scan.h
tests/summary.c [new file with mode: 0644]
tests/summary.scop [new file with mode: 0644]