search for: metata

...ing to have the ability to map metadata to BasicBlocks then such > informations could be registered directly to the loop header or latch, without > custom intrinsics and hopefully without interfering with the optimizer. > > What do you think about this? There's been talk of adding metata do the branch that terminates the loop latch block. What llvm calls the "latch" is just a unique backward branch to the loop header and not necessarilly even a loop exit. I'm not sure how you would interpret that metadata, since the branch exit may be rewritten (just like the loop gu...

On 02/08/2013 06:56 AM, Andrew Trick wrote: > There's been talk of adding metata do the branch that terminates the loop latch block. What llvm calls the "latch" is just a unique backward branch to the loop header and not necessarilly even a loop exit. > > I'm not sure how you would interpret that metadata, since the branch exit may be rewritten (just like th...

> Thanks for the details. Please add them to a bug report. I will do this. > InstCombine is certainly interfering with our ability to analyze the loop. I think the problem is that ScalarEvolution cannot reason about signed division. This is a general problem independent of your target. At the moment I'm not sure if we can teach ScalarEvolution to reason about this, or if we can defer

...> then such > > informations could be registered directly to the loop header or > > latch, without > > custom intrinsics and hopefully without interfering with the > > optimizer. > > > > What do you think about this? > > There's been talk of adding metata do the branch that terminates the > loop latch block. What llvm calls the "latch" is just a unique > backward branch to the loop header and not necessarilly even a loop > exit. > > I'm not sure how you would interpret that metadata, since the branch > exit may be re...