nsz Git - libfirm/blob - testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg

   1 graph: { title: "ir graph of GLOBAL_CSE_EXAMPLE_main"
   2 display_edge_labels: yes
   3 layoutalgorithm: mindepth
   4 manhattan_edges: yes
   5 port_sharing: no
   6 orientation: bottom_to_top
   7 classname 1: "Data"
   8 classname 2: "Block"
   9 classname 3: "Entity type"
  10 classname 4: "Entity owner"
  11 classname 5: "Method Param"
  12 classname 6: "Method Res"
  13 classname 7: "Super"
  14 classname 8: "Union"
  15 classname 9: "Points-to"
  16 classname 10: "Array Element Type"
  17 classname 11: "Overwrites"
  18 classname 12: "Member"
  19
  20 graph: { title: "g28" label: "GLOBAL_CSE_EXAMPLE_main" status:clustered color:white
  21 graph: { title: "n64"  label: "Block 64" status:clustered color:yellow
  22 edge: {sourcename: "n64" targetname: "n65" label: "0" color: red}
  23 node: {title: "n63" label: "End  63" color: blue info1: "visited: 12
  24 "}
  25 }
  26
  27 node: {title: "n88" label: "ProjM 1 88" color: yellow info1: "visited: 12
  28 "}
  29 edge: {sourcename: "n88" targetname: "n73" label: "0" color: blue}
  30 node: {title: "n86" label: "AddIs  86"  info1: "visited: 12
  31 "}
  32 edge: {sourcename: "n86" targetname: "n84" label: "0" }
  33 edge: {sourcename: "n86" targetname: "n87" label: "1" }
  34 node: {title: "n87" label: "0x5Is  87" color: yellow info1: "visited: 12
  35 Const of type type_unknown
  36 "}
  37 node: {title: "n84" label: "SubIs  84"  info1: "visited: 12
  38 "}
  39 edge: {sourcename: "n84" targetname: "n78" label: "0" }
  40 edge: {sourcename: "n84" targetname: "n85" label: "1" }
  41 node: {title: "n85" label: "0x3Is  85" color: yellow info1: "visited: 12
  42 Const of type type_unknown
  43 "}
  44 graph: { title: "n66"  label: "Block 66" status:clustered color:yellow
  45 edge: {sourcename: "n66" targetname: "n80" label: "0" color: red}
  46 edge: {sourcename: "n66" targetname: "n67" label: "1" color: red}
  47 node: {title: "n65" label: "Return  65"  info1: "visited: 12
  48 return in method of type GLOBAL_CSE_EXAMPLE_main
  49   res 0 type: int
  50 "}
  51 edge: {sourcename: "n65" targetname: "n88" label: "0" color: blue}
  52 edge: {sourcename: "n65" targetname: "n83" label: "1" }
  53 node: {title: "n83" label: "PhiIs  83" color: green info1: "visited: 12
  54 "}
  55 edge: {sourcename: "n83" targetname: "n86" label: "0" }
  56 edge: {sourcename: "n83" targetname: "n84" label: "1" }
  57 }
  58
  59 graph: { title: "n81"  label: "Block 81" status:clustered color:yellow
  60 edge: {sourcename: "n81" targetname: "n82" label: "0" color: red}
  61 node: {title: "n80" label: "Jmp  80"  info1: "visited: 12
  62 "}
  63 }
  64
  65 node: {title: "n82" label: "ProjX 0 82" color: yellow info1: "visited: 12
  66 "}
  67 edge: {sourcename: "n82" targetname: "n74" label: "0" color: red}
  68 graph: { title: "n68"  label: "Block 68" status:clustered color:yellow
  69 edge: {sourcename: "n68" targetname: "n69" label: "0" color: red}
  70 node: {title: "n67" label: "Jmp  67"  info1: "visited: 12
  71 "}
  72 }
  73
  74 node: {title: "n69" label: "ProjX 1 69" color: yellow info1: "visited: 12
  75 "}
  76 edge: {sourcename: "n69" targetname: "n74" label: "0" color: red}
  77 node: {title: "n75" label: "Projb Eq 75" color: yellow info1: "visited: 12
  78 "}
  79 edge: {sourcename: "n75" targetname: "n76" label: "0" }
  80 node: {title: "n76" label: "CmpT  76"  info1: "visited: 12
  81 "}
  82 edge: {sourcename: "n76" targetname: "n78" label: "0" }
  83 edge: {sourcename: "n76" targetname: "n77" label: "1" }
  84 node: {title: "n78" label: "ProjIs 0 78" color: yellow info1: "visited: 12
  85 "}
  86 edge: {sourcename: "n78" targetname: "n79" label: "0" }
  87 node: {title: "n79" label: "ProjT 4 79" color: yellow info1: "visited: 12
  88 "}
  89 edge: {sourcename: "n79" targetname: "n73" label: "0" }
  90 node: {title: "n77" label: "0x2Is  77" color: yellow info1: "visited: 12
  91 Const of type type_unknown
  92 "}
  93 graph: { title: "n70"  label: "Block 70" status:clustered color:yellow
  94 edge: {sourcename: "n70" targetname: "n71" label: "0" color: red}
  95 node: {title: "n74" label: "Cond  74"  info1: "visited: 12
  96 "}
  97 edge: {sourcename: "n74" targetname: "n75" label: "0" }
  98 }
  99
 100 node: {title: "n71" label: "ProjX 0 71" color: yellow info1: "visited: 12
 101 "}
 102 edge: {sourcename: "n71" targetname: "n73" label: "0" color: red}
 103 graph: { title: "n72"  label: "Block 72" status:clustered color:yellow
 104 edge: {sourcename: "n72" targetname: "n71" label: "0" color: red}
 105 node: {title: "n73" label: "Start  73" color: blue info1: "visited: 12
 106 start of method of type GLOBAL_CSE_EXAMPLE_main
 107   param 0 type: int
 108 "}
 109 }
 110
 111 }
 112
 113 }