src/doc/rustc-dev-guide/src/mir/mir_detailed.dot

   1 digraph G {
   2     Operand -> Constant
   3     Operand -> Place [taillabel="read"]
   4     Place -> Projection
   5     Projection -> Place
   6     Place -> LocalId
   7     Rvalue -> "Rvalue\nAggregate"
   8     Rvalue -> "Rvalue\nBinaryOp"
   9     Rvalue -> "Rvalue\nUnaryOp"
  10     Rvalue -> "Rvalue\n..."
  11     "Rvalue\nAggregate" -> Operand [headlabel="*"]
  12     "Rvalue\nBinaryOp" -> Operand [headlabel="2"]
  13     "Rvalue\nUnaryOp" -> Operand
  14     "Statement\nAssignment" -> Place [taillabel="write"]
  15     "Statement\nAssignment" -> Rvalue
  16     Statement -> "Statement\nAssignment"
  17     Statement -> "Statement\n..."
  18     Block -> Statement [headlabel="*"]
  19     Block -> Terminator
  20     Terminator -> "Terminator\nSwitchInt"
  21     "Terminator\nSwitchInt" -> Operand
  22     "Terminator\nSwitchInt" -> Constant [headlabel="*"]
  23     "Terminator\nSwitchInt" -> BlockId [headlabel="*"]
  24     Terminator -> "Terminator\n..."
  25     Mir -> Block [headlabel="*"]
  26     Mir -> Local [headlabel="*"]
  27 }