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

Johannes Doerfert doerfert at cs.uni-saarland.de
Fri Feb 20 01:21:05 PST 2015


Now I am confused. Look for "AllowNonAffineBranches" in
ScopDetection.cpp. At least my idea was that this switch would prevent
any non-affine branches to be allowed in a SCoP, hence if turned off
(default) nothing should change.

I will push the codegen for review after I run it with lnt.

On 02/20, Tobias Grosser wrote:
> On 20.02.2015 09:20, Johannes Doerfert wrote:
> >Codegen wasn't finished yesterday afternoon but it is now. I would have
> >commited it in two patches/reviews but I can merge them too if you'd
> >like.
> 
> I am a little confused. You do not seem to have an option that disables the
> non-affine control flow support. Would the patch as submitted then not break
> as soon as we encounter such non-affine control flow cases? I probably
> missed something, but in case the first patch would break Polly, I do not
> think we should commit it alone.
> 
> Cheers,
> Tobias
> 

-- 

Johannes Doerfert
Researcher / PhD Student

Compiler Design Lab (Prof. Hack)
Saarland University, Computer Science
Building E1.3, Room 4.31

Tel. +49 (0)681 302-57521 : doerfert at cs.uni-saarland.de
Fax. +49 (0)681 302-3065  : http://www.cdl.uni-saarland.de/people/doerfert
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 213 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150220/3bb359e8/attachment.sig>


More information about the llvm-commits mailing list