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.
Details
Details
Diff Detail
Diff Detail
Differential D62144
[LoopUnroll] Add FlagNUW for backedge count samparker on May 20 2019, 8:13 AM. Authored by
Details
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 |