[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