[PATCH] Allow to model non-affine control flow in a SCoP.
doerfert at cs.uni-saarland.de
Thu Feb 19 10:15:40 PST 2015
Hi grosser, sebpop, simbuerg, zinob,
In order to model non-affine control flow SCoP statements can now
represent a basic block (precise/affine case) or a whole region
(non-affine case). In the latter all write accesses except the ones in
the region entry and exit will be may-write accesses as we cannot be
certain they are executed.
As there is no real difference non-affine branches as well as floating
point branches are covered (and both called non-affine control flow).
Furthermore, conditionals as wells as loops with non-affine control
flow can be overapproximated.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 35949 bytes
Desc: not available
More information about the llvm-commits