[Test] Add tests with range checks with known constant ranges

LoopPredication might be able to turn such checks (which are
not necessarily are done on IV) into loop invariant checks.