more verbose node info
[libfirm] / testprograms / ref-results / STRENGTH_RED_EXAMPLE_m7.vcg
index 1598e91..d8a6f9e 100644 (file)
@@ -55,28 +55,46 @@ colorentry 125:  255 250  250
 graph: { title: "g478" label: "STRENGTH_RED_EXAMPLE_m7" status:clustered color:white
 graph: { title: "n467"  label: "Block 467" status:clustered color:yellow
 edge: {sourcename: "n467" targetname: "n517" label: "0" class:13 priority:60 color:red}
-node: {title: "n468" label: "End  468"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 1
-"color: blue}
+node: {title: "n468" label: "End  468"  info1: "End 468
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   1
+  pred nodes:
+    -1:    Block 467
+     0:    Phi 521
+  Private Attributes:
+"
+color: blue}
 }
 
 graph: { title: "n514"  label: "Block 514" status:clustered color:yellow
 edge: {sourcename: "n514" targetname: "n490" label: "0" class:13 priority:60 color:red}
-node: {title: "n517" label: "Return  517"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 2
-return in method of type STRENGTH_RED_EXAMPLE_meth_tp
-  res 0 type: int
-"}
-node: {title: "n517n494" label: "0x4Is  494"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n517" label: "Return  517"  info1: "Return 517
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   2
+  pred nodes:
+    -1:    Block 514
+     0:    Phi 521
+     1:    0x4 494
+  Private Attributes:
+  return in method of type STRENGTH_RED_EXAMPLE_meth_tp
+    res 0 type: int
+"
+}
+node: {title: "n517n494" label: "0x4Is  494"  info1: "0x4 494
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   0
+  pred nodes:
+    -1:    Block 469
+  Private Attributes:
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n517" targetname: "n521" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n517" targetname: "n517n494" label: "1" class:16 priority:10}
 }
@@ -84,200 +102,373 @@ edge: {sourcename: "n517" targetname: "n517n494" label: "1" class:16 priority:10
 graph: { title: "n484"  label: "Block 484" status:clustered color:yellow
 edge: {sourcename: "n484" targetname: "n483" label: "0" class:13 priority:60 color:red}
 backedge: {sourcename: "n484" targetname: "n508" label: "1" linestyle:dashed class:13 priority:60 color:red}
-node: {title: "n521" label: "PhiM  521"  info1: "mode:    M
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 2 backedges:  1
-"color: green}
+node: {title: "n521" label: "PhiM  521"  info1: "Phi 521
+  mode:    M
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   2
+  pred nodes:
+    -1:    Block 484
+     0:    Proj 476
+     1: be Proj 506
+  Private Attributes:
+  backedges:  1
+"
+color: green}
 edge: {sourcename: "n521" targetname: "n476" label: "0" class:17 priority:10 color:blue}
 backedge: {sourcename: "n521" targetname: "n506" label: "1" linestyle:dashed class:17 priority:10 color:blue}
-node: {title: "n490" label: "ProjX 0 490"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 1
-"color: yellow}
+node: {title: "n490" label: "ProjX 0 490"  info1: "Proj 490
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   1
+  pred nodes:
+    -1:    Block 484
+     0:    Cond 489
+  Private Attributes:
+"
+color: yellow}
 edge: {sourcename: "n490" targetname: "n489" label: "0" class:13 priority:60 color:red}
-node: {title: "n491" label: "ProjX 1 491"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 1
-"color: yellow}
+node: {title: "n491" label: "ProjX 1 491"  info1: "Proj 491
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   1
+  pred nodes:
+    -1:    Block 484
+     0:    Cond 489
+  Private Attributes:
+"
+color: yellow}
 edge: {sourcename: "n491" targetname: "n489" label: "0" class:13 priority:60 color:red}
-node: {title: "n489" label: "Cond  489"  info1: "mode:    T
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 1
-"}
+node: {title: "n489" label: "Cond  489"  info1: "Cond 489
+  mode:    T
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   1
+  pred nodes:
+    -1:    Block 484
+     0:    Proj 488
+  Private Attributes:
+  condition kind: dense
+  default ProjNr: 0
+"
+}
 edge: {sourcename: "n489" targetname: "n488" label: "0" class:1  priority:50}
-node: {title: "n488" label: "Projb Lt 488"  info1: "mode:    b
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 1
-"color: yellow}
+node: {title: "n488" label: "Projb Lt 488"  info1: "Proj 488
+  mode:    b
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   1
+  pred nodes:
+    -1:    Block 484
+     0:    Cmp 487
+  Private Attributes:
+"
+color: yellow}
 edge: {sourcename: "n488" targetname: "n487" label: "0" class:1  priority:50}
-node: {title: "n487" label: "Cmp  487"  info1: "mode:    T
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 2
-"}
-node: {title: "n487n486" label: "0x0Is  486"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n487" label: "Cmp  487"  info1: "Cmp 487
+  mode:    T
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   2
+  pred nodes:
+    -1:    Block 484
+     0:    0x0 486
+     1:    Phi 522
+  Private Attributes:
+"
+}
+node: {title: "n487n486" label: "0x0Is  486"  info1: "0x0 486
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   0
+  pred nodes:
+    -1:    Block 469
+  Private Attributes:
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n487" targetname: "n487n486" label: "0" class:16 priority:10}
 edge: {sourcename: "n487" targetname: "n522" label: "1" class:1  priority:50}
-node: {title: "n522" label: "PhiIs  522"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 2 backedges:  1
-"color: green}
-node: {title: "n522n481" label: "0xAIs  481"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n522" label: "PhiIs  522"  info1: "Phi 522
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   2
+  pred nodes:
+    -1:    Block 484
+     0:    0xA 481
+     1: be Sub 507
+  Private Attributes:
+  backedges:  1
+"
+color: green}
+node: {title: "n522n481" label: "0xAIs  481"  info1: "0xA 481
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   0
+  pred nodes:
+    -1:    Block 469
+  Private Attributes:
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n522" targetname: "n522n481" label: "0" class:16 priority:10}
 backedge: {sourcename: "n522" targetname: "n507" label: "1" linestyle:dashed class:16 priority:10}
 }
 
 graph: { title: "n479"  label: "Block 479" status:clustered color:yellow
 edge: {sourcename: "n479" targetname: "n473" label: "0" class:13 priority:60 color:red}
-node: {title: "n483" label: "Jmp  483"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 0
-"}
+node: {title: "n483" label: "Jmp  483"  info1: "Jmp 483
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   0
+  pred nodes:
+    -1:    Block 479
+  Private Attributes:
+"
+}
 }
 
 graph: { title: "n492"  label: "Block 492" status:clustered color:yellow
 edge: {sourcename: "n492" targetname: "n491" label: "0" class:13 priority:60 color:red}
-node: {title: "n506" label: "ProjM 0 506"  info1: "mode:    M
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 1
-"color: yellow}
+node: {title: "n506" label: "ProjM 0 506"  info1: "Proj 506
+  mode:    M
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   1
+  pred nodes:
+    -1:    Block 492
+     0:    Store 504
+  Private Attributes:
+"
+color: yellow}
 edge: {sourcename: "n506" targetname: "n504" label: "0" class:17 priority:10 color:blue}
-node: {title: "n504" label: "Store  504"  info1: "mode:    T
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 3
-volatility: volatility_non_volatile
-"}
+node: {title: "n504" label: "Store  504"  info1: "Store 504
+  mode:    T
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   3
+  pred nodes:
+    -1:    Block 492
+     0:    Phi 521
+     1:    Add 501
+     2:    Add 502
+  Private Attributes:
+  pinned state: op_pin_state_pinned
+  volatility: volatility_non_volatile
+"
+}
 edge: {sourcename: "n504" targetname: "n521" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n504" targetname: "n501" label: "1" class:1  priority:50}
 edge: {sourcename: "n504" targetname: "n502" label: "2" class:1  priority:50}
-node: {title: "n501" label: "AddP  501"  info1: "mode:    P
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 2
-"}
-node: {title: "n501n482" label: "SymC &a  482"  info1: "mode:    P
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 0
-kind: addr_ent
-entity GlobalType.a (465)
+node: {title: "n501" label: "AddP  501"  info1: "Add 501
+  mode:    P
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   2
+  pred nodes:
+    -1:    Block 492
+     0:    Mul 499
+     1:    SymC &a 482
+  Private Attributes:
+"
+}
+node: {title: "n501n482" label: "SymC &a  482"  info1: "SymC &a 482
+  mode:    P
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   0
+  pred nodes:
+    -1:    Block 469
+  Private Attributes:
+  kind:   addr_ent
+  entity: entity GlobalType.a (465)
 
-SymConst of type: type_unknown
-"}
+  type of value: type_unknown
+"
+}
 edge: {sourcename: "n501" targetname: "n499" label: "0" class:1  priority:50}
 edge: {sourcename: "n501" targetname: "n501n482" label: "1" class:16 priority:10}
-node: {title: "n499" label: "MulIs  499"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 2
-"}
-node: {title: "n499n494" label: "0x4Is  494"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n499" label: "MulIs  499"  info1: "Mul 499
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   2
+  pred nodes:
+    -1:    Block 492
+     0:    0x4 494
+     1:    Add 498
+  Private Attributes:
+"
+}
+node: {title: "n499n494" label: "0x4Is  494"  info1: "0x4 494
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   0
+  pred nodes:
+    -1:    Block 469
+  Private Attributes:
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n499" targetname: "n499n494" label: "0" class:16 priority:10}
 edge: {sourcename: "n499" targetname: "n498" label: "1" class:1  priority:50}
-node: {title: "n498" label: "AddIs  498"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 2
-"}
-node: {title: "n498n495" label: "0x13Is  495"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n498" label: "AddIs  498"  info1: "Add 498
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   2
+  pred nodes:
+    -1:    Block 492
+     0:    0x13 495
+     1:    Add 497
+  Private Attributes:
+"
+}
+node: {title: "n498n495" label: "0x13Is  495"  info1: "0x13 495
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   0
+  pred nodes:
+    -1:    Block 469
+  Private Attributes:
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n498" targetname: "n498n495" label: "0" class:16 priority:10}
 edge: {sourcename: "n498" targetname: "n497" label: "1" class:1  priority:50}
-node: {title: "n497" label: "AddIs  497"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 2
-"}
-node: {title: "n497n494" label: "0x4Is  494"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n497" label: "AddIs  497"  info1: "Add 497
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   2
+  pred nodes:
+    -1:    Block 492
+     0:    0x4 494
+     1:    Phi 522
+  Private Attributes:
+"
+}
+node: {title: "n497n494" label: "0x4Is  494"  info1: "0x4 494
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   0
+  pred nodes:
+    -1:    Block 469
+  Private Attributes:
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n497" targetname: "n497n494" label: "0" class:16 priority:10}
 edge: {sourcename: "n497" targetname: "n522" label: "1" class:16 priority:10}
-node: {title: "n502" label: "AddIs  502"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 2
-"}
-node: {title: "n502n495" label: "0x13Is  495"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n502" label: "AddIs  502"  info1: "Add 502
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   2
+  pred nodes:
+    -1:    Block 492
+     0:    0x13 495
+     1:    Phi 522
+  Private Attributes:
+"
+}
+node: {title: "n502n495" label: "0x13Is  495"  info1: "0x13 495
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   0
+  pred nodes:
+    -1:    Block 469
+  Private Attributes:
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n502" targetname: "n502n495" label: "0" class:16 priority:10}
 edge: {sourcename: "n502" targetname: "n522" label: "1" class:16 priority:10}
-node: {title: "n508" label: "Jmp  508"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 0
-"}
-node: {title: "n507" label: "SubIs  507"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 2
-"}
-node: {title: "n507n493" label: "0x1Is  493"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n508" label: "Jmp  508"  info1: "Jmp 508
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   0
+  pred nodes:
+    -1:    Block 492
+  Private Attributes:
+"
+}
+node: {title: "n507" label: "SubIs  507"  info1: "Sub 507
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   2
+  pred nodes:
+    -1:    Block 492
+     0:    Phi 522
+     1:    0x1 493
+  Private Attributes:
+"
+}
+node: {title: "n507n493" label: "0x1Is  493"  info1: "0x1 493
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   0
+  pred nodes:
+    -1:    Block 469
+  Private Attributes:
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n507" targetname: "n522" label: "0" class:16 priority:10}
 edge: {sourcename: "n507" targetname: "n507n493" label: "1" class:16 priority:10}
 }
 
 graph: { title: "n469"  label: "Block 469" status:clustered color:yellow
 edge: {sourcename: "n469" targetname: "n473" label: "0" class:13 priority:60 color:red}
-node: {title: "n476" label: "ProjM 1 476"  info1: "mode:    M
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 1
-"color: yellow}
+node: {title: "n476" label: "ProjM 1 476"  info1: "Proj 476
+  mode:    M
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   1
+  pred nodes:
+    -1:    Block 469
+     0:    Start 470
+  Private Attributes:
+"
+color: yellow}
 edge: {sourcename: "n476" targetname: "n470" label: "0" class:17 priority:10 color:blue}
-node: {title: "n473" label: "ProjX 0 473"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 1
-"color: yellow}
+node: {title: "n473" label: "ProjX 0 473"  info1: "Proj 473
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   1
+  pred nodes:
+    -1:    Block 469
+     0:    Start 470
+  Private Attributes:
+"
+color: yellow}
 edge: {sourcename: "n473" targetname: "n470" label: "0" class:13 priority:60 color:red}
-node: {title: "n470" label: "Start  470"  info1: "mode:    T
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m7
-arity: 0
-start of method of type STRENGTH_RED_EXAMPLE_meth_tp
-  param 0 type: int
-"color: blue}
+node: {title: "n470" label: "Start  470"  info1: "Start 470
+  mode:    T
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m7
+  arity:   0
+  pred nodes:
+    -1:    Block 469
+  Private Attributes:
+  start of method of type STRENGTH_RED_EXAMPLE_meth_tp
+    param 0 type: int
+"
+color: blue}
 }
 
 }