| commit | 7d57d7f2f0328241ff07c43a93edadbc1a6697c6 | [log] [tgz] |
|---|---|---|
| author | Aart Bik <ajcbik@google.com> | Wed Dec 09 14:39:48 2015 -0800 |
| committer | Aart Bik <ajcbik@google.com> | Tue Dec 15 11:56:35 2015 -0800 |
| tree | 4a53eb14db06af2e8fc84bbebd48a462e868bfd4 | |
| parent | 7d5a577c1f256a7703361afb071dcd4ecc7d275f [diff] |
Various induction/range analysis improvements.
Rationale: this change list improves analysis of triangular loops
both by changing loop order for induction analysis
(enabling range analysis in inner loops) and by
some symbolic improvements during range analysis;
also, a mul/div bug has been fixed (with pass/fail
unit tests); lastly this change list prepares some
follow up optimizations.
Change-Id: I84a03e848405009541c3fa8e3d3c2f430e100087