Page MenuHomePhabricator

[SCEV] Add a test where the trip count can't be calculated
ClosedPublic

Authored by alonkom on Feb 9 2023, 6:25 AM.

Details

Summary

Add a test in which the trip count could have been calculated correctly thanks to an assume since it is known to divide by the step of the IV.

Diff Detail

Event Timeline

alonkom created this revision.Feb 9 2023, 6:25 AM
Herald added a project: Restricted Project. · View Herald TranscriptFeb 9 2023, 6:25 AM
Herald added a subscriber: StephenFan. · View Herald Transcript
alonkom requested review of this revision.Feb 9 2023, 6:25 AM
Herald added a project: Restricted Project. · View Herald TranscriptFeb 9 2023, 6:25 AM
mkazantsev accepted this revision.Feb 12 2023, 11:01 PM
This revision is now accepted and ready to land.Feb 12 2023, 11:01 PM
inclyc added a subscriber: inclyc.Apr 14 2023, 4:53 AM