HomePhabricator

[SCEV] Add test cases where the max BTC is imprecise, due to step != 1.

Authored by fhahn on Oct 10 2020, 8:39 AM.

Description

[SCEV] Add test cases where the max BTC is imprecise, due to step != 1.

Add a test case where we fail to compute a tight max backedge taken
count, due to the step being != 1.

This is part of the issue with PR40961.

Details

Committed
fhahnOct 10 2020, 8:39 AM
Parents
rG2e9fd754b41c: [SCEV] Handle ULE in applyLoopGuards.
Branches
Unknown
Tags
Unknown