This patch allows us to predicate range checks that have a type narrower than
the latch check type. We leverage SCEV analysis to identify a truncate for the
latchLimit and latchStart.
There is also safety checks in place which requires the start and limit to be
known at compile time. We require this to make sure that the SCEV truncate expr
for the IV corresponding to the latch does not cause us to lose information
about the IV range.
Added tests show the loop predication over range checks that are of various
types and are narrower than the latch type.
This enhancement has been in our downstream tree for a while.
Details
Details
Diff Detail
Diff Detail
- Build Status
Buildable 11719 Build 11719: arc lint + arc unit
Event Timeline
lib/Transforms/Scalar/LoopPredication.cpp | ||
---|---|---|
393 | I'll be refactoring the code out and will update the name with that NFC. |
Can you please add a comment why we can't compare with LatchCheck.IV->getStepRecurrence(*SE) anymore?