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

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