<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Sat, May 7, 2016 at 4:43 PM, Johannes Doerfert <span dir="ltr"><<a href="mailto:doerfert@cs.uni-saarland.de" target="_blank">doerfert@cs.uni-saarland.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 05/07, Mehdi Amini wrote:<br>
><br>
> > On May 7, 2016, at 7:59 AM, Utpal Bora via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br>
> ><br>
> > Dear All,<br>
> ><br>
> > I am glad to be part of GSoC 2016 with LLVM organization. I am a first year PhD student at IIT Hyderabad, India and my research area is compiler optimizations using polyhedral model.<br>
> ><br>
> > My GSoC 2016 project is to implement Polly as an Analysis pass in LLVM [1].<br>
> > We have a discussion on Polly-dev mailing list [2] on taking a better approach to implement this project. Based upon this discussion, I am planning to cover the following items in the first month of this GSoC.<br>
> ><br>
> > 1: Decouple ScopInfo object from pass and create two passes. One region pass to preserve compatibility with existing Polly transformation passes, other will be a function pass to be used by PolyhedralInfo pass as mentioned below.<br>
> ><br>
> > 2: Decouple DependenceInfo object from pass and create two passes. Same as above.<br>
> ><br>
> > 3: Create the interface PolyhedralInfo, which will extract Memory Access wise dependence information from Polly and provide few simple interfaces like isParallel(), isVectorizable(), tripCount(Loop&).<br>
><br>
> What is the difference between "isParallel" and "isVectorizable" for a loop?<br>
> Also is tripCount() returning a literal or is it somehow symbolic?<br>
</span>In the beginning I would say isParallel() should return true if there<br>
are no loop carried dependences, while isVectorizable(unsigned TripCount)<br></blockquote><div>Or we can directly return the loop-carried dependence of the innermost loop (or the loop at a given level like DependenceAnalysis), as SCEV.</div><div><br></div><div> <br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
should return true if the loop carried dependencies are greater than<br>
"TripCount".<br>
<br>
Something like tripCount(Loop &L) can return either a constant or a<br>
SCEV. I would prefer the latter.<br>
<br>
Cheers,<br>
  Johannes<br>
<div class="HOEnZb"><div class="h5"><br>
--<br>
You received this message because you are subscribed to the Google Groups "Polly Development" group.<br>
To unsubscribe from this group and stop receiving emails from it, send an email to <a href="mailto:polly-dev%2Bunsubscribe@googlegroups.com">polly-dev+unsubscribe@googlegroups.com</a>.<br>
For more options, visit <a href="https://groups.google.com/d/optout" rel="noreferrer" target="_blank">https://groups.google.com/d/optout</a>.<br>
</div></div></blockquote></div><br></div></div>