[PATCH] D65296: [Attributor] Loop Abstract Attribute

Johannes Doerfert via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Aug 7 12:15:55 PDT 2019


jdoerfert added a comment.

Maybe, to simplify the first version, due the following "cannot be infinite" check: if the loop doesn't make forward progress, thus it is nosync, it has to be ending eventually.


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

https://reviews.llvm.org/D65296





More information about the llvm-commits mailing list