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

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