This is an archive of the discontinued LLVM Phabricator instance.

[SCEV] Make howFarToZero max backedge-taken count check for precondition
ClosedPublic

Authored by efriedma on Jan 10 2017, 2:29 PM.

Details

Summary

Refines max backedge-taken count if a loop like "for (int i = 0; i != n; ++i) { /* body */ }" is rotated.

Diff Detail

Repository
rL LLVM

Event Timeline

efriedma updated this revision to Diff 83874.Jan 10 2017, 2:29 PM
efriedma retitled this revision from to [SCEV] Make howFarToZero max backedge-taken count check for precondition.
efriedma updated this object.
efriedma added a reviewer: sanjoy.
efriedma set the repository for this revision to rL LLVM.
efriedma added a subscriber: llvm-commits.
sanjoy accepted this revision.Jan 10 2017, 3:44 PM
sanjoy edited edge metadata.

lgtm

lib/Analysis/ScalarEvolution.cpp
7226

Use APInt::umin here?

This revision is now accepted and ready to land.Jan 10 2017, 3:44 PM
This revision was automatically updated to reflect the committed changes.