commit | 1d23982327265e8139f67e37d9a86ba2758f7b4a | [log] [tgz] |
---|---|---|
author | Aart Bik <ajcbik@google.com> | Tue Feb 09 14:26:34 2016 -0800 |
committer | Aart Bik <ajcbik@google.com> | Fri Feb 12 13:12:15 2016 -0800 |
tree | bb3874b1e0e247115ab385c8809ac38da12e972b | |
parent | b9adbf63f880f246d83b3af4ca03aca07711f857 [diff] |
Generalized "dom-based" dynamic BCE to symbolic base + offset. Rationale: So far, if all others failed, BCE would use a dominator-based dynamic deoptimization to eliminate bounds checks in e.g. a[0], a[1], a[2], etc. This CL generalizes this to any symbolic base with offset in e.g. a[base], a[base+1], etc. The runtime tests (two for symbolic, one for constant) carefully account for arithmetic wrap-around. bug=26680114 Change-Id: I7432a200fd69791914ed776c77fa62567b5863c0