[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.
fhahn on Oct 10 2020, 8:39 AM.Authored by