This is an archive of the discontinued LLVM Phabricator instance.

[LoopUnroll] Add FlagNUW for backedge count

Authored by samparker on May 20 2019, 8:13 AM.



While performing runtime unrolling, we assign the backedge taken count as TripCount - 1. So, if we can prove that TripCount > 0, then we know that the backedge count is nuw.

Diff Detail

Event Timeline

samparker created this revision.May 20 2019, 8:13 AM
samparker abandoned this revision.Jun 9 2019, 11:15 PM

This is broken, as well as the patch is depends on!