tree 7dfbbd8d2c2e3219626705e7aef53b1568c7d7fd
parent c8e95cf3b5ab5e8c8a7c30e6c3541ba2ee94336a
author Aart Bik <ajcbik@google.com> 1542214933 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1542214933 +0000

[vm/compiler] induction variable analysis

Rationale:
The more one knows about loops, the better!
This introduces a rigorous framework for detecting
induction variables (more precise "sequence" variables).
Even though this is already pretty general, in the
future we can expand this on a "need to" base, recognizing
more operators (shifts, negate, etc.) and more classes
of induction (perhaps geometric, polynomial, etc.).

Change-Id: I82a14515e8ae946d520ee470cd31046f6a58af7d
Reviewed-on: https://dart-review.googlesource.com/c/81743
Commit-Queue: Aart Bik <ajcbik@google.com>
Reviewed-by: Vyacheslav Egorov <vegorov@google.com>