src/bigint_presentation_code/_tests/test_register_allocator/test_register_allocate_graphs/expected/step_7_simplify.dot

   1 graph {
   2     graph [pack = true]
   3     "0" [label = "<arg.outputs[0]: <I64>>: 0", style = "solid", color = "black"]
   4     "1" [label = "<arg.out0.copy.outputs[0]: <I64>>: 0", style = "solid", color = "black"]
   5     "2" [label = "<vl.outputs[0]: <VL_MAXVL>>: 0", style = "dotted", color = "black"]
   6     "3" [label = "<ld.inp0.copy.outputs[0]: <I64>>: 0", style = "solid", color = "black"]
   7     "4" [label = "<ld.inp1.setvl.outputs[0]: <VL_MAXVL>>: 0", style = "dotted", color = "black"]
   8     "5" [label = "<ld.outputs[0]: <I64*32>>: 0", style = "solid", color = "black"]
   9     "6" [label = "<ld.out0.setvl.outputs[0]: <VL_MAXVL>>: 0", style = "dotted", color = "black"]
  10     "7" [label = "<ld.out0.copy.outputs[0]: <I64*32>>: 0", style = "solid", color = "black"]
  11     "8" [label = "<li.inp0.setvl.outputs[0]: <VL_MAXVL>>: 0", style = "dotted", color = "black"]
  12     "9" [label = "<li.outputs[0]: <I64*32>>: 0", style = "solid", color = "black"]
  13     "10" [label = "<li.out0.setvl.outputs[0]: <VL_MAXVL>>: 0", style = "dotted", color = "black"]
  14     "11" [label = "<li.out0.copy.outputs[0]: <I64*32>>: 0", style = "solid", color = "black"]
  15     "13" [label = "<add.inp0.setvl.outputs[0]: <VL_MAXVL>>: 0", style = "dotted", color = "black"]
  16     "14" [label = "<add.inp0.copy.outputs[0]: <I64*32>>: 0", style = "solid", color = "black"]
  17     "15" [label = "<add.inp1.setvl.outputs[0]: <VL_MAXVL>>: 0", style = "dotted", color = "black"]
  18     "16" [label = "<add.inp1.copy.outputs[0]: <I64*32>>: 0", style = "solid", color = "black"]
  19     "17" [label = "score=1\n<add.inp3.setvl.outputs[0]: <VL_MAXVL>>: 0", style = "bold", color = "green"]
  20     "18" [label = "<add.outputs[0]: <I64*32>>: 0", style = "solid", color = "black"]
  21     "20" [label = "<ca.outputs[0]: <CA>>: 0\n<add.outputs[1]: <CA>>: 0", style = "solid", color = "black"]
  22     "21" [label = "<add.out0.setvl.outputs[0]: <VL_MAXVL>>: 0", style = "solid", color = "black"]
  23     "22" [label = "<add.out0.copy.outputs[0]: <I64*32>>: 0", style = "solid", color = "black"]
  24     "23" [label = "<st.inp0.setvl.outputs[0]: <VL_MAXVL>>: 0", style = "solid", color = "black"]
  25     "24" [label = "<st.inp0.copy.outputs[0]: <I64*32>>: 0", style = "solid", color = "black"]
  26     "25" [label = "<st.inp1.copy.outputs[0]: <I64>>: 0", style = "solid", color = "black"]
  27     "26" [label = "<st.inp2.setvl.outputs[0]: <VL_MAXVL>>: 0", style = "solid", color = "black"]
  28     "0" -- "1" [label = "copy related", color = "blue", style = "dashed", decorate = true]
  29     "0" -- "3" [label = "copy related", color = "blue", style = "dashed", decorate = true]
  30     "0" -- "25" [label = "copy related", color = "blue", style = "dashed", decorate = true]
  31     "1" -- "3" [label = "copy related", color = "blue", style = "dashed", decorate = true]
  32     "1" -- "25" [label = "copy related", color = "blue", style = "dashed", decorate = true]
  33     "1" -- "5" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  34     "1" -- "7" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  35     "1" -- "9" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  36     "1" -- "11" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  37     "1" -- "14" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  38     "1" -- "16" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  39     "1" -- "18" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  40     "1" -- "22" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  41     "1" -- "24" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  42     "3" -- "25" [label = "copy related", color = "blue", style = "dashed", decorate = true]
  43     "3" -- "5" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  44     "5" -- "7" [label = "copy related", color = "blue", style = "dashed", decorate = true]
  45     "5" -- "14" [label = "copy related", color = "blue", style = "dashed", decorate = true]
  46     "7" -- "14" [label = "copy related", color = "blue", style = "dashed", decorate = true]
  47     "7" -- "9" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  48     "7" -- "11" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  49     "9" -- "11" [label = "copy related", color = "blue", style = "dashed", decorate = true]
  50     "9" -- "16" [label = "copy related", color = "blue", style = "dashed", decorate = true]
  51     "11" -- "16" [label = "copy related", color = "blue", style = "dashed", decorate = true]
  52     "11" -- "14" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  53     "14" -- "16" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  54     "14" -- "18" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  55     "16" -- "18" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  56     "18" -- "22" [label = "copy related", color = "blue", style = "dashed", decorate = true]
  57     "18" -- "24" [label = "copy related", color = "blue", style = "dashed", decorate = true]
  58     "22" -- "24" [label = "copy related", color = "blue", style = "dashed", decorate = true]
  59     "24" -- "25" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  60 }