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

   1 graph: { title: "ir graph of ENDLESS_LOOP_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:  "intrablock Data"
   8 classname 16: "interblock Data"
   9 classname 2:  "Block"
  10 classname 13: "Control Flow"
  11 classname 14: "intrablock Memory"
  12 classname 17: "interblock Memory"
  13 classname 15: "Dominators"
  14 classname 3:  "Entity type"
  15 classname 4:  "Entity owner"
  16 classname 5:  "Method Param"
  17 classname 6:  "Method Res"
  18 classname 7:  "Super"
  19 classname 8:  "Union"
  20 classname 9:  "Points-to"
  21 classname 10: "Array Element Type"
  22 classname 11: "Overwrites"
  23 classname 12: "Member"
  24 infoname 1: "Attribute"
  25 infoname 2: "Verification errors"
  26
  27 graph: { title: "g27" label: "ENDLESS_LOOP_EXAMPLE_main" status:clustered color:white
  28 graph: { title: "n78"  label: "Block 78" status:clustered color:yellow
  29 edge: {sourcename: "n78" targetname: "n82" label: "0" class:13 priority:60 color:red}
  30 edge: {sourcename: "n78" targetname: "n79" label: "1" class:13 priority:60 color:red}
  31 node: {title: "n84" label: "PhiM  84"  info1: "visited: 19
  32 irg:     ENDLESS_LOOP_EXAMPLE_main
  33 arity: 2 backedges:
  34 " info2: "mode_is_dataM(mymode) && Phi node"color: green}
  35 edge: {sourcename: "n84" targetname: "n94" label: "0" class:17 priority:10 color:blue}
  36 edge: {sourcename: "n84" targetname: "n85" label: "1" class:17 priority:10 color:blue}
  37 node: {title: "n85" label: "ProjM 0 85"  info1: "visited: 19
  38 irg:     ENDLESS_LOOP_EXAMPLE_main
  39 arity: 1
  40 "color: yellow}
  41 edge: {sourcename: "n85" targetname: "n86" label: "0" class:17 priority:10 color:blue}
  42 node: {title: "n86" label: "Store  86"  info1: "visited: 19
  43 irg:     ENDLESS_LOOP_EXAMPLE_main
  44 arity: 3
  45 " info2: "mymode == mode_T && Store node"}
  46 edge: {sourcename: "n86" targetname: "n84" label: "0" class:14 priority:50 color:blue}
  47 edge: {sourcename: "n86" targetname: "n92" label: "1" class:1  priority:50}
  48 edge: {sourcename: "n86" targetname: "n87" label: "2" class:1  priority:50}
  49 node: {title: "n92" label: "Sel VAR_A 92"  info1: "visited: 19
  50 irg:     ENDLESS_LOOP_EXAMPLE_main
  51 arity: 2
  52 Selecting entity of type int
  53   from entity of type GlobalType
  54 "}
  55 edge: {sourcename: "n92" targetname: "n84" label: "0" class:14 priority:50 color:blue}
  56 edge: {sourcename: "n92" targetname: "n93" label: "1" class:16 priority:10}
  57 node: {title: "n87" label: "PhiIs  87"  info1: "visited: 19
  58 irg:     ENDLESS_LOOP_EXAMPLE_main
  59 arity: 2 backedges:
  60 " info2: "mode_is_dataM(mymode) && Phi node"color: green}
  61 edge: {sourcename: "n87" targetname: "n90" label: "0" class:16 priority:10}
  62 edge: {sourcename: "n87" targetname: "n88" label: "1" class:1  priority:50}
  63 node: {title: "n88" label: "PhiIs  88"  info1: "visited: 19
  64 irg:     ENDLESS_LOOP_EXAMPLE_main
  65 arity: 2 backedges:
  66 " info2: "mode_is_dataM(mymode) && Phi node"color: green}
  67 edge: {sourcename: "n88" targetname: "n89" label: "0" class:16 priority:10}
  68 edge: {sourcename: "n88" targetname: "n87" label: "1" class:1  priority:50}
  69 node: {title: "n79" label: "Jmp  79"  info1: "visited: 19
  70 irg:     ENDLESS_LOOP_EXAMPLE_main
  71 arity: 0
  72 " info2: "mymode == mode_X && Jmp node"}
  73 }
  74
  75 graph: { title: "n83"  label: "Block 83" status:clustered color:yellow
  76 edge: {sourcename: "n83" targetname: "n76" label: "0" class:13 priority:60 color:red}
  77 node: {title: "n90" label: "ProjIs 0 90"  info1: "visited: 19
  78 irg:     ENDLESS_LOOP_EXAMPLE_main
  79 arity: 1
  80 " info2: "(mode == get_type_mode(get_method_param_type(mt, proj))) && Mode of Proj from Start doesn't match mode of param type."color: yellow}
  81 edge: {sourcename: "n90" targetname: "n91" label: "0" class:16 priority:10}
  82 node: {title: "n82" label: "Jmp  82"  info1: "visited: 19
  83 irg:     ENDLESS_LOOP_EXAMPLE_main
  84 arity: 0
  85 " info2: "mymode == mode_X && Jmp node"}
  86 }
  87
  88 graph: { title: "n75"  label: "Block 75" status:clustered color:yellow
  89 edge: {sourcename: "n75" targetname: "n76" label: "0" class:13 priority:60 color:red}
  90 node: {title: "n94" label: "ProjM 1 94"  info1: "visited: 19
  91 irg:     ENDLESS_LOOP_EXAMPLE_main
  92 arity: 1
  93 "color: yellow}
  94 edge: {sourcename: "n94" targetname: "n77" label: "0" class:17 priority:10 color:blue}
  95 node: {title: "n93" label: "ProjP 3 93"  info1: "visited: 19
  96 irg:     ENDLESS_LOOP_EXAMPLE_main
  97 arity: 1
  98 "color: yellow}
  99 edge: {sourcename: "n93" targetname: "n77" label: "0" class:1  priority:50}
 100 node: {title: "n91" label: "ProjT 4 91"  info1: "visited: 19
 101 irg:     ENDLESS_LOOP_EXAMPLE_main
 102 arity: 1
 103 "color: yellow}
 104 edge: {sourcename: "n91" targetname: "n77" label: "0" class:1  priority:50}
 105 node: {title: "n89" label: "0x1Is  89"  info1: "visited: 19
 106 irg:     ENDLESS_LOOP_EXAMPLE_main
 107 arity: 0
 108 Const of type type_unknown
 109 " info2: "(mode_is_data (mymode) || mymode == mode_b) && Const node"color: yellow}
 110 node: {title: "n76" label: "ProjX 0 76"  info1: "visited: 19
 111 irg:     ENDLESS_LOOP_EXAMPLE_main
 112 arity: 1
 113 "color: yellow}
 114 edge: {sourcename: "n76" targetname: "n77" label: "0" class:13 priority:60 color:red}
 115 node: {title: "n77" label: "Start  77"  info1: "visited: 19
 116 irg:     ENDLESS_LOOP_EXAMPLE_main
 117 arity: 0
 118 start of method of type main_tp
 119   param 0 type: int
 120 " info2: "mymode == mode_T && Start node"color: blue}
 121 }
 122
 123 graph: { title: "n73"  label: "Block 73" status:clustered color:yellow
 124 node: {title: "n72" label: "End  72"  info1: "visited: 19
 125 irg:     ENDLESS_LOOP_EXAMPLE_main
 126 arity: 2
 127 "color: blue}
 128 edge: {sourcename: "n72" targetname: "n78" label: "0" class:13 priority:60 color:red}
 129 edge: {sourcename: "n72" targetname: "n84" label: "1" }
 130 }
 131
 132 }
 133
 134 }