Reviewers: rossberg,
Description:
Cleanups to Verifier.
This CL broadens the checks done by the verifier in untyped mode and
introduces
some subroutines to shorten the code a bit.
Introduce routines CheckUpperIs() CheckUpperMaybe() and CheckValueInputIs()
that
are called unconditionally by the verifier. If the typing mode is untyped,
then
don't check anything.
Also added a couple checks for Merge and Loop nodes that catch bugs where
the
operator and the node disagree on input counts (a bug encountered today).
[email protected]
BUG=
Please review this at https://codereview.chromium.org/669073002/
Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Affected files (+532, -519 lines):
M src/compiler/verifier.cc
--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
---
You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
