Added support for Mux node
[libfirm] / testprograms / ref-results / STRENGTH_RED_EXAMPLE_m3.vcg
index e88e116..e706d17 100644 (file)
@@ -55,28 +55,49 @@ colorentry 125:  255 250  250
 graph: { title: "g213" label: "STRENGTH_RED_EXAMPLE_m3" status:clustered color:white
 graph: { title: "n202"  label: "Block 202" status:clustered color:yellow
 edge: {sourcename: "n202" targetname: "n252" label: "0" class:13 priority:60 color:red}
-node: {title: "n203" label: "End  203"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: blue}
+node: {title: "n203" label: "End 203"  info1: "End 203
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   1
+  pred nodes:
+    -1:    Block 202
+     0:    Phi 256
+  Private Attributes:
+  in loop 582 with depth 0
+"
+color: blue}
 }
 
 graph: { title: "n249"  label: "Block 249" status:clustered color:yellow
 edge: {sourcename: "n249" targetname: "n224" label: "0" class:13 priority:60 color:red}
-node: {title: "n252" label: "Return  252"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 2
-return in method of type STRENGTH_RED_EXAMPLE_meth_tp
-  res 0 type: int
-"}
-node: {title: "n252n228" label: "0x4Is  228"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n252" label: "Return 252"  info1: "Return 252
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   2
+  pred nodes:
+    -1:    Block 249
+     0:    Phi 256
+     1:    0x4 228
+  Private Attributes:
+  in loop 582 with depth 0
+  return in method of type STRENGTH_RED_EXAMPLE_meth_tp
+    res 0 type: int
+"
+}
+node: {title: "n252n228" label: "0x4Is 228"  info1: "0x4 228
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   0
+  pred nodes:
+    -1:    Block 204
+  Private Attributes:
+  in loop 582 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n252" targetname: "n256" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n252" targetname: "n252n228" label: "1" class:16 priority:10}
 }
@@ -84,207 +105,416 @@ edge: {sourcename: "n252" targetname: "n252n228" label: "1" class:16 priority:10
 graph: { title: "n218"  label: "Block 218" status:clustered color:yellow
 edge: {sourcename: "n218" targetname: "n217" label: "0" class:13 priority:60 color:red}
 backedge: {sourcename: "n218" targetname: "n243" label: "1" linestyle:dashed class:13 priority:60 color:red}
-node: {title: "n256" label: "PhiM  256"  info1: "mode:    M
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 2 backedges:  1
-"color: green}
+node: {title: "n256" label: "PhiM 256"  info1: "Phi 256
+  mode:    M
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   2
+  pred nodes:
+    -1:    Block 218
+     0:    Proj 211
+     1: be Proj 241
+  Private Attributes:
+  backedges:  1
+  in loop 585 with depth 1
+"
+color: green}
 edge: {sourcename: "n256" targetname: "n211" label: "0" class:17 priority:10 color:blue}
 backedge: {sourcename: "n256" targetname: "n241" label: "1" linestyle:dashed class:17 priority:10 color:blue}
-node: {title: "n224" label: "ProjX 0 224"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: yellow}
+node: {title: "n224" label: "ProjX 0 224"  info1: "Proj 224
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   1
+  pred nodes:
+    -1:    Block 218
+     0:    Cond 223
+  Private Attributes:
+  in loop 582 with depth 0
+"
+color: yellow}
 edge: {sourcename: "n224" targetname: "n223" label: "0" class:13 priority:60 color:red}
-node: {title: "n225" label: "ProjX 1 225"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: yellow}
+node: {title: "n225" label: "ProjX 1 225"  info1: "Proj 225
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   1
+  pred nodes:
+    -1:    Block 218
+     0:    Cond 223
+  Private Attributes:
+  in loop 584 with depth 2
+"
+color: yellow}
 edge: {sourcename: "n225" targetname: "n223" label: "0" class:13 priority:60 color:red}
-node: {title: "n223" label: "Cond  223"  info1: "mode:    T
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"}
+node: {title: "n223" label: "Cond 223"  info1: "Cond 223
+  mode:    T
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   1
+  pred nodes:
+    -1:    Block 218
+     0:    Proj 222
+  Private Attributes:
+  in loop 584 with depth 2
+  condition kind: dense
+  default ProjNr: 0
+"
+}
 edge: {sourcename: "n223" targetname: "n222" label: "0" class:1  priority:50}
-node: {title: "n222" label: "Projb Lt 222"  info1: "mode:    b
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: yellow}
+node: {title: "n222" label: "Projb Lt 222"  info1: "Proj 222
+  mode:    b
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   1
+  pred nodes:
+    -1:    Block 218
+     0:    Cmp 221
+  Private Attributes:
+  in loop 584 with depth 2
+"
+color: yellow}
 edge: {sourcename: "n222" targetname: "n221" label: "0" class:1  priority:50}
-node: {title: "n221" label: "Cmp  221"  info1: "mode:    T
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
-node: {title: "n221n220" label: "0x0Is  220"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n221" label: "Cmp 221"  info1: "Cmp 221
+  mode:    T
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   2
+  pred nodes:
+    -1:    Block 218
+     0:    0x0 220
+     1:    Phi 257
+  Private Attributes:
+  in loop 584 with depth 2
+"
+}
+node: {title: "n221n220" label: "0x0Is 220"  info1: "0x0 220
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   0
+  pred nodes:
+    -1:    Block 204
+  Private Attributes:
+  in loop 582 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n221" targetname: "n221n220" label: "0" class:16 priority:10}
 edge: {sourcename: "n221" targetname: "n257" label: "1" class:1  priority:50}
-node: {title: "n257" label: "PhiIs  257"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 2 backedges:  1
-"color: green}
-node: {title: "n257n215" label: "0xAIs  215"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n257" label: "PhiIs 257"  info1: "Phi 257
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   2
+  pred nodes:
+    -1:    Block 218
+     0:    0xA 215
+     1: be Sub 242
+  Private Attributes:
+  backedges:  1
+  in loop 583 with depth 1
+"
+color: green}
+node: {title: "n257n215" label: "0xAIs 215"  info1: "0xA 215
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   0
+  pred nodes:
+    -1:    Block 204
+  Private Attributes:
+  in loop 582 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n257" targetname: "n257n215" label: "0" class:16 priority:10}
 backedge: {sourcename: "n257" targetname: "n242" label: "1" linestyle:dashed class:16 priority:10}
 }
 
 graph: { title: "n214"  label: "Block 214" status:clustered color:yellow
 edge: {sourcename: "n214" targetname: "n208" label: "0" class:13 priority:60 color:red}
-node: {title: "n217" label: "Jmp  217"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 0
-"}
+node: {title: "n217" label: "Jmp 217"  info1: "Jmp 217
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   0
+  pred nodes:
+    -1:    Block 214
+  Private Attributes:
+  in loop 582 with depth 0
+"
+}
 }
 
 graph: { title: "n226"  label: "Block 226" status:clustered color:yellow
 edge: {sourcename: "n226" targetname: "n225" label: "0" class:13 priority:60 color:red}
-node: {title: "n241" label: "ProjM 0 241"  info1: "mode:    M
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: yellow}
+node: {title: "n241" label: "ProjM 0 241"  info1: "Proj 241
+  mode:    M
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   1
+  pred nodes:
+    -1:    Block 226
+     0:    Store 239
+  Private Attributes:
+  in loop 585 with depth 1
+"
+color: yellow}
 edge: {sourcename: "n241" targetname: "n239" label: "0" class:17 priority:10 color:blue}
-node: {title: "n239" label: "Store  239"  info1: "mode:    T
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 3
-volatility: volatility_non_volatile
-"}
+node: {title: "n239" label: "Store 239"  info1: "Store 239
+  mode:    T
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   3
+  pred nodes:
+    -1:    Block 226
+     0:    Phi 256
+     1:    Add 237
+     2:    Phi 257
+  Private Attributes:
+  pinned state: op_pin_state_pinned
+  in loop 585 with depth 1
+  volatility: volatility_non_volatile
+"
+}
 edge: {sourcename: "n239" targetname: "n256" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n239" targetname: "n237" label: "1" class:1  priority:50}
 edge: {sourcename: "n239" targetname: "n257" label: "2" class:16 priority:10}
-node: {title: "n237" label: "AddP  237"  info1: "mode:    P
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
+node: {title: "n237" label: "AddP 237"  info1: "Add 237
+  mode:    P
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   2
+  pred nodes:
+    -1:    Block 226
+     0:    Add 235
+     1:    Add 236
+  Private Attributes:
+  in loop 582 with depth 0
+"
+}
 edge: {sourcename: "n237" targetname: "n235" label: "0" class:1  priority:50}
 edge: {sourcename: "n237" targetname: "n236" label: "1" class:1  priority:50}
-node: {title: "n236" label: "AddP  236"  info1: "mode:    P
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
-node: {title: "n236n229" label: "0x8Is  229"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n236" label: "AddP 236"  info1: "Add 236
+  mode:    P
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   2
+  pred nodes:
+    -1:    Block 226
+     0:    0x8 229
+     1:    Add 235
+  Private Attributes:
+  in loop 582 with depth 0
+"
+}
+node: {title: "n236n229" label: "0x8Is 229"  info1: "0x8 229
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   0
+  pred nodes:
+    -1:    Block 204
+  Private Attributes:
+  in loop 582 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n236" targetname: "n236n229" label: "0" class:16 priority:10}
 edge: {sourcename: "n236" targetname: "n235" label: "1" class:1  priority:50}
-node: {title: "n235" label: "AddP  235"  info1: "mode:    P
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
-node: {title: "n235n229" label: "0x8Is  229"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n235" label: "AddP 235"  info1: "Add 235
+  mode:    P
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   2
+  pred nodes:
+    -1:    Block 226
+     0:    0x8 229
+     1:    Add 234
+  Private Attributes:
+  in loop 582 with depth 0
+"
+}
+node: {title: "n235n229" label: "0x8Is 229"  info1: "0x8 229
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   0
+  pred nodes:
+    -1:    Block 204
+  Private Attributes:
+  in loop 582 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n235" targetname: "n235n229" label: "0" class:16 priority:10}
 edge: {sourcename: "n235" targetname: "n234" label: "1" class:1  priority:50}
-node: {title: "n234" label: "AddP  234"  info1: "mode:    P
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
-node: {title: "n234n228" label: "0x4Is  228"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n234" label: "AddP 234"  info1: "Add 234
+  mode:    P
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   2
+  pred nodes:
+    -1:    Block 226
+     0:    0x4 228
+     1:    Add 233
+  Private Attributes:
+  in loop 582 with depth 0
+"
+}
+node: {title: "n234n228" label: "0x4Is 228"  info1: "0x4 228
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   0
+  pred nodes:
+    -1:    Block 204
+  Private Attributes:
+  in loop 582 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n234" targetname: "n234n228" label: "0" class:16 priority:10}
 edge: {sourcename: "n234" targetname: "n233" label: "1" class:1  priority:50}
-node: {title: "n233" label: "AddP  233"  info1: "mode:    P
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
-node: {title: "n233n216" label: "SymC &a  216"  info1: "mode:    P
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 0
-kind addr_ent
-entity GlobalType.a (200)
+node: {title: "n233" label: "AddP 233"  info1: "Add 233
+  mode:    P
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   2
+  pred nodes:
+    -1:    Block 226
+     0:    Mul 231
+     1:    SymC &a 216
+  Private Attributes:
+  in loop 582 with depth 0
+"
+}
+node: {title: "n233n216" label: "SymC &a 216"  info1: "SymC &a 216
+  mode:    P
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   0
+  pred nodes:
+    -1:    Block 204
+  Private Attributes:
+  in loop 582 with depth 0
+  kind:   addr_ent
+  entity: entity GlobalType.a (200)
 
-SymConst of type type_unknown
-"}
+  type of value: type_unknown
+"
+}
 edge: {sourcename: "n233" targetname: "n231" label: "0" class:1  priority:50}
 edge: {sourcename: "n233" targetname: "n233n216" label: "1" class:16 priority:10}
-node: {title: "n231" label: "MulIs  231"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
-node: {title: "n231n228" label: "0x4Is  228"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n231" label: "MulIs 231"  info1: "Mul 231
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   2
+  pred nodes:
+    -1:    Block 226
+     0:    0x4 228
+     1:    Phi 257
+  Private Attributes:
+  in loop 582 with depth 0
+"
+}
+node: {title: "n231n228" label: "0x4Is 228"  info1: "0x4 228
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   0
+  pred nodes:
+    -1:    Block 204
+  Private Attributes:
+  in loop 582 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n231" targetname: "n231n228" label: "0" class:16 priority:10}
 edge: {sourcename: "n231" targetname: "n257" label: "1" class:16 priority:10}
-node: {title: "n243" label: "Jmp  243"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 0
-"}
-node: {title: "n242" label: "SubIs  242"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
-node: {title: "n242n227" label: "0x1Is  227"  info1: "mode:    Is
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n243" label: "Jmp 243"  info1: "Jmp 243
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   0
+  pred nodes:
+    -1:    Block 226
+  Private Attributes:
+  in loop 584 with depth 2
+"
+}
+node: {title: "n242" label: "SubIs 242"  info1: "Sub 242
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   2
+  pred nodes:
+    -1:    Block 226
+     0:    Phi 257
+     1:    0x1 227
+  Private Attributes:
+  in loop 583 with depth 1
+"
+}
+node: {title: "n242n227" label: "0x1Is 227"  info1: "0x1 227
+  mode:    Is
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   0
+  pred nodes:
+    -1:    Block 204
+  Private Attributes:
+  in loop 582 with depth 0
+  Const of type type_unknown
+"
+color: yellow}
 edge: {sourcename: "n242" targetname: "n257" label: "0" class:16 priority:10}
 edge: {sourcename: "n242" targetname: "n242n227" label: "1" class:16 priority:10}
 }
 
 graph: { title: "n204"  label: "Block 204" status:clustered color:yellow
 edge: {sourcename: "n204" targetname: "n208" label: "0" class:13 priority:60 color:red}
-node: {title: "n211" label: "ProjM 1 211"  info1: "mode:    M
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: yellow}
+node: {title: "n211" label: "ProjM 1 211"  info1: "Proj 211
+  mode:    M
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   1
+  pred nodes:
+    -1:    Block 204
+     0:    Start 205
+  Private Attributes:
+  in loop 582 with depth 0
+"
+color: yellow}
 edge: {sourcename: "n211" targetname: "n205" label: "0" class:17 priority:10 color:blue}
-node: {title: "n208" label: "ProjX 0 208"  info1: "mode:    X
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: yellow}
+node: {title: "n208" label: "ProjX 0 208"  info1: "Proj 208
+  mode:    X
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   1
+  pred nodes:
+    -1:    Block 204
+     0:    Start 205
+  Private Attributes:
+  in loop 582 with depth 0
+"
+color: yellow}
 edge: {sourcename: "n208" targetname: "n205" label: "0" class:13 priority:60 color:red}
-node: {title: "n205" label: "Start  205"  info1: "mode:    T
-visited: 17
-irg:     STRENGTH_RED_EXAMPLE_m3
-arity: 0
-start of method of type STRENGTH_RED_EXAMPLE_meth_tp
-  param 0 type: int
-"color: blue}
+node: {title: "n205" label: "Start 205"  info1: "Start 205
+  mode:    T
+  visited: 17
+  irg:     STRENGTH_RED_EXAMPLE_m3
+  arity:   0
+  pred nodes:
+    -1:    Block 204
+  Private Attributes:
+  in loop 582 with depth 0
+  start of method of type STRENGTH_RED_EXAMPLE_meth_tp
+    param 0 type: int
+"
+color: blue}
 }
 
 }