src/bigint_presentation_code/_tests/test_register_allocator/test_register_allocate_graphs/expected/step_24_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 = "dotted", 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 = "dotted", color = "black"]
   8     "8" [label = "<li.inp0.setvl.outputs[0]: <VL_MAXVL>>: 0", style = "dotted", color = "black"]
   9     "10" [label = "<li.out0.setvl.outputs[0]: <VL_MAXVL>>: 0", style = "dotted", color = "black"]
  10     "13" [label = "<add.inp0.setvl.outputs[0]: <VL_MAXVL>>: 0", style = "dotted", color = "black"]
  11     "14" [label = "<add.inp0.copy.outputs[0]: <I64*32>>: 0", style = "dotted", color = "black"]
  12     "15" [label = "<add.inp1.setvl.outputs[0]: <VL_MAXVL>>: 0", style = "dotted", color = "black"]
  13     "17" [label = "<add.inp3.setvl.outputs[0]: <VL_MAXVL>>: 0", style = "dotted", color = "black"]
  14     "20" [label = "<ca.outputs[0]: <CA>>: 0\n<add.outputs[1]: <CA>>: 0", style = "dotted", color = "black"]
  15     "21" [label = "<add.out0.setvl.outputs[0]: <VL_MAXVL>>: 0", style = "dotted", color = "black"]
  16     "23" [label = "<st.inp0.setvl.outputs[0]: <VL_MAXVL>>: 0", style = "dotted", color = "black"]
  17     "26" [label = "<st.inp2.setvl.outputs[0]: <VL_MAXVL>>: 0", style = "dotted", color = "black"]
  18     "30" [label = "<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 = "dotted", color = "black"]
  19     "32" [label = "<add.inp1.copy.outputs[0]: <I64*32>>: 0\n<li.outputs[0]: <I64*32>>: 0\n<li.out0.copy.outputs[0]: <I64*32>>: 0", style = "dotted", color = "black"]
  20     "33" [label = "score=83\n<add.outputs[0]: <I64*32>>: 0\n<add.out0.copy.outputs[0]: <I64*32>>: 0\n<st.inp0.copy.outputs[0]: <I64*32>>: 0", style = "bold", color = "green"]
  21     "5" -- "7" [label = "copy related", color = "blue", style = "dashed", decorate = true]
  22     "5" -- "14" [label = "copy related", color = "blue", style = "dashed", decorate = true]
  23     "5" -- "30" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  24     "7" -- "14" [label = "copy related", color = "blue", style = "dashed", decorate = true]
  25     "7" -- "30" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  26     "7" -- "32" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  27     "14" -- "30" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  28     "14" -- "32" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  29     "14" -- "33" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  30     "30" -- "32" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  31     "30" -- "33" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  32     "32" -- "33" [label = "interferes", color = "darkred", style = "bold", decorate = true]
  33 }