nsz Git - libfirm/blob - testprograms/ref-results/LOOP_UNROLL_EXAMPLE_m4-pure.vcg

   1 graph: { title: "ir graph of LOOP_UNROLL_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 node: {title: "n268" label: "Start  268"  info1: "Start 268
  56   mode:    T
  57   visited: 22
  58   irg:     LOOP_UNROLL_EXAMPLE_m4
  59   arity:   0
  60   pred nodes:
  61     -1:    Block 267
  62   Private Attributes:
  63   in loop 573 with depth 0
  64   start of method of type LOOP_UNROLL_EXAMPLE_meth_tp
  65     param 0 type: int
  66 "
  67 color: blue}
  68 edge: { sourcename: "n268" targetname: "n267" class:2  priority:50 linestyle:dotted}
  69 node: {title: "n271" label: "ProjX 0 271"  info1: "Proj 271
  70   mode:    X
  71   visited: 22
  72   irg:     LOOP_UNROLL_EXAMPLE_m4
  73   arity:   1
  74   pred nodes:
  75     -1:    Block 267
  76      0:    Start 268
  77   Private Attributes:
  78   in loop 573 with depth 0
  79 "
  80 color: yellow}
  81 edge: {sourcename: "n271" targetname: "n268" label: "0" class:13 priority:60 color:red}
  82 edge: { sourcename: "n271" targetname: "n267" class:2  priority:50 linestyle:dotted}
  83 node: {title: "n267" label: "Block  267"  info1: "Block 267
  84   mode:    BB
  85   visited: 22
  86   irg:     LOOP_UNROLL_EXAMPLE_m4
  87   arity:   1
  88   pred nodes:
  89      0:    Proj 271
  90   Private Attributes:
  91   backedges:
  92   in loop 573 with depth 0
  93   block visited: 0
  94   dominator info: output not implemented
  95 "
  96 color: lightyellow}
  97 edge: {sourcename: "n267" targetname: "n271" label: "0" class:13 priority:60 color:red}
  98 node: {title: "n294" label: "AddIs  294"  info1: "Add 294
  99   mode:    Is
 100   visited: 22
 101   irg:     LOOP_UNROLL_EXAMPLE_m4
 102   arity:   2
 103   pred nodes:
 104     -1:    Block 289
 105      0:    0x1 290
 106      1:    Phi 321
 107   Private Attributes:
 108   in loop 574 with depth 1
 109 "
 110 }
 111 node: {title: "n294n290" label: "0x1Is  290"  info1: "0x1 290
 112   mode:    Is
 113   visited: 22
 114   irg:     LOOP_UNROLL_EXAMPLE_m4
 115   arity:   0
 116   pred nodes:
 117     -1:    Block 267
 118   Private Attributes:
 119   in loop 573 with depth 0
 120   Const of type type_unknown
 121 "
 122 color: yellow}
 123 edge: {sourcename: "n294" targetname: "n294n290" label: "0" class:16 priority:10}
 124 edge: {sourcename: "n294" targetname: "n321" label: "1" class:16 priority:10}
 125 edge: { sourcename: "n294" targetname: "n289" class:2  priority:50 linestyle:dotted}
 126 node: {title: "n321" label: "PhiIs  321"  info1: "Phi 321
 127   mode:    Is
 128   visited: 22
 129   irg:     LOOP_UNROLL_EXAMPLE_m4
 130   arity:   2
 131   pred nodes:
 132     -1:    Block 281
 133      0:    0x0 278
 134      1: be Add 294
 135   Private Attributes:
 136   backedges:  1
 137   in loop 574 with depth 1
 138 "
 139 color: green}
 140 node: {title: "n321n278" label: "0x0Is  278"  info1: "0x0 278
 141   mode:    Is
 142   visited: 22
 143   irg:     LOOP_UNROLL_EXAMPLE_m4
 144   arity:   0
 145   pred nodes:
 146     -1:    Block 267
 147   Private Attributes:
 148   in loop 573 with depth 0
 149   Const of type type_unknown
 150 "
 151 color: yellow}
 152 edge: {sourcename: "n321" targetname: "n321n278" label: "0" class:16 priority:10}
 153 backedge: {sourcename: "n321" targetname: "n294" label: "1" linestyle:dashed class:16 priority:10}
 154 edge: { sourcename: "n321" targetname: "n281" class:2  priority:50 linestyle:dotted}
 155 node: {title: "n284" label: "Cmp  284"  info1: "Cmp 284
 156   mode:    T
 157   visited: 22
 158   irg:     LOOP_UNROLL_EXAMPLE_m4
 159   arity:   2
 160   pred nodes:
 161     -1:    Block 281
 162      0:    0xB 283
 163      1:    Phi 321
 164   Private Attributes:
 165   in loop 575 with depth 2
 166 "
 167 }
 168 node: {title: "n284n283" label: "0xBIs  283"  info1: "0xB 283
 169   mode:    Is
 170   visited: 22
 171   irg:     LOOP_UNROLL_EXAMPLE_m4
 172   arity:   0
 173   pred nodes:
 174     -1:    Block 267
 175   Private Attributes:
 176   in loop 573 with depth 0
 177   Const of type type_unknown
 178 "
 179 color: yellow}
 180 edge: {sourcename: "n284" targetname: "n284n283" label: "0" class:16 priority:10}
 181 edge: {sourcename: "n284" targetname: "n321" label: "1" class:1  priority:50}
 182 edge: { sourcename: "n284" targetname: "n281" class:2  priority:50 linestyle:dotted}
 183 node: {title: "n285" label: "Projb Ge 285"  info1: "Proj 285
 184   mode:    b
 185   visited: 22
 186   irg:     LOOP_UNROLL_EXAMPLE_m4
 187   arity:   1
 188   pred nodes:
 189     -1:    Block 281
 190      0:    Cmp 284
 191   Private Attributes:
 192   in loop 575 with depth 2
 193 "
 194 color: yellow}
 195 edge: {sourcename: "n285" targetname: "n284" label: "0" class:1  priority:50}
 196 edge: { sourcename: "n285" targetname: "n281" class:2  priority:50 linestyle:dotted}
 197 node: {title: "n286" label: "Cond  286"  info1: "Cond 286
 198   mode:    T
 199   visited: 22
 200   irg:     LOOP_UNROLL_EXAMPLE_m4
 201   arity:   1
 202   pred nodes:
 203     -1:    Block 281
 204      0:    Proj 285
 205   Private Attributes:
 206   in loop 575 with depth 2
 207   condition kind: dense
 208   default ProjNr: 0
 209 "
 210 }
 211 edge: {sourcename: "n286" targetname: "n285" label: "0" class:1  priority:50}
 212 edge: { sourcename: "n286" targetname: "n281" class:2  priority:50 linestyle:dotted}
 213 node: {title: "n288" label: "ProjX 1 288"  info1: "Proj 288
 214   mode:    X
 215   visited: 22
 216   irg:     LOOP_UNROLL_EXAMPLE_m4
 217   arity:   1
 218   pred nodes:
 219     -1:    Block 281
 220      0:    Cond 286
 221   Private Attributes:
 222   in loop 575 with depth 2
 223 "
 224 color: yellow}
 225 edge: {sourcename: "n288" targetname: "n286" label: "0" class:13 priority:60 color:red}
 226 edge: { sourcename: "n288" targetname: "n281" class:2  priority:50 linestyle:dotted}
 227 node: {title: "n289" label: "Block  289"  info1: "Block 289
 228   mode:    BB
 229   visited: 22
 230   irg:     LOOP_UNROLL_EXAMPLE_m4
 231   arity:   1
 232   pred nodes:
 233      0:    Proj 288
 234   Private Attributes:
 235   backedges:
 236   in loop 575 with depth 2
 237   block visited: 0
 238   dominator info: output not implemented
 239 "
 240 color: lightyellow}
 241 edge: {sourcename: "n289" targetname: "n288" label: "0" class:13 priority:60 color:red}
 242 node: {title: "n307" label: "Jmp  307"  info1: "Jmp 307
 243   mode:    X
 244   visited: 22
 245   irg:     LOOP_UNROLL_EXAMPLE_m4
 246   arity:   0
 247   pred nodes:
 248     -1:    Block 289
 249   Private Attributes:
 250   in loop 575 with depth 2
 251 "
 252 }
 253 edge: { sourcename: "n307" targetname: "n289" class:2  priority:50 linestyle:dotted}
 254 node: {title: "n277" label: "Block  277"  info1: "Block 277
 255   mode:    BB
 256   visited: 22
 257   irg:     LOOP_UNROLL_EXAMPLE_m4
 258   arity:   1
 259   pred nodes:
 260      0:    Proj 271
 261   Private Attributes:
 262   backedges:
 263   in loop 573 with depth 0
 264   block visited: 0
 265   dominator info: output not implemented
 266 "
 267 color: lightyellow}
 268 edge: {sourcename: "n277" targetname: "n271" label: "0" class:13 priority:60 color:red}
 269 node: {title: "n280" label: "Jmp  280"  info1: "Jmp 280
 270   mode:    X
 271   visited: 22
 272   irg:     LOOP_UNROLL_EXAMPLE_m4
 273   arity:   0
 274   pred nodes:
 275     -1:    Block 277
 276   Private Attributes:
 277   in loop 573 with depth 0
 278 "
 279 }
 280 edge: { sourcename: "n280" targetname: "n277" class:2  priority:50 linestyle:dotted}
 281 node: {title: "n281" label: "Block  281"  info1: "Block 281
 282   mode:    BB
 283   visited: 22
 284   irg:     LOOP_UNROLL_EXAMPLE_m4
 285   arity:   2
 286   pred nodes:
 287      0:    Jmp 280
 288      1: be Jmp 307
 289   Private Attributes:
 290   backedges:  1
 291   in loop 575 with depth 2
 292   block visited: 0
 293   dominator info: output not implemented
 294 "
 295 color: lightyellow}
 296 edge: {sourcename: "n281" targetname: "n280" label: "0" class:13 priority:60 color:red}
 297 backedge: {sourcename: "n281" targetname: "n307" label: "1" linestyle:dashed class:13 priority:60 color:red}
 298 node: {title: "n287" label: "ProjX 0 287"  info1: "Proj 287
 299   mode:    X
 300   visited: 22
 301   irg:     LOOP_UNROLL_EXAMPLE_m4
 302   arity:   1
 303   pred nodes:
 304     -1:    Block 281
 305      0:    Cond 286
 306   Private Attributes:
 307   in loop 573 with depth 0
 308 "
 309 color: yellow}
 310 edge: {sourcename: "n287" targetname: "n286" label: "0" class:13 priority:60 color:red}
 311 edge: { sourcename: "n287" targetname: "n281" class:2  priority:50 linestyle:dotted}
 312 node: {title: "n313" label: "Block  313"  info1: "Block 313
 313   mode:    BB
 314   visited: 22
 315   irg:     LOOP_UNROLL_EXAMPLE_m4
 316   arity:   1
 317   pred nodes:
 318      0:    Proj 287
 319   Private Attributes:
 320   backedges:
 321   in loop 573 with depth 0
 322   block visited: 0
 323   dominator info: output not implemented
 324 "
 325 color: lightyellow}
 326 edge: {sourcename: "n313" targetname: "n287" label: "0" class:13 priority:60 color:red}
 327 node: {title: "n302" label: "MulIs  302"  info1: "Mul 302
 328   mode:    Is
 329   visited: 22
 330   irg:     LOOP_UNROLL_EXAMPLE_m4
 331   arity:   2
 332   pred nodes:
 333     -1:    Block 289
 334      0:    0x4 291
 335      1:    Add 294
 336   Private Attributes:
 337   in loop 573 with depth 0
 338 "
 339 }
 340 node: {title: "n302n291" label: "0x4Is  291"  info1: "0x4 291
 341   mode:    Is
 342   visited: 22
 343   irg:     LOOP_UNROLL_EXAMPLE_m4
 344   arity:   0
 345   pred nodes:
 346     -1:    Block 267
 347   Private Attributes:
 348   in loop 573 with depth 0
 349   Const of type type_unknown
 350 "
 351 color: yellow}
 352 edge: {sourcename: "n302" targetname: "n302n291" label: "0" class:16 priority:10}
 353 edge: {sourcename: "n302" targetname: "n294" label: "1" class:1  priority:50}
 354 edge: { sourcename: "n302" targetname: "n289" class:2  priority:50 linestyle:dotted}
 355 node: {title: "n303" label: "AddP  303"  info1: "Add 303
 356   mode:    P
 357   visited: 22
 358   irg:     LOOP_UNROLL_EXAMPLE_m4
 359   arity:   2
 360   pred nodes:
 361     -1:    Block 289
 362      0:    SymC &a 279
 363      1:    Mul 302
 364   Private Attributes:
 365   in loop 573 with depth 0
 366 "
 367 }
 368 node: {title: "n303n279" label: "SymC &a  279"  info1: "SymC &a 279
 369   mode:    P
 370   visited: 22
 371   irg:     LOOP_UNROLL_EXAMPLE_m4
 372   arity:   0
 373   pred nodes:
 374     -1:    Block 267
 375   Private Attributes:
 376   in loop 573 with depth 0
 377   kind:   addr_ent
 378   entity: entity GlobalType.a (263)
 379
 380   type of value: type_unknown
 381 "
 382 }
 383 edge: {sourcename: "n303" targetname: "n303n279" label: "0" class:16 priority:10}
 384 edge: {sourcename: "n303" targetname: "n302" label: "1" class:1  priority:50}
 385 edge: { sourcename: "n303" targetname: "n289" class:2  priority:50 linestyle:dotted}
 386 node: {title: "n295" label: "MulIs  295"  info1: "Mul 295
 387   mode:    Is
 388   visited: 22
 389   irg:     LOOP_UNROLL_EXAMPLE_m4
 390   arity:   2
 391   pred nodes:
 392     -1:    Block 289
 393      0:    0x8 292
 394      1:    Add 294
 395   Private Attributes:
 396   in loop 573 with depth 0
 397 "
 398 }
 399 node: {title: "n295n292" label: "0x8Is  292"  info1: "0x8 292
 400   mode:    Is
 401   visited: 22
 402   irg:     LOOP_UNROLL_EXAMPLE_m4
 403   arity:   0
 404   pred nodes:
 405     -1:    Block 267
 406   Private Attributes:
 407   in loop 573 with depth 0
 408   Const of type type_unknown
 409 "
 410 color: yellow}
 411 edge: {sourcename: "n295" targetname: "n295n292" label: "0" class:16 priority:10}
 412 edge: {sourcename: "n295" targetname: "n294" label: "1" class:1  priority:50}
 413 edge: { sourcename: "n295" targetname: "n289" class:2  priority:50 linestyle:dotted}
 414 node: {title: "n297" label: "AddP  297"  info1: "Add 297
 415   mode:    P
 416   visited: 22
 417   irg:     LOOP_UNROLL_EXAMPLE_m4
 418   arity:   2
 419   pred nodes:
 420     -1:    Block 289
 421      0:    Mul 295
 422      1:    SymC &a 279
 423   Private Attributes:
 424   in loop 573 with depth 0
 425 "
 426 }
 427 node: {title: "n297n279" label: "SymC &a  279"  info1: "SymC &a 279
 428   mode:    P
 429   visited: 22
 430   irg:     LOOP_UNROLL_EXAMPLE_m4
 431   arity:   0
 432   pred nodes:
 433     -1:    Block 267
 434   Private Attributes:
 435   in loop 573 with depth 0
 436   kind:   addr_ent
 437   entity: entity GlobalType.a (263)
 438
 439   type of value: type_unknown
 440 "
 441 }
 442 edge: {sourcename: "n297" targetname: "n295" label: "0" class:1  priority:50}
 443 edge: {sourcename: "n297" targetname: "n297n279" label: "1" class:16 priority:10}
 444 edge: { sourcename: "n297" targetname: "n289" class:2  priority:50 linestyle:dotted}
 445 node: {title: "n299" label: "Store  299"  info1: "Store 299
 446   mode:    T
 447   visited: 22
 448   irg:     LOOP_UNROLL_EXAMPLE_m4
 449   arity:   3
 450   pred nodes:
 451     -1:    Block 289
 452      0:    Phi 320
 453      1:    Add 297
 454      2:    Add 294
 455   Private Attributes:
 456   pinned state: op_pin_state_pinned
 457   in loop 576 with depth 1
 458   volatility: volatility_non_volatile
 459 "
 460 }
 461 edge: {sourcename: "n299" targetname: "n320" label: "0" class:17 priority:10 color:blue}
 462 edge: {sourcename: "n299" targetname: "n297" label: "1" class:1  priority:50}
 463 edge: {sourcename: "n299" targetname: "n294" label: "2" class:1  priority:50}
 464 edge: { sourcename: "n299" targetname: "n289" class:2  priority:50 linestyle:dotted}
 465 node: {title: "n301" label: "ProjM 0 301"  info1: "Proj 301
 466   mode:    M
 467   visited: 22
 468   irg:     LOOP_UNROLL_EXAMPLE_m4
 469   arity:   1
 470   pred nodes:
 471     -1:    Block 289
 472      0:    Store 299
 473   Private Attributes:
 474   in loop 576 with depth 1
 475 "
 476 color: yellow}
 477 edge: {sourcename: "n301" targetname: "n299" label: "0" class:17 priority:10 color:blue}
 478 edge: { sourcename: "n301" targetname: "n289" class:2  priority:50 linestyle:dotted}
 479 node: {title: "n304" label: "Store  304"  info1: "Store 304
 480   mode:    T
 481   visited: 22
 482   irg:     LOOP_UNROLL_EXAMPLE_m4
 483   arity:   3
 484   pred nodes:
 485     -1:    Block 289
 486      0:    Proj 301
 487      1:    Add 303
 488      2:    Add 294
 489   Private Attributes:
 490   pinned state: op_pin_state_pinned
 491   in loop 576 with depth 1
 492   volatility: volatility_non_volatile
 493 "
 494 }
 495 edge: {sourcename: "n304" targetname: "n301" label: "0" class:14 priority:50 color:blue}
 496 edge: {sourcename: "n304" targetname: "n303" label: "1" class:1  priority:50}
 497 edge: {sourcename: "n304" targetname: "n294" label: "2" class:1  priority:50}
 498 edge: { sourcename: "n304" targetname: "n289" class:2  priority:50 linestyle:dotted}
 499 node: {title: "n306" label: "ProjM 0 306"  info1: "Proj 306
 500   mode:    M
 501   visited: 22
 502   irg:     LOOP_UNROLL_EXAMPLE_m4
 503   arity:   1
 504   pred nodes:
 505     -1:    Block 289
 506      0:    Store 304
 507   Private Attributes:
 508   in loop 576 with depth 1
 509 "
 510 color: yellow}
 511 edge: {sourcename: "n306" targetname: "n304" label: "0" class:17 priority:10 color:blue}
 512 edge: { sourcename: "n306" targetname: "n289" class:2  priority:50 linestyle:dotted}
 513 node: {title: "n274" label: "ProjM 1 274"  info1: "Proj 274
 514   mode:    M
 515   visited: 22
 516   irg:     LOOP_UNROLL_EXAMPLE_m4
 517   arity:   1
 518   pred nodes:
 519     -1:    Block 267
 520      0:    Start 268
 521   Private Attributes:
 522   in loop 573 with depth 0
 523 "
 524 color: yellow}
 525 edge: {sourcename: "n274" targetname: "n268" label: "0" class:17 priority:10 color:blue}
 526 edge: { sourcename: "n274" targetname: "n267" class:2  priority:50 linestyle:dotted}
 527 node: {title: "n320" label: "PhiM  320"  info1: "Phi 320
 528   mode:    M
 529   visited: 22
 530   irg:     LOOP_UNROLL_EXAMPLE_m4
 531   arity:   2
 532   pred nodes:
 533     -1:    Block 281
 534      0:    Proj 274
 535      1: be Proj 306
 536   Private Attributes:
 537   backedges:  1
 538   in loop 576 with depth 1
 539 "
 540 color: green}
 541 edge: {sourcename: "n320" targetname: "n274" label: "0" class:17 priority:10 color:blue}
 542 backedge: {sourcename: "n320" targetname: "n306" label: "1" linestyle:dashed class:17 priority:10 color:blue}
 543 edge: { sourcename: "n320" targetname: "n281" class:2  priority:50 linestyle:dotted}
 544 node: {title: "n316" label: "Return  316"  info1: "Return 316
 545   mode:    X
 546   visited: 22
 547   irg:     LOOP_UNROLL_EXAMPLE_m4
 548   arity:   2
 549   pred nodes:
 550     -1:    Block 313
 551      0:    Phi 320
 552      1:    0x4 291
 553   Private Attributes:
 554   in loop 573 with depth 0
 555   return in method of type LOOP_UNROLL_EXAMPLE_meth_tp
 556     res 0 type: int
 557 "
 558 }
 559 node: {title: "n316n291" label: "0x4Is  291"  info1: "0x4 291
 560   mode:    Is
 561   visited: 22
 562   irg:     LOOP_UNROLL_EXAMPLE_m4
 563   arity:   0
 564   pred nodes:
 565     -1:    Block 267
 566   Private Attributes:
 567   in loop 573 with depth 0
 568   Const of type type_unknown
 569 "
 570 color: yellow}
 571 edge: {sourcename: "n316" targetname: "n320" label: "0" class:17 priority:10 color:blue}
 572 edge: {sourcename: "n316" targetname: "n316n291" label: "1" class:16 priority:10}
 573 edge: { sourcename: "n316" targetname: "n313" class:2  priority:50 linestyle:dotted}
 574 node: {title: "n265" label: "Block  265"  info1: "Block 265
 575   mode:    BB
 576   visited: 22
 577   irg:     LOOP_UNROLL_EXAMPLE_m4
 578   arity:   1
 579   pred nodes:
 580      0:    Return 316
 581   Private Attributes:
 582   backedges:
 583   in loop 573 with depth 0
 584   block visited: 0
 585   dominator info: output not implemented
 586 "
 587 color: lightyellow}
 588 edge: {sourcename: "n265" targetname: "n316" label: "0" class:13 priority:60 color:red}
 589 node: {title: "n266" label: "End  266"  info1: "End 266
 590   mode:    X
 591   visited: 22
 592   irg:     LOOP_UNROLL_EXAMPLE_m4
 593   arity:   1
 594   pred nodes:
 595     -1:    Block 265
 596      0:    Phi 320
 597   Private Attributes:
 598   in loop 573 with depth 0
 599 "
 600 color: blue}
 601 edge: { sourcename: "n266" targetname: "n265" class:2  priority:50 linestyle:dotted}
 602 }