Closed Bug 676400 Opened 13 years ago Closed 13 years ago

IonMonkey: Write a MIRGraph Invariant Checker

Categories

(Core :: JavaScript Engine, defect)

Product:
Core
Component:
JavaScript Engine
Type:
defect
Priority:
Not set
Severity:
normal

Tracking

()

Status:
RESOLVED FIXED

People

(Reporter: sstangl, Assigned: sstangl)

Details

Work on useless control flow elimination revealed potential bugs with MIRGraph consistency -- for example, numPredecessors() seems incorrect at times. Problems of this sort can be more readily detected, most importantly by anion, if we write an invariant checker that walks the MIRGraph and asserts on any inconsistency. We would run it after each phase of compilation when in debug mode.
This is a good idea - out of curiosity, are you seeing problems even after fixing bug 676322?
This exists in the tree as AssertGraphInvariants(), checked in with OSR (bug 700108).
Status: NEW → RESOLVED
Closed: 13 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.