arch ops initialized
[libfirm] / testprograms / ref-results / STRENGTH_RED_EXAMPLE_m2.vcg
index 2f54dab..965171b 100644 (file)
@@ -52,219 +52,427 @@ colorentry 123:  255 220  220
 colorentry 124:  255 240  240
 colorentry 125:  255 250  250
 
-graph: { title: "g148" label: "STRENGTH_RED_EXAMPLE_m2" status:clustered color:white
-graph: { title: "n137"  label: "Block 137" status:clustered color:yellow
-edge: {sourcename: "n137" targetname: "n186" label: "0" class:13 priority:60 color:red}
-node: {title: "n138" label: "End  138"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 1
-"color: blue}
+graph: { title: "g150" label: "STRENGTH_RED_EXAMPLE_m2" status:clustered color:white
+graph: { title: "n139"  label: "Block 139" status:clustered color:yellow
+edge: {sourcename: "n139" targetname: "n190" label: "0" class:13 priority:60 color:red}
+node: {title: "n140" label: "End 140"  info1: "End 140
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   1
+  pred nodes:
+    -1:    Block 139
+     0:    Phi 194
+  Private Attributes:
+  in loop 571 with depth 0
+"
+color: blue}
 }
 
-graph: { title: "n183"  label: "Block 183" status:clustered color:yellow
-edge: {sourcename: "n183" targetname: "n159" label: "0" class:13 priority:60 color:red}
-node: {title: "n186" label: "Return  186"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 2
-return in method of type STRENGTH_RED_EXAMPLE_meth_tp
-  res 0 type: int
-"}
-node: {title: "n186n165" label: "0x4Is  165"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n186" targetname: "n190" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n186" targetname: "n186n165" label: "1" class:16 priority:10}
+graph: { title: "n187"  label: "Block 187" status:clustered color:yellow
+edge: {sourcename: "n187" targetname: "n163" label: "0" class:13 priority:60 color:red}
+node: {title: "n190" label: "Return 190"  info1: "Return 190
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   2
+  pred nodes:
+    -1:    Block 187
+     0:    Phi 194
+     1:    0x4 169
+  Private Attributes:
+  in loop 571 with depth 0
+  return in method of type STRENGTH_RED_EXAMPLE_meth_tp
+    res 0 type: int
+"
+}
+node: {title: "n190n169" label: "0x4Is 169"  info1: "0x4 169
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   0
+  pred nodes:
+    -1:    Block 141
+  Private Attributes:
+  in loop 571 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n190" targetname: "n194" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n190" targetname: "n190n169" label: "1" class:16 priority:10}
 }
 
-graph: { title: "n153"  label: "Block 153" status:clustered color:yellow
-edge: {sourcename: "n153" targetname: "n152" label: "0" class:13 priority:60 color:red}
-backedge: {sourcename: "n153" targetname: "n177" label: "1" linestyle:dashed class:13 priority:60 color:red}
-node: {title: "n190" label: "PhiM  190"  info1: "mode:    M
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 2 backedges:  1
-"color: green}
-edge: {sourcename: "n190" targetname: "n146" label: "0" class:17 priority:10 color:blue}
-backedge: {sourcename: "n190" targetname: "n175" label: "1" linestyle:dashed class:17 priority:10 color:blue}
-node: {title: "n159" label: "ProjX 0 159"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 1
-"color: yellow}
-edge: {sourcename: "n159" targetname: "n158" label: "0" class:13 priority:60 color:red}
-node: {title: "n160" label: "ProjX 1 160"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 1
-"color: yellow}
-edge: {sourcename: "n160" targetname: "n158" label: "0" class:13 priority:60 color:red}
-node: {title: "n158" label: "Cond  158"  info1: "mode:    T
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 1
-"}
-edge: {sourcename: "n158" targetname: "n157" label: "0" class:1  priority:50}
-node: {title: "n157" label: "Projb Gt 157"  info1: "mode:    b
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 1
-"color: yellow}
-edge: {sourcename: "n157" targetname: "n156" label: "0" class:1  priority:50}
-node: {title: "n156" label: "Cmp  156"  info1: "mode:    T
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 2
-"}
-node: {title: "n156n155" label: "0xAIs  155"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n156" targetname: "n156n155" label: "0" class:16 priority:10}
-edge: {sourcename: "n156" targetname: "n191" label: "1" class:1  priority:50}
-node: {title: "n191" label: "PhiIs  191"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 2 backedges:  1
-"color: green}
-node: {title: "n191n150" label: "0x0Is  150"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n191" targetname: "n191n150" label: "0" class:16 priority:10}
-backedge: {sourcename: "n191" targetname: "n176" label: "1" linestyle:dashed class:16 priority:10}
+graph: { title: "n155"  label: "Block 155" status:clustered color:yellow
+edge: {sourcename: "n155" targetname: "n154" label: "0" class:13 priority:60 color:red}
+backedge: {sourcename: "n155" targetname: "n181" label: "1" linestyle:dashed class:13 priority:60 color:red}
+node: {title: "n194" label: "PhiM 194"  info1: "Phi 194
+  mode:    M
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   2
+  pred nodes:
+    -1:    Block 155
+     0:    Proj 148
+     1: be Proj 179
+  Private Attributes:
+  backedges:  1
+  in loop 574 with depth 1
+"
+color: green}
+edge: {sourcename: "n194" targetname: "n148" label: "0" class:17 priority:10 color:blue}
+backedge: {sourcename: "n194" targetname: "n179" label: "1" linestyle:dashed class:17 priority:10 color:blue}
+node: {title: "n163" label: "ProjX 0 163"  info1: "Proj 163
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   1
+  pred nodes:
+    -1:    Block 155
+     0:    Cond 162
+  Private Attributes:
+  in loop 571 with depth 0
+"
+color: yellow}
+edge: {sourcename: "n163" targetname: "n162" label: "0" class:13 priority:60 color:red}
+node: {title: "n164" label: "ProjX 1 164"  info1: "Proj 164
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   1
+  pred nodes:
+    -1:    Block 155
+     0:    Cond 162
+  Private Attributes:
+  in loop 573 with depth 2
+"
+color: yellow}
+edge: {sourcename: "n164" targetname: "n162" label: "0" class:13 priority:60 color:red}
+node: {title: "n162" label: "Cond 162"  info1: "Cond 162
+  mode:    T
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   1
+  pred nodes:
+    -1:    Block 155
+     0:    Proj 159
+  Private Attributes:
+  in loop 573 with depth 2
+  condition kind: dense
+  default ProjNr: 0
+"
+}
+edge: {sourcename: "n162" targetname: "n159" label: "0" class:1  priority:50}
+node: {title: "n159" label: "Projb Le 159"  info1: "Proj 159
+  mode:    b
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   1
+  pred nodes:
+    -1:    Block 155
+     0:    Cmp 161
+  Private Attributes:
+  in loop 573 with depth 2
+"
+color: yellow}
+edge: {sourcename: "n159" targetname: "n161" label: "0" class:1  priority:50}
+node: {title: "n161" label: "Cmp 161"  info1: "Cmp 161
+  mode:    T
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   2
+  pred nodes:
+    -1:    Block 155
+     0:    Phi 195
+     1:    0x9 160
+  Private Attributes:
+  in loop 573 with depth 2
+"
+}
+node: {title: "n161n160" label: "0x9Is 160"  info1: "0x9 160
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   0
+  pred nodes:
+    -1:    Block 141
+  Private Attributes:
+  in loop 571 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n161" targetname: "n195" label: "0" class:1  priority:50}
+edge: {sourcename: "n161" targetname: "n161n160" label: "1" class:16 priority:10}
+node: {title: "n195" label: "PhiIs 195"  info1: "Phi 195
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   2
+  pred nodes:
+    -1:    Block 155
+     0:    0x0 152
+     1: be Add 180
+  Private Attributes:
+  backedges:  1
+  in loop 572 with depth 1
+"
+color: green}
+node: {title: "n195n152" label: "0x0Is 152"  info1: "0x0 152
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   0
+  pred nodes:
+    -1:    Block 141
+  Private Attributes:
+  in loop 571 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n195" targetname: "n195n152" label: "0" class:16 priority:10}
+backedge: {sourcename: "n195" targetname: "n180" label: "1" linestyle:dashed class:16 priority:10}
 }
 
-graph: { title: "n149"  label: "Block 149" status:clustered color:yellow
-edge: {sourcename: "n149" targetname: "n143" label: "0" class:13 priority:60 color:red}
-node: {title: "n152" label: "Jmp  152"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 0
-"}
+graph: { title: "n151"  label: "Block 151" status:clustered color:yellow
+edge: {sourcename: "n151" targetname: "n145" label: "0" class:13 priority:60 color:red}
+node: {title: "n154" label: "Jmp 154"  info1: "Jmp 154
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   0
+  pred nodes:
+    -1:    Block 151
+  Private Attributes:
+  in loop 571 with depth 0
+"
+}
 }
 
-graph: { title: "n161"  label: "Block 161" status:clustered color:yellow
-edge: {sourcename: "n161" targetname: "n160" label: "0" class:13 priority:60 color:red}
-node: {title: "n175" label: "ProjM 0 175"  info1: "mode:    M
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 1
-"color: yellow}
-edge: {sourcename: "n175" targetname: "n173" label: "0" class:17 priority:10 color:blue}
-node: {title: "n173" label: "Store  173"  info1: "mode:    T
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 3
-volatility: volatility_non_volatile
-"}
-edge: {sourcename: "n173" targetname: "n190" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n173" targetname: "n171" label: "1" class:1  priority:50}
-edge: {sourcename: "n173" targetname: "n167" label: "2" class:1  priority:50}
-node: {title: "n171" label: "AddP  171"  info1: "mode:    P
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 2
-"}
-node: {title: "n171n163" label: "0xDIs  163"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n171" targetname: "n171n163" label: "0" class:16 priority:10}
-edge: {sourcename: "n171" targetname: "n170" label: "1" class:1  priority:50}
-node: {title: "n170" label: "AddP  170"  info1: "mode:    P
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 2
-"}
-node: {title: "n170n151" label: "SymC &a  151"  info1: "mode:    P
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 0
-kind: addr_ent
-entity GlobalType.a (135)
+graph: { title: "n165"  label: "Block 165" status:clustered color:yellow
+edge: {sourcename: "n165" targetname: "n164" label: "0" class:13 priority:60 color:red}
+node: {title: "n179" label: "ProjM 0 179"  info1: "Proj 179
+  mode:    M
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   1
+  pred nodes:
+    -1:    Block 165
+     0:    Store 177
+  Private Attributes:
+  in loop 574 with depth 1
+"
+color: yellow}
+edge: {sourcename: "n179" targetname: "n177" label: "0" class:17 priority:10 color:blue}
+node: {title: "n177" label: "Store 177"  info1: "Store 177
+  mode:    T
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   3
+  pred nodes:
+    -1:    Block 165
+     0:    Phi 194
+     1:    Add 175
+     2:    Mul 171
+  Private Attributes:
+  pinned state: op_pin_state_pinned
+  in loop 574 with depth 1
+  volatility: volatility_non_volatile
+"
+}
+edge: {sourcename: "n177" targetname: "n194" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n177" targetname: "n175" label: "1" class:1  priority:50}
+edge: {sourcename: "n177" targetname: "n171" label: "2" class:1  priority:50}
+node: {title: "n175" label: "AddP 175"  info1: "Add 175
+  mode:    P
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   2
+  pred nodes:
+    -1:    Block 165
+     0:    0xD 167
+     1:    Add 174
+  Private Attributes:
+  in loop 571 with depth 0
+"
+}
+node: {title: "n175n167" label: "0xDIs 167"  info1: "0xD 167
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   0
+  pred nodes:
+    -1:    Block 141
+  Private Attributes:
+  in loop 571 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n175" targetname: "n175n167" label: "0" class:16 priority:10}
+edge: {sourcename: "n175" targetname: "n174" label: "1" class:1  priority:50}
+node: {title: "n174" label: "AddP 174"  info1: "Add 174
+  mode:    P
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   2
+  pred nodes:
+    -1:    Block 165
+     0:    Mul 172
+     1:    SymC &a 153
+  Private Attributes:
+  in loop 571 with depth 0
+"
+}
+node: {title: "n174n153" label: "SymC &a 153"  info1: "SymC &a 153
+  mode:    P
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   0
+  pred nodes:
+    -1:    Block 141
+  Private Attributes:
+  in loop 571 with depth 0
+  kind:   addr_ent
+  entity: entity GlobalType.a (137)
 
-SymConst of type: type_unknown
-"}
-edge: {sourcename: "n170" targetname: "n168" label: "0" class:1  priority:50}
-edge: {sourcename: "n170" targetname: "n170n151" label: "1" class:16 priority:10}
-node: {title: "n168" label: "MulIs  168"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 2
-"}
-node: {title: "n168n165" label: "0x4Is  165"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n168" targetname: "n168n165" label: "0" class:16 priority:10}
-edge: {sourcename: "n168" targetname: "n191" label: "1" class:16 priority:10}
-node: {title: "n167" label: "MulIs  167"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 2
-"}
-node: {title: "n167n162" label: "0xFIs  162"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n167" targetname: "n167n162" label: "0" class:16 priority:10}
-edge: {sourcename: "n167" targetname: "n191" label: "1" class:16 priority:10}
-node: {title: "n177" label: "Jmp  177"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 0
-"}
-node: {title: "n176" label: "AddIs  176"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 2
-"}
-node: {title: "n176n164" label: "0x1Is  164"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n176" targetname: "n176n164" label: "0" class:16 priority:10}
-edge: {sourcename: "n176" targetname: "n191" label: "1" class:16 priority:10}
+  type of value: type_unknown
+"
+}
+edge: {sourcename: "n174" targetname: "n172" label: "0" class:1  priority:50}
+edge: {sourcename: "n174" targetname: "n174n153" label: "1" class:16 priority:10}
+node: {title: "n172" label: "MulIs 172"  info1: "Mul 172
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   2
+  pred nodes:
+    -1:    Block 165
+     0:    0x4 169
+     1:    Phi 195
+  Private Attributes:
+  in loop 571 with depth 0
+"
+}
+node: {title: "n172n169" label: "0x4Is 169"  info1: "0x4 169
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   0
+  pred nodes:
+    -1:    Block 141
+  Private Attributes:
+  in loop 571 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n172" targetname: "n172n169" label: "0" class:16 priority:10}
+edge: {sourcename: "n172" targetname: "n195" label: "1" class:16 priority:10}
+node: {title: "n171" label: "MulIs 171"  info1: "Mul 171
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   2
+  pred nodes:
+    -1:    Block 165
+     0:    0xF 166
+     1:    Phi 195
+  Private Attributes:
+  in loop 571 with depth 0
+"
+}
+node: {title: "n171n166" label: "0xFIs 166"  info1: "0xF 166
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   0
+  pred nodes:
+    -1:    Block 141
+  Private Attributes:
+  in loop 571 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n171" targetname: "n171n166" label: "0" class:16 priority:10}
+edge: {sourcename: "n171" targetname: "n195" label: "1" class:16 priority:10}
+node: {title: "n181" label: "Jmp 181"  info1: "Jmp 181
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   0
+  pred nodes:
+    -1:    Block 165
+  Private Attributes:
+  in loop 573 with depth 2
+"
+}
+node: {title: "n180" label: "AddIs 180"  info1: "Add 180
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   2
+  pred nodes:
+    -1:    Block 165
+     0:    0x1 168
+     1:    Phi 195
+  Private Attributes:
+  in loop 572 with depth 1
+"
+}
+node: {title: "n180n168" label: "0x1Is 168"  info1: "0x1 168
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   0
+  pred nodes:
+    -1:    Block 141
+  Private Attributes:
+  in loop 571 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n180" targetname: "n180n168" label: "0" class:16 priority:10}
+edge: {sourcename: "n180" targetname: "n195" label: "1" class:16 priority:10}
 }
 
-graph: { title: "n139"  label: "Block 139" status:clustered color:yellow
-edge: {sourcename: "n139" targetname: "n143" label: "0" class:13 priority:60 color:red}
-node: {title: "n146" label: "ProjM 1 146"  info1: "mode:    M
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 1
-"color: yellow}
-edge: {sourcename: "n146" targetname: "n140" label: "0" class:17 priority:10 color:blue}
-node: {title: "n143" label: "ProjX 0 143"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 1
-"color: yellow}
-edge: {sourcename: "n143" targetname: "n140" label: "0" class:13 priority:60 color:red}
-node: {title: "n140" label: "Start  140"  info1: "mode:    T
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m2
-arity: 0
-start of method of type STRENGTH_RED_EXAMPLE_meth_tp
-  param 0 type: int
-"color: blue}
+graph: { title: "n141"  label: "Block 141" status:clustered color:yellow
+edge: {sourcename: "n141" targetname: "n145" label: "0" class:13 priority:60 color:red}
+node: {title: "n148" label: "ProjM 1 148"  info1: "Proj 148
+  mode:    M
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   1
+  pred nodes:
+    -1:    Block 141
+     0:    Start 142
+  Private Attributes:
+  in loop 571 with depth 0
+"
+color: yellow}
+edge: {sourcename: "n148" targetname: "n142" label: "0" class:17 priority:10 color:blue}
+node: {title: "n145" label: "ProjX 0 145"  info1: "Proj 145
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   1
+  pred nodes:
+    -1:    Block 141
+     0:    Start 142
+  Private Attributes:
+  in loop 571 with depth 0
+"
+color: yellow}
+edge: {sourcename: "n145" targetname: "n142" label: "0" class:13 priority:60 color:red}
+node: {title: "n142" label: "Start 142"  info1: "Start 142
+  mode:    T
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m2
+  arity:   0
+  pred nodes:
+    -1:    Block 141
+  Private Attributes:
+  in loop 571 with depth 0
+  start of method of type STRENGTH_RED_EXAMPLE_meth_tp
+    param 0 type: int
+"
+color: blue}
 }
 
 }