| commit | b738d4f477a9b6f4c4f69153f9077f1559d2bca1 | [log] [tgz] |
|---|---|---|
| author | Aart Bik <ajcbik@google.com> | Thu Dec 03 11:23:35 2015 -0800 |
| committer | Aart Bik <ajcbik@google.com> | Thu Dec 03 16:42:17 2015 -0800 |
| tree | 53c1100c03c33039e910e0e97ca4ef73d69bb15f | |
| parent | 68cebffee2f44f0345bd7be7e4cbad0f10e64082 [diff] |
Step-wise improvement of range analysis with outer loop induction.
Rationale: Using a step-wise approach (rather than expanding all ranges
at once) increases the opportunities for statically removing
bound checks, as demonstrated by the new checker tests.
Change-Id: Icbfd9406523a069e1fb7508546ea94f896e5a255