projects / platform / upstream / v8.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 97c135f) | patch
Add ScheduleVerifier.
authortitzer@chromium.org <titzer@chromium.org@ce2b1a6d-e550-0410-aec6-3dcde31c8c00>
Fri, 22 Aug 2014 12:37:51 +0000 (12:37 +0000)
committertitzer@chromium.org <titzer@chromium.org@ce2b1a6d-e550-0410-aec6-3dcde31c8c00>
Fri, 22 Aug 2014 12:37:51 +0000 (12:37 +0000)
commit1f9bd09f3666b2afc0fe46a6bfdb23c714a8e7a6
treee26dfd65dfefda511cb35ff9b0841125a6ebee32tree | snapshot
parent97c135fada093a9a628f0b3e6c54f901bd403e07commit | diff
Add ScheduleVerifier.

This adds a series of checks to the output of scheduling, including properties
of the RPO order, the dominance relation, phi placement, and the SSA property
that definitions dominate all their uses.

R=jarin@chromium.org
BUG=

Review URL: https://codereview.chromium.org/491303002

git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@23310 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
.gitignore diff | blob | history
src/compiler/pipeline.cc diff | blob | history
src/compiler/verifier.cc diff | blob | history
src/compiler/verifier.h diff | blob | history
src/data-flow.h diff | blob | history
Domain: Web Framework / Web Engine;