Page MenuHomePhabricator

[LoopUnroll] Add FlagNUW for backedge count
AbandonedPublic

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

Details

Summary

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!