On Fri, 2008-02-08 at 10:11 -0600, Sebastian Pop wrote:
> 2008/2/7 Tobias Grosser <[EMAIL PROTECTED]>:
> > 2. Which loops are part of a SCoP:
> >
> > At the moment we detect the loops, which are part of a SCoP like this:
> >
> > FORALL_BB_IN_SCOP(bb)
> > {
> > VEC_loops_add(bb->loop_father);
> >
2008/2/7 Tobias Grosser <[EMAIL PROTECTED]>:
> 2. Which loops are part of a SCoP:
>
> At the moment we detect the loops, which are part of a SCoP like this:
>
> FORALL_BB_IN_SCOP(bb)
> {
> VEC_loops_add(bb->loop_father);
> }
>
> This seems incorrect if we look at this SCoP:
>
> h #loop0
> |
> a
Hi,
while working at graphite I had some problems with the SCoP detection.
It seems to me, that I expect the SCoPs being defined slightly
different.
At the moment a SCoP is defined like this (as I understand):
A SCoP is a part of the CFG wich can be extracted, optimized using the
polyhedral mode
