[PATCH] D134803: [LoopPeeling] Support peeling loops with non-latch exits

[Nikita Popov via Phabricator via llvm-commits]

nikic added a subscriber: nhaehnle.
nikic added a comment.

It's plausible that the issue is related to convergence. As far as I can tell, loop peeling currently does not do any checks related to convergent operations in the loop. However, it's not really clear to me whether loop peeling of convergent operations is illegal -- it looks like (non-runtime) unrolling of convergent operations is allowed, so I would expect loop peeling to be as well. I have a very hard time understanding the requirements this imposes from the LangRef definition.

Maybe @nhaehnle can chime in, who seems to be the expert on this topic.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D134803/new/

https://reviews.llvm.org/D134803