[PATCH] D44676: [SCEV] Make exact taken count calculation more optimistic

Florian Hahn via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Mar 22 15:50:03 PDT 2018


fhahn added inline comments.


================
Comment at: lib/Analysis/ScalarEvolution.cpp:6657
 /// computable result can only be returned for loops with a single exit.
 /// Returning the minimum taken count among all exits is incorrect because one
 /// of the loop's exit limit's may have been skipped. howFarToZero assumes that
----------------
Please also update the comment here, stating when multiple exits are OK.


https://reviews.llvm.org/D44676





More information about the llvm-commits mailing list