Skip to content

Latest commit

 

History

History
32 lines (20 loc) · 1.08 KB

README.md

File metadata and controls

32 lines (20 loc) · 1.08 KB
Raw

iongraph

Visualizer for IonMonkey graphs using GraphViz.

Usage

  1. Make a debug build of SpiderMonkey.
  2. Run with the env var IONFLAGS=logs. SpiderMonkey will dump observations about graph state into /tmp/ion.json.
  3. Run iongraph. A PDF will be generated in your working directory for each function in the logs.
IONFLAGS=logs js -m mymodule.mjs
iongraph

For convenience, you can run the iongraph js command, which will invoke js and iongraph together. For example:

iongraph js -- -m mymodule.mjs

Arguments before the -- separator are for iongraph, while args after -- are for js.

Graph properties

Blocks with green borders are loop headers. Blocks with red borders contain loop backedges (successor is a header). Blocks with dashed borders were created during critical edge splitting.

Instructions that are movable are blue. Guard instructions are underlined.

MResumePoints are placed as instructions, colored gray.

Edges from blocks ending with conditional branches are annotated with the truth value associated with each edge, given as '0' or '1'.