Add tests combining assume on trip count divisibility (TV % VF) and minimum/maximum values (TC > N, TC < M).
Details
Details
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
Differential D143337
[SCEV] Add tests where multiple assumes can be used to improve trip multiple alonkom on Feb 5 2023, 3:57 AM. Authored by
Details Add tests combining assume on trip count divisibility (TV % VF) and minimum/maximum values (TC > N, TC < M).
Diff Detail
Event Timeline |