Add graphs that I forgot to push in the original PR

Author: oli-obk

src/mir/construction.md

@@ -92,6 +92,13 @@ There are essentially four kinds of representations one might want of an express
 * `Operand` is an argument to e.g. a `+` operation or a function call
 * a temporary variable containing a copy of the value
 
+These following image depicts a general overview of the interactions between the
+representations:
+
+<img src="mir_overview.svg">
+
+[Click here for a more detailed view](mir_detailed.svg)
+
 We start out with lowering the function body to an `Rvalue` so we can create an
 assignment to `RETURN_PLACE`, This `Rvalue` lowering will in turn trigger lowering to
 `Operand` for its arguments (if any). `Operand` lowering either produces a `const`

src/mir/mir_detailed.dot

@@ -0,0 +1,27 @@
+digraph G {
+    Operand -> Constant
+    Operand -> Place [taillabel="read"]
+    Place -> Projection
+    Projection -> Place
+    Place -> LocalId
+    Rvalue -> "Rvalue\nAggregate"
+    Rvalue -> "Rvalue\nBinaryOp"
+    Rvalue -> "Rvalue\nUnaryOp"
+    Rvalue -> "Rvalue\n..."
+    "Rvalue\nAggregate" -> Operand [headlabel="*"]
+    "Rvalue\nBinaryOp" -> Operand [headlabel="2"]
+    "Rvalue\nUnaryOp" -> Operand
+    "Statement\nAssignment" -> Place [taillabel="write"]
+    "Statement\nAssignment" -> Rvalue
+    Statement -> "Statement\nAssignment"
+    Statement -> "Statement\n..."
+    Block -> Statement [headlabel="*"]
+    Block -> Terminator
+    Terminator -> "Terminator\nSwitchInt"
+    "Terminator\nSwitchInt" -> Operand
+    "Terminator\nSwitchInt" -> Constant [headlabel="*"]
+    "Terminator\nSwitchInt" -> BlockId [headlabel="*"]
+    Terminator -> "Terminator\n..."
+    Mir -> Block [headlabel="*"]
+    Mir -> Local [headlabel="*"]
+}

src/mir/mir_detailed.svg

@@ -0,0 +1,10 @@
+digraph G {
+    Operand -> Constant
+    Operand -> Place
+    Place -> Projection
+    Projection -> Place
+    Place -> Local
+    Rvalue -> Operand
+    Assignment -> Place
+    Assignment -> Operand
+}