[PATCH] Allow to model non-affine control flow in a SCoP.

[Tobias Grosser]

On 19.02.2015 19:15, Johannes Doerfert wrote:
> 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.
>

I like the patch as well, but it seems to lack codegen support. Is this 
a proof-of-concept or is this intended to be committed as is?

Tobias