Dmitry Makogon 4b0fd43512 [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.

2022-11-08 18:54:43 +07:00

..

assumes.ll

[LoopPredication] Insert assumes of conditions of predicated guards

2022-10-07 16:10:24 +07:00

basic_widenable_branch_guards.ll

[LoopPredication] Insert assumes of conditions of predicated guards

2022-10-07 16:10:24 +07:00

basic.ll

[LoopPredication] Insert assumes of conditions of predicated guards

2022-10-07 16:10:24 +07:00

constant-ranges.ll

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

2022-11-08 18:54:43 +07:00

invalidate-analyses.ll

…

invariant_load.ll

[opt] Don't translate legacy -analysis flag to require<analysis>

2022-10-07 14:54:34 -07:00

nested.ll

[LoopPredication] Insert assumes of conditions of predicated guards

2022-10-07 16:10:24 +07:00

predicate-exits.ll

…

preserve-bpi.ll

…

profitability.ll

[LoopPredication] Insert assumes of conditions of predicated guards

2022-10-07 16:10:24 +07:00

reverse.ll

[LoopPredication] Insert assumes of conditions of predicated guards

2022-10-07 16:10:24 +07:00

unswitch-exit-loop.ll

…

visited.ll

[LoopPredication] Insert assumes of conditions of predicated guards

2022-10-07 16:10:24 +07:00

widened.ll

[LoopPredication] Insert assumes of conditions of predicated guards

2022-10-07 16:10:24 +07:00