projects / libfirm / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
used HASHPTR() now
[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 2ed376e..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,287 +55,569 @@ 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: "mode:    X
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: blue}
+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: "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: "mode:    X
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2
-return in method of type STRENGTH_RED_EXAMPLE_meth_tp
-  res 0 type: int
-"}
-node: {title: "n319n294" label: "0x4Is  294"  info1: "mode:    Is
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 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}
+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: "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: "mode:    M
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2 backedges:
-"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: "mode:    Is
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2 backedges:
-"color: green}
-node: {title: "n627n281" label: "0x0Is  281"  info1: "mode:    Is
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 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: "mode:    Is
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2 backedges:
-"color: green}
-node: {title: "n634n281" label: "0x0Is  281"  info1: "mode:    Is
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 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: "mode:    X
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n290" targetname: "n289" label: "0" class:13 priority:60 color:red}
-node: {title: "n291" label: "ProjX 1 291"  info1: "mode:    X
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n291" targetname: "n289" label: "0" class:13 priority:60 color:red}
-node: {title: "n289" label: "Cond  289"  info1: "mode:    T
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"}
-edge: {sourcename: "n289" targetname: "n288" label: "0" class:1  priority:50}
-node: {title: "n288" label: "Projb Gt 288"  info1: "mode:    b
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n288" targetname: "n287" label: "0" class:1  priority:50}
-node: {title: "n287" label: "Cmp  287"  info1: "mode:    T
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n287n286" label: "0xAIs  286"  info1: "mode:    Is
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 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: "mode:    Is
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2 backedges:
-"color: green}
-node: {title: "n324n281" label: "0x0Is  281"  info1: "mode:    Is
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 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}
+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: "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: "mode:    X
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 0
-"}
+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: "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: "mode:    M
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n309" targetname: "n307" label: "0" class:17 priority:10 color:blue}
-node: {title: "n307" label: "Store  307"  info1: "mode:    T
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 3
-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: "mode:    M
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n304" targetname: "n302" label: "0" class:17 priority:10 color:blue}
-node: {title: "n302" label: "Store  302"  info1: "mode:    T
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 3
-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: "mode:    P
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-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: "mode:    Is
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n628n295" label: "0x8Is  295"  info1: "mode:    Is
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 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: "mode:    P
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n618n282" label: "SymC &a  282"  info1: "mode:    P
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 0
-kind: addr_ent
-entity GlobalType.a (266)
+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
-"}
-node: {title: "n618n295" label: "0x8Is  295"  info1: "mode:    Is
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 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: "mode:    P
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-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: "mode:    Is
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n635n294" label: "0x4Is  294"  info1: "mode:    Is
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 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: "mode:    P
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n612n282" label: "SymC &a  282"  info1: "mode:    P
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 0
-kind: addr_ent
-entity GlobalType.a (266)
+  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)
 
-SymConst of type: type_unknown
-"}
-node: {title: "n612n294" label: "0x4Is  294"  info1: "mode:    Is
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 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: "mode:    X
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 0
-"}
-node: {title: "n297" label: "AddIs  297"  info1: "mode:    Is
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n297n293" label: "0x1Is  293"  info1: "mode:    Is
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 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}
+  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: "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: "mode:    M
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
+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 0 274"  info1: "mode:    X
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
+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: "mode:    T
-visited: 32
-irg:     STRENGTH_RED_EXAMPLE_m4
-arity: 0
-start of method of type STRENGTH_RED_EXAMPLE_meth_tp
-  param 0 type: int
-"color: blue}
+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