You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: src/mir/dataflow.md
+10-5Lines changed: 10 additions & 5 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -219,18 +219,23 @@ the example below:
219
219
220
220
### Region Constraint Graphs and Their Strongly Connected Components
221
221
222
+
223
+
222
224
With `-Z dump-mir-graphviz=yes`, you will also get Graphviz files for the outlives constraints
223
225
of the MIR bodies you asked for, as well as the strongly connected components (SCCs) on them.
224
-
They are available as
226
+
They are available as
225
227
`mir_dump/rs-file-name.function-name.-------.nll.0.regioncx.all.dot` and
226
228
`mir_dump/rs-file-name.function-name.-------.nll.0.regioncx.scc.dot` respectively. For both
227
229
graphs, named region variables will be shown with their external name (such as `'static`)
228
230
shown in parenthesis. For region inference variables in universes other than the root universe,
229
-
they will be shown as `/U13` (for universe 13). In the region graph, edges are labelled with
230
-
the MIR locations where the relationship holds.
231
+
they will be shown as `/U13` (for universe 13). In the region graph, edges are labelled with
232
+
the MIR locations where the relationship holds, or `All` if it's everywhere.
233
+
234
+
231
235
232
-
**Note:** there are implicit edges from `'static` to every region, but those are not rendered
233
-
in the region graph to avoid clutter. They *do* however show up in the SCC graph.
236
+
**Note:** There are implicit edges from `'static` to every region, but those are not rendered
237
+
in the region graph to avoid clutter. They _do_ however show up in the SCC graph. This is why there are outgoing edges from SCC(5) in the SCC graph above
238
+
that do not seem to have corresponding edges in the region outlives graph above.
0 commit comments