search for: maybeinfinit

...LVM > transformations. While it is obviously hard (and probably not useful) to > provide "exactly" the same interface as ScalarEvolution, I can look at > the use cases e.g., LoopDeletion, and try to come up with a general way > to convey the needed information, e.g. "bool mayBeInfinite(Loop *L)". > > My point is that I can easily use the modular analysis design to do only > what is needed to answer a query without any worrying about side effects > that are of no concern. Great! We do some wonderful stuff with ScalarEvolution and I was waiting for something lik...

...sses this way into LLVM transformations. While it is obviously hard (and probably not useful) to provide "exactly" the same interface as ScalarEvolution, I can look at the use cases e.g., LoopDeletion, and try to come up with a general way to convey the needed information, e.g. "bool mayBeInfinite(Loop *L)". My point is that I can easily use the modular analysis design to do only what is needed to answer a query without any worrying about side effects that are of no concern. Let me elaborate on this example. If you want to know if a loop might be infinite you only need to check the i...

On Tue, Sep 26, 2017 at 2:00 AM, Tobias Grosser via llvm-dev <llvm-dev at lists.llvm.org> wrote: > On Tue, Sep 26, 2017, at 00:03, Johannes Doerfert wrote: >> It depends on what you want. If you want a polyhedral scheduler right >> away, integration is the way to go. I think this is the topic of the thread as the folks who started this discussion stated that they want to see

On Tue, Sep 26, 2017, at 00:03, Johannes Doerfert wrote: > Hi Hal, > > On 09/22, Hal Finkel wrote: > > Hi, Johannes, > > > > Thanks for writing this. I certainly think you have the right idea in terms > > of the desired end state and modular design. > > Thanks for the feedback! > > > > On 09/19/2017 07:33 PM, Johannes Doerfert wrote: >