projects / libfirm / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Set array border to 0, needed for fixed add_compound_ent_value(), one node more
[libfirm] / testprograms / ref-results / STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg
diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg
index 033d58e..2a567d7 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg
@@ -24,6 +24,7 @@ classname 11: "Overwrites"
 classname 12: "Member"
 infoname 1: "Attribute"
 infoname 2: "Verification errors"
+infoname 3: "Debug info"
 colorentry 100:    0   0    0
 colorentry 101:   20   0    0
 colorentry 102:   40   0    0
@@ -52,193 +53,571 @@ colorentry 123:  255 220  220
 colorentry 124:  255 240  240
 colorentry 125:  255 250  250
 
-graph: { title: "g252" label: "STRENGTH_RED_EXAMPLE_m4" status:clustered color:white
-graph: { title: "n241"  label: "Block 241" status:clustered color:yellow
-edge: {sourcename: "n241" targetname: "n288" label: "0" class:13 priority:60 color:red}
-node: {title: "n242" label: "End  242"  info1: "mode:    X
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: blue}
+graph: { title: "g279" label: "STRENGTH_RED_EXAMPLE_m4" status:clustered color:white
+graph: { title: "n268"  label: "Block 268" status:clustered color:yellow
+edge: {sourcename: "n268" targetname: "n321" label: "0" class:13 priority:60 color:red}
+node: {title: "n269" label: "End 269"  info1: "End 269
+  mode:    X
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   1
+  pred nodes:
+    -1:    Block 268
+     0:    Phi 325
+  Private Attributes:
+  in loop 607 with depth 0
+"
+color: blue}
 }
 
-graph: { title: "n285"  label: "Block 285" status:clustered color:yellow
-edge: {sourcename: "n285" targetname: "n263" label: "0" class:13 priority:60 color:red}
-node: {title: "n288" label: "Return  288"  info1: "mode:    X
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2
-return in method of type STRENGTH_RED_EXAMPLE_meth_tp
-  res 0 type: int
-"}
-node: {title: "n288n267" label: "0x4Is  267"  info1: "mode:    Is
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n288" targetname: "n292" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n288" targetname: "n288n267" label: "1" class:16 priority:10}
+graph: { title: "n318"  label: "Block 318" status:clustered color:yellow
+edge: {sourcename: "n318" targetname: "n292" label: "0" class:13 priority:60 color:red}
+node: {title: "n321" label: "Return 321"  info1: "Return 321
+  mode:    X
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   2
+  pred nodes:
+    -1:    Block 318
+     0:    Phi 325
+     1:    0x4 296
+  Private Attributes:
+  in loop 607 with depth 0
+  return in method of type STRENGTH_RED_EXAMPLE_meth_tp
+    res 0 type: int
+"
+}
+node: {title: "n321n296" label: "0x4Is 296"  info1: "0x4 296
+  mode:    Is
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   0
+  pred nodes:
+    -1:    Block 270
+  Private Attributes:
+  in loop 607 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n321" targetname: "n325" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n321" targetname: "n321n296" label: "1" class:16 priority:10}
 }
 
-graph: { title: "n257"  label: "Block 257" status:clustered color:yellow
-edge: {sourcename: "n257" targetname: "n256" label: "0" class:13 priority:60 color:red}
-backedge: {sourcename: "n257" targetname: "n279" label: "1" linestyle:dashed class:13 priority:60 color:red}
-node: {title: "n292" label: "PhiM  292"  info1: "mode:    M
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2 backedges:
-"color: green}
-edge: {sourcename: "n292" targetname: "n250" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n292" targetname: "n278" label: "1" class:17 priority:10 color:blue}
-node: {title: "n263" label: "ProjX 0 263"  info1: "mode:    X
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n263" targetname: "n262" label: "0" class:13 priority:60 color:red}
-node: {title: "n264" label: "ProjX 1 264"  info1: "mode:    X
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n264" targetname: "n262" label: "0" class:13 priority:60 color:red}
-node: {title: "n262" label: "Cond  262"  info1: "mode:    T
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"}
-edge: {sourcename: "n262" targetname: "n261" label: "0" class:1  priority:50}
-node: {title: "n261" label: "Projb Gt 261"  info1: "mode:    b
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n261" targetname: "n260" label: "0" class:1  priority:50}
-node: {title: "n260" label: "Cmp  260"  info1: "mode:    T
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n260n259" label: "0xAIs  259"  info1: "mode:    Is
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n260" targetname: "n260n259" label: "0" class:16 priority:10}
-edge: {sourcename: "n260" targetname: "n293" label: "1" class:1  priority:50}
-node: {title: "n293" label: "PhiIs  293"  info1: "mode:    Is
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2 backedges:
-"color: green}
-node: {title: "n293n254" label: "0x0Is  254"  info1: "mode:    Is
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n293" targetname: "n293n254" label: "0" class:16 priority:10}
-edge: {sourcename: "n293" targetname: "n269" label: "1" class:16 priority:10}
+graph: { title: "n284"  label: "Block 284" status:clustered color:yellow
+edge: {sourcename: "n284" targetname: "n283" label: "0" class:13 priority:60 color:red}
+backedge: {sourcename: "n284" targetname: "n312" label: "1" linestyle:dashed class:13 priority:60 color:red}
+node: {title: "n325" label: "PhiM 325"  info1: "Phi 325
+  mode:    M
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   2
+  pred nodes:
+    -1:    Block 284
+     0:    Proj 277
+     1:    Proj 311
+  Private Attributes:
+  backedges:
+  in loop 610 with depth 1
+"
+color: green}
+edge: {sourcename: "n325" targetname: "n277" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n325" targetname: "n311" label: "1" class:17 priority:10 color:blue}
+node: {title: "n630" label: "PhiIs 630"  info1: "Phi 630
+  mode:    Is
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   2
+  pred nodes:
+    -1:    Block 284
+     0:    0x0 281
+     1:    Add 631
+  Private Attributes:
+  backedges:
+"
+color: green}
+node: {title: "n630n281" label: "0x0Is 281"  info1: "0x0 281
+  mode:    Is
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   0
+  pred nodes:
+    -1:    Block 270
+  Private Attributes:
+  in loop 607 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n630" targetname: "n630n281" label: "0" class:16 priority:10}
+edge: {sourcename: "n630" targetname: "n631" label: "1" class:16 priority:10}
+node: {title: "n637" label: "PhiIs 637"  info1: "Phi 637
+  mode:    Is
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   2
+  pred nodes:
+    -1:    Block 284
+     0:    0x0 281
+     1:    Add 638
+  Private Attributes:
+  backedges:
+"
+color: green}
+node: {title: "n637n281" label: "0x0Is 281"  info1: "0x0 281
+  mode:    Is
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   0
+  pred nodes:
+    -1:    Block 270
+  Private Attributes:
+  in loop 607 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n637" targetname: "n637n281" label: "0" class:16 priority:10}
+edge: {sourcename: "n637" targetname: "n638" label: "1" class:16 priority:10}
+node: {title: "n292" label: "ProjX false 292"  info1: "Proj 292
+  mode:    X
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   1
+  pred nodes:
+    -1:    Block 284
+     0:    Cond 291
+  Private Attributes:
+  proj nr: 0
+  in loop 607 with depth 0
+"
+color: yellow}
+edge: {sourcename: "n292" targetname: "n291" label: "0" class:13 priority:60 color:red}
+node: {title: "n293" label: "ProjX true 293"  info1: "Proj 293
+  mode:    X
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   1
+  pred nodes:
+    -1:    Block 284
+     0:    Cond 291
+  Private Attributes:
+  proj nr: 1
+  in loop 609 with depth 2
+"
+color: yellow}
+edge: {sourcename: "n293" targetname: "n291" label: "0" class:13 priority:60 color:red}
+node: {title: "n291" label: "Cond 291"  info1: "Cond 291
+  mode:    T
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   1
+  pred nodes:
+    -1:    Block 284
+     0:    Proj 288
+  Private Attributes:
+  in loop 609 with depth 2
+  condition kind: dense
+  default ProjNr: 0
+"
+}
+edge: {sourcename: "n291" targetname: "n288" label: "0" class:1  priority:50}
+node: {title: "n288" label: "Projb Le 288"  info1: "Proj 288
+  mode:    b
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   1
+  pred nodes:
+    -1:    Block 284
+     0:    Cmp 290
+  Private Attributes:
+  proj nr: 3
+  in loop 609 with depth 2
+"
+color: yellow}
+edge: {sourcename: "n288" targetname: "n290" label: "0" class:1  priority:50}
+node: {title: "n290" label: "Cmp 290"  info1: "Cmp 290
+  mode:    T
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   2
+  pred nodes:
+    -1:    Block 284
+     0:    Phi 326
+     1:    0x9 289
+  Private Attributes:
+  in loop 609 with depth 2
+"
+}
+node: {title: "n290n289" label: "0x9Is 289"  info1: "0x9 289
+  mode:    Is
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   0
+  pred nodes:
+    -1:    Block 270
+  Private Attributes:
+  in loop 607 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n290" targetname: "n326" label: "0" class:1  priority:50}
+edge: {sourcename: "n290" targetname: "n290n289" label: "1" class:16 priority:10}
+node: {title: "n326" label: "PhiIs 326"  info1: "Phi 326
+  mode:    Is
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   2
+  pred nodes:
+    -1:    Block 284
+     0:    0x0 281
+     1:    Add 299
+  Private Attributes:
+  backedges:
+  in loop 608 with depth 1
+"
+color: green}
+node: {title: "n326n281" label: "0x0Is 281"  info1: "0x0 281
+  mode:    Is
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   0
+  pred nodes:
+    -1:    Block 270
+  Private Attributes:
+  in loop 607 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n326" targetname: "n326n281" label: "0" class:16 priority:10}
+edge: {sourcename: "n326" targetname: "n299" label: "1" class:16 priority:10}
 }
 
-graph: { title: "n253"  label: "Block 253" status:clustered color:yellow
-edge: {sourcename: "n253" targetname: "n247" label: "0" class:13 priority:60 color:red}
-node: {title: "n256" label: "Jmp  256"  info1: "mode:    X
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 0
-"}
+graph: { title: "n280"  label: "Block 280" status:clustered color:yellow
+edge: {sourcename: "n280" targetname: "n274" label: "0" class:13 priority:60 color:red}
+node: {title: "n283" label: "Jmp 283"  info1: "Jmp 283
+  mode:    X
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   0
+  pred nodes:
+    -1:    Block 280
+  Private Attributes:
+  in loop 607 with depth 0
+"
+}
 }
 
-graph: { title: "n265"  label: "Block 265" status:clustered color:yellow
-edge: {sourcename: "n265" targetname: "n264" label: "0" class:13 priority:60 color:red}
-node: {title: "n278" label: "ProjM 0 278"  info1: "mode:    M
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n278" targetname: "n276" label: "0" class:17 priority:10 color:blue}
-node: {title: "n276" label: "Store  276"  info1: "mode:    T
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 3
-volatility: volatility_non_volatile
-"}
-edge: {sourcename: "n276" targetname: "n292" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n276" targetname: "n274" label: "1" class:1  priority:50}
-edge: {sourcename: "n276" targetname: "n269" label: "2" class:1  priority:50}
-node: {title: "n274" label: "AddP  274"  info1: "mode:    P
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n274n255" label: "SymC &a  255"  info1: "mode:    P
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 0
-kind addr_ent
-entity GlobalType.a (239)
+graph: { title: "n294"  label: "Block 294" status:clustered color:yellow
+edge: {sourcename: "n294" targetname: "n293" label: "0" class:13 priority:60 color:red}
+node: {title: "n311" label: "ProjM M 311"  info1: "Proj 311
+  mode:    M
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   1
+  pred nodes:
+    -1:    Block 294
+     0:    Store 309
+  Private Attributes:
+  proj nr: 0
+  in loop 610 with depth 1
+"
+color: yellow}
+edge: {sourcename: "n311" targetname: "n309" label: "0" class:17 priority:10 color:blue}
+node: {title: "n309" label: "Store 309"  info1: "Store 309
+  mode:    T
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   3
+  pred nodes:
+    -1:    Block 294
+     0:    Proj 306
+     1:    Add 616
+     2:    Add 299
+  Private Attributes:
+  pinned state: op_pin_state_pinned
+  in loop 610 with depth 1
+  volatility: volatility_non_volatile
+"
+}
+edge: {sourcename: "n309" targetname: "n306" label: "0" class:14 priority:50 color:blue}
+edge: {sourcename: "n309" targetname: "n616" label: "1" class:1  priority:50}
+edge: {sourcename: "n309" targetname: "n299" label: "2" class:1  priority:50}
+node: {title: "n306" label: "ProjM M 306"  info1: "Proj 306
+  mode:    M
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   1
+  pred nodes:
+    -1:    Block 294
+     0:    Store 304
+  Private Attributes:
+  proj nr: 0
+  in loop 610 with depth 1
+"
+color: yellow}
+edge: {sourcename: "n306" targetname: "n304" label: "0" class:17 priority:10 color:blue}
+node: {title: "n304" label: "Store 304"  info1: "Store 304
+  mode:    T
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   3
+  pred nodes:
+    -1:    Block 294
+     0:    Phi 325
+     1:    Add 622
+     2:    Add 299
+  Private Attributes:
+  pinned state: op_pin_state_pinned
+  in loop 610 with depth 1
+  volatility: volatility_non_volatile
+"
+}
+edge: {sourcename: "n304" targetname: "n325" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n304" targetname: "n622" label: "1" class:1  priority:50}
+edge: {sourcename: "n304" targetname: "n299" label: "2" class:1  priority:50}
+node: {title: "n622" label: "AddP 622"  info1: "Add 622
+  mode:    P
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   2
+  pred nodes:
+    -1:    Block 294
+     0:    Phi 630
+     1:    Add 621
+  Private Attributes:
+"
+}
+edge: {sourcename: "n622" targetname: "n630" label: "0" class:16 priority:10}
+edge: {sourcename: "n622" targetname: "n621" label: "1" class:1  priority:50}
+node: {title: "n631" label: "AddIs 631"  info1: "Add 631
+  mode:    Is
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   2
+  pred nodes:
+    -1:    Block 294
+     0:    0x8 297
+     1:    Phi 630
+  Private Attributes:
+"
+}
+node: {title: "n631n297" label: "0x8Is 297"  info1: "0x8 297
+  mode:    Is
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   0
+  pred nodes:
+    -1:    Block 270
+  Private Attributes:
+  in loop 607 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n631" targetname: "n631n297" label: "0" class:16 priority:10}
+edge: {sourcename: "n631" targetname: "n630" label: "1" class:16 priority:10}
+node: {title: "n621" label: "AddP 621"  info1: "Add 621
+  mode:    P
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   2
+  pred nodes:
+    -1:    Block 294
+     0:    SymC &a 282
+     1:    0x8 297
+  Private Attributes:
+"
+}
+node: {title: "n621n282" label: "SymC &a 282"  info1: "SymC &a 282
+  mode:    P
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   0
+  pred nodes:
+    -1:    Block 270
+  Private Attributes:
+  in loop 607 with depth 0
+  kind:   addr_ent
+  entity: entity GlobalType.a (266)
 
-SymConst of type type_unknown
-"}
-edge: {sourcename: "n274" targetname: "n272" label: "0" class:1  priority:50}
-edge: {sourcename: "n274" targetname: "n274n255" label: "1" class:16 priority:10}
-node: {title: "n272" label: "ShlIs  272"  info1: "mode:    Is
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n272n271" label: "0x2Iu  271"  info1: "mode:    Iu
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n272" targetname: "n269" label: "0" class:1  priority:50}
-edge: {sourcename: "n272" targetname: "n272n271" label: "1" class:16 priority:10}
-node: {title: "n279" label: "Jmp  279"  info1: "mode:    X
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 0
-"}
-node: {title: "n269" label: "AddIs  269"  info1: "mode:    Is
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n269n266" label: "0x1Is  266"  info1: "mode:    Is
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n269" targetname: "n269n266" label: "0" class:16 priority:10}
-edge: {sourcename: "n269" targetname: "n293" label: "1" class:16 priority:10}
+  type of value: type_unknown
+"
+}
+node: {title: "n621n297" label: "0x8Is 297"  info1: "0x8 297
+  mode:    Is
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   0
+  pred nodes:
+    -1:    Block 270
+  Private Attributes:
+  in loop 607 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n621" targetname: "n621n282" label: "0" class:16 priority:10}
+edge: {sourcename: "n621" targetname: "n621n297" label: "1" class:16 priority:10}
+node: {title: "n616" label: "AddP 616"  info1: "Add 616
+  mode:    P
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   2
+  pred nodes:
+    -1:    Block 294
+     0:    Phi 637
+     1:    Add 615
+  Private Attributes:
+"
+}
+edge: {sourcename: "n616" targetname: "n637" label: "0" class:16 priority:10}
+edge: {sourcename: "n616" targetname: "n615" label: "1" class:1  priority:50}
+node: {title: "n638" label: "AddIs 638"  info1: "Add 638
+  mode:    Is
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   2
+  pred nodes:
+    -1:    Block 294
+     0:    0x4 296
+     1:    Phi 637
+  Private Attributes:
+"
+}
+node: {title: "n638n296" label: "0x4Is 296"  info1: "0x4 296
+  mode:    Is
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   0
+  pred nodes:
+    -1:    Block 270
+  Private Attributes:
+  in loop 607 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n638" targetname: "n638n296" label: "0" class:16 priority:10}
+edge: {sourcename: "n638" targetname: "n637" label: "1" class:16 priority:10}
+node: {title: "n615" label: "AddP 615"  info1: "Add 615
+  mode:    P
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   2
+  pred nodes:
+    -1:    Block 294
+     0:    SymC &a 282
+     1:    0x4 296
+  Private Attributes:
+"
+}
+node: {title: "n615n282" label: "SymC &a 282"  info1: "SymC &a 282
+  mode:    P
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   0
+  pred nodes:
+    -1:    Block 270
+  Private Attributes:
+  in loop 607 with depth 0
+  kind:   addr_ent
+  entity: entity GlobalType.a (266)
+
+  type of value: type_unknown
+"
+}
+node: {title: "n615n296" label: "0x4Is 296"  info1: "0x4 296
+  mode:    Is
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   0
+  pred nodes:
+    -1:    Block 270
+  Private Attributes:
+  in loop 607 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n615" targetname: "n615n282" label: "0" class:16 priority:10}
+edge: {sourcename: "n615" targetname: "n615n296" label: "1" class:16 priority:10}
+node: {title: "n312" label: "Jmp 312"  info1: "Jmp 312
+  mode:    X
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   0
+  pred nodes:
+    -1:    Block 294
+  Private Attributes:
+  in loop 609 with depth 2
+"
+}
+node: {title: "n299" label: "AddIs 299"  info1: "Add 299
+  mode:    Is
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   2
+  pred nodes:
+    -1:    Block 294
+     0:    0x1 295
+     1:    Phi 326
+  Private Attributes:
+  in loop 608 with depth 1
+"
+}
+node: {title: "n299n295" label: "0x1Is 295"  info1: "0x1 295
+  mode:    Is
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   0
+  pred nodes:
+    -1:    Block 270
+  Private Attributes:
+  in loop 607 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n299" targetname: "n299n295" label: "0" class:16 priority:10}
+edge: {sourcename: "n299" targetname: "n326" label: "1" class:16 priority:10}
 }
 
-graph: { title: "n243"  label: "Block 243" status:clustered color:yellow
-edge: {sourcename: "n243" targetname: "n247" label: "0" class:13 priority:60 color:red}
-node: {title: "n250" label: "ProjM 1 250"  info1: "mode:    M
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n250" targetname: "n244" label: "0" class:17 priority:10 color:blue}
-node: {title: "n247" label: "ProjX 0 247"  info1: "mode:    X
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n247" targetname: "n244" label: "0" class:13 priority:60 color:red}
-node: {title: "n244" label: "Start  244"  info1: "mode:    T
-visited: 25
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 0
-start of method of type STRENGTH_RED_EXAMPLE_meth_tp
-  param 0 type: int
-"color: blue}
+graph: { title: "n270"  label: "Block 270" status:clustered color:yellow
+edge: {sourcename: "n270" targetname: "n274" label: "0" class:13 priority:60 color:red}
+node: {title: "n277" label: "ProjM 1 277"  info1: "Proj 277
+  mode:    M
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   1
+  pred nodes:
+    -1:    Block 270
+     0:    Start 271
+  Private Attributes:
+  proj nr: 1
+  in loop 607 with depth 0
+"
+color: yellow}
+edge: {sourcename: "n277" targetname: "n271" label: "0" class:17 priority:10 color:blue}
+node: {title: "n274" label: "ProjX X_initial_exec 274"  info1: "Proj 274
+  mode:    X
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   1
+  pred nodes:
+    -1:    Block 270
+     0:    Start 271
+  Private Attributes:
+  proj nr: 0
+  in loop 607 with depth 0
+"
+color: yellow}
+edge: {sourcename: "n274" targetname: "n271" label: "0" class:13 priority:60 color:red}
+node: {title: "n271" label: "Start 271"  info1: "Start 271
+  mode:    T
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   0
+  pred nodes:
+    -1:    Block 270
+  Private Attributes:
+  in loop 607 with depth 0
+  start of method of type STRENGTH_RED_EXAMPLE_meth_tp
+    param 0 type: int
+"
+color: blue}
 }
 
 }
libfirm