tree 508d05c5ee5c959653829d4ea06125dffd6059a6
parent 228df22dbf1cfdc7a17a213de8810f310f148010
author Aart Bik <ajcbik@google.com> 1557769631 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1557769631 +0000

[dart/vm] enhanced graph checker

Rationale:
Refactored existing verify uses (with some overlap and some
additional checks) into the graph checker. Also added more
verification code and repaired some inconsistencies in IR
found by new checker. However, some checks are disabled with
a TODO, since the IR does not currently meet all the stricter
assumptions. Fixes will follow.

https://github.com/dart-lang/sdk/issues/36893
https://github.com/dart-lang/sdk/issues/36894
https://github.com/dart-lang/sdk/issues/36895
https://github.com/dart-lang/sdk/issues/36899

Change-Id: Ic0395208da38ecb6fc8ca2551efe819e6458a731
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/101922
Commit-Queue: Aart Bik <ajcbik@google.com>
Reviewed-by: Alexander Markov <alexmarkov@google.com>