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 dc09209..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
@@ -54,558 +55,565 @@ colorentry 125:  255 250  250
 
 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: "n319" label: "0" class:13 priority:60 color:red}
-node: {title: "n269" label: "End  269"  info1: "End 269
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   1
   pred nodes:
     -1:    Block 268
-     0:    Phi 323
+     0:    Phi 325
   Private Attributes:
-  in loop 604 with depth 0
+  in loop 607 with depth 0
 "
 color: blue}
 }
 
-graph: { title: "n316"  label: "Block 316" status:clustered color:yellow
-edge: {sourcename: "n316" targetname: "n290" label: "0" class:13 priority:60 color:red}
-node: {title: "n319" label: "Return  319"  info1: "Return 319
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
-    -1:    Block 316
-     0:    Phi 323
-     1:    0x4 294
+    -1:    Block 318
+     0:    Phi 325
+     1:    0x4 296
   Private Attributes:
-  in loop 604 with depth 0
+  in loop 607 with depth 0
   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
     res 0 type: int
 "
 }
-node: {title: "n319n294" label: "0x4Is  294"  info1: "0x4 294
+node: {title: "n321n296" label: "0x4Is 296"  info1: "0x4 296
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
     -1:    Block 270
   Private Attributes:
-  in loop 604 with depth 0
+  in loop 607 with depth 0
   Const of type type_unknown
 "
 color: yellow}
-edge: {sourcename: "n319" targetname: "n323" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n319" targetname: "n319n294" label: "1" class:16 priority:10}
+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: "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: "n310" label: "1" linestyle:dashed class:13 priority:60 color:red}
-node: {title: "n323" label: "PhiM  323"  info1: "Phi 323
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
     -1:    Block 284
      0:    Proj 277
-     1:    Proj 309
+     1:    Proj 311
   Private Attributes:
   backedges:
-  in loop 607 with depth 1
+  in loop 610 with depth 1
 "
 color: green}
-edge: {sourcename: "n323" targetname: "n277" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n323" targetname: "n309" label: "1" class:17 priority:10 color:blue}
-node: {title: "n627" label: "PhiIs  627"  info1: "Phi 627
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
     -1:    Block 284
      0:    0x0 281
-     1:    Add 628
+     1:    Add 631
   Private Attributes:
   backedges:
 "
 color: green}
-node: {title: "n627n281" label: "0x0Is  281"  info1: "0x0 281
+node: {title: "n630n281" label: "0x0Is 281"  info1: "0x0 281
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
     -1:    Block 270
   Private Attributes:
-  in loop 604 with depth 0
+  in loop 607 with depth 0
   Const of type type_unknown
 "
 color: yellow}
-edge: {sourcename: "n627" targetname: "n627n281" label: "0" class:16 priority:10}
-edge: {sourcename: "n627" targetname: "n628" label: "1" class:16 priority:10}
-node: {title: "n634" label: "PhiIs  634"  info1: "Phi 634
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
     -1:    Block 284
      0:    0x0 281
-     1:    Add 635
+     1:    Add 638
   Private Attributes:
   backedges:
 "
 color: green}
-node: {title: "n634n281" label: "0x0Is  281"  info1: "0x0 281
+node: {title: "n637n281" label: "0x0Is 281"  info1: "0x0 281
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
     -1:    Block 270
   Private Attributes:
-  in loop 604 with depth 0
+  in loop 607 with depth 0
   Const of type type_unknown
 "
 color: yellow}
-edge: {sourcename: "n634" targetname: "n634n281" label: "0" class:16 priority:10}
-edge: {sourcename: "n634" targetname: "n635" label: "1" class:16 priority:10}
-node: {title: "n290" label: "ProjX 0 290"  info1: "Proj 290
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   1
   pred nodes:
     -1:    Block 284
-     0:    Cond 289
+     0:    Cond 291
   Private Attributes:
-  in loop 604 with depth 0
+  proj nr: 0
+  in loop 607 with depth 0
 "
 color: yellow}
-edge: {sourcename: "n290" targetname: "n289" label: "0" class:13 priority:60 color:red}
-node: {title: "n291" label: "ProjX 1 291"  info1: "Proj 291
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   1
   pred nodes:
     -1:    Block 284
-     0:    Cond 289
+     0:    Cond 291
   Private Attributes:
-  in loop 606 with depth 2
+  proj nr: 1
+  in loop 609 with depth 2
 "
 color: yellow}
-edge: {sourcename: "n291" targetname: "n289" label: "0" class:13 priority:60 color:red}
-node: {title: "n289" label: "Cond  289"  info1: "Cond 289
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   1
   pred nodes:
     -1:    Block 284
      0:    Proj 288
   Private Attributes:
-  in loop 606 with depth 2
+  in loop 609 with depth 2
   condition kind: dense
   default ProjNr: 0
 "
 }
-edge: {sourcename: "n289" targetname: "n288" label: "0" class:1  priority:50}
-node: {title: "n288" label: "Projb Gt 288"  info1: "Proj 288
+edge: {sourcename: "n291" targetname: "n288" label: "0" class:1  priority:50}
+node: {title: "n288" label: "Projb Le 288"  info1: "Proj 288
   mode:    b
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   1
   pred nodes:
     -1:    Block 284
-     0:    Cmp 287
+     0:    Cmp 290
   Private Attributes:
-  in loop 606 with depth 2
+  proj nr: 3
+  in loop 609 with depth 2
 "
 color: yellow}
-edge: {sourcename: "n288" targetname: "n287" label: "0" class:1  priority:50}
-node: {title: "n287" label: "Cmp  287"  info1: "Cmp 287
+edge: {sourcename: "n288" targetname: "n290" label: "0" class:1  priority:50}
+node: {title: "n290" label: "Cmp 290"  info1: "Cmp 290
   mode:    T
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
     -1:    Block 284
-     0:    0xA 286
-     1:    Phi 324
+     0:    Phi 326
+     1:    0x9 289
   Private Attributes:
-  in loop 606 with depth 2
+  in loop 609 with depth 2
 "
 }
-node: {title: "n287n286" label: "0xAIs  286"  info1: "0xA 286
+node: {title: "n290n289" label: "0x9Is 289"  info1: "0x9 289
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
     -1:    Block 270
   Private Attributes:
-  in loop 604 with depth 0
+  in loop 607 with depth 0
   Const of type type_unknown
 "
 color: yellow}
-edge: {sourcename: "n287" targetname: "n287n286" label: "0" class:16 priority:10}
-edge: {sourcename: "n287" targetname: "n324" label: "1" class:1  priority:50}
-node: {title: "n324" label: "PhiIs  324"  info1: "Phi 324
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
     -1:    Block 284
      0:    0x0 281
-     1:    Add 297
+     1:    Add 299
   Private Attributes:
   backedges:
-  in loop 605 with depth 1
+  in loop 608 with depth 1
 "
 color: green}
-node: {title: "n324n281" label: "0x0Is  281"  info1: "0x0 281
+node: {title: "n326n281" label: "0x0Is 281"  info1: "0x0 281
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
     -1:    Block 270
   Private Attributes:
-  in loop 604 with depth 0
+  in loop 607 with depth 0
   Const of type type_unknown
 "
 color: yellow}
-edge: {sourcename: "n324" targetname: "n324n281" label: "0" class:16 priority:10}
-edge: {sourcename: "n324" targetname: "n297" label: "1" class:16 priority:10}
+edge: {sourcename: "n326" targetname: "n326n281" label: "0" class:16 priority:10}
+edge: {sourcename: "n326" targetname: "n299" label: "1" class:16 priority:10}
 }
 
 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
+node: {title: "n283" label: "Jmp 283"  info1: "Jmp 283
   mode:    X
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
     -1:    Block 280
   Private Attributes:
-  in loop 604 with depth 0
+  in loop 607 with depth 0
 "
 }
 }
 
-graph: { title: "n292"  label: "Block 292" status:clustered color:yellow
-edge: {sourcename: "n292" targetname: "n291" label: "0" class:13 priority:60 color:red}
-node: {title: "n309" label: "ProjM 0 309"  info1: "Proj 309
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   1
   pred nodes:
-    -1:    Block 292
-     0:    Store 307
+    -1:    Block 294
+     0:    Store 309
   Private Attributes:
-  in loop 607 with depth 1
+  proj nr: 0
+  in loop 610 with depth 1
 "
 color: yellow}
-edge: {sourcename: "n309" targetname: "n307" label: "0" class:17 priority:10 color:blue}
-node: {title: "n307" label: "Store  307"  info1: "Store 307
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   3
   pred nodes:
-    -1:    Block 292
-     0:    Proj 304
-     1:    Add 613
-     2:    Add 297
+    -1:    Block 294
+     0:    Proj 306
+     1:    Add 616
+     2:    Add 299
   Private Attributes:
   pinned state: op_pin_state_pinned
-  in loop 607 with depth 1
+  in loop 610 with depth 1
   volatility: volatility_non_volatile
 "
 }
-edge: {sourcename: "n307" targetname: "n304" label: "0" class:14 priority:50 color:blue}
-edge: {sourcename: "n307" targetname: "n613" label: "1" class:1  priority:50}
-edge: {sourcename: "n307" targetname: "n297" label: "2" class:1  priority:50}
-node: {title: "n304" label: "ProjM 0 304"  info1: "Proj 304
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   1
   pred nodes:
-    -1:    Block 292
-     0:    Store 302
+    -1:    Block 294
+     0:    Store 304
   Private Attributes:
-  in loop 607 with depth 1
+  proj nr: 0
+  in loop 610 with depth 1
 "
 color: yellow}
-edge: {sourcename: "n304" targetname: "n302" label: "0" class:17 priority:10 color:blue}
-node: {title: "n302" label: "Store  302"  info1: "Store 302
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   3
   pred nodes:
-    -1:    Block 292
-     0:    Phi 323
-     1:    Add 619
-     2:    Add 297
+    -1:    Block 294
+     0:    Phi 325
+     1:    Add 622
+     2:    Add 299
   Private Attributes:
   pinned state: op_pin_state_pinned
-  in loop 607 with depth 1
+  in loop 610 with depth 1
   volatility: volatility_non_volatile
 "
 }
-edge: {sourcename: "n302" targetname: "n323" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n302" targetname: "n619" label: "1" class:1  priority:50}
-edge: {sourcename: "n302" targetname: "n297" label: "2" class:1  priority:50}
-node: {title: "n619" label: "AddP  619"  info1: "Add 619
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
-    -1:    Block 292
-     0:    Phi 627
-     1:    Add 618
+    -1:    Block 294
+     0:    Phi 630
+     1:    Add 621
   Private Attributes:
 "
 }
-edge: {sourcename: "n619" targetname: "n627" label: "0" class:16 priority:10}
-edge: {sourcename: "n619" targetname: "n618" label: "1" class:1  priority:50}
-node: {title: "n628" label: "AddIs  628"  info1: "Add 628
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
-    -1:    Block 292
-     0:    0x8 295
-     1:    Phi 627
+    -1:    Block 294
+     0:    0x8 297
+     1:    Phi 630
   Private Attributes:
 "
 }
-node: {title: "n628n295" label: "0x8Is  295"  info1: "0x8 295
+node: {title: "n631n297" label: "0x8Is 297"  info1: "0x8 297
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
     -1:    Block 270
   Private Attributes:
-  in loop 604 with depth 0
+  in loop 607 with depth 0
   Const of type type_unknown
 "
 color: yellow}
-edge: {sourcename: "n628" targetname: "n628n295" label: "0" class:16 priority:10}
-edge: {sourcename: "n628" targetname: "n627" label: "1" class:16 priority:10}
-node: {title: "n618" label: "AddP  618"  info1: "Add 618
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
-    -1:    Block 292
+    -1:    Block 294
      0:    SymC &a 282
-     1:    0x8 295
+     1:    0x8 297
   Private Attributes:
 "
 }
-node: {title: "n618n282" label: "SymC &a  282"  info1: "SymC &a 282
+node: {title: "n621n282" label: "SymC &a 282"  info1: "SymC &a 282
   mode:    P
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
     -1:    Block 270
   Private Attributes:
-  in loop 604 with depth 0
+  in loop 607 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (266)
 
   type of value: type_unknown
 "
 }
-node: {title: "n618n295" label: "0x8Is  295"  info1: "0x8 295
+node: {title: "n621n297" label: "0x8Is 297"  info1: "0x8 297
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
     -1:    Block 270
   Private Attributes:
-  in loop 604 with depth 0
+  in loop 607 with depth 0
   Const of type type_unknown
 "
 color: yellow}
-edge: {sourcename: "n618" targetname: "n618n282" label: "0" class:16 priority:10}
-edge: {sourcename: "n618" targetname: "n618n295" label: "1" class:16 priority:10}
-node: {title: "n613" label: "AddP  613"  info1: "Add 613
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
-    -1:    Block 292
-     0:    Phi 634
-     1:    Add 612
+    -1:    Block 294
+     0:    Phi 637
+     1:    Add 615
   Private Attributes:
 "
 }
-edge: {sourcename: "n613" targetname: "n634" label: "0" class:16 priority:10}
-edge: {sourcename: "n613" targetname: "n612" label: "1" class:1  priority:50}
-node: {title: "n635" label: "AddIs  635"  info1: "Add 635
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
-    -1:    Block 292
-     0:    0x4 294
-     1:    Phi 634
+    -1:    Block 294
+     0:    0x4 296
+     1:    Phi 637
   Private Attributes:
 "
 }
-node: {title: "n635n294" label: "0x4Is  294"  info1: "0x4 294
+node: {title: "n638n296" label: "0x4Is 296"  info1: "0x4 296
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
     -1:    Block 270
   Private Attributes:
-  in loop 604 with depth 0
+  in loop 607 with depth 0
   Const of type type_unknown
 "
 color: yellow}
-edge: {sourcename: "n635" targetname: "n635n294" label: "0" class:16 priority:10}
-edge: {sourcename: "n635" targetname: "n634" label: "1" class:16 priority:10}
-node: {title: "n612" label: "AddP  612"  info1: "Add 612
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
-    -1:    Block 292
+    -1:    Block 294
      0:    SymC &a 282
-     1:    0x4 294
+     1:    0x4 296
   Private Attributes:
 "
 }
-node: {title: "n612n282" label: "SymC &a  282"  info1: "SymC &a 282
+node: {title: "n615n282" label: "SymC &a 282"  info1: "SymC &a 282
   mode:    P
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
     -1:    Block 270
   Private Attributes:
-  in loop 604 with depth 0
+  in loop 607 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (266)
 
   type of value: type_unknown
 "
 }
-node: {title: "n612n294" label: "0x4Is  294"  info1: "0x4 294
+node: {title: "n615n296" label: "0x4Is 296"  info1: "0x4 296
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
     -1:    Block 270
   Private Attributes:
-  in loop 604 with depth 0
+  in loop 607 with depth 0
   Const of type type_unknown
 "
 color: yellow}
-edge: {sourcename: "n612" targetname: "n612n282" label: "0" class:16 priority:10}
-edge: {sourcename: "n612" targetname: "n612n294" label: "1" class:16 priority:10}
-node: {title: "n310" label: "Jmp  310"  info1: "Jmp 310
+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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
-    -1:    Block 292
+    -1:    Block 294
   Private Attributes:
-  in loop 606 with depth 2
+  in loop 609 with depth 2
 "
 }
-node: {title: "n297" label: "AddIs  297"  info1: "Add 297
+node: {title: "n299" label: "AddIs 299"  info1: "Add 299
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
-    -1:    Block 292
-     0:    0x1 293
-     1:    Phi 324
+    -1:    Block 294
+     0:    0x1 295
+     1:    Phi 326
   Private Attributes:
-  in loop 605 with depth 1
+  in loop 608 with depth 1
 "
 }
-node: {title: "n297n293" label: "0x1Is  293"  info1: "0x1 293
+node: {title: "n299n295" label: "0x1Is 295"  info1: "0x1 295
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
     -1:    Block 270
   Private Attributes:
-  in loop 604 with depth 0
+  in loop 607 with depth 0
   Const of type type_unknown
 "
 color: yellow}
-edge: {sourcename: "n297" targetname: "n297n293" label: "0" class:16 priority:10}
-edge: {sourcename: "n297" targetname: "n324" label: "1" class:16 priority:10}
+edge: {sourcename: "n299" targetname: "n299n295" label: "0" class:16 priority:10}
+edge: {sourcename: "n299" targetname: "n326" label: "1" class:16 priority:10}
 }
 
 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: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   1
   pred nodes:
     -1:    Block 270
      0:    Start 271
   Private Attributes:
-  in loop 604 with depth 0
+  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 0 274"  info1: "Proj 274
+node: {title: "n274" label: "ProjX X_initial_exec 274"  info1: "Proj 274
   mode:    X
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   1
   pred nodes:
     -1:    Block 270
      0:    Start 271
   Private Attributes:
-  in loop 604 with depth 0
+  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
+node: {title: "n271" label: "Start 271"  info1: "Start 271
   mode:    T
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
     -1:    Block 270
   Private Attributes:
-  in loop 604 with depth 0
+  in loop 607 with depth 0
   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
     param 0 type: int
 "
libfirm