projects / libfirm / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
indentation fixed
[libfirm] / testprograms / ref-results / STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg
diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg
index 1ba3492..e4d751d 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg
@@ -55,28 +55,49 @@ colorentry 125:  255 250  250
 graph: { title: "g346" label: "STRENGTH_RED_EXAMPLE_m5" status:clustered color:white
 graph: { title: "n335"  label: "Block 335" status:clustered color:yellow
 edge: {sourcename: "n335" targetname: "n385" label: "0" class:13 priority:60 color:red}
-node: {title: "n336" label: "End  336"  info1: "mode:    X
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 1
-"color: blue}
+node: {title: "n336" label: "End 336"  info1: "End 336
+  mode:    X
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   1
+  pred nodes:
+    -1:    Block 335
+     0:    Phi 389
+  Private Attributes:
+  in loop 636 with depth 0
+"
+color: blue}
 }
 
 graph: { title: "n382"  label: "Block 382" status:clustered color:yellow
 edge: {sourcename: "n382" targetname: "n357" label: "0" class:13 priority:60 color:red}
-node: {title: "n385" label: "Return  385"  info1: "mode:    X
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 2
-return in method of type STRENGTH_RED_EXAMPLE_meth_tp
-  res 0 type: int
-"}
-node: {title: "n385n361" label: "0x4Is  361"  info1: "mode:    Is
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n385" label: "Return 385"  info1: "Return 385
+  mode:    X
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   2
+  pred nodes:
+    -1:    Block 382
+     0:    Phi 389
+     1:    0x4 361
+  Private Attributes:
+  in loop 636 with depth 0
+  return in method of type STRENGTH_RED_EXAMPLE_meth_tp
+    res 0 type: int
+"
+}
+node: {title: "n385n361" label: "0x4Is 361"  info1: "0x4 361
+  mode:    Is
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   0
+  pred nodes:
+    -1:    Block 337
+  Private Attributes:
+  in loop 636 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n385" targetname: "n389" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n385" targetname: "n385n361" label: "1" class:16 priority:10}
 }
@@ -84,180 +105,351 @@ edge: {sourcename: "n385" targetname: "n385n361" label: "1" class:16 priority:10
 graph: { title: "n351"  label: "Block 351" status:clustered color:yellow
 edge: {sourcename: "n351" targetname: "n350" label: "0" class:13 priority:60 color:red}
 backedge: {sourcename: "n351" targetname: "n376" label: "1" linestyle:dashed class:13 priority:60 color:red}
-node: {title: "n389" label: "PhiM  389"  info1: "mode:    M
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 2 backedges:
-"color: green}
+node: {title: "n389" label: "PhiM 389"  info1: "Phi 389
+  mode:    M
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   2
+  pred nodes:
+    -1:    Block 351
+     0:    Proj 344
+     1:    Proj 375
+  Private Attributes:
+  backedges:
+  in loop 639 with depth 1
+"
+color: green}
 edge: {sourcename: "n389" targetname: "n344" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n389" targetname: "n375" label: "1" class:17 priority:10 color:blue}
-node: {title: "n357" label: "ProjX 0 357"  info1: "mode:    X
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 1
-"color: yellow}
+node: {title: "n357" label: "ProjX 0 357"  info1: "Proj 357
+  mode:    X
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   1
+  pred nodes:
+    -1:    Block 351
+     0:    Cond 356
+  Private Attributes:
+  in loop 636 with depth 0
+"
+color: yellow}
 edge: {sourcename: "n357" targetname: "n356" label: "0" class:13 priority:60 color:red}
-node: {title: "n358" label: "ProjX 1 358"  info1: "mode:    X
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 1
-"color: yellow}
+node: {title: "n358" label: "ProjX 1 358"  info1: "Proj 358
+  mode:    X
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   1
+  pred nodes:
+    -1:    Block 351
+     0:    Cond 356
+  Private Attributes:
+  in loop 638 with depth 2
+"
+color: yellow}
 edge: {sourcename: "n358" targetname: "n356" label: "0" class:13 priority:60 color:red}
-node: {title: "n356" label: "Cond  356"  info1: "mode:    T
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 1
-"}
+node: {title: "n356" label: "Cond 356"  info1: "Cond 356
+  mode:    T
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   1
+  pred nodes:
+    -1:    Block 351
+     0:    Proj 355
+  Private Attributes:
+  in loop 638 with depth 2
+  condition kind: dense
+  default ProjNr: 0
+"
+}
 edge: {sourcename: "n356" targetname: "n355" label: "0" class:1  priority:50}
-node: {title: "n355" label: "Projb Lt 355"  info1: "mode:    b
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 1
-"color: yellow}
+node: {title: "n355" label: "Projb Lt 355"  info1: "Proj 355
+  mode:    b
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   1
+  pred nodes:
+    -1:    Block 351
+     0:    Cmp 354
+  Private Attributes:
+  in loop 638 with depth 2
+"
+color: yellow}
 edge: {sourcename: "n355" targetname: "n354" label: "0" class:1  priority:50}
-node: {title: "n354" label: "Cmp  354"  info1: "mode:    T
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 2
-"}
-node: {title: "n354n353" label: "0x0Is  353"  info1: "mode:    Is
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n354" label: "Cmp 354"  info1: "Cmp 354
+  mode:    T
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   2
+  pred nodes:
+    -1:    Block 351
+     0:    0x0 353
+     1:    Phi 390
+  Private Attributes:
+  in loop 638 with depth 2
+"
+}
+node: {title: "n354n353" label: "0x0Is 353"  info1: "0x0 353
+  mode:    Is
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   0
+  pred nodes:
+    -1:    Block 337
+  Private Attributes:
+  in loop 636 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n354" targetname: "n354n353" label: "0" class:16 priority:10}
 edge: {sourcename: "n354" targetname: "n390" label: "1" class:1  priority:50}
-node: {title: "n390" label: "PhiIs  390"  info1: "mode:    Is
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 2 backedges:
-"color: green}
-node: {title: "n390n656" label: "0x28Is  656"  info1: "mode:    Is
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n390" label: "PhiIs 390"  info1: "Phi 390
+  mode:    Is
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   2
+  pred nodes:
+    -1:    Block 351
+     0:    0x28 656
+     1:    Add 643
+  Private Attributes:
+  backedges:
+  in loop 637 with depth 1
+"
+color: green}
+node: {title: "n390n656" label: "0x28Is 656"  info1: "0x28 656
+  mode:    Is
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   0
+  pred nodes:
+    -1:    Block 337
+  Private Attributes:
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n390" targetname: "n390n656" label: "0" class:16 priority:10}
 edge: {sourcename: "n390" targetname: "n643" label: "1" class:16 priority:10}
 }
 
 graph: { title: "n347"  label: "Block 347" status:clustered color:yellow
 edge: {sourcename: "n347" targetname: "n341" label: "0" class:13 priority:60 color:red}
-node: {title: "n350" label: "Jmp  350"  info1: "mode:    X
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 0
-"}
+node: {title: "n350" label: "Jmp 350"  info1: "Jmp 350
+  mode:    X
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   0
+  pred nodes:
+    -1:    Block 347
+  Private Attributes:
+  in loop 636 with depth 0
+"
+}
 }
 
 graph: { title: "n359"  label: "Block 359" status:clustered color:yellow
 edge: {sourcename: "n359" targetname: "n358" label: "0" class:13 priority:60 color:red}
-node: {title: "n375" label: "ProjM 0 375"  info1: "mode:    M
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 1
-"color: yellow}
+node: {title: "n375" label: "ProjM 0 375"  info1: "Proj 375
+  mode:    M
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   1
+  pred nodes:
+    -1:    Block 359
+     0:    Store 373
+  Private Attributes:
+  in loop 639 with depth 1
+"
+color: yellow}
 edge: {sourcename: "n375" targetname: "n373" label: "0" class:17 priority:10 color:blue}
-node: {title: "n373" label: "Store  373"  info1: "mode:    T
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 3
-volatility: volatility_non_volatile
-"}
-node: {title: "n373n371" label: "0x13Is  371"  info1: "mode:    Is
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n373" label: "Store 373"  info1: "Store 373
+  mode:    T
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   3
+  pred nodes:
+    -1:    Block 359
+     0:    Phi 389
+     1:    Add 652
+     2:    0x13 371
+  Private Attributes:
+  pinned state: op_pin_state_pinned
+  in loop 639 with depth 1
+  volatility: volatility_non_volatile
+"
+}
+node: {title: "n373n371" label: "0x13Is 371"  info1: "0x13 371
+  mode:    Is
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   0
+  pred nodes:
+    -1:    Block 337
+  Private Attributes:
+  in loop 636 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n373" targetname: "n389" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n373" targetname: "n652" label: "1" class:1  priority:50}
 edge: {sourcename: "n373" targetname: "n373n371" label: "2" class:16 priority:10}
-node: {title: "n652" label: "AddP  652"  info1: "mode:    P
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 2
-"}
-node: {title: "n652n651" label: "0x9Is  651"  info1: "mode:    Is
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n652" label: "AddP 652"  info1: "Add 652
+  mode:    P
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   2
+  pred nodes:
+    -1:    Block 359
+     0:    Add 649
+     1:    0x9 651
+  Private Attributes:
+"
+}
+node: {title: "n652n651" label: "0x9Is 651"  info1: "0x9 651
+  mode:    Is
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   0
+  pred nodes:
+    -1:    Block 337
+  Private Attributes:
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n652" targetname: "n649" label: "0" class:1  priority:50}
 edge: {sourcename: "n652" targetname: "n652n651" label: "1" class:16 priority:10}
-node: {title: "n649" label: "AddP  649"  info1: "mode:    P
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 2
-"}
+node: {title: "n649" label: "AddP 649"  info1: "Add 649
+  mode:    P
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   2
+  pred nodes:
+    -1:    Block 359
+     0:    Phi 390
+     1:    Add 648
+  Private Attributes:
+"
+}
 edge: {sourcename: "n649" targetname: "n390" label: "0" class:16 priority:10}
 edge: {sourcename: "n649" targetname: "n648" label: "1" class:1  priority:50}
-node: {title: "n648" label: "AddP  648"  info1: "mode:    P
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 2
-"}
-node: {title: "n648n349" label: "SymC &a  349"  info1: "mode:    P
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 0
-kind: addr_ent
-entity GlobalType.a (333)
+node: {title: "n648" label: "AddP 648"  info1: "Add 648
+  mode:    P
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   2
+  pred nodes:
+    -1:    Block 359
+     0:    SymC &a 349
+     1:    0xFFFFFFFC 646
+  Private Attributes:
+"
+}
+node: {title: "n648n349" label: "SymC &a 349"  info1: "SymC &a 349
+  mode:    P
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   0
+  pred nodes:
+    -1:    Block 337
+  Private Attributes:
+  in loop 636 with depth 0
+  kind:   addr_ent
+  entity: entity GlobalType.a (333)
 
-SymConst of type: type_unknown
-"}
-node: {title: "n648n646" label: "0xFFFFFFFCIs  646"  info1: "mode:    Is
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 0
-Const of type type_unknown
-"color: yellow}
+  type of value: type_unknown
+"
+}
+node: {title: "n648n646" label: "0xFFFFFFFCIs 646"  info1: "0xFFFFFFFC 646
+  mode:    Is
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   0
+  pred nodes:
+    -1:    Block 337
+  Private Attributes:
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n648" targetname: "n648n349" label: "0" class:16 priority:10}
 edge: {sourcename: "n648" targetname: "n648n646" label: "1" class:16 priority:10}
-node: {title: "n376" label: "Jmp  376"  info1: "mode:    X
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 0
-"}
-node: {title: "n643" label: "AddIs  643"  info1: "mode:    Is
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 2
-"}
-node: {title: "n643n646" label: "0xFFFFFFFCIs  646"  info1: "mode:    Is
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n376" label: "Jmp 376"  info1: "Jmp 376
+  mode:    X
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   0
+  pred nodes:
+    -1:    Block 359
+  Private Attributes:
+  in loop 638 with depth 2
+"
+}
+node: {title: "n643" label: "AddIs 643"  info1: "Add 643
+  mode:    Is
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   2
+  pred nodes:
+    -1:    Block 359
+     0:    Phi 390
+     1:    0xFFFFFFFC 646
+  Private Attributes:
+"
+}
+node: {title: "n643n646" label: "0xFFFFFFFCIs 646"  info1: "0xFFFFFFFC 646
+  mode:    Is
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   0
+  pred nodes:
+    -1:    Block 337
+  Private Attributes:
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n643" targetname: "n390" label: "0" class:16 priority:10}
 edge: {sourcename: "n643" targetname: "n643n646" label: "1" class:16 priority:10}
 }
 
 graph: { title: "n337"  label: "Block 337" status:clustered color:yellow
 edge: {sourcename: "n337" targetname: "n341" label: "0" class:13 priority:60 color:red}
-node: {title: "n344" label: "ProjM 1 344"  info1: "mode:    M
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 1
-"color: yellow}
+node: {title: "n344" label: "ProjM 1 344"  info1: "Proj 344
+  mode:    M
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   1
+  pred nodes:
+    -1:    Block 337
+     0:    Start 338
+  Private Attributes:
+  in loop 636 with depth 0
+"
+color: yellow}
 edge: {sourcename: "n344" targetname: "n338" label: "0" class:17 priority:10 color:blue}
-node: {title: "n341" label: "ProjX 0 341"  info1: "mode:    X
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 1
-"color: yellow}
+node: {title: "n341" label: "ProjX 0 341"  info1: "Proj 341
+  mode:    X
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   1
+  pred nodes:
+    -1:    Block 337
+     0:    Start 338
+  Private Attributes:
+  in loop 636 with depth 0
+"
+color: yellow}
 edge: {sourcename: "n341" targetname: "n338" label: "0" class:13 priority:60 color:red}
-node: {title: "n338" label: "Start  338"  info1: "mode:    T
-visited: 27
-irg:     STRENGTH_RED_EXAMPLE_m5
-arity: 0
-start of method of type STRENGTH_RED_EXAMPLE_meth_tp
-  param 0 type: int
-"color: blue}
+node: {title: "n338" label: "Start 338"  info1: "Start 338
+  mode:    T
+  visited: 27
+  irg:     STRENGTH_RED_EXAMPLE_m5
+  arity:   0
+  pred nodes:
+    -1:    Block 337
+  Private Attributes:
+  in loop 636 with depth 0
+  start of method of type STRENGTH_RED_EXAMPLE_meth_tp
+    param 0 type: int
+"
+color: blue}
 }
 
 }
libfirm