nsz Git - libfirm/blob - testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4.vcg

   1 graph: { title: "ir graph of STRENGTH_RED_EXAMPLE_m4"
   2 display_edge_labels: no
   3 layoutalgorithm: mindepth
   4 manhattan_edges: yes
   5 port_sharing: no
   6 orientation: bottom_to_top
   7 classname 1:  "intrablock Data"
   8 classname 16: "interblock Data"
   9 classname 2:  "Block"
  10 classname 13: "Control Flow"
  11 classname 18: "Exception Control Flow for Interval Analysis"
  12 classname 14: "intrablock Memory"
  13 classname 17: "interblock Memory"
  14 classname 15: "Dominators"
  15 classname 3:  "Entity type"
  16 classname 4:  "Entity owner"
  17 classname 5:  "Method Param"
  18 classname 6:  "Method Res"
  19 classname 7:  "Super"
  20 classname 8:  "Union"
  21 classname 9:  "Points-to"
  22 classname 10: "Array Element Type"
  23 classname 11: "Overwrites"
  24 classname 12: "Member"
  25 infoname 1: "Attribute"
  26 infoname 2: "Verification errors"
  27 colorentry 100:    0   0    0
  28 colorentry 101:   20   0    0
  29 colorentry 102:   40   0    0
  30 colorentry 103:   60   0    0
  31 colorentry 104:   80   0    0
  32 colorentry 105:  100   0    0
  33 colorentry 106:  120   0    0
  34 colorentry 107:  140   0    0
  35 colorentry 108:  150   0    0
  36 colorentry 109:  180   0    0
  37 colorentry 110:  200   0    0
  38 colorentry 111:  220   0    0
  39 colorentry 112:  240   0    0
  40 colorentry 113:  255   0    0
  41 colorentry 113:  255  20   20
  42 colorentry 114:  255  40   40
  43 colorentry 115:  255  60   60
  44 colorentry 116:  255  80   80
  45 colorentry 117:  255 100  100
  46 colorentry 118:  255 120  120
  47 colorentry 119:  255 140  140
  48 colorentry 120:  255 150  150
  49 colorentry 121:  255 180  180
  50 colorentry 122:  255 200  200
  51 colorentry 123:  255 220  220
  52 colorentry 124:  255 240  240
  53 colorentry 125:  255 250  250
  54
  55 graph: { title: "g279" label: "STRENGTH_RED_EXAMPLE_m4" status:clustered color:white
  56 graph: { title: "n268"  label: "Block 268" status:clustered color:yellow
  57 edge: {sourcename: "n268" targetname: "n319" label: "0" class:13 priority:60 color:red}
  58 node: {title: "n269" label: "End  269"  info1: "End 269
  59   mode:    X
  60   visited: 21
  61   irg:     STRENGTH_RED_EXAMPLE_m4
  62   arity:   1
  63   pred nodes:
  64     -1:    Block 268
  65      0:    Phi 323
  66   Private Attributes:
  67   in loop 604 with depth 0
  68 "
  69 color: blue}
  70 }
  71
  72 graph: { title: "n316"  label: "Block 316" status:clustered color:yellow
  73 edge: {sourcename: "n316" targetname: "n290" label: "0" class:13 priority:60 color:red}
  74 node: {title: "n319" label: "Return  319"  info1: "Return 319
  75   mode:    X
  76   visited: 21
  77   irg:     STRENGTH_RED_EXAMPLE_m4
  78   arity:   2
  79   pred nodes:
  80     -1:    Block 316
  81      0:    Phi 323
  82      1:    0x4 294
  83   Private Attributes:
  84   in loop 604 with depth 0
  85   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
  86     res 0 type: int
  87 "
  88 }
  89 node: {title: "n319n294" label: "0x4Is  294"  info1: "0x4 294
  90   mode:    Is
  91   visited: 21
  92   irg:     STRENGTH_RED_EXAMPLE_m4
  93   arity:   0
  94   pred nodes:
  95     -1:    Block 270
  96   Private Attributes:
  97   in loop 604 with depth 0
  98   Const of type type_unknown
  99 "
 100 color: yellow}
 101 edge: {sourcename: "n319" targetname: "n323" label: "0" class:17 priority:10 color:blue}
 102 edge: {sourcename: "n319" targetname: "n319n294" label: "1" class:16 priority:10}
 103 }
 104
 105 graph: { title: "n284"  label: "Block 284" status:clustered color:yellow
 106 edge: {sourcename: "n284" targetname: "n283" label: "0" class:13 priority:60 color:red}
 107 backedge: {sourcename: "n284" targetname: "n310" label: "1" linestyle:dashed class:13 priority:60 color:red}
 108 node: {title: "n323" label: "PhiM  323"  info1: "Phi 323
 109   mode:    M
 110   visited: 21
 111   irg:     STRENGTH_RED_EXAMPLE_m4
 112   arity:   2
 113   pred nodes:
 114     -1:    Block 284
 115      0:    Proj 277
 116      1: be Proj 309
 117   Private Attributes:
 118   backedges:  1
 119   in loop 607 with depth 1
 120 "
 121 color: green}
 122 edge: {sourcename: "n323" targetname: "n277" label: "0" class:17 priority:10 color:blue}
 123 backedge: {sourcename: "n323" targetname: "n309" label: "1" linestyle:dashed class:17 priority:10 color:blue}
 124 node: {title: "n290" label: "ProjX 0 290"  info1: "Proj 290
 125   mode:    X
 126   visited: 21
 127   irg:     STRENGTH_RED_EXAMPLE_m4
 128   arity:   1
 129   pred nodes:
 130     -1:    Block 284
 131      0:    Cond 289
 132   Private Attributes:
 133   in loop 604 with depth 0
 134 "
 135 color: yellow}
 136 edge: {sourcename: "n290" targetname: "n289" label: "0" class:13 priority:60 color:red}
 137 node: {title: "n291" label: "ProjX 1 291"  info1: "Proj 291
 138   mode:    X
 139   visited: 21
 140   irg:     STRENGTH_RED_EXAMPLE_m4
 141   arity:   1
 142   pred nodes:
 143     -1:    Block 284
 144      0:    Cond 289
 145   Private Attributes:
 146   in loop 606 with depth 2
 147 "
 148 color: yellow}
 149 edge: {sourcename: "n291" targetname: "n289" label: "0" class:13 priority:60 color:red}
 150 node: {title: "n289" label: "Cond  289"  info1: "Cond 289
 151   mode:    T
 152   visited: 21
 153   irg:     STRENGTH_RED_EXAMPLE_m4
 154   arity:   1
 155   pred nodes:
 156     -1:    Block 284
 157      0:    Proj 288
 158   Private Attributes:
 159   in loop 606 with depth 2
 160   condition kind: dense
 161   default ProjNr: 0
 162 "
 163 }
 164 edge: {sourcename: "n289" targetname: "n288" label: "0" class:1  priority:50}
 165 node: {title: "n288" label: "Projb Gt 288"  info1: "Proj 288
 166   mode:    b
 167   visited: 21
 168   irg:     STRENGTH_RED_EXAMPLE_m4
 169   arity:   1
 170   pred nodes:
 171     -1:    Block 284
 172      0:    Cmp 287
 173   Private Attributes:
 174   in loop 606 with depth 2
 175 "
 176 color: yellow}
 177 edge: {sourcename: "n288" targetname: "n287" label: "0" class:1  priority:50}
 178 node: {title: "n287" label: "Cmp  287"  info1: "Cmp 287
 179   mode:    T
 180   visited: 21
 181   irg:     STRENGTH_RED_EXAMPLE_m4
 182   arity:   2
 183   pred nodes:
 184     -1:    Block 284
 185      0:    0xA 286
 186      1:    Phi 324
 187   Private Attributes:
 188   in loop 606 with depth 2
 189 "
 190 }
 191 node: {title: "n287n286" label: "0xAIs  286"  info1: "0xA 286
 192   mode:    Is
 193   visited: 21
 194   irg:     STRENGTH_RED_EXAMPLE_m4
 195   arity:   0
 196   pred nodes:
 197     -1:    Block 270
 198   Private Attributes:
 199   in loop 604 with depth 0
 200   Const of type type_unknown
 201 "
 202 color: yellow}
 203 edge: {sourcename: "n287" targetname: "n287n286" label: "0" class:16 priority:10}
 204 edge: {sourcename: "n287" targetname: "n324" label: "1" class:1  priority:50}
 205 node: {title: "n324" label: "PhiIs  324"  info1: "Phi 324
 206   mode:    Is
 207   visited: 21
 208   irg:     STRENGTH_RED_EXAMPLE_m4
 209   arity:   2
 210   pred nodes:
 211     -1:    Block 284
 212      0:    0x0 281
 213      1: be Add 297
 214   Private Attributes:
 215   backedges:  1
 216   in loop 605 with depth 1
 217 "
 218 color: green}
 219 node: {title: "n324n281" label: "0x0Is  281"  info1: "0x0 281
 220   mode:    Is
 221   visited: 21
 222   irg:     STRENGTH_RED_EXAMPLE_m4
 223   arity:   0
 224   pred nodes:
 225     -1:    Block 270
 226   Private Attributes:
 227   in loop 604 with depth 0
 228   Const of type type_unknown
 229 "
 230 color: yellow}
 231 edge: {sourcename: "n324" targetname: "n324n281" label: "0" class:16 priority:10}
 232 backedge: {sourcename: "n324" targetname: "n297" label: "1" linestyle:dashed class:16 priority:10}
 233 }
 234
 235 graph: { title: "n280"  label: "Block 280" status:clustered color:yellow
 236 edge: {sourcename: "n280" targetname: "n274" label: "0" class:13 priority:60 color:red}
 237 node: {title: "n283" label: "Jmp  283"  info1: "Jmp 283
 238   mode:    X
 239   visited: 21
 240   irg:     STRENGTH_RED_EXAMPLE_m4
 241   arity:   0
 242   pred nodes:
 243     -1:    Block 280
 244   Private Attributes:
 245   in loop 604 with depth 0
 246 "
 247 }
 248 }
 249
 250 graph: { title: "n292"  label: "Block 292" status:clustered color:yellow
 251 edge: {sourcename: "n292" targetname: "n291" label: "0" class:13 priority:60 color:red}
 252 node: {title: "n309" label: "ProjM 0 309"  info1: "Proj 309
 253   mode:    M
 254   visited: 21
 255   irg:     STRENGTH_RED_EXAMPLE_m4
 256   arity:   1
 257   pred nodes:
 258     -1:    Block 292
 259      0:    Store 307
 260   Private Attributes:
 261   in loop 607 with depth 1
 262 "
 263 color: yellow}
 264 edge: {sourcename: "n309" targetname: "n307" label: "0" class:17 priority:10 color:blue}
 265 node: {title: "n307" label: "Store  307"  info1: "Store 307
 266   mode:    T
 267   visited: 21
 268   irg:     STRENGTH_RED_EXAMPLE_m4
 269   arity:   3
 270   pred nodes:
 271     -1:    Block 292
 272      0:    Proj 304
 273      1:    Add 306
 274      2:    Add 297
 275   Private Attributes:
 276   pinned state: op_pin_state_pinned
 277   in loop 607 with depth 1
 278   volatility: volatility_non_volatile
 279 "
 280 }
 281 edge: {sourcename: "n307" targetname: "n304" label: "0" class:14 priority:50 color:blue}
 282 edge: {sourcename: "n307" targetname: "n306" label: "1" class:1  priority:50}
 283 edge: {sourcename: "n307" targetname: "n297" label: "2" class:1  priority:50}
 284 node: {title: "n304" label: "ProjM 0 304"  info1: "Proj 304
 285   mode:    M
 286   visited: 21
 287   irg:     STRENGTH_RED_EXAMPLE_m4
 288   arity:   1
 289   pred nodes:
 290     -1:    Block 292
 291      0:    Store 302
 292   Private Attributes:
 293   in loop 607 with depth 1
 294 "
 295 color: yellow}
 296 edge: {sourcename: "n304" targetname: "n302" label: "0" class:17 priority:10 color:blue}
 297 node: {title: "n302" label: "Store  302"  info1: "Store 302
 298   mode:    T
 299   visited: 21
 300   irg:     STRENGTH_RED_EXAMPLE_m4
 301   arity:   3
 302   pred nodes:
 303     -1:    Block 292
 304      0:    Phi 323
 305      1:    Add 300
 306      2:    Add 297
 307   Private Attributes:
 308   pinned state: op_pin_state_pinned
 309   in loop 607 with depth 1
 310   volatility: volatility_non_volatile
 311 "
 312 }
 313 edge: {sourcename: "n302" targetname: "n323" label: "0" class:17 priority:10 color:blue}
 314 edge: {sourcename: "n302" targetname: "n300" label: "1" class:1  priority:50}
 315 edge: {sourcename: "n302" targetname: "n297" label: "2" class:1  priority:50}
 316 node: {title: "n300" label: "AddP  300"  info1: "Add 300
 317   mode:    P
 318   visited: 21
 319   irg:     STRENGTH_RED_EXAMPLE_m4
 320   arity:   2
 321   pred nodes:
 322     -1:    Block 292
 323      0:    Mul 298
 324      1:    SymC &a 282
 325   Private Attributes:
 326   in loop 604 with depth 0
 327 "
 328 }
 329 node: {title: "n300n282" label: "SymC &a  282"  info1: "SymC &a 282
 330   mode:    P
 331   visited: 21
 332   irg:     STRENGTH_RED_EXAMPLE_m4
 333   arity:   0
 334   pred nodes:
 335     -1:    Block 270
 336   Private Attributes:
 337   in loop 604 with depth 0
 338   kind:   addr_ent
 339   entity: entity GlobalType.a (266)
 340
 341   type of value: type_unknown
 342 "
 343 }
 344 edge: {sourcename: "n300" targetname: "n298" label: "0" class:1  priority:50}
 345 edge: {sourcename: "n300" targetname: "n300n282" label: "1" class:16 priority:10}
 346 node: {title: "n298" label: "MulIs  298"  info1: "Mul 298
 347   mode:    Is
 348   visited: 21
 349   irg:     STRENGTH_RED_EXAMPLE_m4
 350   arity:   2
 351   pred nodes:
 352     -1:    Block 292
 353      0:    0x8 295
 354      1:    Add 297
 355   Private Attributes:
 356   in loop 604 with depth 0
 357 "
 358 }
 359 node: {title: "n298n295" label: "0x8Is  295"  info1: "0x8 295
 360   mode:    Is
 361   visited: 21
 362   irg:     STRENGTH_RED_EXAMPLE_m4
 363   arity:   0
 364   pred nodes:
 365     -1:    Block 270
 366   Private Attributes:
 367   in loop 604 with depth 0
 368   Const of type type_unknown
 369 "
 370 color: yellow}
 371 edge: {sourcename: "n298" targetname: "n298n295" label: "0" class:16 priority:10}
 372 edge: {sourcename: "n298" targetname: "n297" label: "1" class:1  priority:50}
 373 node: {title: "n306" label: "AddP  306"  info1: "Add 306
 374   mode:    P
 375   visited: 21
 376   irg:     STRENGTH_RED_EXAMPLE_m4
 377   arity:   2
 378   pred nodes:
 379     -1:    Block 292
 380      0:    SymC &a 282
 381      1:    Mul 305
 382   Private Attributes:
 383   in loop 604 with depth 0
 384 "
 385 }
 386 node: {title: "n306n282" label: "SymC &a  282"  info1: "SymC &a 282
 387   mode:    P
 388   visited: 21
 389   irg:     STRENGTH_RED_EXAMPLE_m4
 390   arity:   0
 391   pred nodes:
 392     -1:    Block 270
 393   Private Attributes:
 394   in loop 604 with depth 0
 395   kind:   addr_ent
 396   entity: entity GlobalType.a (266)
 397
 398   type of value: type_unknown
 399 "
 400 }
 401 edge: {sourcename: "n306" targetname: "n306n282" label: "0" class:16 priority:10}
 402 edge: {sourcename: "n306" targetname: "n305" label: "1" class:1  priority:50}
 403 node: {title: "n305" label: "MulIs  305"  info1: "Mul 305
 404   mode:    Is
 405   visited: 21
 406   irg:     STRENGTH_RED_EXAMPLE_m4
 407   arity:   2
 408   pred nodes:
 409     -1:    Block 292
 410      0:    0x4 294
 411      1:    Add 297
 412   Private Attributes:
 413   in loop 604 with depth 0
 414 "
 415 }
 416 node: {title: "n305n294" label: "0x4Is  294"  info1: "0x4 294
 417   mode:    Is
 418   visited: 21
 419   irg:     STRENGTH_RED_EXAMPLE_m4
 420   arity:   0
 421   pred nodes:
 422     -1:    Block 270
 423   Private Attributes:
 424   in loop 604 with depth 0
 425   Const of type type_unknown
 426 "
 427 color: yellow}
 428 edge: {sourcename: "n305" targetname: "n305n294" label: "0" class:16 priority:10}
 429 edge: {sourcename: "n305" targetname: "n297" label: "1" class:1  priority:50}
 430 node: {title: "n310" label: "Jmp  310"  info1: "Jmp 310
 431   mode:    X
 432   visited: 21
 433   irg:     STRENGTH_RED_EXAMPLE_m4
 434   arity:   0
 435   pred nodes:
 436     -1:    Block 292
 437   Private Attributes:
 438   in loop 606 with depth 2
 439 "
 440 }
 441 node: {title: "n297" label: "AddIs  297"  info1: "Add 297
 442   mode:    Is
 443   visited: 21
 444   irg:     STRENGTH_RED_EXAMPLE_m4
 445   arity:   2
 446   pred nodes:
 447     -1:    Block 292
 448      0:    0x1 293
 449      1:    Phi 324
 450   Private Attributes:
 451   in loop 605 with depth 1
 452 "
 453 }
 454 node: {title: "n297n293" label: "0x1Is  293"  info1: "0x1 293
 455   mode:    Is
 456   visited: 21
 457   irg:     STRENGTH_RED_EXAMPLE_m4
 458   arity:   0
 459   pred nodes:
 460     -1:    Block 270
 461   Private Attributes:
 462   in loop 604 with depth 0
 463   Const of type type_unknown
 464 "
 465 color: yellow}
 466 edge: {sourcename: "n297" targetname: "n297n293" label: "0" class:16 priority:10}
 467 edge: {sourcename: "n297" targetname: "n324" label: "1" class:16 priority:10}
 468 }
 469
 470 graph: { title: "n270"  label: "Block 270" status:clustered color:yellow
 471 edge: {sourcename: "n270" targetname: "n274" label: "0" class:13 priority:60 color:red}
 472 node: {title: "n277" label: "ProjM 1 277"  info1: "Proj 277
 473   mode:    M
 474   visited: 21
 475   irg:     STRENGTH_RED_EXAMPLE_m4
 476   arity:   1
 477   pred nodes:
 478     -1:    Block 270
 479      0:    Start 271
 480   Private Attributes:
 481   in loop 604 with depth 0
 482 "
 483 color: yellow}
 484 edge: {sourcename: "n277" targetname: "n271" label: "0" class:17 priority:10 color:blue}
 485 node: {title: "n274" label: "ProjX 0 274"  info1: "Proj 274
 486   mode:    X
 487   visited: 21
 488   irg:     STRENGTH_RED_EXAMPLE_m4
 489   arity:   1
 490   pred nodes:
 491     -1:    Block 270
 492      0:    Start 271
 493   Private Attributes:
 494   in loop 604 with depth 0
 495 "
 496 color: yellow}
 497 edge: {sourcename: "n274" targetname: "n271" label: "0" class:13 priority:60 color:red}
 498 node: {title: "n271" label: "Start  271"  info1: "Start 271
 499   mode:    T
 500   visited: 21
 501   irg:     STRENGTH_RED_EXAMPLE_m4
 502   arity:   0
 503   pred nodes:
 504     -1:    Block 270
 505   Private Attributes:
 506   in loop 604 with depth 0
 507   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
 508     param 0 type: int
 509 "
 510 color: blue}
 511 }
 512
 513 }
 514
 515 }