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

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