diagnostics: add support for directed graphs; use them for state graphs

In r16-1631-g2334d30cd8feac I added support for capturing state
information from -fanalyzer in XML form, and adding a way to visualize
these states in HTML output.  The data was optionally captured in SARIF
output (with "xml-state=yes"), stashing the XML in string form in
a property bag.

This worked, but there was no way to round-trip the stored data back
from SARIF without adding an XML parser to GCC, which I don't want to
do.

SARIF supports capturing directed graphs, so this patch:

(a) adds a new namespace diagnostics::digraphs, with classes digraph,
node, and edge, representing directed graphs in a form similar to
what SARIF can serialize

(b) adds support to GCC's diagnostic subsystem for reporting graphs,
either "globally" or as part of a diagnostic.  An example in a testsuite
plugin emits an error that has a couple of dummy graphs associated with
it, and captures the optimization passes as a digraph "globally".
Graphs are ignored by text sinks, but are captured by sarif sinks,
and the "experimental-html" sink gains SVG-based rendering of any graphs
using dot.  This HTML output is rather crude; an example can be seen
here:
  https://dmalcolm.fedorapeople.org/gcc/2025-07-10/diagnostic-test-graphs-html.c.html

(c) adds support to libgdiagnostics for the above

(d) adds support to sarif-replay for the above (round-tripping any
graph information)

(e) replaces the XML representation of state with a representation
based on the above directed graphs, using property bags to stash
additional information (e.g. "this is an on-stack buffer")

(f) implements round-tripping of this information in sarif-replay

To summarize:
- previously we could generate HTML diagrams for debugging
  -fanalyzer directly from gcc, but not from stored .sarif output.
- with this patch, we can generate such HTML diagrams both directly
  *and* from stored .sarif output (provided the SARIF sink was created
  with "state-graphs=yes")

Examples of HTML output can be seen here:
  https://dmalcolm.fedorapeople.org/gcc/2025-07-10/
where as before j/k can be used to cycle through the events.
which is almost identical to the output from the old XML-based
implementation seen at:
  https://dmalcolm.fedorapeople.org/gcc/2025-06-23/

gcc/ChangeLog:
	* Makefile.in (OBJS-libcommon): Add diagnostic-digraphs.o and
	diagnostic-state-graphs.o.

gcc/ChangeLog:
	* diagnostic-format-html.cc: Include "diagnostic-format-sarif.h",
	Replace include of "diagnostic-state.h" with includes of
	"diagnostic-digraphs.h" and "diagnostic-state-graphs.h".
	(html_generation_options::html_generation_options): Update for
	field renaming.
	(html_builder::m_body_element): New field.
	(html_builder::html_builder): Initialize m_body_element.
	(html_builder::maybe_make_state_diagram): Port from XML
	implementation to state graph implementation.
	(html_builder::make_element_for_diagnostic): Add any
	per-diagnostic graphs.
	(html_builder::add_graph): New.
	(html_builder::emit_global_graph): New.
	(html_output_format::report_global_digraph): New.
	* diagnostic-format-html.h
	(html_generation_options::m_show_state_diagram_xml): Replace
	with...
	(html_generation_options::m_show_state_diagrams_sarif): ...this.
	(html_generation_options::m_show_state_diagram_dot_src): Rename
	to...
	(html_generation_options::m_show_state_diagrams_dot_src): ...this.
	* diagnostic-format-sarif.cc: Include "diagnostic-digraphs.h" and
	"diagnostic-state-graphs.h".
	(sarif_builder::m_run_graphs): New field.
	(sarif_result::on_nested_diagnostic): Update call to
	make_location_object to pass arg by pointer.
	(sarif_builder::sarif_builder): Initialize m_run_graphs.
	(sarif_builder::report_global_digraph): New.
	(sarif_builder::make_result_object): Add any graphs to
	the result object.
	(sarif_builder::make_locations_arr): Update call to
	make_location_object to pass arg by pointer.
	(sarif_builder::make_location_object): Pass param "loc_mgr" by
	pointer rather than by reference so that it can be null, and
	handle this case.
	(copy_any_property_bag): New.
	(make_sarif_graph): New.
	(make_sarif_node): New.
	(make_sarif_edge): New.
	(sarif_property_bag::set_graph): New.
	(populate_thread_flow_location_object): Port from XML
	implementation to state graph implementation.
	(make_run_object): Store any graphs.
	(sarif_output_format::report_global_digraph): New.
	(sarif_generation_options::sarif_generation_options): Rename
	m_xml_state to m_state_graph.
	(selftest::test_make_location_object): Update for change to
	make_location_object.
	* diagnostic-format-sarif.h:
	(sarif_generation_options::m_xml_state): Replace with...
	(sarif_generation_options::m_state_graph): ...this.
	(class sarif_location_manager): Add forward decl.
	(diagnostics::digraphs::digraph): New forward decl.
	(diagnostics::digraphs::node): New forward decl.
	(diagnostics::digraphs::edge): New forward decl.
	(sarif_property_bag::set_graph): New decl.
	(class sarif_graph): New.
	(class sarif_node): New.
	(class sarif_edge): New.
	(make_sarif_graph): New decl.
	(make_sarif_node): New decl.
	(make_sarif_edge): New decl.
	* diagnostic-format-text.h
	(diagnostic_text_output_format::report_global_digraph): New.
	* diagnostic-format.h
	(diagnostic_output_format::report_global_digraph): New vfunc.
	* diagnostic-digraphs.cc: New file.
	* diagnostic-digraphs.h: New file.
	* diagnostic-metadata.h (diagnostics::digraphs::lazy_digraphs):
	New forward decl.
	(diagnostic_metadata::diagnostic_metadata): Initialize
	m_lazy_digraphs.
	(diagnostic_metadata::set_lazy_digraphs): New.
	(diagnostic_metadata::get_lazy_digraphs): New.
	(diagnostic_metadata::m_lazy_digraphs): New field.
	* diagnostic-output-spec.cc (sarif_scheme_handler::make_sink):
	Update for XML to state graph changes.
	(sarif_scheme_handler::make_sarif_gen_opts): Likewise.
	(html_scheme_handler::make_sink): Rename "show-state-diagram-xml"
	to "show-state-diagrams-sarif" and use pluralization consistently.
	* diagnostic-path.cc: Replace include of "xml.h" with
	"diagnostic-state-graphs.h".
	(diagnostic_event::maybe_make_xml_state): Replace with...
	(diagnostic_event::maybe_make_diagnostic_state_graph): ...this.
	* diagnostic-path.h (diagnostics::digraphs::digraph): New forward
	decl.
	(diagnostic_event::maybe_make_xml_state): Replace with...
	(diagnostic_event::maybe_make_diagnostic_state_graph): ...this.
	* diagnostic-state-graphs.cc: New file.
	* diagnostic-state-graphs.h: New file.
	* diagnostic-state-to-dot.cc: Port implementation from XML to
	state graphs.
	* diagnostic-state.h: Deleted file.
	* diagnostic.cc (diagnostic_context::report_global_digraph): New.
	* diagnostic.h (diagnostics::digraphs::lazy_digraph): New forward
	decl.
	(diagnostic_context::report_global_digraph): New decl.
	* doc/analyzer.texi (Debugging the Analyzer): Update to reflect
	change from XML to state graphs.
	* doc/invoke.texi ("sarif" diagnostics sink): Replace "xml-state"
	with "state-graphs".
	("experimental-html" diagnostics sink): Replace
	"show-state-diagrams-xml" with "show-state-diagrams-sarif"
	* doc/libgdiagnostics/topics/compatibility.rst
	(LIBGDIAGNOSTICS_ABI_3): New.
	* doc/libgdiagnostics/topics/graphs.rst: New file.
	* doc/libgdiagnostics/topics/index.rst: Add graphs.rst.
	* graphviz.h (node_id::operator=): New.
	* json.h (json::value::dyn_cast_string): New.
	(json::object::get_num_keys): New accessor.
	(json::object::get_key): New accessor.
	(json::string::dyn_cast_string): New.
	* libgdiagnostics++.h (class libgdiagnostics::graph): New.
	(class libgdiagnostics::node): New.
	(class libgdiagnostics::edge): New.
	(class libgdiagnostics::diagnostic::take_graph): New.
	(class libgdiagnostics::manager::take_global_graph): New.
	(class libgdiagnostics::graph::set_description): New.
	(class libgdiagnostics::graph::get_node_by_id): New.
	(class libgdiagnostics::graph::get_edge_by_id): New.
	(class libgdiagnostics::graph::add_edge): New.
	(class libgdiagnostics::node::set_label): New.
	(class libgdiagnostics::node::set_location): New.
	(class libgdiagnostics::node::set_logical_location): New.
	* libgdiagnostics-private.h: New file.
	* libgdiagnostics.cc: Define INCLUDE_STRING.  Include
	"diagnostic-digraphs.h", "diagnostic-state-graphs.h", and
	"libgdiagnostics-private.h".
	(struct diagnostic_graph): New.
	(struct diagnostic_node): New.
	(struct diagnostic_edge): New.
	(libgdiagnostics_path_event::libgdiagnostics_path_event): Add
	state_graph param.
	(libgdiagnostics_path_event::maybe_make_diagnostic_state_graph):
	New.
	(libgdiagnostics_path_event::m_state_graph): New field.
	(diagnostic_execution_path::add_event_va): Add state_graph param.
	(class prebuilt_digraphs): New.
	(diagnostic::diagnostic): Use m_graphs in m_metadata.
	(diagnostic::take_graph): New.
	(diagnostic::get_graphs): New accessor.
	(diagnostic::m_graphs): New field.
	(diagnostic_manager::take_global_graph): New.
	(diagnostic_execution_path_add_event): Update for new param to
	add_event_va.
	(diagnostic_execution_path_add_event_va): Likewise.
	(diagnostic_graph::add_node_with_id): New public entrypoint.
	(diagnostic_graph::add_edge_with_label): New public entrypoint.
	(diagnostic_manager_new_graph): New public entrypoint.
	(diagnostic_manager_take_global_graph): New public entrypoint.
	(diagnostic_take_graph): New public entrypoint.
	(diagnostic_graph_release): New public entrypoint.
	(diagnostic_graph_set_description): New public entrypoint.
	(diagnostic_graph_add_node): New public entrypoint.
	(diagnostic_graph_add_edge): New public entrypoint.
	(diagnostic_graph_get_node_by_id): New public entrypoint.
	(diagnostic_graph_get_edge_by_id): New public entrypoint.
	(diagnostic_node_set_location): New public entrypoint.
	(diagnostic_node_set_label): New public entrypoint.
	(diagnostic_node_set_logical_location): New public entrypoint.
	(private_diagnostic_execution_path_add_event_2): New private
	entrypoint.
	(private_diagnostic_graph_set_property_bag): New private
	entrypoint.
	(private_diagnostic_node_set_property_bag): New private
	entrypoint.
	(private_diagnostic_edge_set_property_bag): New private
	entrypoint.
	* libgdiagnostics.h (diagnostic_graph): New typedef.
	(diagnostic_node): New typedef.
	(diagnostic_edge): New typedef.
	(diagnostic_manager_new_graph): New decl.
	(diagnostic_manager_take_global_graph): New decl.
	(diagnostic_take_graph): New decl.
	(diagnostic_graph_release): New decl.
	(diagnostic_graph_set_description): New decl.
	(diagnostic_graph_add_node): New decl.
	(diagnostic_graph_add_edge): New decl.
	(diagnostic_graph_get_node_by_id): New decl.
	(diagnostic_graph_get_edge_by_id): New decl.
	(diagnostic_node_set_label): New decl.
	(diagnostic_node_set_location): New decl.
	(diagnostic_node_set_logical_location): New decl.
	* libgdiagnostics.map (LIBGDIAGNOSTICS_ABI_3): New.
	* libsarifreplay.cc: Include "libgdiagnostics-private.h".
	(id_map): New "using".
	(sarif_replayer::report_invalid_sarif): Update for change to
	report_problem params.
	(sarif_replayer::report_unhandled_sarif): Likewise.
	(sarif_replayer::report_note): New.
	(sarif_replayer::report_problem): Pass param "ref" by
	pointer rather than reference and handle it being null.
	(sarif_replayer::maybe_get_property_bag): New.
	(sarif_replayer::maybe_get_property_bag_value): New.
	(sarif_replayer::handle_run_obj): Handle run-level "graphs" as per
	§3.14.20.
	(sarif_replayer::handle_result_obj): Handle result-level "graphs"
	as per §3.27.19.
	(handle_thread_flow_location_object): Optionally handle graphs
	stored in property "gcc/diagnostic_event/state_graph" as state
	graphs.
	(sarif_replayer::handle_graph_object): New.
	(sarif_replayer::handle_node_object): New.
	(sarif_replayer::handle_edge_object): New.
	(sarif_replayer::get_graph_node_by_id_property): New.
	* selftest-run-tests.cc (selftest::run_tests): Call
	selftest::diagnostic_graph_cc_tests and
	selftest::diagnostic_state_graph_cc_tests.
	* selftest.h (selftest::diagnostic_graph_cc_tests): New decl.
	(selftest::diagnostic_state_graph_cc_tests): New decl.

gcc/analyzer/ChangeLog:
	* ana-state-to-diagnostic-state.cc: Reimplement, replacing
	XML-based implementation with one based on state graphs.
	* ana-state-to-diagnostic-state.h: Likewise.
	* checker-event.cc: Replace include of "xml.h" with include of
	"diagnostic-state-graphs.h".
	(checker_event::maybe_make_xml_state): Replace with...
	(checker_event::maybe_make_diagnostic_state_graph): ...this.
	* checker-event.h: Add include of "diagnostic-digraphs.h".
	(checker_event::maybe_make_xml_state): Replace decl with...
	(checker_event::maybe_make_diagnostic_state_graph): ...this.
	* engine.cc (exploded_node::on_stmt_pre): Replace
	"_analyzer_dump_xml" with "__analyzer_dump_sarif".
	* program-state.cc: Replace include of "diagnostic-state.h" with
	"diagnostic-state-graphs.h".
	(program_state::dump_dot): Port from XML to state graphs.
	* program-state.h: Drop reduntant forward decl of xml::document.
	(program_state::make_xml): Replace decl with...
	(program_state::make_diagnostic_state_graph): ...this.
	(program_state::dump_xml_to_pp): Drop decl.
	(program_state::dump_xml_to_file): Drop decl.
	(program_state::dump_xml): Drop decl.
	(program_state::dump_dump_sarif): New decl.
	* sm-malloc.cc (get_dynalloc_state_for_state): New.
	(malloc_state_machine::add_state_to_xml): Replace with...
	(malloc_state_machine::add_state_to_state_graph): ...this.
	* sm.cc (state_machine::add_state_to_xml): Replace with...
	(state_machine::add_state_to_state_graph): ...this.
	(state_machine::add_global_state_to_xml): Replace with...
	(state_machine::add_global_state_to_state_graph): ...this.
	* sm.h (class xml_state): Drop forward decl.
	(class analyzer_state_graph): New forward decl.
	(state_machine::add_state_to_xml): Replace decl with...
	(state_machine::add_state_to_state_graph): ...this.
	(state_machine::add_global_state_to_xml): Replace decl with...
	(state_machine::add_global_state_to_state_graph): ...this.

gcc/testsuite/ChangeLog:
	* gcc.dg/analyzer/state-diagram-1-sarif.py (test_xml_state):
	Rename to...
	(test_state_graph): ...this.  Port from XML to SARIF graphs.
	* gcc.dg/analyzer/state-diagram-1.c: Update sink option
	from "sarif:xml-state=yes" to "sarif:state-graphs=yes".
	* gcc.dg/analyzer/state-diagram-5-sarif.c: Likewise.
	* gcc.dg/analyzer/state-diagram-5-sarif.py: Drop import of ET.
	(test_nested_types_in_xml_state): Rename to...
	(test_nested_types_in_state_graph): ...this.  Port from XML to
	SARIF graphs.
	* gcc.dg/plugin/diagnostic-test-graphs-html.c: New test.
	* gcc.dg/plugin/diagnostic-test-graphs-html.py: New test script.
	* gcc.dg/plugin/diagnostic-test-graphs-sarif.c: New test.
	* gcc.dg/plugin/diagnostic-test-graphs-sarif.py: New test script.
	* gcc.dg/plugin/diagnostic-test-graphs.c: New test.
	* gcc.dg/plugin/diagnostic_plugin_test_graphs.cc: New test plugin.
	* gcc.dg/plugin/plugin.exp (plugin_test_list): Add the above.
	* lib/sarif.py (get_xml_state): Delete.
	(get_state_graph): New.
	(def get_state_node_attr): New.
	(get_state_node_kind): New.
	(get_state_node_name): New.
	(get_state_node_type): New.
	(get_state_node_value): New.
	* sarif-replay.dg/2.1.0-invalid/3.40.2-duplicate-node-id.sarif:
	New test.
	* sarif-replay.dg/2.1.0-invalid/3.41.4-unrecognized-node-id.sarif:
	New test.
	* sarif-replay.dg/2.1.0-valid/graphs-check-html.py: New test
	script.
	* sarif-replay.dg/2.1.0-valid/graphs-check-sarif-roundtrip.py: New
	test script.
	* sarif-replay.dg/2.1.0-valid/graphs.sarif: New test.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>

17 files changed, 3128 insertions, 53 deletions

diff --git a/gcc/testsuite/gcc.dg/analyzer/state-diagram-1-sarif.py b/gcc/testsuite/gcc.dg/analyzer/state-diagram-1-sarif.py
index d2967d4..d92af83 100644
--- a/gcc/testsuite/gcc.dg/analyzer/state-diagram-1-sarif.py
+++ b/gcc/testsuite/gcc.dg/analyzer/state-diagram-1-sarif.py
@@ -6,7 +6,7 @@ import pytest
 def sarif():
     return sarif_from_env()
 
-def test_xml_state(sarif):
+def test_state_graph(sarif):
     result = get_result_by_index(sarif, 0)
 
     assert result['level'] == 'warning'
@@ -17,16 +17,49 @@ def test_xml_state(sarif):
 
     # Event "(1)": "entry to 'test'" (index == 0)
     assert events[0]['location']['message']['text'] == "entry to 'test'"
-    state0 = get_xml_state(events, 0)
-    memory_regions = state0.find('memory-regions')
-    assert memory_regions is not None
-    stack = memory_regions.find('stack')
-    assert stack is not None
-    frame = stack.find('stack-frame')
-    assert frame.get('function') == 'test'
+    state0 = get_state_graph(events, 0)
+
+    stack = state0['nodes'][0]
+    assert stack['id'] == 'stack'
+    assert get_state_node_kind(stack) == 'stack'
+
+    frame = stack['children'][0]
+    assert frame['id'].startswith('frame-region-')
+    assert get_state_node_kind(frame) == 'stack-frame'
+    assert get_state_node_attr(frame, 'function') == 'test'
+    assert frame['location']['logicalLocations'][0]['fullyQualifiedName'] == 'test'
 
     # Final event:
     assert events[-1]['location']['message']['text'].startswith("use after 'free' of ")
-    state = get_xml_state(events, -1)
-    # TODO
+    state = get_state_graph(events, -1)
+
+    stack = state['nodes'][0]
+    assert stack['id'] == 'stack'
+    assert get_state_node_kind(stack) == 'stack'
+
+    frame = stack['children'][0]
+    assert frame['id'].startswith('frame-region-')
+    assert get_state_node_kind(frame) == 'stack-frame'
+    assert get_state_node_attr(frame, 'function') == 'test'
+    assert frame['location']['logicalLocations'][0]['fullyQualifiedName'] == 'test'
+
+    heap = state['nodes'][1]
+    assert heap['id'] == 'heap'
+    assert get_state_node_kind(heap) == 'heap'
+
+    assert len(heap['children']) == 3
+    heap_buffer0 = heap['children'][0]
+    assert heap_buffer0['id'].startswith('heap-allocated-region-')
+    assert get_state_node_kind(heap_buffer0) == 'dynalloc-buffer'
+
+    globals_ = state['nodes'][2]
+    assert globals_['id'] == 'globals'
+    assert get_state_node_kind(globals_) == 'globals'
 
+    first = globals_['children'][0]
+    assert first['id'].startswith('decl-region-')
+    assert get_state_node_kind(first) == 'variable'
+    assert get_state_node_name(first) == 'first'
+    assert get_state_node_type(first) == 'struct node *'
+    
+    assert len(state['edges']) == 3
diff --git a/gcc/testsuite/gcc.dg/analyzer/state-diagram-1.c b/gcc/testsuite/gcc.dg/analyzer/state-diagram-1.c
index 3d853d2..3b35cfa 100644
--- a/gcc/testsuite/gcc.dg/analyzer/state-diagram-1.c
+++ b/gcc/testsuite/gcc.dg/analyzer/state-diagram-1.c
@@ -1,4 +1,4 @@
-/* { dg-additional-options "-fdiagnostics-add-output=sarif:xml-state=yes" } */
+/* { dg-additional-options "-fdiagnostics-add-output=sarif:state-graphs=yes" } */
 
 #include "analyzer-decls.h"
 
diff --git a/gcc/testsuite/gcc.dg/analyzer/state-diagram-5-sarif.c b/gcc/testsuite/gcc.dg/analyzer/state-diagram-5-sarif.c
index 28cf580..b981cf9 100644
--- a/gcc/testsuite/gcc.dg/analyzer/state-diagram-5-sarif.c
+++ b/gcc/testsuite/gcc.dg/analyzer/state-diagram-5-sarif.c
@@ -1,4 +1,4 @@
-/* { dg-additional-options "-fdiagnostics-add-output=sarif:xml-state=yes" } */
+/* { dg-additional-options "-fdiagnostics-add-output=sarif:state-graphs=yes" } */
 
 #include "analyzer-decls.h"
 
diff --git a/gcc/testsuite/gcc.dg/analyzer/state-diagram-5-sarif.py b/gcc/testsuite/gcc.dg/analyzer/state-diagram-5-sarif.py
index 484da96..3a2c6f8 100644
--- a/gcc/testsuite/gcc.dg/analyzer/state-diagram-5-sarif.py
+++ b/gcc/testsuite/gcc.dg/analyzer/state-diagram-5-sarif.py
@@ -1,5 +1,3 @@
-import xml.etree.ElementTree as ET
-
 from sarif import *
 
 import pytest
@@ -8,7 +6,7 @@ import pytest
 def sarif():
     return sarif_from_env()
 
-def test_nested_types_in_xml_state(sarif):
+def test_nested_types_in_state_graph(sarif):
     result = get_result_by_index(sarif, 0)
 
     assert result['level'] == 'note'
@@ -16,16 +14,17 @@ def test_nested_types_in_xml_state(sarif):
     events = result["codeFlows"][0]["threadFlows"][0]['locations']
 
     assert events[0]['location']['message']['text'] == 'here'
-    state = get_xml_state(events, 0)
-
-    memory_regions = state.find('memory-regions')
-    assert memory_regions is not None
+    state = get_state_graph(events, 0)
 
-    stack = memory_regions.find('stack')
-    assert stack is not None
+    stack = state['nodes'][0]
+    assert stack['id'] == 'stack'
+    assert get_state_node_kind(stack) == 'stack'
 
-    frame = stack.find('stack-frame')
-    assert frame.get('function') == 'test'
+    frame = stack['children'][0]
+    assert frame['id'].startswith('frame-region-')
+    assert get_state_node_kind(frame) == 'stack-frame'
+    assert get_state_node_attr(frame, 'function') == 'test'
+    assert frame['location']['logicalLocations'][0]['fullyQualifiedName'] == 'test'
 
     # We have:
     #   baz_arr[1].m_bars[1].m_foos[2].m_ints[1] = 42;
@@ -34,40 +33,57 @@ def test_nested_types_in_xml_state(sarif):
     # representation to nested elements and fields.
 
     # "baz_arr":
-    baz_arr = frame.find("variable[@name='baz_arr']")
-    assert baz_arr.get('type') == 'struct baz[2]'
+    baz_arr = frame['children'][0]
+    assert get_state_node_kind(baz_arr) == 'variable'
+    assert get_state_node_type(baz_arr) == 'struct baz[2]'
+
+    assert len(baz_arr['children']) == 2
+
+    bindings = baz_arr['children'][0]
+    assert bindings['id'].startswith('concrete-bindings-')
+    assert get_state_node_kind(bindings) == 'other'
+    assert get_state_node_value(bindings['children'][0]) == '(int)42'
 
     # "baz_arr[1]":
-    baz_arr_1 = baz_arr.find("element[@index='1']")
-    assert baz_arr_1.get('type') == 'struct baz'
+    baz_arr_1 = baz_arr['children'][1]
+    assert get_state_node_type(baz_arr_1) == 'struct baz'
+    assert get_state_node_kind(baz_arr_1) == 'element'
+    assert get_state_node_attr(baz_arr_1, 'index') == '1'
 
-    assert baz_arr.find("element[@index='0']") is None
+    assert len(baz_arr_1['children']) == 1
 
     # "baz_arr[1].m_bars":
-    baz_arr_1_m_bars = baz_arr_1.find("field[@name='m_bars']")
-    assert baz_arr_1_m_bars.get('type') == 'struct bar[2]'
+    baz_arr_1_m_bars = baz_arr_1['children'][0]
+    assert get_state_node_name(baz_arr_1_m_bars) == 'm_bars'
+    assert get_state_node_type(baz_arr_1_m_bars) == 'struct bar[2]'
 
     # "baz_arr[1].m_bars[1]"
-    baz_arr_1_m_bars_1 = baz_arr_1_m_bars.find("element[@index='1']")
-    assert baz_arr_1_m_bars_1.get('type') == 'struct bar'
+    baz_arr_1_m_bars_1 = baz_arr_1_m_bars['children'][0]
+    assert get_state_node_type(baz_arr_1_m_bars_1) == 'struct bar'
+    assert get_state_node_kind(baz_arr_1_m_bars_1) == 'element'
+    assert get_state_node_attr(baz_arr_1_m_bars_1, 'index') == '1'
 
     # "baz_arr[1].m_bars[1].m_foos"
-    baz_arr_1_m_bars_1_m_foos = baz_arr_1_m_bars_1.find("field[@name='m_foos']")
-    assert baz_arr_1_m_bars_1_m_foos.get('type') == 'struct foo[3]'
+    baz_arr_1_m_bars_1_m_foos = baz_arr_1_m_bars_1['children'][0]
+    assert get_state_node_kind(baz_arr_1_m_bars_1_m_foos) == 'field'
+    assert get_state_node_name(baz_arr_1_m_bars_1_m_foos) == 'm_foos'
+    assert get_state_node_type(baz_arr_1_m_bars_1_m_foos) == 'struct foo[3]'
 
     # "baz_arr[1].m_bars[1].m_foos[2]"
-    baz_arr_1_m_bars_1_m_foos_2 = baz_arr_1_m_bars_1_m_foos.find("element[@index='2']")
-    assert baz_arr_1_m_bars_1_m_foos_2.get('type') == 'struct foo'
-    
+    baz_arr_1_m_bars_1_m_foos_2 = baz_arr_1_m_bars_1_m_foos['children'][0]
+    assert get_state_node_type(baz_arr_1_m_bars_1_m_foos_2) == 'struct foo'
+    assert get_state_node_kind(baz_arr_1_m_bars_1_m_foos_2) == 'element'
+    assert get_state_node_attr(baz_arr_1_m_bars_1_m_foos_2, 'index') == '2'
+
     # "baz_arr[1].m_bars[1].m_foos[2].m_ints"
-    baz_arr_1_m_bars_1_m_foos_2_m_ints = baz_arr_1_m_bars_1_m_foos_2.find('field[@name="m_ints"]')
-    assert baz_arr_1_m_bars_1_m_foos_2_m_ints.get('type') == 'int[4]'
-    
-    # "baz_arr[1].m_bars[1].m_foos[2].m_ints[1]"
-    baz_arr_1_m_bars_1_m_foos_2_m_ints_1 = baz_arr_1_m_bars_1_m_foos_2_m_ints.find('element[@index="1"]')
-    assert baz_arr_1_m_bars_1_m_foos_2_m_ints_1.get('type') == 'int'
+    baz_arr_1_m_bars_1_m_foos_2_m_ints = baz_arr_1_m_bars_1_m_foos_2['children'][0]
+    assert get_state_node_kind(baz_arr_1_m_bars_1_m_foos_2_m_ints) == 'field'
+    assert get_state_node_name(baz_arr_1_m_bars_1_m_foos_2_m_ints) == 'm_ints'
+    assert get_state_node_type(baz_arr_1_m_bars_1_m_foos_2_m_ints) == 'int[4]'
 
-    value = baz_arr_1_m_bars_1_m_foos_2_m_ints_1.find('value-of-region')
-    constant = value.find('constant')
-    assert constant.get('value') == '42'
-    assert constant.get('type') == 'int'
+    # "baz_arr[1].m_bars[1].m_foos[2].m_ints[1]"
+    baz_arr_1_m_bars_1_m_foos_2_m_ints_1 = baz_arr_1_m_bars_1_m_foos_2_m_ints['children'][0]
+    assert get_state_node_type(baz_arr_1_m_bars_1_m_foos_2_m_ints_1) == 'int'
+    assert get_state_node_kind(baz_arr_1_m_bars_1_m_foos_2_m_ints_1) == 'element'
+    assert get_state_node_attr(baz_arr_1_m_bars_1_m_foos_2_m_ints_1, 'index') == '1'
+    assert get_state_node_value(baz_arr_1_m_bars_1_m_foos_2_m_ints_1) == '(int)42'
diff --git a/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs-html.c b/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs-html.c
new file mode 100644
index 0000000..2256a63
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs-html.c
@@ -0,0 +1,13 @@
+/* { dg-do compile } */
+/* { dg-options "-fdiagnostics-add-output=experimental-html:javascript=no" } */
+
+extern void here (void);
+
+void test_graphs (void)
+{
+  here (); /* { dg-error "this is a placeholder error, with graphs" } */
+}
+
+/* Use a Python script to verify various properties about the generated
+   HTML file:
+   { dg-final { run-html-pytest diagnostic-test-graphs-html.c "diagnostic-test-graphs-html.py" } } */
diff --git a/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs-html.py b/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs-html.py
new file mode 100644
index 0000000..11e5fd1
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs-html.py
@@ -0,0 +1,48 @@
+# Verify that metadata works in HTML output.
+
+from htmltest import *
+
+import pytest
+
+@pytest.fixture(scope='function', autouse=True)
+def html_tree():
+    return html_tree_from_env()
+
+def test_result_graph(html_tree):
+    root = html_tree.getroot ()
+    assert root.tag == make_tag('html')
+
+    body = root.find('xhtml:body', ns)
+    assert body is not None
+
+    diag_list = body.find('xhtml:div', ns)
+    assert diag_list is not None
+    assert diag_list.attrib['class'] == 'gcc-diagnostic-list'
+
+    diag = diag_list.find('xhtml:div', ns)
+    assert diag is not None
+
+    message = diag.find("./xhtml:div[@class='gcc-message']", ns)
+    assert message.attrib['id'] == 'gcc-diag-0-message'
+
+    assert message[0].tag == make_tag('strong')
+    assert message[0].tail == ' this is a placeholder error, with graphs '
+
+    graph = diag.find("./xhtml:div[@class='gcc-directed-graph']", ns)
+    assert graph is not None
+
+    header = graph.find("./xhtml:h2", ns)
+    assert header.text == 'foo'
+
+def test_run_graph(html_tree):
+    root = html_tree.getroot ()
+    assert root.tag == make_tag('html')
+
+    body = root.find('xhtml:body', ns)
+    assert body is not None
+
+    graph = body.find("./xhtml:div[@class='gcc-directed-graph']", ns)
+    assert graph is not None
+
+    header = graph.find("./xhtml:h2", ns)
+    assert header.text == 'Optimization Passes'
diff --git a/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs-sarif.c b/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs-sarif.c
new file mode 100644
index 0000000..4170f51
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs-sarif.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-options "-fdiagnostics-add-output=sarif" } */
+
+extern void here (void);
+
+void test_graphs (void)
+{
+  here (); /* { dg-error "this is a placeholder error, with graphs" } */
+}
+
+/* Verify that some JSON was written to a file with the expected name.  */
+/* { dg-final { verify-sarif-file } } */
+
+/* Use a Python script to verify various properties about the generated
+   .sarif file:
+   { dg-final { run-sarif-pytest diagnostic-test-graphs-sarif.c "diagnostic-test-graphs-sarif.py" } } */
diff --git a/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs-sarif.py b/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs-sarif.py
new file mode 100644
index 0000000..4bb7535
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs-sarif.py
@@ -0,0 +1,55 @@
+from sarif import *
+
+import pytest
+
+@pytest.fixture(scope='function', autouse=True)
+def sarif():
+    return sarif_from_env()
+
+def test_basics(sarif):
+    schema = sarif['$schema']
+    assert schema == "https://docs.oasis-open.org/sarif/sarif/v2.1.0/errata01/os/schemas/sarif-schema-2.1.0.json"
+
+    version = sarif['version']
+    assert version == "2.1.0"
+
+def test_result_graph(sarif):
+    runs = sarif['runs']
+    run = runs[0]
+    results = run['results']
+
+    assert len(results) == 1
+    
+    result = results[0]
+    assert result['level'] == 'error'
+    assert result['message']['text'] == "this is a placeholder error, with graphs"
+
+    assert len(result['graphs']) == 2
+
+    assert result['graphs'][0]['description']['text'] == 'foo'
+
+    assert len(result['graphs'][0]['nodes']) == 2
+    assert result['graphs'][0]['nodes'][0]['id'] == 'a'
+    assert result['graphs'][0]['nodes'][1]['id'] == 'b'
+    assert result['graphs'][0]['nodes'][1]['properties']['/placeholder-prefix/color'] == 'red'
+    assert len(result['graphs'][0]['nodes'][1]['children']) == 1
+    assert result['graphs'][0]['nodes'][1]['children'][0]['id'] == 'c'
+    assert result['graphs'][0]['nodes'][1]['children'][0]['label']['text'] == 'I am a node label'
+
+    assert len(result['graphs'][0]['edges']) == 1
+    result['graphs'][0]['edges'][0]['id'] == 'my-edge'
+    assert result['graphs'][0]['edges'][0]['label']['text'] == 'I am an edge label'
+    assert result['graphs'][0]['edges'][0]['sourceNodeId'] == 'a'
+    assert result['graphs'][0]['edges'][0]['targetNodeId'] == 'c'
+    
+    assert result['graphs'][1]['description']['text'] == 'bar'
+
+def test_run_graph(sarif):
+    runs = sarif['runs']
+    run = runs[0]
+
+    assert len(run['graphs']) == 1
+
+    assert run['graphs'][0]['description']['text'] == 'Optimization Passes'
+    assert run['graphs'][0]['nodes'][0]['id'] == 'all_lowering_passes'
+    assert run['graphs'][0]['edges'][0]['id'] == 'edge0'
diff --git a/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs.c b/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs.c
new file mode 100644
index 0000000..7973954
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs.c
@@ -0,0 +1,8 @@
+/* { dg-do compile } */
+
+extern void here (void);
+
+void test_graphs (void)
+{
+  here (); /* { dg-error "this is a placeholder error, with graphs" } */
+}
diff --git a/gcc/testsuite/gcc.dg/plugin/diagnostic_plugin_test_graphs.cc b/gcc/testsuite/gcc.dg/plugin/diagnostic_plugin_test_graphs.cc
new file mode 100644
index 0000000..d432161
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/plugin/diagnostic_plugin_test_graphs.cc
@@ -0,0 +1,283 @@
+/* This plugin exercises diagnostic graphs.
+   We emit an error with a pair of digraphs associated with it,
+   and a global digraph showing the optimization passes.  */
+
+#define INCLUDE_MAP
+#define INCLUDE_STRING
+#define INCLUDE_VECTOR
+#include "gcc-plugin.h"
+#include "config.h"
+#include "system.h"
+#include "coretypes.h"
+#include "tm.h"
+#include "tree.h"
+#include "stringpool.h"
+#include "toplev.h"
+#include "basic-block.h"
+#include "hash-table.h"
+#include "vec.h"
+#include "ggc.h"
+#include "basic-block.h"
+#include "tree-ssa-alias.h"
+#include "internal-fn.h"
+#include "gimple.h"
+#include "gimple-iterator.h"
+#include "gimple-fold.h"
+#include "tree-eh.h"
+#include "gimple-expr.h"
+#include "is-a.h"
+#include "tree.h"
+#include "tree-pass.h"
+#include "intl.h"
+#include "plugin-version.h"
+#include "diagnostic.h"
+#include "context.h"
+#include "gcc-rich-location.h"
+#include "diagnostic-metadata.h"
+#include "diagnostic-digraphs.h"
+#include "pass_manager.h"
+
+
+int plugin_is_GPL_compatible;
+
+const pass_data pass_data_test_graph_emission =
+{
+  GIMPLE_PASS, /* type */
+  "test_graph_emission", /* name */
+  OPTGROUP_NONE, /* optinfo_flags */
+  TV_NONE, /* tv_id */
+  PROP_ssa, /* properties_required */
+  0, /* properties_provided */
+  0, /* properties_destroyed */
+  0, /* todo_flags_start */
+  0, /* todo_flags_finish */
+};
+
+class pass_test_graph_emission : public gimple_opt_pass
+{
+public:
+  pass_test_graph_emission(gcc::context *ctxt)
+    : gimple_opt_pass(pass_data_test_graph_emission, ctxt)
+  {}
+
+  /* opt_pass methods: */
+  bool gate (function *) { return true; }
+  virtual unsigned int execute (function *);
+
+}; // class pass_test_graph_emission
+
+/* Determine if STMT is a call with NUM_ARGS arguments to a function
+   named FUNCNAME.
+   If so, return STMT as a gcall *.  Otherwise return NULL.  */
+
+static gcall *
+check_for_named_call (gimple *stmt,
+		      const char *funcname, unsigned int num_args)
+{
+  gcc_assert (funcname);
+
+  gcall *call = dyn_cast <gcall *> (stmt);
+  if (!call)
+    return NULL;
+
+  tree fndecl = gimple_call_fndecl (call);
+  if (!fndecl)
+    return NULL;
+
+  if (strcmp (IDENTIFIER_POINTER (DECL_NAME (fndecl)), funcname))
+    return NULL;
+
+  if (gimple_call_num_args (call) != num_args)
+    {
+      error_at (stmt->location, "expected number of args: %i (got %i)",
+		num_args, gimple_call_num_args (call));
+      return NULL;
+    }
+
+  return call;
+}
+
+class lazy_passes_graph : public diagnostics::digraphs::lazy_digraph
+{
+public:
+  lazy_passes_graph (const ::gcc::pass_manager &pass_manager_)
+  : m_pass_manager (pass_manager_)
+  {
+  }
+
+  std::unique_ptr<diagnostics::digraphs::digraph>
+  create_digraph () const final override
+  {
+    auto g = std::make_unique<diagnostics::digraphs::digraph> ();
+    g->set_description ("Optimization Passes");
+
+#define DEF_PASS_LIST(NAME)					\
+    add_top_level_pass_list (*g, #NAME, m_pass_manager.NAME);
+
+    GCC_PASS_LISTS
+
+#undef DEF_PASS_LIST
+
+    return g;
+  }
+
+  void
+  add_top_level_pass_list (diagnostics::digraphs::digraph &g,
+			   const char *pass_list_name,
+			   const opt_pass *p) const
+  {
+    gcc_assert (p);
+    auto n = std::make_unique<diagnostics::digraphs::node> (g, pass_list_name);
+    n->set_label (pass_list_name);
+    add_child_pass (g, *n, *p);
+    g.add_node (std::move (n));
+  }
+
+  diagnostics::digraphs::node &
+  add_child_pass (diagnostics::digraphs::digraph &g,
+		  diagnostics::digraphs::node &parent_node,
+		  const opt_pass &p) const
+  {
+    std::string node_label;
+    std::string node_id;
+    if (p.static_pass_number > 0 )
+      {
+	node_label = std::to_string (p.static_pass_number) + "_" + p.name;
+	node_id = node_label;
+      }
+    else
+      {
+	node_label = std::string (p.name);
+	pretty_printer pp;
+	pp_printf (&pp, "%s_%p", p.name, &p);
+	node_id = pp_formatted_text (&pp);
+      }
+    auto n
+      = std::make_unique<diagnostics::digraphs::node> (g,
+						       std::move (node_id));
+    n->set_label (node_label.c_str ());
+    diagnostics::digraphs::node &result = *n;
+    parent_node.add_child (std::move (n));
+
+    // TODO: add attrs for things like type, properties_*, etc
+
+    if (p.sub)
+      {
+	auto &other_node = add_child_pass (g, parent_node, *p.sub);
+	g.add_edge (nullptr, result, other_node, "sub");
+      }
+
+    if (p.next)
+      {
+	auto &other_node = add_child_pass (g, parent_node, *p.next);
+	g.add_edge (nullptr, result, other_node, "next");
+      }
+
+    return result;
+  }
+
+private:
+  const ::gcc::pass_manager &m_pass_manager;
+};
+
+static void
+report_diag_with_graphs (location_t loc)
+{
+  class my_lazy_digraphs : public diagnostics::digraphs::lazy_digraphs
+  {
+  public:
+    using diagnostic_graph = diagnostics::digraphs::digraph;
+    using diagnostic_node = diagnostics::digraphs::node;
+    using diagnostic_edge = diagnostics::digraphs::edge;
+
+    std::unique_ptr<std::vector<std::unique_ptr<diagnostic_graph>>>
+    create_digraphs () const final override
+    {
+      auto graphs
+	= std::make_unique<std::vector<std::unique_ptr<diagnostic_graph>>> ();
+
+      graphs->push_back (make_test_graph ("foo"));
+      graphs->push_back (make_test_graph ("bar"));
+
+      return graphs;
+    }
+
+  private:
+    std::unique_ptr<diagnostic_graph>
+    make_test_graph (const char *desc) const
+    {
+      auto g = std::make_unique<diagnostic_graph> ();
+      g->set_description (desc);
+      auto a = std::make_unique<diagnostic_node> (*g, "a");
+      auto b = std::make_unique<diagnostic_node> (*g, "b");
+#define KEY_PREFIX "/placeholder-prefix/"
+      b->set_attr (KEY_PREFIX, "color", "red");
+#undef KEY_PREFIX
+      auto c = std::make_unique<diagnostic_node> (*g, "c");
+      c->set_label ("I am a node label");
+
+      auto e = std::make_unique<diagnostic_edge> (*g, "my-edge", *a, *c);
+      e->set_label ("I am an edge label");
+      g->add_edge (std::move (e));
+
+      g->add_node (std::move (a));
+
+      b->add_child (std::move (c));
+      g->add_node (std::move (b));
+
+      return g;
+    }
+  };
+
+  gcc_rich_location rich_loc (loc);
+  diagnostic_metadata meta;
+  my_lazy_digraphs ldg;
+  meta.set_lazy_digraphs (&ldg);
+  error_meta (&rich_loc, meta,
+	      "this is a placeholder error, with graphs");
+}
+
+/* Exercise diagnostic graph emission.  */
+
+unsigned int
+pass_test_graph_emission::execute (function *fun)
+{
+  gimple_stmt_iterator gsi;
+  basic_block bb;
+
+  FOR_EACH_BB_FN (bb, fun)
+    for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
+      {
+	gimple *stmt = gsi_stmt (gsi);
+
+	if (gcall *call = check_for_named_call (stmt, "here", 0))
+	  report_diag_with_graphs (gimple_location (call));
+      }
+
+  return 0;
+}
+
+int
+plugin_init (struct plugin_name_args *plugin_info,
+	     struct plugin_gcc_version *version)
+{
+  struct register_pass_info pass_info;
+  const char *plugin_name = plugin_info->base_name;
+  int argc = plugin_info->argc;
+  struct plugin_argument *argv = plugin_info->argv;
+
+  if (!plugin_default_version_check (version, &gcc_version))
+    return 1;
+
+  pass_info.pass = new pass_test_graph_emission (g);
+  pass_info.reference_pass_name = "ssa";
+  pass_info.ref_pass_instance_number = 1;
+  pass_info.pos_op = PASS_POS_INSERT_AFTER;
+  register_callback (plugin_name, PLUGIN_PASS_MANAGER_SETUP, NULL,
+		     &pass_info);
+
+  gcc_assert (::g->get_passes ());
+  global_dc->report_global_digraph (lazy_passes_graph (*::g->get_passes ()));
+
+  return 0;
+}
diff --git a/gcc/testsuite/gcc.dg/plugin/plugin.exp b/gcc/testsuite/gcc.dg/plugin/plugin.exp
index d1d7f5d..ce25c0a 100644
--- a/gcc/testsuite/gcc.dg/plugin/plugin.exp
+++ b/gcc/testsuite/gcc.dg/plugin/plugin.exp
@@ -107,6 +107,10 @@ set plugin_test_list [list \
 	  diagnostic-test-metadata.c \
 	  diagnostic-test-metadata-html.c \
 	  diagnostic-test-metadata-sarif.c } \
+    { diagnostic_plugin_test_graphs.cc
+	  diagnostic-test-graphs.c \
+	  diagnostic-test-graphs-html.c \
+	  diagnostic-test-graphs-sarif.c } \
     { diagnostic_plugin_test_nesting.cc \
 	  diagnostic-test-nesting-text-plain.c \
 	  diagnostic-test-nesting-text-indented.c \
diff --git a/gcc/testsuite/lib/sarif.py b/gcc/testsuite/lib/sarif.py
index 384de2f..06d05c0 100644
--- a/gcc/testsuite/lib/sarif.py
+++ b/gcc/testsuite/lib/sarif.py
@@ -29,10 +29,24 @@ def get_result_by_index(sarif, idx):
     results = run['results']
     return results[idx]
     
-def get_xml_state(events, event_idx):
-    xml_src = events[event_idx]['properties']['gcc/diagnostic_event/xml_state']
+def get_state_graph(events, event_idx):
+    graph = events[event_idx]['properties']['gcc/diagnostic_event/state_graph']
     if 0:
-        print(xml_src)
-    xml = ET.fromstring(xml_src)
-    assert xml.tag == 'state-diagram'
-    return xml    
+        print(graph)
+    assert graph is not None
+    return graph
+
+def get_state_node_attr(obj, attr_name):
+    return obj['properties']['gcc/diagnostic_state_node/%s' % attr_name]
+
+def get_state_node_kind(obj):
+    return get_state_node_attr(obj, 'kind')
+
+def get_state_node_name(obj):
+    return get_state_node_attr(obj, 'name')
+
+def get_state_node_type(obj):
+    return get_state_node_attr(obj, 'type')
+
+def get_state_node_value(obj):
+    return get_state_node_attr(obj, 'value')
diff --git a/gcc/testsuite/sarif-replay.dg/2.1.0-invalid/3.40.2-duplicate-node-id.sarif b/gcc/testsuite/sarif-replay.dg/2.1.0-invalid/3.40.2-duplicate-node-id.sarif
new file mode 100644
index 0000000..a4eb9d4
--- /dev/null
+++ b/gcc/testsuite/sarif-replay.dg/2.1.0-invalid/3.40.2-duplicate-node-id.sarif
@@ -0,0 +1,23 @@
+{"$schema": "https://docs.oasis-open.org/sarif/sarif/v2.1.0/errata01/os/schemas/sarif-schema-2.1.0.json",
+ "version": "2.1.0",
+ "runs": [{"tool": { "driver": { "name": "example" } },
+           "results": [],
+           "graphs": [{"nodes": [{"id": "a", /* { dg-message "'a' already used as node id within graph here" } */
+                                  "children": [{"id": "a"}]}], /* { dg-error "duplicate node id 'a' within graph \\\[SARIF v2.1.0 §3.40.2\\\]" } */
+                       "edges": []}]}]}
+
+/* { dg-begin-multiline-output "" }
+In JSON property '/runs/0/graphs/0/nodes/0/children/0/id':
+   { dg-end-multiline-output "" } */
+/* { dg-begin-multiline-output "" }
+    6 |                                   "children": [{"id": "a"}]}],
+      |                                                       ^~~
+   { dg-end-multiline-output "" }  */
+
+/* { dg-begin-multiline-output "" }
+In JSON property '/runs/0/graphs/0/nodes/0/id':
+   { dg-end-multiline-output "" } */
+/* { dg-begin-multiline-output "" }
+    5 |            "graphs": [{"nodes": [{"id": "a",
+      |                                         ^~~
+   { dg-end-multiline-output "" } */
diff --git a/gcc/testsuite/sarif-replay.dg/2.1.0-invalid/3.41.4-unrecognized-node-id.sarif b/gcc/testsuite/sarif-replay.dg/2.1.0-invalid/3.41.4-unrecognized-node-id.sarif
new file mode 100644
index 0000000..b483346
--- /dev/null
+++ b/gcc/testsuite/sarif-replay.dg/2.1.0-invalid/3.41.4-unrecognized-node-id.sarif
@@ -0,0 +1,16 @@
+{"$schema": "https://docs.oasis-open.org/sarif/sarif/v2.1.0/errata01/os/schemas/sarif-schema-2.1.0.json",
+ "version": "2.1.0",
+ "runs": [{"tool": { "driver": { "name": "example" } },
+           "results": [],
+           "graphs": [{"nodes": [],
+                       "edges": [{"id": "edge0",
+                                  "sourceNodeId": "this-does-not-exist", /* { dg-error "no node with id 'this-does-not-exist' in graph \\\[SARIF v2.1.0 §3.41.4\\\]" } */
+                                  "targetNodeId": "neither-does-this"}]}]}]}
+
+/* { dg-begin-multiline-output "" }
+In JSON property '/runs/0/graphs/0/edges/0/sourceNodeId':
+   { dg-end-multiline-output "" } */
+/* { dg-begin-multiline-output "" }
+    7 |                                   "sourceNodeId": "this-does-not-exist",
+      |                                                   ^~~~~~~~~~~~~~~~~~~~~
+   { dg-end-multiline-output "" }  */
diff --git a/gcc/testsuite/sarif-replay.dg/2.1.0-valid/graphs-check-html.py b/gcc/testsuite/sarif-replay.dg/2.1.0-valid/graphs-check-html.py
new file mode 100644
index 0000000..63b80c9
--- /dev/null
+++ b/gcc/testsuite/sarif-replay.dg/2.1.0-valid/graphs-check-html.py
@@ -0,0 +1,46 @@
+from htmltest import *
+
+import pytest
+
+@pytest.fixture(scope='function', autouse=True)
+def html_tree():
+    return html_tree_from_env()
+
+def test_result_graph(html_tree):
+    root = html_tree.getroot ()
+    assert root.tag == make_tag('html')
+
+    body = root.find('xhtml:body', ns)
+    assert body is not None
+
+    diag_list = body.find('xhtml:div', ns)
+    assert diag_list is not None
+    assert diag_list.attrib['class'] == 'gcc-diagnostic-list'
+
+    diag = diag_list.find('xhtml:div', ns)
+    assert diag is not None
+
+    message = diag.find("./xhtml:div[@class='gcc-message']", ns)
+    assert message.attrib['id'] == 'gcc-diag-0-message'
+
+    assert message[0].tag == make_tag('strong')
+    assert message[0].tail == ' this is a placeholder error, with graphs '
+
+    graph = diag.find("./xhtml:div[@class='gcc-directed-graph']", ns)
+    assert graph is not None
+
+    header = graph.find("./xhtml:h2", ns)
+    assert header.text == 'foo'
+
+def test_run_graph(html_tree):
+    root = html_tree.getroot ()
+    assert root.tag == make_tag('html')
+
+    body = root.find('xhtml:body', ns)
+    assert body is not None
+
+    graph = body.find("./xhtml:div[@class='gcc-directed-graph']", ns)
+    assert graph is not None
+
+    header = graph.find("./xhtml:h2", ns)
+    assert header.text == 'Optimization Passes'
diff --git a/gcc/testsuite/sarif-replay.dg/2.1.0-valid/graphs-check-sarif-roundtrip.py b/gcc/testsuite/sarif-replay.dg/2.1.0-valid/graphs-check-sarif-roundtrip.py
new file mode 100644
index 0000000..4bb7535
--- /dev/null
+++ b/gcc/testsuite/sarif-replay.dg/2.1.0-valid/graphs-check-sarif-roundtrip.py
@@ -0,0 +1,55 @@
+from sarif import *
+
+import pytest
+
+@pytest.fixture(scope='function', autouse=True)
+def sarif():
+    return sarif_from_env()
+
+def test_basics(sarif):
+    schema = sarif['$schema']
+    assert schema == "https://docs.oasis-open.org/sarif/sarif/v2.1.0/errata01/os/schemas/sarif-schema-2.1.0.json"
+
+    version = sarif['version']
+    assert version == "2.1.0"
+
+def test_result_graph(sarif):
+    runs = sarif['runs']
+    run = runs[0]
+    results = run['results']
+
+    assert len(results) == 1
+    
+    result = results[0]
+    assert result['level'] == 'error'
+    assert result['message']['text'] == "this is a placeholder error, with graphs"
+
+    assert len(result['graphs']) == 2
+
+    assert result['graphs'][0]['description']['text'] == 'foo'
+
+    assert len(result['graphs'][0]['nodes']) == 2
+    assert result['graphs'][0]['nodes'][0]['id'] == 'a'
+    assert result['graphs'][0]['nodes'][1]['id'] == 'b'
+    assert result['graphs'][0]['nodes'][1]['properties']['/placeholder-prefix/color'] == 'red'
+    assert len(result['graphs'][0]['nodes'][1]['children']) == 1
+    assert result['graphs'][0]['nodes'][1]['children'][0]['id'] == 'c'
+    assert result['graphs'][0]['nodes'][1]['children'][0]['label']['text'] == 'I am a node label'
+
+    assert len(result['graphs'][0]['edges']) == 1
+    result['graphs'][0]['edges'][0]['id'] == 'my-edge'
+    assert result['graphs'][0]['edges'][0]['label']['text'] == 'I am an edge label'
+    assert result['graphs'][0]['edges'][0]['sourceNodeId'] == 'a'
+    assert result['graphs'][0]['edges'][0]['targetNodeId'] == 'c'
+    
+    assert result['graphs'][1]['description']['text'] == 'bar'
+
+def test_run_graph(sarif):
+    runs = sarif['runs']
+    run = runs[0]
+
+    assert len(run['graphs']) == 1
+
+    assert run['graphs'][0]['description']['text'] == 'Optimization Passes'
+    assert run['graphs'][0]['nodes'][0]['id'] == 'all_lowering_passes'
+    assert run['graphs'][0]['edges'][0]['id'] == 'edge0'
diff --git a/gcc/testsuite/sarif-replay.dg/2.1.0-valid/graphs.sarif b/gcc/testsuite/sarif-replay.dg/2.1.0-valid/graphs.sarif
new file mode 100644
index 0000000..da236ba
--- /dev/null
+++ b/gcc/testsuite/sarif-replay.dg/2.1.0-valid/graphs.sarif
@@ -0,0 +1,2445 @@
+/* Test a replay of a .sarif file generated from GCC testsuite.
+
+   The dg directives were stripped out from the generated .sarif
+   to avoid confusing DejaGnu for this test.   */
+/* { dg-additional-options "-fdiagnostics-add-output=experimental-html:file=graphs.sarif.html,javascript=no" } */
+/* { dg-additional-options "-fdiagnostics-add-output=sarif:file=graphs.roundtrip.sarif" } */
+
+{"$schema": "https://docs.oasis-open.org/sarif/sarif/v2.1.0/errata01/os/schemas/sarif-schema-2.1.0.json",
+ "version": "2.1.0",
+ "runs": [{"tool": {"driver": {"name": "GNU C23",
+                               "fullName": "GNU C23 (GCC) version 16.0.0 20250702 (experimental) (x86_64-pc-linux-gnu)",
+                               "version": "16.0.0 20250702 (experimental)",
+                               "informationUri": "https://gcc.gnu.org/gcc-16/",
+                               "rules": []},
+                    "extensions": [{"name": "diagnostic_plugin_test_graphs",
+                                    "fullName": "./diagnostic_plugin_test_graphs.so"}]},
+           "invocations": [{"arguments": ["/home/david/gcc-newgit-gcc16/build/gcc/cc1",
+                                          "-quiet",
+                                          "-iprefix",
+                                          "/usr/local/lib/gcc/x86_64-pc-linux-gnu/16.0.0/",
+                                          "-isystem",
+                                          "/home/david/gcc-newgit-gcc16/build/gcc/include",
+                                          "-isystem",
+                                          "/home/david/gcc-newgit-gcc16/build/gcc/include-fixed",
+                                          "-iplugindir=/home/david/gcc-newgit-gcc16/build/gcc/plugin",
+                                          "/home/david/gcc-newgit-gcc16/src/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs-sarif.c",
+                                          "-iplugindir=/home/david/gcc-newgit-gcc16/build/gcc/plugin",
+                                          "-quiet",
+                                          "-dumpbase",
+                                          "diagnostic-test-graphs-sarif.c",
+                                          "-dumpbase-ext",
+                                          ".c",
+                                          "-mtune=generic",
+                                          "-march=x86-64",
+                                          "-fdiagnostics-color=never",
+                                          "-fdiagnostics-urls=never",
+                                          "-fno-diagnostics-show-caret",
+                                          "-fno-diagnostics-show-line-numbers",
+                                          "-fdiagnostics-path-format=separate-events",
+                                          "-fdiagnostics-text-art-charset=none",
+                                          "-fno-diagnostics-show-event-links",
+                                          "-fplugin=./diagnostic_plugin_test_graphs.so",
+                                          "-fdiagnostics-add-output=sarif",
+                                          "-o",
+                                          "diagnostic-test-graphs-sarif.s"],
+                            "workingDirectory": {"uri": "/home/david/gcc-newgit-gcc16/build/gcc/testsuite/gcc"},
+                            "startTimeUtc": "2025-07-09T22:43:31Z",
+                            "executionSuccessful": false,
+                            "toolExecutionNotifications": [],
+                            "endTimeUtc": "2025-07-09T22:43:31Z"}],
+           "artifacts": [{"location": {"uri": "/home/david/gcc-newgit-gcc16/src/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs-sarif.c"},
+                          "sourceLanguage": "c",
+                          "roles": ["analysisTarget"]}],
+           "results": [{"ruleId": "error",
+                        "level": "error",
+                        "message": {"text": "this is a placeholder error, with graphs"},
+                        "locations": [{"physicalLocation": {"artifactLocation": {"uri": "/home/david/gcc-newgit-gcc16/src/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs-sarif.c"},
+                                                            "region": {"startLine": 8,
+                                                                       "startColumn": 3,
+                                                                       "endColumn": 10},
+                                                            "contextRegion": {"startLine": 8,
+                                                                              "snippet": {"text": "  here ();"}}},
+                                       "logicalLocations": [{"index": 0,
+                                                             "fullyQualifiedName": "test_graphs"}]}],
+                        "graphs": [{"description": {"text": "foo"},
+                                    "nodes": [{"id": "a"},
+                                              {"id": "b",
+                                               "properties": {"/placeholder-prefix/color": "red"},
+                                               "children": [{"id": "c",
+                                                             "label": {"text": "I am a node label"}}]}],
+                                    "edges": [{"id": "my-edge",
+                                               "label": {"text": "I am an edge label"},
+                                               "sourceNodeId": "a",
+                                               "targetNodeId": "c"}]},
+                                   {"description": {"text": "bar"},
+                                    "nodes": [{"id": "a"},
+                                              {"id": "b",
+                                               "properties": {"/placeholder-prefix/color": "red"},
+                                               "children": [{"id": "c",
+                                                             "label": {"text": "I am a node label"}}]}],
+                                    "edges": [{"id": "my-edge",
+                                               "label": {"text": "I am an edge label"},
+                                               "sourceNodeId": "a",
+                                               "targetNodeId": "c"}]}]}],
+           "logicalLocations": [{"name": "test_graphs",
+                                 "fullyQualifiedName": "test_graphs",
+                                 "decoratedName": "test_graphs",
+                                 "kind": "function",
+                                 "index": 0}],
+           "graphs": [{"description": {"text": "Optimization Passes"},
+                       "nodes": [{"id": "all_lowering_passes",
+                                  "label": {"text": "all_lowering_passes"},
+                                  "children": [{"id": "*warn_unused_result_0x101ef3d0",
+                                                "label": {"text": "*warn_unused_result"}},
+                                               {"id": "*diagnose_omp_blocks_0x101ef430",
+                                                "label": {"text": "*diagnose_omp_blocks"}},
+                                               {"id": "*diagnose_tm_blocks_0x101ef490",
+                                                "label": {"text": "*diagnose_tm_blocks"}},
+                                               {"id": "13_omp_oacc_kernels_decompose",
+                                                "label": {"text": "13_omp_oacc_kernels_decompose"}},
+                                               {"id": "14_omplower",
+                                                "label": {"text": "14_omplower"}},
+                                               {"id": "15_lower",
+                                                "label": {"text": "15_lower"}},
+                                               {"id": "16_tmlower",
+                                                "label": {"text": "16_tmlower"}},
+                                               {"id": "17_ehopt",
+                                                "label": {"text": "17_ehopt"}},
+                                               {"id": "18_eh",
+                                                "label": {"text": "18_eh"}},
+                                               {"id": "19_coro-lower-builtins",
+                                                "label": {"text": "19_coro-lower-builtins"}},
+                                               {"id": "20_cfg",
+                                                "label": {"text": "20_cfg"}},
+                                               {"id": "*warn_function_return_0x101ef7f0",
+                                                "label": {"text": "*warn_function_return"}},
+                                               {"id": "21_coro-early-expand-ifns",
+                                                "label": {"text": "21_coro-early-expand-ifns"}},
+                                               {"id": "22_ompexp",
+                                                "label": {"text": "22_ompexp"}},
+                                               {"id": "*build_cgraph_edges_0x101ef910",
+                                                "label": {"text": "*build_cgraph_edges"}}]},
+                                 {"id": "all_small_ipa_passes",
+                                  "label": {"text": "all_small_ipa_passes"},
+                                  "children": [{"id": "23_afdo_offline",
+                                                "label": {"text": "23_afdo_offline"}},
+                                               {"id": "*free_lang_data_0x101ef9d0",
+                                                "label": {"text": "*free_lang_data"}},
+                                               {"id": "24_visibility",
+                                                "label": {"text": "24_visibility"}},
+                                               {"id": "25_strubm",
+                                                "label": {"text": "25_strubm"}},
+                                               {"id": "26_build_ssa_passes",
+                                                "label": {"text": "26_build_ssa_passes"}},
+                                               {"id": "27_fixup_cfg",
+                                                "label": {"text": "27_fixup_cfg"}},
+                                               {"id": "28_ssa",
+                                                "label": {"text": "28_ssa"}},
+                                               {"id": "376_test_graph_emission",
+                                                "label": {"text": "376_test_graph_emission"}},
+                                               {"id": "29_walloca",
+                                                "label": {"text": "29_walloca"}},
+                                               {"id": "30_warn-printf",
+                                                "label": {"text": "30_warn-printf"}},
+                                               {"id": "*nonnullcmp_0x101efce0",
+                                                "label": {"text": "*nonnullcmp"}},
+                                               {"id": "31_early_uninit",
+                                                "label": {"text": "31_early_uninit"}},
+                                               {"id": "32_waccess",
+                                                "label": {"text": "32_waccess"}},
+                                               {"id": "33_ubsan",
+                                                "label": {"text": "33_ubsan"}},
+                                               {"id": "34_nothrow",
+                                                "label": {"text": "34_nothrow"}},
+                                               {"id": "*rebuild_cgraph_edges_0x101f0020",
+                                                "label": {"text": "*rebuild_cgraph_edges"}},
+                                               {"id": "35_opt_local_passes",
+                                                "label": {"text": "35_opt_local_passes"}},
+                                               {"id": "36_fixup_cfg",
+                                                "label": {"text": "36_fixup_cfg"}},
+                                               {"id": "*rebuild_cgraph_edges_0x101f0140",
+                                                "label": {"text": "*rebuild_cgraph_edges"}},
+                                               {"id": "37_local-fnsummary",
+                                                "label": {"text": "37_local-fnsummary"}},
+                                               {"id": "38_einline",
+                                                "label": {"text": "38_einline"}},
+                                               {"id": "*infinite-recursion_0x101f0260",
+                                                "label": {"text": "*infinite-recursion"}},
+                                               {"id": "39_early_optimizations",
+                                                "label": {"text": "39_early_optimizations"}},
+                                               {"id": "*remove_cgraph_callee_edges_0x101f0340",
+                                                "label": {"text": "*remove_cgraph_callee_edges"}},
+                                               {"id": "40_early_objsz",
+                                                "label": {"text": "40_early_objsz"}},
+                                               {"id": "41_ccp",
+                                                "label": {"text": "41_ccp"}},
+                                               {"id": "42_forwprop",
+                                                "label": {"text": "42_forwprop"}},
+                                               {"id": "43_ethread",
+                                                "label": {"text": "43_ethread"}},
+                                               {"id": "44_esra",
+                                                "label": {"text": "44_esra"}},
+                                               {"id": "45_ealias",
+                                                "label": {"text": "45_ealias"}},
+                                               {"id": "46_phiprop",
+                                                "label": {"text": "46_phiprop"}},
+                                               {"id": "47_fre",
+                                                "label": {"text": "47_fre"}},
+                                               {"id": "48_evrp",
+                                                "label": {"text": "48_evrp"}},
+                                               {"id": "49_mergephi",
+                                                "label": {"text": "49_mergephi"}},
+                                               {"id": "50_dse",
+                                                "label": {"text": "50_dse"}},
+                                               {"id": "51_cddce",
+                                                "label": {"text": "51_cddce"}},
+                                               {"id": "52_phiopt",
+                                                "label": {"text": "52_phiopt"}},
+                                               {"id": "53_tailr",
+                                                "label": {"text": "53_tailr"}},
+                                               {"id": "54_iftoswitch",
+                                                "label": {"text": "54_iftoswitch"}},
+                                               {"id": "55_switchconv",
+                                                "label": {"text": "55_switchconv"}},
+                                               {"id": "56_ehcleanup",
+                                                "label": {"text": "56_ehcleanup"}},
+                                               {"id": "57_sccopy",
+                                                "label": {"text": "57_sccopy"}},
+                                               {"id": "58_profile_estimate",
+                                                "label": {"text": "58_profile_estimate"}},
+                                               {"id": "59_local-pure-const",
+                                                "label": {"text": "59_local-pure-const"}},
+                                               {"id": "60_modref",
+                                                "label": {"text": "60_modref"}},
+                                               {"id": "61_fnsplit",
+                                                "label": {"text": "61_fnsplit"}},
+                                               {"id": "*strip_predict_hints_0x101f0c60",
+                                                "label": {"text": "*strip_predict_hints"}},
+                                               {"id": "62_release_ssa",
+                                                "label": {"text": "62_release_ssa"}},
+                                               {"id": "*rebuild_cgraph_edges_0x101f0d30",
+                                                "label": {"text": "*rebuild_cgraph_edges"}},
+                                               {"id": "63_local-fnsummary",
+                                                "label": {"text": "63_local-fnsummary"}},
+                                               {"id": "64_remove_symbols",
+                                                "label": {"text": "64_remove_symbols"}},
+                                               {"id": "65_strub",
+                                                "label": {"text": "65_strub"}},
+                                               {"id": "66_ipa_oacc",
+                                                "label": {"text": "66_ipa_oacc"}},
+                                               {"id": "67_pta",
+                                                "label": {"text": "67_pta"}},
+                                               {"id": "68_ipa_oacc_kernels",
+                                                "label": {"text": "68_ipa_oacc_kernels"}},
+                                               {"id": "69_oacc_kernels",
+                                                "label": {"text": "69_oacc_kernels"}},
+                                               {"id": "70_ch",
+                                                "label": {"text": "70_ch"}},
+                                               {"id": "71_fre",
+                                                "label": {"text": "71_fre"}},
+                                               {"id": "72_lim",
+                                                "label": {"text": "72_lim"}},
+                                               {"id": "73_dom",
+                                                "label": {"text": "73_dom"}},
+                                               {"id": "74_dce",
+                                                "label": {"text": "74_dce"}},
+                                               {"id": "75_parloops",
+                                                "label": {"text": "75_parloops"}},
+                                               {"id": "76_ompexpssa",
+                                                "label": {"text": "76_ompexpssa"}},
+                                               {"id": "*rebuild_cgraph_edges_0x101f1310",
+                                                "label": {"text": "*rebuild_cgraph_edges"}},
+                                               {"id": "77_targetclone",
+                                                "label": {"text": "77_targetclone"}},
+                                               {"id": "78_afdo",
+                                                "label": {"text": "78_afdo"}},
+                                               {"id": "79_feedback_fnsplit",
+                                                "label": {"text": "79_feedback_fnsplit"}},
+                                               {"id": "80_profile",
+                                                "label": {"text": "80_profile"}},
+                                               {"id": "81_feedback_fnsplit",
+                                                "label": {"text": "81_feedback_fnsplit"}},
+                                               {"id": "82_free-fnsummary",
+                                                "label": {"text": "82_free-fnsummary"}},
+                                               {"id": "83_increase_alignment",
+                                                "label": {"text": "83_increase_alignment"}},
+                                               {"id": "84_tmipa",
+                                                "label": {"text": "84_tmipa"}},
+                                               {"id": "85_emutls",
+                                                "label": {"text": "85_emutls"}}]},
+                                 {"id": "all_regular_ipa_passes",
+                                  "label": {"text": "all_regular_ipa_passes"},
+                                  "children": [{"id": "86_analyzer",
+                                                "label": {"text": "86_analyzer"}},
+                                               {"id": "87_odr",
+                                                "label": {"text": "87_odr"}},
+                                               {"id": "88_whole-program",
+                                                "label": {"text": "88_whole-program"}},
+                                               {"id": "89_profile_estimate",
+                                                "label": {"text": "89_profile_estimate"}},
+                                               {"id": "90_icf",
+                                                "label": {"text": "90_icf"}},
+                                               {"id": "91_devirt",
+                                                "label": {"text": "91_devirt"}},
+                                               {"id": "92_cdtor",
+                                                "label": {"text": "92_cdtor"}},
+                                               {"id": "93_cp",
+                                                "label": {"text": "93_cp"}},
+                                               {"id": "94_sra",
+                                                "label": {"text": "94_sra"}},
+                                               {"id": "95_fnsummary",
+                                                "label": {"text": "95_fnsummary"}},
+                                               {"id": "96_inline",
+                                                "label": {"text": "96_inline"}},
+                                               {"id": "97_locality-clone",
+                                                "label": {"text": "97_locality-clone"}},
+                                               {"id": "98_pure-const",
+                                                "label": {"text": "98_pure-const"}},
+                                               {"id": "99_modref",
+                                                "label": {"text": "99_modref"}},
+                                               {"id": "100_free-fnsummary",
+                                                "label": {"text": "100_free-fnsummary"}},
+                                               {"id": "101_static-var",
+                                                "label": {"text": "101_static-var"}},
+                                               {"id": "102_single-use",
+                                                "label": {"text": "102_single-use"}},
+                                               {"id": "103_comdats",
+                                                "label": {"text": "103_comdats"}}]},
+                                 {"id": "all_late_ipa_passes",
+                                  "label": {"text": "all_late_ipa_passes"},
+                                  "children": [{"id": "104_pta",
+                                                "label": {"text": "104_pta"}},
+                                               {"id": "105_simdclone",
+                                                "label": {"text": "105_simdclone"}}]},
+                                 {"id": "all_passes",
+                                  "label": {"text": "all_passes"},
+                                  "children": [{"id": "106_fixup_cfg",
+                                                "label": {"text": "106_fixup_cfg"}},
+                                               {"id": "107_ehdisp",
+                                                "label": {"text": "107_ehdisp"}},
+                                               {"id": "108_oaccloops",
+                                                "label": {"text": "108_oaccloops"}},
+                                               {"id": "109_omp_oacc_neuter_broadcast",
+                                                "label": {"text": "109_omp_oacc_neuter_broadcast"}},
+                                               {"id": "110_oaccdevlow",
+                                                "label": {"text": "110_oaccdevlow"}},
+                                               {"id": "111_ompdevlow",
+                                                "label": {"text": "111_ompdevlow"}},
+                                               {"id": "112_omptargetlink",
+                                                "label": {"text": "112_omptargetlink"}},
+                                               {"id": "113_adjust_alignment",
+                                                "label": {"text": "113_adjust_alignment"}},
+                                               {"id": "114_hardcfr",
+                                                "label": {"text": "114_hardcfr"}},
+                                               {"id": "*all_optimizations_0x101f2720",
+                                                "label": {"text": "*all_optimizations"}},
+                                               {"id": "*remove_cgraph_callee_edges_0x101f2780",
+                                                "label": {"text": "*remove_cgraph_callee_edges"}},
+                                               {"id": "*strip_predict_hints_0x101f27e0",
+                                                "label": {"text": "*strip_predict_hints"}},
+                                               {"id": "115_ccp",
+                                                "label": {"text": "115_ccp"}},
+                                               {"id": "116_objsz",
+                                                "label": {"text": "116_objsz"}},
+                                               {"id": "117_post_ipa_warn",
+                                                "label": {"text": "117_post_ipa_warn"}},
+                                               {"id": "118_waccess",
+                                                "label": {"text": "118_waccess"}},
+                                               {"id": "119_rebuild_frequencies",
+                                                "label": {"text": "119_rebuild_frequencies"}},
+                                               {"id": "120_cunrolli",
+                                                "label": {"text": "120_cunrolli"}},
+                                               {"id": "121_backprop",
+                                                "label": {"text": "121_backprop"}},
+                                               {"id": "122_phiprop",
+                                                "label": {"text": "122_phiprop"}},
+                                               {"id": "123_forwprop",
+                                                "label": {"text": "123_forwprop"}},
+                                               {"id": "124_alias",
+                                                "label": {"text": "124_alias"}},
+                                               {"id": "125_retslot",
+                                                "label": {"text": "125_retslot"}},
+                                               {"id": "126_fre",
+                                                "label": {"text": "126_fre"}},
+                                               {"id": "127_mergephi",
+                                                "label": {"text": "127_mergephi"}},
+                                               {"id": "128_threadfull",
+                                                "label": {"text": "128_threadfull"}},
+                                               {"id": "129_vrp",
+                                                "label": {"text": "129_vrp"}},
+                                               {"id": "130_bounds",
+                                                "label": {"text": "130_bounds"}},
+                                               {"id": "131_dse",
+                                                "label": {"text": "131_dse"}},
+                                               {"id": "132_dce",
+                                                "label": {"text": "132_dce"}},
+                                               {"id": "133_stdarg",
+                                                "label": {"text": "133_stdarg"}},
+                                               {"id": "134_cdce",
+                                                "label": {"text": "134_cdce"}},
+                                               {"id": "135_cselim",
+                                                "label": {"text": "135_cselim"}},
+                                               {"id": "136_copyprop",
+                                                "label": {"text": "136_copyprop"}},
+                                               {"id": "137_ifcombine",
+                                                "label": {"text": "137_ifcombine"}},
+                                               {"id": "138_mergephi",
+                                                "label": {"text": "138_mergephi"}},
+                                               {"id": "139_phiopt",
+                                                "label": {"text": "139_phiopt"}},
+                                               {"id": "140_tailr",
+                                                "label": {"text": "140_tailr"}},
+                                               {"id": "141_ch",
+                                                "label": {"text": "141_ch"}},
+                                               {"id": "142_cplxlower",
+                                                "label": {"text": "142_cplxlower"}},
+                                               {"id": "143_bitintlower",
+                                                "label": {"text": "143_bitintlower"}},
+                                               {"id": "144_sra",
+                                                "label": {"text": "144_sra"}},
+                                               {"id": "145_thread",
+                                                "label": {"text": "145_thread"}},
+                                               {"id": "146_dom",
+                                                "label": {"text": "146_dom"}},
+                                               {"id": "147_copyprop",
+                                                "label": {"text": "147_copyprop"}},
+                                               {"id": "148_isolate-paths",
+                                                "label": {"text": "148_isolate-paths"}},
+                                               {"id": "149_reassoc",
+                                                "label": {"text": "149_reassoc"}},
+                                               {"id": "150_dce",
+                                                "label": {"text": "150_dce"}},
+                                               {"id": "151_forwprop",
+                                                "label": {"text": "151_forwprop"}},
+                                               {"id": "152_phiopt",
+                                                "label": {"text": "152_phiopt"}},
+                                               {"id": "153_ccp",
+                                                "label": {"text": "153_ccp"}},
+                                               {"id": "154_pow",
+                                                "label": {"text": "154_pow"}},
+                                               {"id": "155_bswap",
+                                                "label": {"text": "155_bswap"}},
+                                               {"id": "156_laddress",
+                                                "label": {"text": "156_laddress"}},
+                                               {"id": "157_lim",
+                                                "label": {"text": "157_lim"}},
+                                               {"id": "158_walloca",
+                                                "label": {"text": "158_walloca"}},
+                                               {"id": "159_pre",
+                                                "label": {"text": "159_pre"}},
+                                               {"id": "160_sink",
+                                                "label": {"text": "160_sink"}},
+                                               {"id": "161_sancov",
+                                                "label": {"text": "161_sancov"}},
+                                               {"id": "162_asan",
+                                                "label": {"text": "162_asan"}},
+                                               {"id": "163_tsan",
+                                                "label": {"text": "163_tsan"}},
+                                               {"id": "164_dse",
+                                                "label": {"text": "164_dse"}},
+                                               {"id": "165_dce",
+                                                "label": {"text": "165_dce"}},
+                                               {"id": "166_fix_loops",
+                                                "label": {"text": "166_fix_loops"}},
+                                               {"id": "167_loop",
+                                                "label": {"text": "167_loop"}},
+                                               {"id": "168_loopinit",
+                                                "label": {"text": "168_loopinit"}},
+                                               {"id": "169_unswitch",
+                                                "label": {"text": "169_unswitch"}},
+                                               {"id": "170_lsplit",
+                                                "label": {"text": "170_lsplit"}},
+                                               {"id": "171_sccp",
+                                                "label": {"text": "171_sccp"}},
+                                               {"id": "172_lversion",
+                                                "label": {"text": "172_lversion"}},
+                                               {"id": "173_unrolljam",
+                                                "label": {"text": "173_unrolljam"}},
+                                               {"id": "174_cddce",
+                                                "label": {"text": "174_cddce"}},
+                                               {"id": "175_ivcanon",
+                                                "label": {"text": "175_ivcanon"}},
+                                               {"id": "176_ldist",
+                                                "label": {"text": "176_ldist"}},
+                                               {"id": "177_crc",
+                                                "label": {"text": "177_crc"}},
+                                               {"id": "178_linterchange",
+                                                "label": {"text": "178_linterchange"}},
+                                               {"id": "179_copyprop",
+                                                "label": {"text": "179_copyprop"}},
+                                               {"id": "180_graphite0",
+                                                "label": {"text": "180_graphite0"}},
+                                               {"id": "181_graphite",
+                                                "label": {"text": "181_graphite"}},
+                                               {"id": "182_lim",
+                                                "label": {"text": "182_lim"}},
+                                               {"id": "183_copyprop",
+                                                "label": {"text": "183_copyprop"}},
+                                               {"id": "184_dce",
+                                                "label": {"text": "184_dce"}},
+                                               {"id": "185_parloops",
+                                                "label": {"text": "185_parloops"}},
+                                               {"id": "186_ompexpssa",
+                                                "label": {"text": "186_ompexpssa"}},
+                                               {"id": "187_ch_vect",
+                                                "label": {"text": "187_ch_vect"}},
+                                               {"id": "188_ifcvt",
+                                                "label": {"text": "188_ifcvt"}},
+                                               {"id": "189_vect",
+                                                "label": {"text": "189_vect"}},
+                                               {"id": "190_dce",
+                                                "label": {"text": "190_dce"}},
+                                               {"id": "191_pcom",
+                                                "label": {"text": "191_pcom"}},
+                                               {"id": "192_cunroll",
+                                                "label": {"text": "192_cunroll"}},
+                                               {"id": "*pre_slp_scalar_cleanup_0x101f4880",
+                                                "label": {"text": "*pre_slp_scalar_cleanup"}},
+                                               {"id": "193_fre",
+                                                "label": {"text": "193_fre"}},
+                                               {"id": "194_dse",
+                                                "label": {"text": "194_dse"}},
+                                               {"id": "195_slp",
+                                                "label": {"text": "195_slp"}},
+                                               {"id": "196_aprefetch",
+                                                "label": {"text": "196_aprefetch"}},
+                                               {"id": "197_ivopts",
+                                                "label": {"text": "197_ivopts"}},
+                                               {"id": "198_lim",
+                                                "label": {"text": "198_lim"}},
+                                               {"id": "199_loopdone",
+                                                "label": {"text": "199_loopdone"}},
+                                               {"id": "200_no_loop",
+                                                "label": {"text": "200_no_loop"}},
+                                               {"id": "201_slp",
+                                                "label": {"text": "201_slp"}},
+                                               {"id": "202_simduid",
+                                                "label": {"text": "202_simduid"}},
+                                               {"id": "203_veclower2",
+                                                "label": {"text": "203_veclower2"}},
+                                               {"id": "204_switchlower",
+                                                "label": {"text": "204_switchlower"}},
+                                               {"id": "205_sincos",
+                                                "label": {"text": "205_sincos"}},
+                                               {"id": "206_recip",
+                                                "label": {"text": "206_recip"}},
+                                               {"id": "207_reassoc",
+                                                "label": {"text": "207_reassoc"}},
+                                               {"id": "208_slsr",
+                                                "label": {"text": "208_slsr"}},
+                                               {"id": "209_split-paths",
+                                                "label": {"text": "209_split-paths"}},
+                                               {"id": "210_tracer",
+                                                "label": {"text": "210_tracer"}},
+                                               {"id": "211_fre",
+                                                "label": {"text": "211_fre"}},
+                                               {"id": "212_thread",
+                                                "label": {"text": "212_thread"}},
+                                               {"id": "213_dom",
+                                                "label": {"text": "213_dom"}},
+                                               {"id": "214_strlen",
+                                                "label": {"text": "214_strlen"}},
+                                               {"id": "215_threadfull",
+                                                "label": {"text": "215_threadfull"}},
+                                               {"id": "216_vrp",
+                                                "label": {"text": "216_vrp"}},
+                                               {"id": "217_ccp",
+                                                "label": {"text": "217_ccp"}},
+                                               {"id": "218_wrestrict",
+                                                "label": {"text": "218_wrestrict"}},
+                                               {"id": "219_dse",
+                                                "label": {"text": "219_dse"}},
+                                               {"id": "220_dce",
+                                                "label": {"text": "220_dce"}},
+                                               {"id": "221_forwprop",
+                                                "label": {"text": "221_forwprop"}},
+                                               {"id": "222_sink",
+                                                "label": {"text": "222_sink"}},
+                                               {"id": "223_phiopt",
+                                                "label": {"text": "223_phiopt"}},
+                                               {"id": "224_fab",
+                                                "label": {"text": "224_fab"}},
+                                               {"id": "225_widening_mul",
+                                                "label": {"text": "225_widening_mul"}},
+                                               {"id": "226_store-merging",
+                                                "label": {"text": "226_store-merging"}},
+                                               {"id": "227_cddce",
+                                                "label": {"text": "227_cddce"}},
+                                               {"id": "228_sccopy",
+                                                "label": {"text": "228_sccopy"}},
+                                               {"id": "229_tailc",
+                                                "label": {"text": "229_tailc"}},
+                                               {"id": "230_crited",
+                                                "label": {"text": "230_crited"}},
+                                               {"id": "231_uninit",
+                                                "label": {"text": "231_uninit"}},
+                                               {"id": "232_local-pure-const",
+                                                "label": {"text": "232_local-pure-const"}},
+                                               {"id": "233_modref",
+                                                "label": {"text": "233_modref"}},
+                                               {"id": "234_uncprop",
+                                                "label": {"text": "234_uncprop"}},
+                                               {"id": "*all_optimizations_g_0x101f5af0",
+                                                "label": {"text": "*all_optimizations_g"}},
+                                               {"id": "*remove_cgraph_callee_edges_0x101f5b50",
+                                                "label": {"text": "*remove_cgraph_callee_edges"}},
+                                               {"id": "*strip_predict_hints_0x101f5bb0",
+                                                "label": {"text": "*strip_predict_hints"}},
+                                               {"id": "235_cplxlower",
+                                                "label": {"text": "235_cplxlower"}},
+                                               {"id": "236_bitintlower",
+                                                "label": {"text": "236_bitintlower"}},
+                                               {"id": "237_veclower2",
+                                                "label": {"text": "237_veclower2"}},
+                                               {"id": "238_switchlower",
+                                                "label": {"text": "238_switchlower"}},
+                                               {"id": "239_ccp",
+                                                "label": {"text": "239_ccp"}},
+                                               {"id": "240_post_ipa_warn",
+                                                "label": {"text": "240_post_ipa_warn"}},
+                                               {"id": "241_objsz",
+                                                "label": {"text": "241_objsz"}},
+                                               {"id": "242_fab",
+                                                "label": {"text": "242_fab"}},
+                                               {"id": "243_strlen",
+                                                "label": {"text": "243_strlen"}},
+                                               {"id": "244_copyprop",
+                                                "label": {"text": "244_copyprop"}},
+                                               {"id": "245_dce",
+                                                "label": {"text": "245_dce"}},
+                                               {"id": "246_rebuild_frequencies",
+                                                "label": {"text": "246_rebuild_frequencies"}},
+                                               {"id": "247_sancov",
+                                                "label": {"text": "247_sancov"}},
+                                               {"id": "248_asan",
+                                                "label": {"text": "248_asan"}},
+                                               {"id": "249_tsan",
+                                                "label": {"text": "249_tsan"}},
+                                               {"id": "250_crited",
+                                                "label": {"text": "250_crited"}},
+                                               {"id": "251_uninit",
+                                                "label": {"text": "251_uninit"}},
+                                               {"id": "252_uncprop",
+                                                "label": {"text": "252_uncprop"}},
+                                               {"id": "253_assumptions",
+                                                "label": {"text": "253_assumptions"}},
+                                               {"id": "*tminit_0x101f6370",
+                                                "label": {"text": "*tminit"}},
+                                               {"id": "254_tmmark",
+                                                "label": {"text": "254_tmmark"}},
+                                               {"id": "255_tmmemopt",
+                                                "label": {"text": "255_tmmemopt"}},
+                                               {"id": "256_tmedge",
+                                                "label": {"text": "256_tmedge"}},
+                                               {"id": "257_simduid",
+                                                "label": {"text": "257_simduid"}},
+                                               {"id": "258_vtable-verify",
+                                                "label": {"text": "258_vtable-verify"}},
+                                               {"id": "259_lower_vaarg",
+                                                "label": {"text": "259_lower_vaarg"}},
+                                               {"id": "260_veclower",
+                                                "label": {"text": "260_veclower"}},
+                                               {"id": "261_cplxlower0",
+                                                "label": {"text": "261_cplxlower0"}},
+                                               {"id": "262_bitintlower0",
+                                                "label": {"text": "262_bitintlower0"}},
+                                               {"id": "263_sancov_O0",
+                                                "label": {"text": "263_sancov_O0"}},
+                                               {"id": "264_switchlower_O0",
+                                                "label": {"text": "264_switchlower_O0"}},
+                                               {"id": "265_asan0",
+                                                "label": {"text": "265_asan0"}},
+                                               {"id": "266_tsan0",
+                                                "label": {"text": "266_tsan0"}},
+                                               {"id": "267_musttail",
+                                                "label": {"text": "267_musttail"}},
+                                               {"id": "268_sanopt",
+                                                "label": {"text": "268_sanopt"}},
+                                               {"id": "269_ehcleanup",
+                                                "label": {"text": "269_ehcleanup"}},
+                                               {"id": "270_resx",
+                                                "label": {"text": "270_resx"}},
+                                               {"id": "271_nrv",
+                                                "label": {"text": "271_nrv"}},
+                                               {"id": "272_isel",
+                                                "label": {"text": "272_isel"}},
+                                               {"id": "273_hardcbr",
+                                                "label": {"text": "273_hardcbr"}},
+                                               {"id": "274_hardcmp",
+                                                "label": {"text": "274_hardcmp"}},
+                                               {"id": "275_waccess",
+                                                "label": {"text": "275_waccess"}},
+                                               {"id": "276_optimized",
+                                                "label": {"text": "276_optimized"}},
+                                               {"id": "*warn_function_noreturn_0x101f6dd0",
+                                                "label": {"text": "*warn_function_noreturn"}},
+                                               {"id": "277_expand",
+                                                "label": {"text": "277_expand"}},
+                                               {"id": "*rest_of_compilation_0x101f6e90",
+                                                "label": {"text": "*rest_of_compilation"}},
+                                               {"id": "278_vregs",
+                                                "label": {"text": "278_vregs"}},
+                                               {"id": "279_into_cfglayout",
+                                                "label": {"text": "279_into_cfglayout"}},
+                                               {"id": "280_jump",
+                                                "label": {"text": "280_jump"}},
+                                               {"id": "281_subreg1",
+                                                "label": {"text": "281_subreg1"}},
+                                               {"id": "282_dfinit",
+                                                "label": {"text": "282_dfinit"}},
+                                               {"id": "283_cse1",
+                                                "label": {"text": "283_cse1"}},
+                                               {"id": "284_fwprop1",
+                                                "label": {"text": "284_fwprop1"}},
+                                               {"id": "285_cprop",
+                                                "label": {"text": "285_cprop"}},
+                                               {"id": "286_rtl pre",
+                                                "label": {"text": "286_rtl pre"}},
+                                               {"id": "287_hoist",
+                                                "label": {"text": "287_hoist"}},
+                                               {"id": "288_hardreg_pre",
+                                                "label": {"text": "288_hardreg_pre"}},
+                                               {"id": "289_cprop",
+                                                "label": {"text": "289_cprop"}},
+                                               {"id": "290_store_motion",
+                                                "label": {"text": "290_store_motion"}},
+                                               {"id": "291_cse_local",
+                                                "label": {"text": "291_cse_local"}},
+                                               {"id": "292_ce1",
+                                                "label": {"text": "292_ce1"}},
+                                               {"id": "293_apx_nfcvt",
+                                                "label": {"text": "293_apx_nfcvt"}},
+                                               {"id": "294_reginfo",
+                                                "label": {"text": "294_reginfo"}},
+                                               {"id": "295_loop2",
+                                                "label": {"text": "295_loop2"}},
+                                               {"id": "296_loop2_init",
+                                                "label": {"text": "296_loop2_init"}},
+                                               {"id": "297_loop2_invariant",
+                                                "label": {"text": "297_loop2_invariant"}},
+                                               {"id": "298_loop2_unroll",
+                                                "label": {"text": "298_loop2_unroll"}},
+                                               {"id": "299_loop2_doloop",
+                                                "label": {"text": "299_loop2_doloop"}},
+                                               {"id": "300_loop2_done",
+                                                "label": {"text": "300_loop2_done"}},
+                                               {"id": "301_subreg2",
+                                                "label": {"text": "301_subreg2"}},
+                                               {"id": "302_web",
+                                                "label": {"text": "302_web"}},
+                                               {"id": "303_cprop",
+                                                "label": {"text": "303_cprop"}},
+                                               {"id": "304_stv",
+                                                "label": {"text": "304_stv"}},
+                                               {"id": "305_cse2",
+                                                "label": {"text": "305_cse2"}},
+                                               {"id": "306_dse1",
+                                                "label": {"text": "306_dse1"}},
+                                               {"id": "307_fwprop2",
+                                                "label": {"text": "307_fwprop2"}},
+                                               {"id": "308_auto_inc_dec",
+                                                "label": {"text": "308_auto_inc_dec"}},
+                                               {"id": "309_init-regs",
+                                                "label": {"text": "309_init-regs"}},
+                                               {"id": "310_ud_dce",
+                                                "label": {"text": "310_ud_dce"}},
+                                               {"id": "311_ext_dce",
+                                                "label": {"text": "311_ext_dce"}},
+                                               {"id": "312_combine",
+                                                "label": {"text": "312_combine"}},
+                                               {"id": "313_late_combine",
+                                                "label": {"text": "313_late_combine"}},
+                                               {"id": "314_rpad",
+                                                "label": {"text": "314_rpad"}},
+                                               {"id": "315_rrvl",
+                                                "label": {"text": "315_rrvl"}},
+                                               {"id": "316_stv",
+                                                "label": {"text": "316_stv"}},
+                                               {"id": "317_ce2",
+                                                "label": {"text": "317_ce2"}},
+                                               {"id": "318_jump_after_combine",
+                                                "label": {"text": "318_jump_after_combine"}},
+                                               {"id": "319_bbpart",
+                                                "label": {"text": "319_bbpart"}},
+                                               {"id": "320_outof_cfglayout",
+                                                "label": {"text": "320_outof_cfglayout"}},
+                                               {"id": "321_split1",
+                                                "label": {"text": "321_split1"}},
+                                               {"id": "322_subreg3",
+                                                "label": {"text": "322_subreg3"}},
+                                               {"id": "323_no-opt dfinit",
+                                                "label": {"text": "323_no-opt dfinit"}},
+                                               {"id": "*stack_ptr_mod_0x101f8050",
+                                                "label": {"text": "*stack_ptr_mod"}},
+                                               {"id": "324_mode_sw",
+                                                "label": {"text": "324_mode_sw"}},
+                                               {"id": "325_asmcons",
+                                                "label": {"text": "325_asmcons"}},
+                                               {"id": "326_sms",
+                                                "label": {"text": "326_sms"}},
+                                               {"id": "327_lr_shrinkage",
+                                                "label": {"text": "327_lr_shrinkage"}},
+                                               {"id": "328_sched1",
+                                                "label": {"text": "328_sched1"}},
+                                               {"id": "329_avoid_store_forwarding",
+                                                "label": {"text": "329_avoid_store_forwarding"}},
+                                               {"id": "330_early_remat",
+                                                "label": {"text": "330_early_remat"}},
+                                               {"id": "331_ira",
+                                                "label": {"text": "331_ira"}},
+                                               {"id": "332_reload",
+                                                "label": {"text": "332_reload"}},
+                                               {"id": "*all-postreload_0x101f8410",
+                                                "label": {"text": "*all-postreload"}},
+                                               {"id": "333_postreload",
+                                                "label": {"text": "333_postreload"}},
+                                               {"id": "334_vzeroupper",
+                                                "label": {"text": "334_vzeroupper"}},
+                                               {"id": "335_late_combine",
+                                                "label": {"text": "335_late_combine"}},
+                                               {"id": "336_gcse2",
+                                                "label": {"text": "336_gcse2"}},
+                                               {"id": "337_split2",
+                                                "label": {"text": "337_split2"}},
+                                               {"id": "338_ree",
+                                                "label": {"text": "338_ree"}},
+                                               {"id": "339_cmpelim",
+                                                "label": {"text": "339_cmpelim"}},
+                                               {"id": "340_pro_and_epilogue",
+                                                "label": {"text": "340_pro_and_epilogue"}},
+                                               {"id": "341_dse2",
+                                                "label": {"text": "341_dse2"}},
+                                               {"id": "342_csa",
+                                                "label": {"text": "342_csa"}},
+                                               {"id": "343_jump2",
+                                                "label": {"text": "343_jump2"}},
+                                               {"id": "344_compgotos",
+                                                "label": {"text": "344_compgotos"}},
+                                               {"id": "345_sched_fusion",
+                                                "label": {"text": "345_sched_fusion"}},
+                                               {"id": "346_peephole2",
+                                                "label": {"text": "346_peephole2"}},
+                                               {"id": "347_ce3",
+                                                "label": {"text": "347_ce3"}},
+                                               {"id": "348_rnreg",
+                                                "label": {"text": "348_rnreg"}},
+                                               {"id": "349_fold_mem_offsets",
+                                                "label": {"text": "349_fold_mem_offsets"}},
+                                               {"id": "350_cprop_hardreg",
+                                                "label": {"text": "350_cprop_hardreg"}},
+                                               {"id": "351_rtl_dce",
+                                                "label": {"text": "351_rtl_dce"}},
+                                               {"id": "352_bbro",
+                                                "label": {"text": "352_bbro"}},
+                                               {"id": "*leaf_regs_0x101f8bf0",
+                                                "label": {"text": "*leaf_regs"}},
+                                               {"id": "353_split3",
+                                                "label": {"text": "353_split3"}},
+                                               {"id": "354_sched2",
+                                                "label": {"text": "354_sched2"}},
+                                               {"id": "*stack_regs_0x101f8d10",
+                                                "label": {"text": "*stack_regs"}},
+                                               {"id": "355_split4",
+                                                "label": {"text": "355_split4"}},
+                                               {"id": "356_stack",
+                                                "label": {"text": "356_stack"}},
+                                               {"id": "357_late_pro_and_epilogue",
+                                                "label": {"text": "357_late_pro_and_epilogue"}},
+                                               {"id": "*all-late_compilation_0x101f8e90",
+                                                "label": {"text": "*all-late_compilation"}},
+                                               {"id": "358_zero_call_used_regs",
+                                                "label": {"text": "358_zero_call_used_regs"}},
+                                               {"id": "359_alignments",
+                                                "label": {"text": "359_alignments"}},
+                                               {"id": "360_vartrack",
+                                                "label": {"text": "360_vartrack"}},
+                                               {"id": "*free_cfg_0x101f9010",
+                                                "label": {"text": "*free_cfg"}},
+                                               {"id": "361_mach",
+                                                "label": {"text": "361_mach"}},
+                                               {"id": "362_barriers",
+                                                "label": {"text": "362_barriers"}},
+                                               {"id": "363_dbr",
+                                                "label": {"text": "363_dbr"}},
+                                               {"id": "364_split5",
+                                                "label": {"text": "364_split5"}},
+                                               {"id": "365_eh_ranges",
+                                                "label": {"text": "365_eh_ranges"}},
+                                               {"id": "366_endbr_and_patchable_area",
+                                                "label": {"text": "366_endbr_and_patchable_area"}},
+                                               {"id": "367_align_tight_loops",
+                                                "label": {"text": "367_align_tight_loops"}},
+                                               {"id": "368_shorten",
+                                                "label": {"text": "368_shorten"}},
+                                               {"id": "369_nothrow",
+                                                "label": {"text": "369_nothrow"}},
+                                               {"id": "370_dwarf2",
+                                                "label": {"text": "370_dwarf2"}},
+                                               {"id": "371_final",
+                                                "label": {"text": "371_final"}},
+                                               {"id": "372_dfinish",
+                                                "label": {"text": "372_dfinish"}},
+                                               {"id": "*clean_state_0x101f9500",
+                                                "label": {"text": "*clean_state"}}]}],
+                       "edges": [{"id": "edge0",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "22_ompexp",
+                                  "targetNodeId": "*build_cgraph_edges_0x101ef910"},
+                                 {"id": "edge1",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "21_coro-early-expand-ifns",
+                                  "targetNodeId": "22_ompexp"},
+                                 {"id": "edge2",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*warn_function_return_0x101ef7f0",
+                                  "targetNodeId": "21_coro-early-expand-ifns"},
+                                 {"id": "edge3",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "20_cfg",
+                                  "targetNodeId": "*warn_function_return_0x101ef7f0"},
+                                 {"id": "edge4",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "19_coro-lower-builtins",
+                                  "targetNodeId": "20_cfg"},
+                                 {"id": "edge5",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "18_eh",
+                                  "targetNodeId": "19_coro-lower-builtins"},
+                                 {"id": "edge6",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "17_ehopt",
+                                  "targetNodeId": "18_eh"},
+                                 {"id": "edge7",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "16_tmlower",
+                                  "targetNodeId": "17_ehopt"},
+                                 {"id": "edge8",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "15_lower",
+                                  "targetNodeId": "16_tmlower"},
+                                 {"id": "edge9",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "14_omplower",
+                                  "targetNodeId": "15_lower"},
+                                 {"id": "edge10",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "13_omp_oacc_kernels_decompose",
+                                  "targetNodeId": "14_omplower"},
+                                 {"id": "edge11",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*diagnose_tm_blocks_0x101ef490",
+                                  "targetNodeId": "13_omp_oacc_kernels_decompose"},
+                                 {"id": "edge12",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*diagnose_omp_blocks_0x101ef430",
+                                  "targetNodeId": "*diagnose_tm_blocks_0x101ef490"},
+                                 {"id": "edge13",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*warn_unused_result_0x101ef3d0",
+                                  "targetNodeId": "*diagnose_omp_blocks_0x101ef430"},
+                                 {"id": "edge14",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "34_nothrow",
+                                  "targetNodeId": "*rebuild_cgraph_edges_0x101f0020"},
+                                 {"id": "edge15",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "33_ubsan",
+                                  "targetNodeId": "34_nothrow"},
+                                 {"id": "edge16",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "32_waccess",
+                                  "targetNodeId": "33_ubsan"},
+                                 {"id": "edge17",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "31_early_uninit",
+                                  "targetNodeId": "32_waccess"},
+                                 {"id": "edge18",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*nonnullcmp_0x101efce0",
+                                  "targetNodeId": "31_early_uninit"},
+                                 {"id": "edge19",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "30_warn-printf",
+                                  "targetNodeId": "*nonnullcmp_0x101efce0"},
+                                 {"id": "edge20",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "29_walloca",
+                                  "targetNodeId": "30_warn-printf"},
+                                 {"id": "edge21",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "376_test_graph_emission",
+                                  "targetNodeId": "29_walloca"},
+                                 {"id": "edge22",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "28_ssa",
+                                  "targetNodeId": "376_test_graph_emission"},
+                                 {"id": "edge23",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "27_fixup_cfg",
+                                  "targetNodeId": "28_ssa"},
+                                 {"id": "edge24",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "26_build_ssa_passes",
+                                  "targetNodeId": "27_fixup_cfg"},
+                                 {"id": "edge25",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "61_fnsplit",
+                                  "targetNodeId": "*strip_predict_hints_0x101f0c60"},
+                                 {"id": "edge26",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "60_modref",
+                                  "targetNodeId": "61_fnsplit"},
+                                 {"id": "edge27",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "59_local-pure-const",
+                                  "targetNodeId": "60_modref"},
+                                 {"id": "edge28",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "58_profile_estimate",
+                                  "targetNodeId": "59_local-pure-const"},
+                                 {"id": "edge29",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "57_sccopy",
+                                  "targetNodeId": "58_profile_estimate"},
+                                 {"id": "edge30",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "56_ehcleanup",
+                                  "targetNodeId": "57_sccopy"},
+                                 {"id": "edge31",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "55_switchconv",
+                                  "targetNodeId": "56_ehcleanup"},
+                                 {"id": "edge32",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "54_iftoswitch",
+                                  "targetNodeId": "55_switchconv"},
+                                 {"id": "edge33",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "53_tailr",
+                                  "targetNodeId": "54_iftoswitch"},
+                                 {"id": "edge34",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "52_phiopt",
+                                  "targetNodeId": "53_tailr"},
+                                 {"id": "edge35",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "51_cddce",
+                                  "targetNodeId": "52_phiopt"},
+                                 {"id": "edge36",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "50_dse",
+                                  "targetNodeId": "51_cddce"},
+                                 {"id": "edge37",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "49_mergephi",
+                                  "targetNodeId": "50_dse"},
+                                 {"id": "edge38",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "48_evrp",
+                                  "targetNodeId": "49_mergephi"},
+                                 {"id": "edge39",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "47_fre",
+                                  "targetNodeId": "48_evrp"},
+                                 {"id": "edge40",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "46_phiprop",
+                                  "targetNodeId": "47_fre"},
+                                 {"id": "edge41",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "45_ealias",
+                                  "targetNodeId": "46_phiprop"},
+                                 {"id": "edge42",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "44_esra",
+                                  "targetNodeId": "45_ealias"},
+                                 {"id": "edge43",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "43_ethread",
+                                  "targetNodeId": "44_esra"},
+                                 {"id": "edge44",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "42_forwprop",
+                                  "targetNodeId": "43_ethread"},
+                                 {"id": "edge45",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "41_ccp",
+                                  "targetNodeId": "42_forwprop"},
+                                 {"id": "edge46",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "40_early_objsz",
+                                  "targetNodeId": "41_ccp"},
+                                 {"id": "edge47",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*remove_cgraph_callee_edges_0x101f0340",
+                                  "targetNodeId": "40_early_objsz"},
+                                 {"id": "edge48",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "39_early_optimizations",
+                                  "targetNodeId": "*remove_cgraph_callee_edges_0x101f0340"},
+                                 {"id": "edge49",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*rebuild_cgraph_edges_0x101f0d30",
+                                  "targetNodeId": "63_local-fnsummary"},
+                                 {"id": "edge50",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "62_release_ssa",
+                                  "targetNodeId": "*rebuild_cgraph_edges_0x101f0d30"},
+                                 {"id": "edge51",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "39_early_optimizations",
+                                  "targetNodeId": "62_release_ssa"},
+                                 {"id": "edge52",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*infinite-recursion_0x101f0260",
+                                  "targetNodeId": "39_early_optimizations"},
+                                 {"id": "edge53",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "38_einline",
+                                  "targetNodeId": "*infinite-recursion_0x101f0260"},
+                                 {"id": "edge54",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "37_local-fnsummary",
+                                  "targetNodeId": "38_einline"},
+                                 {"id": "edge55",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*rebuild_cgraph_edges_0x101f0140",
+                                  "targetNodeId": "37_local-fnsummary"},
+                                 {"id": "edge56",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "36_fixup_cfg",
+                                  "targetNodeId": "*rebuild_cgraph_edges_0x101f0140"},
+                                 {"id": "edge57",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "35_opt_local_passes",
+                                  "targetNodeId": "36_fixup_cfg"},
+                                 {"id": "edge58",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "76_ompexpssa",
+                                  "targetNodeId": "*rebuild_cgraph_edges_0x101f1310"},
+                                 {"id": "edge59",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "75_parloops",
+                                  "targetNodeId": "76_ompexpssa"},
+                                 {"id": "edge60",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "74_dce",
+                                  "targetNodeId": "75_parloops"},
+                                 {"id": "edge61",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "73_dom",
+                                  "targetNodeId": "74_dce"},
+                                 {"id": "edge62",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "72_lim",
+                                  "targetNodeId": "73_dom"},
+                                 {"id": "edge63",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "71_fre",
+                                  "targetNodeId": "72_lim"},
+                                 {"id": "edge64",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "70_ch",
+                                  "targetNodeId": "71_fre"},
+                                 {"id": "edge65",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "69_oacc_kernels",
+                                  "targetNodeId": "70_ch"},
+                                 {"id": "edge66",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "68_ipa_oacc_kernels",
+                                  "targetNodeId": "69_oacc_kernels"},
+                                 {"id": "edge67",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "67_pta",
+                                  "targetNodeId": "68_ipa_oacc_kernels"},
+                                 {"id": "edge68",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "66_ipa_oacc",
+                                  "targetNodeId": "67_pta"},
+                                 {"id": "edge69",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "78_afdo",
+                                  "targetNodeId": "79_feedback_fnsplit"},
+                                 {"id": "edge70",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "80_profile",
+                                  "targetNodeId": "81_feedback_fnsplit"},
+                                 {"id": "edge71",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "84_tmipa",
+                                  "targetNodeId": "85_emutls"},
+                                 {"id": "edge72",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "83_increase_alignment",
+                                  "targetNodeId": "84_tmipa"},
+                                 {"id": "edge73",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "82_free-fnsummary",
+                                  "targetNodeId": "83_increase_alignment"},
+                                 {"id": "edge74",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "80_profile",
+                                  "targetNodeId": "82_free-fnsummary"},
+                                 {"id": "edge75",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "78_afdo",
+                                  "targetNodeId": "80_profile"},
+                                 {"id": "edge76",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "77_targetclone",
+                                  "targetNodeId": "78_afdo"},
+                                 {"id": "edge77",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "66_ipa_oacc",
+                                  "targetNodeId": "77_targetclone"},
+                                 {"id": "edge78",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "65_strub",
+                                  "targetNodeId": "66_ipa_oacc"},
+                                 {"id": "edge79",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "64_remove_symbols",
+                                  "targetNodeId": "65_strub"},
+                                 {"id": "edge80",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "35_opt_local_passes",
+                                  "targetNodeId": "64_remove_symbols"},
+                                 {"id": "edge81",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "26_build_ssa_passes",
+                                  "targetNodeId": "35_opt_local_passes"},
+                                 {"id": "edge82",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "25_strubm",
+                                  "targetNodeId": "26_build_ssa_passes"},
+                                 {"id": "edge83",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "24_visibility",
+                                  "targetNodeId": "25_strubm"},
+                                 {"id": "edge84",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*free_lang_data_0x101ef9d0",
+                                  "targetNodeId": "24_visibility"},
+                                 {"id": "edge85",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "23_afdo_offline",
+                                  "targetNodeId": "*free_lang_data_0x101ef9d0"},
+                                 {"id": "edge86",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "102_single-use",
+                                  "targetNodeId": "103_comdats"},
+                                 {"id": "edge87",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "101_static-var",
+                                  "targetNodeId": "102_single-use"},
+                                 {"id": "edge88",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "100_free-fnsummary",
+                                  "targetNodeId": "101_static-var"},
+                                 {"id": "edge89",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "99_modref",
+                                  "targetNodeId": "100_free-fnsummary"},
+                                 {"id": "edge90",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "98_pure-const",
+                                  "targetNodeId": "99_modref"},
+                                 {"id": "edge91",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "97_locality-clone",
+                                  "targetNodeId": "98_pure-const"},
+                                 {"id": "edge92",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "96_inline",
+                                  "targetNodeId": "97_locality-clone"},
+                                 {"id": "edge93",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "95_fnsummary",
+                                  "targetNodeId": "96_inline"},
+                                 {"id": "edge94",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "94_sra",
+                                  "targetNodeId": "95_fnsummary"},
+                                 {"id": "edge95",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "93_cp",
+                                  "targetNodeId": "94_sra"},
+                                 {"id": "edge96",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "92_cdtor",
+                                  "targetNodeId": "93_cp"},
+                                 {"id": "edge97",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "91_devirt",
+                                  "targetNodeId": "92_cdtor"},
+                                 {"id": "edge98",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "90_icf",
+                                  "targetNodeId": "91_devirt"},
+                                 {"id": "edge99",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "89_profile_estimate",
+                                  "targetNodeId": "90_icf"},
+                                 {"id": "edge100",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "88_whole-program",
+                                  "targetNodeId": "89_profile_estimate"},
+                                 {"id": "edge101",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "87_odr",
+                                  "targetNodeId": "88_whole-program"},
+                                 {"id": "edge102",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "86_analyzer",
+                                  "targetNodeId": "87_odr"},
+                                 {"id": "edge103",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "104_pta",
+                                  "targetNodeId": "105_simdclone"},
+                                 {"id": "edge104",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "183_copyprop",
+                                  "targetNodeId": "184_dce"},
+                                 {"id": "edge105",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "182_lim",
+                                  "targetNodeId": "183_copyprop"},
+                                 {"id": "edge106",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "181_graphite",
+                                  "targetNodeId": "182_lim"},
+                                 {"id": "edge107",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "180_graphite0",
+                                  "targetNodeId": "181_graphite"},
+                                 {"id": "edge108",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "189_vect",
+                                  "targetNodeId": "190_dce"},
+                                 {"id": "edge109",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "193_fre",
+                                  "targetNodeId": "194_dse"},
+                                 {"id": "edge110",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "*pre_slp_scalar_cleanup_0x101f4880",
+                                  "targetNodeId": "193_fre"},
+                                 {"id": "edge111",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "198_lim",
+                                  "targetNodeId": "199_loopdone"},
+                                 {"id": "edge112",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "197_ivopts",
+                                  "targetNodeId": "198_lim"},
+                                 {"id": "edge113",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "196_aprefetch",
+                                  "targetNodeId": "197_ivopts"},
+                                 {"id": "edge114",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "195_slp",
+                                  "targetNodeId": "196_aprefetch"},
+                                 {"id": "edge115",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*pre_slp_scalar_cleanup_0x101f4880",
+                                  "targetNodeId": "195_slp"},
+                                 {"id": "edge116",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "192_cunroll",
+                                  "targetNodeId": "*pre_slp_scalar_cleanup_0x101f4880"},
+                                 {"id": "edge117",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "191_pcom",
+                                  "targetNodeId": "192_cunroll"},
+                                 {"id": "edge118",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "189_vect",
+                                  "targetNodeId": "191_pcom"},
+                                 {"id": "edge119",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "188_ifcvt",
+                                  "targetNodeId": "189_vect"},
+                                 {"id": "edge120",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "187_ch_vect",
+                                  "targetNodeId": "188_ifcvt"},
+                                 {"id": "edge121",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "186_ompexpssa",
+                                  "targetNodeId": "187_ch_vect"},
+                                 {"id": "edge122",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "185_parloops",
+                                  "targetNodeId": "186_ompexpssa"},
+                                 {"id": "edge123",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "180_graphite0",
+                                  "targetNodeId": "185_parloops"},
+                                 {"id": "edge124",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "179_copyprop",
+                                  "targetNodeId": "180_graphite0"},
+                                 {"id": "edge125",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "178_linterchange",
+                                  "targetNodeId": "179_copyprop"},
+                                 {"id": "edge126",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "177_crc",
+                                  "targetNodeId": "178_linterchange"},
+                                 {"id": "edge127",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "176_ldist",
+                                  "targetNodeId": "177_crc"},
+                                 {"id": "edge128",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "175_ivcanon",
+                                  "targetNodeId": "176_ldist"},
+                                 {"id": "edge129",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "174_cddce",
+                                  "targetNodeId": "175_ivcanon"},
+                                 {"id": "edge130",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "173_unrolljam",
+                                  "targetNodeId": "174_cddce"},
+                                 {"id": "edge131",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "172_lversion",
+                                  "targetNodeId": "173_unrolljam"},
+                                 {"id": "edge132",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "171_sccp",
+                                  "targetNodeId": "172_lversion"},
+                                 {"id": "edge133",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "170_lsplit",
+                                  "targetNodeId": "171_sccp"},
+                                 {"id": "edge134",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "169_unswitch",
+                                  "targetNodeId": "170_lsplit"},
+                                 {"id": "edge135",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "168_loopinit",
+                                  "targetNodeId": "169_unswitch"},
+                                 {"id": "edge136",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "167_loop",
+                                  "targetNodeId": "168_loopinit"},
+                                 {"id": "edge137",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "200_no_loop",
+                                  "targetNodeId": "201_slp"},
+                                 {"id": "edge138",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "233_modref",
+                                  "targetNodeId": "234_uncprop"},
+                                 {"id": "edge139",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "232_local-pure-const",
+                                  "targetNodeId": "233_modref"},
+                                 {"id": "edge140",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "231_uninit",
+                                  "targetNodeId": "232_local-pure-const"},
+                                 {"id": "edge141",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "230_crited",
+                                  "targetNodeId": "231_uninit"},
+                                 {"id": "edge142",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "229_tailc",
+                                  "targetNodeId": "230_crited"},
+                                 {"id": "edge143",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "228_sccopy",
+                                  "targetNodeId": "229_tailc"},
+                                 {"id": "edge144",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "227_cddce",
+                                  "targetNodeId": "228_sccopy"},
+                                 {"id": "edge145",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "226_store-merging",
+                                  "targetNodeId": "227_cddce"},
+                                 {"id": "edge146",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "225_widening_mul",
+                                  "targetNodeId": "226_store-merging"},
+                                 {"id": "edge147",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "224_fab",
+                                  "targetNodeId": "225_widening_mul"},
+                                 {"id": "edge148",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "223_phiopt",
+                                  "targetNodeId": "224_fab"},
+                                 {"id": "edge149",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "222_sink",
+                                  "targetNodeId": "223_phiopt"},
+                                 {"id": "edge150",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "221_forwprop",
+                                  "targetNodeId": "222_sink"},
+                                 {"id": "edge151",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "220_dce",
+                                  "targetNodeId": "221_forwprop"},
+                                 {"id": "edge152",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "219_dse",
+                                  "targetNodeId": "220_dce"},
+                                 {"id": "edge153",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "218_wrestrict",
+                                  "targetNodeId": "219_dse"},
+                                 {"id": "edge154",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "217_ccp",
+                                  "targetNodeId": "218_wrestrict"},
+                                 {"id": "edge155",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "216_vrp",
+                                  "targetNodeId": "217_ccp"},
+                                 {"id": "edge156",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "215_threadfull",
+                                  "targetNodeId": "216_vrp"},
+                                 {"id": "edge157",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "214_strlen",
+                                  "targetNodeId": "215_threadfull"},
+                                 {"id": "edge158",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "213_dom",
+                                  "targetNodeId": "214_strlen"},
+                                 {"id": "edge159",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "212_thread",
+                                  "targetNodeId": "213_dom"},
+                                 {"id": "edge160",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "211_fre",
+                                  "targetNodeId": "212_thread"},
+                                 {"id": "edge161",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "210_tracer",
+                                  "targetNodeId": "211_fre"},
+                                 {"id": "edge162",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "209_split-paths",
+                                  "targetNodeId": "210_tracer"},
+                                 {"id": "edge163",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "208_slsr",
+                                  "targetNodeId": "209_split-paths"},
+                                 {"id": "edge164",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "207_reassoc",
+                                  "targetNodeId": "208_slsr"},
+                                 {"id": "edge165",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "206_recip",
+                                  "targetNodeId": "207_reassoc"},
+                                 {"id": "edge166",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "205_sincos",
+                                  "targetNodeId": "206_recip"},
+                                 {"id": "edge167",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "204_switchlower",
+                                  "targetNodeId": "205_sincos"},
+                                 {"id": "edge168",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "203_veclower2",
+                                  "targetNodeId": "204_switchlower"},
+                                 {"id": "edge169",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "202_simduid",
+                                  "targetNodeId": "203_veclower2"},
+                                 {"id": "edge170",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "200_no_loop",
+                                  "targetNodeId": "202_simduid"},
+                                 {"id": "edge171",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "167_loop",
+                                  "targetNodeId": "200_no_loop"},
+                                 {"id": "edge172",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "166_fix_loops",
+                                  "targetNodeId": "167_loop"},
+                                 {"id": "edge173",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "165_dce",
+                                  "targetNodeId": "166_fix_loops"},
+                                 {"id": "edge174",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "164_dse",
+                                  "targetNodeId": "165_dce"},
+                                 {"id": "edge175",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "163_tsan",
+                                  "targetNodeId": "164_dse"},
+                                 {"id": "edge176",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "162_asan",
+                                  "targetNodeId": "163_tsan"},
+                                 {"id": "edge177",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "161_sancov",
+                                  "targetNodeId": "162_asan"},
+                                 {"id": "edge178",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "160_sink",
+                                  "targetNodeId": "161_sancov"},
+                                 {"id": "edge179",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "159_pre",
+                                  "targetNodeId": "160_sink"},
+                                 {"id": "edge180",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "158_walloca",
+                                  "targetNodeId": "159_pre"},
+                                 {"id": "edge181",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "157_lim",
+                                  "targetNodeId": "158_walloca"},
+                                 {"id": "edge182",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "156_laddress",
+                                  "targetNodeId": "157_lim"},
+                                 {"id": "edge183",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "155_bswap",
+                                  "targetNodeId": "156_laddress"},
+                                 {"id": "edge184",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "154_pow",
+                                  "targetNodeId": "155_bswap"},
+                                 {"id": "edge185",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "153_ccp",
+                                  "targetNodeId": "154_pow"},
+                                 {"id": "edge186",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "152_phiopt",
+                                  "targetNodeId": "153_ccp"},
+                                 {"id": "edge187",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "151_forwprop",
+                                  "targetNodeId": "152_phiopt"},
+                                 {"id": "edge188",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "150_dce",
+                                  "targetNodeId": "151_forwprop"},
+                                 {"id": "edge189",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "149_reassoc",
+                                  "targetNodeId": "150_dce"},
+                                 {"id": "edge190",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "148_isolate-paths",
+                                  "targetNodeId": "149_reassoc"},
+                                 {"id": "edge191",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "147_copyprop",
+                                  "targetNodeId": "148_isolate-paths"},
+                                 {"id": "edge192",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "146_dom",
+                                  "targetNodeId": "147_copyprop"},
+                                 {"id": "edge193",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "145_thread",
+                                  "targetNodeId": "146_dom"},
+                                 {"id": "edge194",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "144_sra",
+                                  "targetNodeId": "145_thread"},
+                                 {"id": "edge195",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "143_bitintlower",
+                                  "targetNodeId": "144_sra"},
+                                 {"id": "edge196",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "142_cplxlower",
+                                  "targetNodeId": "143_bitintlower"},
+                                 {"id": "edge197",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "141_ch",
+                                  "targetNodeId": "142_cplxlower"},
+                                 {"id": "edge198",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "140_tailr",
+                                  "targetNodeId": "141_ch"},
+                                 {"id": "edge199",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "139_phiopt",
+                                  "targetNodeId": "140_tailr"},
+                                 {"id": "edge200",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "138_mergephi",
+                                  "targetNodeId": "139_phiopt"},
+                                 {"id": "edge201",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "137_ifcombine",
+                                  "targetNodeId": "138_mergephi"},
+                                 {"id": "edge202",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "136_copyprop",
+                                  "targetNodeId": "137_ifcombine"},
+                                 {"id": "edge203",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "135_cselim",
+                                  "targetNodeId": "136_copyprop"},
+                                 {"id": "edge204",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "134_cdce",
+                                  "targetNodeId": "135_cselim"},
+                                 {"id": "edge205",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "133_stdarg",
+                                  "targetNodeId": "134_cdce"},
+                                 {"id": "edge206",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "132_dce",
+                                  "targetNodeId": "133_stdarg"},
+                                 {"id": "edge207",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "131_dse",
+                                  "targetNodeId": "132_dce"},
+                                 {"id": "edge208",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "130_bounds",
+                                  "targetNodeId": "131_dse"},
+                                 {"id": "edge209",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "129_vrp",
+                                  "targetNodeId": "130_bounds"},
+                                 {"id": "edge210",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "128_threadfull",
+                                  "targetNodeId": "129_vrp"},
+                                 {"id": "edge211",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "127_mergephi",
+                                  "targetNodeId": "128_threadfull"},
+                                 {"id": "edge212",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "126_fre",
+                                  "targetNodeId": "127_mergephi"},
+                                 {"id": "edge213",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "125_retslot",
+                                  "targetNodeId": "126_fre"},
+                                 {"id": "edge214",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "124_alias",
+                                  "targetNodeId": "125_retslot"},
+                                 {"id": "edge215",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "123_forwprop",
+                                  "targetNodeId": "124_alias"},
+                                 {"id": "edge216",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "122_phiprop",
+                                  "targetNodeId": "123_forwprop"},
+                                 {"id": "edge217",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "121_backprop",
+                                  "targetNodeId": "122_phiprop"},
+                                 {"id": "edge218",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "120_cunrolli",
+                                  "targetNodeId": "121_backprop"},
+                                 {"id": "edge219",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "119_rebuild_frequencies",
+                                  "targetNodeId": "120_cunrolli"},
+                                 {"id": "edge220",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "118_waccess",
+                                  "targetNodeId": "119_rebuild_frequencies"},
+                                 {"id": "edge221",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "117_post_ipa_warn",
+                                  "targetNodeId": "118_waccess"},
+                                 {"id": "edge222",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "116_objsz",
+                                  "targetNodeId": "117_post_ipa_warn"},
+                                 {"id": "edge223",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "115_ccp",
+                                  "targetNodeId": "116_objsz"},
+                                 {"id": "edge224",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*strip_predict_hints_0x101f27e0",
+                                  "targetNodeId": "115_ccp"},
+                                 {"id": "edge225",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*remove_cgraph_callee_edges_0x101f2780",
+                                  "targetNodeId": "*strip_predict_hints_0x101f27e0"},
+                                 {"id": "edge226",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "*all_optimizations_0x101f2720",
+                                  "targetNodeId": "*remove_cgraph_callee_edges_0x101f2780"},
+                                 {"id": "edge227",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "251_uninit",
+                                  "targetNodeId": "252_uncprop"},
+                                 {"id": "edge228",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "250_crited",
+                                  "targetNodeId": "251_uninit"},
+                                 {"id": "edge229",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "249_tsan",
+                                  "targetNodeId": "250_crited"},
+                                 {"id": "edge230",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "248_asan",
+                                  "targetNodeId": "249_tsan"},
+                                 {"id": "edge231",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "247_sancov",
+                                  "targetNodeId": "248_asan"},
+                                 {"id": "edge232",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "246_rebuild_frequencies",
+                                  "targetNodeId": "247_sancov"},
+                                 {"id": "edge233",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "245_dce",
+                                  "targetNodeId": "246_rebuild_frequencies"},
+                                 {"id": "edge234",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "244_copyprop",
+                                  "targetNodeId": "245_dce"},
+                                 {"id": "edge235",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "243_strlen",
+                                  "targetNodeId": "244_copyprop"},
+                                 {"id": "edge236",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "242_fab",
+                                  "targetNodeId": "243_strlen"},
+                                 {"id": "edge237",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "241_objsz",
+                                  "targetNodeId": "242_fab"},
+                                 {"id": "edge238",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "240_post_ipa_warn",
+                                  "targetNodeId": "241_objsz"},
+                                 {"id": "edge239",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "239_ccp",
+                                  "targetNodeId": "240_post_ipa_warn"},
+                                 {"id": "edge240",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "238_switchlower",
+                                  "targetNodeId": "239_ccp"},
+                                 {"id": "edge241",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "237_veclower2",
+                                  "targetNodeId": "238_switchlower"},
+                                 {"id": "edge242",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "236_bitintlower",
+                                  "targetNodeId": "237_veclower2"},
+                                 {"id": "edge243",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "235_cplxlower",
+                                  "targetNodeId": "236_bitintlower"},
+                                 {"id": "edge244",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*strip_predict_hints_0x101f5bb0",
+                                  "targetNodeId": "235_cplxlower"},
+                                 {"id": "edge245",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*remove_cgraph_callee_edges_0x101f5b50",
+                                  "targetNodeId": "*strip_predict_hints_0x101f5bb0"},
+                                 {"id": "edge246",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "*all_optimizations_g_0x101f5af0",
+                                  "targetNodeId": "*remove_cgraph_callee_edges_0x101f5b50"},
+                                 {"id": "edge247",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "255_tmmemopt",
+                                  "targetNodeId": "256_tmedge"},
+                                 {"id": "edge248",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "254_tmmark",
+                                  "targetNodeId": "255_tmmemopt"},
+                                 {"id": "edge249",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "*tminit_0x101f6370",
+                                  "targetNodeId": "254_tmmark"},
+                                 {"id": "edge250",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "299_loop2_doloop",
+                                  "targetNodeId": "300_loop2_done"},
+                                 {"id": "edge251",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "298_loop2_unroll",
+                                  "targetNodeId": "299_loop2_doloop"},
+                                 {"id": "edge252",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "297_loop2_invariant",
+                                  "targetNodeId": "298_loop2_unroll"},
+                                 {"id": "edge253",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "296_loop2_init",
+                                  "targetNodeId": "297_loop2_invariant"},
+                                 {"id": "edge254",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "295_loop2",
+                                  "targetNodeId": "296_loop2_init"},
+                                 {"id": "edge255",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "355_split4",
+                                  "targetNodeId": "356_stack"},
+                                 {"id": "edge256",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "*stack_regs_0x101f8d10",
+                                  "targetNodeId": "355_split4"},
+                                 {"id": "edge257",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "354_sched2",
+                                  "targetNodeId": "*stack_regs_0x101f8d10"},
+                                 {"id": "edge258",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "353_split3",
+                                  "targetNodeId": "354_sched2"},
+                                 {"id": "edge259",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*leaf_regs_0x101f8bf0",
+                                  "targetNodeId": "353_split3"},
+                                 {"id": "edge260",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "352_bbro",
+                                  "targetNodeId": "*leaf_regs_0x101f8bf0"},
+                                 {"id": "edge261",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "351_rtl_dce",
+                                  "targetNodeId": "352_bbro"},
+                                 {"id": "edge262",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "350_cprop_hardreg",
+                                  "targetNodeId": "351_rtl_dce"},
+                                 {"id": "edge263",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "349_fold_mem_offsets",
+                                  "targetNodeId": "350_cprop_hardreg"},
+                                 {"id": "edge264",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "348_rnreg",
+                                  "targetNodeId": "349_fold_mem_offsets"},
+                                 {"id": "edge265",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "347_ce3",
+                                  "targetNodeId": "348_rnreg"},
+                                 {"id": "edge266",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "346_peephole2",
+                                  "targetNodeId": "347_ce3"},
+                                 {"id": "edge267",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "345_sched_fusion",
+                                  "targetNodeId": "346_peephole2"},
+                                 {"id": "edge268",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "344_compgotos",
+                                  "targetNodeId": "345_sched_fusion"},
+                                 {"id": "edge269",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "343_jump2",
+                                  "targetNodeId": "344_compgotos"},
+                                 {"id": "edge270",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "342_csa",
+                                  "targetNodeId": "343_jump2"},
+                                 {"id": "edge271",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "341_dse2",
+                                  "targetNodeId": "342_csa"},
+                                 {"id": "edge272",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "340_pro_and_epilogue",
+                                  "targetNodeId": "341_dse2"},
+                                 {"id": "edge273",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "339_cmpelim",
+                                  "targetNodeId": "340_pro_and_epilogue"},
+                                 {"id": "edge274",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "338_ree",
+                                  "targetNodeId": "339_cmpelim"},
+                                 {"id": "edge275",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "337_split2",
+                                  "targetNodeId": "338_ree"},
+                                 {"id": "edge276",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "336_gcse2",
+                                  "targetNodeId": "337_split2"},
+                                 {"id": "edge277",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "335_late_combine",
+                                  "targetNodeId": "336_gcse2"},
+                                 {"id": "edge278",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "334_vzeroupper",
+                                  "targetNodeId": "335_late_combine"},
+                                 {"id": "edge279",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "333_postreload",
+                                  "targetNodeId": "334_vzeroupper"},
+                                 {"id": "edge280",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "*all-postreload_0x101f8410",
+                                  "targetNodeId": "333_postreload"},
+                                 {"id": "edge281",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "370_dwarf2",
+                                  "targetNodeId": "371_final"},
+                                 {"id": "edge282",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "369_nothrow",
+                                  "targetNodeId": "370_dwarf2"},
+                                 {"id": "edge283",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "368_shorten",
+                                  "targetNodeId": "369_nothrow"},
+                                 {"id": "edge284",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "367_align_tight_loops",
+                                  "targetNodeId": "368_shorten"},
+                                 {"id": "edge285",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "366_endbr_and_patchable_area",
+                                  "targetNodeId": "367_align_tight_loops"},
+                                 {"id": "edge286",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "365_eh_ranges",
+                                  "targetNodeId": "366_endbr_and_patchable_area"},
+                                 {"id": "edge287",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "364_split5",
+                                  "targetNodeId": "365_eh_ranges"},
+                                 {"id": "edge288",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "363_dbr",
+                                  "targetNodeId": "364_split5"},
+                                 {"id": "edge289",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "362_barriers",
+                                  "targetNodeId": "363_dbr"},
+                                 {"id": "edge290",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "361_mach",
+                                  "targetNodeId": "362_barriers"},
+                                 {"id": "edge291",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*free_cfg_0x101f9010",
+                                  "targetNodeId": "361_mach"},
+                                 {"id": "edge292",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "360_vartrack",
+                                  "targetNodeId": "*free_cfg_0x101f9010"},
+                                 {"id": "edge293",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "359_alignments",
+                                  "targetNodeId": "360_vartrack"},
+                                 {"id": "edge294",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "358_zero_call_used_regs",
+                                  "targetNodeId": "359_alignments"},
+                                 {"id": "edge295",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "*all-late_compilation_0x101f8e90",
+                                  "targetNodeId": "358_zero_call_used_regs"},
+                                 {"id": "edge296",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*all-late_compilation_0x101f8e90",
+                                  "targetNodeId": "372_dfinish"},
+                                 {"id": "edge297",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "357_late_pro_and_epilogue",
+                                  "targetNodeId": "*all-late_compilation_0x101f8e90"},
+                                 {"id": "edge298",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*all-postreload_0x101f8410",
+                                  "targetNodeId": "357_late_pro_and_epilogue"},
+                                 {"id": "edge299",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "332_reload",
+                                  "targetNodeId": "*all-postreload_0x101f8410"},
+                                 {"id": "edge300",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "331_ira",
+                                  "targetNodeId": "332_reload"},
+                                 {"id": "edge301",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "330_early_remat",
+                                  "targetNodeId": "331_ira"},
+                                 {"id": "edge302",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "329_avoid_store_forwarding",
+                                  "targetNodeId": "330_early_remat"},
+                                 {"id": "edge303",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "328_sched1",
+                                  "targetNodeId": "329_avoid_store_forwarding"},
+                                 {"id": "edge304",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "327_lr_shrinkage",
+                                  "targetNodeId": "328_sched1"},
+                                 {"id": "edge305",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "326_sms",
+                                  "targetNodeId": "327_lr_shrinkage"},
+                                 {"id": "edge306",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "325_asmcons",
+                                  "targetNodeId": "326_sms"},
+                                 {"id": "edge307",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "324_mode_sw",
+                                  "targetNodeId": "325_asmcons"},
+                                 {"id": "edge308",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*stack_ptr_mod_0x101f8050",
+                                  "targetNodeId": "324_mode_sw"},
+                                 {"id": "edge309",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "323_no-opt dfinit",
+                                  "targetNodeId": "*stack_ptr_mod_0x101f8050"},
+                                 {"id": "edge310",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "322_subreg3",
+                                  "targetNodeId": "323_no-opt dfinit"},
+                                 {"id": "edge311",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "321_split1",
+                                  "targetNodeId": "322_subreg3"},
+                                 {"id": "edge312",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "320_outof_cfglayout",
+                                  "targetNodeId": "321_split1"},
+                                 {"id": "edge313",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "319_bbpart",
+                                  "targetNodeId": "320_outof_cfglayout"},
+                                 {"id": "edge314",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "318_jump_after_combine",
+                                  "targetNodeId": "319_bbpart"},
+                                 {"id": "edge315",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "317_ce2",
+                                  "targetNodeId": "318_jump_after_combine"},
+                                 {"id": "edge316",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "316_stv",
+                                  "targetNodeId": "317_ce2"},
+                                 {"id": "edge317",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "315_rrvl",
+                                  "targetNodeId": "316_stv"},
+                                 {"id": "edge318",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "314_rpad",
+                                  "targetNodeId": "315_rrvl"},
+                                 {"id": "edge319",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "313_late_combine",
+                                  "targetNodeId": "314_rpad"},
+                                 {"id": "edge320",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "312_combine",
+                                  "targetNodeId": "313_late_combine"},
+                                 {"id": "edge321",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "311_ext_dce",
+                                  "targetNodeId": "312_combine"},
+                                 {"id": "edge322",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "310_ud_dce",
+                                  "targetNodeId": "311_ext_dce"},
+                                 {"id": "edge323",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "309_init-regs",
+                                  "targetNodeId": "310_ud_dce"},
+                                 {"id": "edge324",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "308_auto_inc_dec",
+                                  "targetNodeId": "309_init-regs"},
+                                 {"id": "edge325",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "307_fwprop2",
+                                  "targetNodeId": "308_auto_inc_dec"},
+                                 {"id": "edge326",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "306_dse1",
+                                  "targetNodeId": "307_fwprop2"},
+                                 {"id": "edge327",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "305_cse2",
+                                  "targetNodeId": "306_dse1"},
+                                 {"id": "edge328",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "304_stv",
+                                  "targetNodeId": "305_cse2"},
+                                 {"id": "edge329",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "303_cprop",
+                                  "targetNodeId": "304_stv"},
+                                 {"id": "edge330",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "302_web",
+                                  "targetNodeId": "303_cprop"},
+                                 {"id": "edge331",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "301_subreg2",
+                                  "targetNodeId": "302_web"},
+                                 {"id": "edge332",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "295_loop2",
+                                  "targetNodeId": "301_subreg2"},
+                                 {"id": "edge333",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "294_reginfo",
+                                  "targetNodeId": "295_loop2"},
+                                 {"id": "edge334",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "293_apx_nfcvt",
+                                  "targetNodeId": "294_reginfo"},
+                                 {"id": "edge335",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "292_ce1",
+                                  "targetNodeId": "293_apx_nfcvt"},
+                                 {"id": "edge336",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "291_cse_local",
+                                  "targetNodeId": "292_ce1"},
+                                 {"id": "edge337",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "290_store_motion",
+                                  "targetNodeId": "291_cse_local"},
+                                 {"id": "edge338",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "289_cprop",
+                                  "targetNodeId": "290_store_motion"},
+                                 {"id": "edge339",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "288_hardreg_pre",
+                                  "targetNodeId": "289_cprop"},
+                                 {"id": "edge340",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "287_hoist",
+                                  "targetNodeId": "288_hardreg_pre"},
+                                 {"id": "edge341",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "286_rtl pre",
+                                  "targetNodeId": "287_hoist"},
+                                 {"id": "edge342",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "285_cprop",
+                                  "targetNodeId": "286_rtl pre"},
+                                 {"id": "edge343",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "284_fwprop1",
+                                  "targetNodeId": "285_cprop"},
+                                 {"id": "edge344",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "283_cse1",
+                                  "targetNodeId": "284_fwprop1"},
+                                 {"id": "edge345",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "282_dfinit",
+                                  "targetNodeId": "283_cse1"},
+                                 {"id": "edge346",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "281_subreg1",
+                                  "targetNodeId": "282_dfinit"},
+                                 {"id": "edge347",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "280_jump",
+                                  "targetNodeId": "281_subreg1"},
+                                 {"id": "edge348",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "279_into_cfglayout",
+                                  "targetNodeId": "280_jump"},
+                                 {"id": "edge349",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "278_vregs",
+                                  "targetNodeId": "279_into_cfglayout"},
+                                 {"id": "edge350",
+                                  "label": {"text": "sub"},
+                                  "sourceNodeId": "*rest_of_compilation_0x101f6e90",
+                                  "targetNodeId": "278_vregs"},
+                                 {"id": "edge351",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*rest_of_compilation_0x101f6e90",
+                                  "targetNodeId": "*clean_state_0x101f9500"},
+                                 {"id": "edge352",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "277_expand",
+                                  "targetNodeId": "*rest_of_compilation_0x101f6e90"},
+                                 {"id": "edge353",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*warn_function_noreturn_0x101f6dd0",
+                                  "targetNodeId": "277_expand"},
+                                 {"id": "edge354",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "276_optimized",
+                                  "targetNodeId": "*warn_function_noreturn_0x101f6dd0"},
+                                 {"id": "edge355",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "275_waccess",
+                                  "targetNodeId": "276_optimized"},
+                                 {"id": "edge356",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "274_hardcmp",
+                                  "targetNodeId": "275_waccess"},
+                                 {"id": "edge357",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "273_hardcbr",
+                                  "targetNodeId": "274_hardcmp"},
+                                 {"id": "edge358",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "272_isel",
+                                  "targetNodeId": "273_hardcbr"},
+                                 {"id": "edge359",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "271_nrv",
+                                  "targetNodeId": "272_isel"},
+                                 {"id": "edge360",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "270_resx",
+                                  "targetNodeId": "271_nrv"},
+                                 {"id": "edge361",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "269_ehcleanup",
+                                  "targetNodeId": "270_resx"},
+                                 {"id": "edge362",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "268_sanopt",
+                                  "targetNodeId": "269_ehcleanup"},
+                                 {"id": "edge363",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "267_musttail",
+                                  "targetNodeId": "268_sanopt"},
+                                 {"id": "edge364",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "266_tsan0",
+                                  "targetNodeId": "267_musttail"},
+                                 {"id": "edge365",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "265_asan0",
+                                  "targetNodeId": "266_tsan0"},
+                                 {"id": "edge366",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "264_switchlower_O0",
+                                  "targetNodeId": "265_asan0"},
+                                 {"id": "edge367",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "263_sancov_O0",
+                                  "targetNodeId": "264_switchlower_O0"},
+                                 {"id": "edge368",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "262_bitintlower0",
+                                  "targetNodeId": "263_sancov_O0"},
+                                 {"id": "edge369",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "261_cplxlower0",
+                                  "targetNodeId": "262_bitintlower0"},
+                                 {"id": "edge370",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "260_veclower",
+                                  "targetNodeId": "261_cplxlower0"},
+                                 {"id": "edge371",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "259_lower_vaarg",
+                                  "targetNodeId": "260_veclower"},
+                                 {"id": "edge372",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "258_vtable-verify",
+                                  "targetNodeId": "259_lower_vaarg"},
+                                 {"id": "edge373",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "257_simduid",
+                                  "targetNodeId": "258_vtable-verify"},
+                                 {"id": "edge374",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*tminit_0x101f6370",
+                                  "targetNodeId": "257_simduid"},
+                                 {"id": "edge375",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "253_assumptions",
+                                  "targetNodeId": "*tminit_0x101f6370"},
+                                 {"id": "edge376",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*all_optimizations_g_0x101f5af0",
+                                  "targetNodeId": "253_assumptions"},
+                                 {"id": "edge377",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "*all_optimizations_0x101f2720",
+                                  "targetNodeId": "*all_optimizations_g_0x101f5af0"},
+                                 {"id": "edge378",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "114_hardcfr",
+                                  "targetNodeId": "*all_optimizations_0x101f2720"},
+                                 {"id": "edge379",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "113_adjust_alignment",
+                                  "targetNodeId": "114_hardcfr"},
+                                 {"id": "edge380",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "112_omptargetlink",
+                                  "targetNodeId": "113_adjust_alignment"},
+                                 {"id": "edge381",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "111_ompdevlow",
+                                  "targetNodeId": "112_omptargetlink"},
+                                 {"id": "edge382",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "110_oaccdevlow",
+                                  "targetNodeId": "111_ompdevlow"},
+                                 {"id": "edge383",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "109_omp_oacc_neuter_broadcast",
+                                  "targetNodeId": "110_oaccdevlow"},
+                                 {"id": "edge384",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "108_oaccloops",
+                                  "targetNodeId": "109_omp_oacc_neuter_broadcast"},
+                                 {"id": "edge385",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "107_ehdisp",
+                                  "targetNodeId": "108_oaccloops"},
+                                 {"id": "edge386",
+                                  "label": {"text": "next"},
+                                  "sourceNodeId": "106_fixup_cfg",
+                                  "targetNodeId": "107_ehdisp"}]}]}]}
+
+/* { dg-begin-multiline-output "" }
+In function 'test_graphs':
+/home/david/gcc-newgit-gcc16/src/gcc/testsuite/gcc.dg/plugin/diagnostic-test-graphs-sarif.c:8:3: error: this is a placeholder error, with graphs
+   { dg-end-multiline-output "" } */
+
+/* Use a Python script to verify various properties about the generated
+   .html file:
+   { dg-final { run-html-pytest graphs.sarif "2.1.0-valid/graphs-check-html.py" } } */
+
+/* Use a Python script to verify various properties about the *generated*
+   .sarif file:
+   { dg-final { run-sarif-pytest graphs.roundtrip "2.1.0-valid/graphs-check-sarif-roundtrip.py" } } */