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