nsz Git - libfirm/blob - testprograms/ref-results/LOOP_UNROLL_EXAMPLE_m6-loop-unrolling.vcg

   1 graph: { title: "ir graph of LOOP_UNROLL_EXAMPLE_m6"
   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: "g409" label: "LOOP_UNROLL_EXAMPLE_m6" status:clustered color:white
  56 graph: { title: "n398"  label: "Block 398" status:clustered color:yellow
  57 edge: {sourcename: "n398" targetname: "n448" label: "0" class:13 priority:60 color:red}
  58 node: {title: "n399" label: "End  399"  info1: "End 399
  59   mode:    X
  60   visited: 27
  61   irg:     LOOP_UNROLL_EXAMPLE_m6
  62   arity:   1
  63   pred nodes:
  64     -1:    Block 398
  65      0:    Phi 452
  66   Private Attributes:
  67   in loop 627 with depth 0
  68 "
  69 color: blue}
  70 }
  71
  72 graph: { title: "n445"  label: "Block 445" status:clustered color:yellow
  73 edge: {sourcename: "n445" targetname: "n420" label: "0" class:13 priority:60 color:red}
  74 node: {title: "n448" label: "Return  448"  info1: "Return 448
  75   mode:    X
  76   visited: 27
  77   irg:     LOOP_UNROLL_EXAMPLE_m6
  78   arity:   2
  79   pred nodes:
  80     -1:    Block 445
  81      0:    Phi 452
  82      1:    0x4 425
  83   Private Attributes:
  84   in loop 627 with depth 0
  85   return in method of type LOOP_UNROLL_EXAMPLE_meth_tp
  86     res 0 type: int
  87 "
  88 }
  89 node: {title: "n448n425" label: "0x4Is  425"  info1: "0x4 425
  90   mode:    Is
  91   visited: 27
  92   irg:     LOOP_UNROLL_EXAMPLE_m6
  93   arity:   0
  94   pred nodes:
  95     -1:    Block 400
  96   Private Attributes:
  97   in loop 627 with depth 0
  98   Const of type type_unknown
  99 "
 100 color: yellow}
 101 edge: {sourcename: "n448" targetname: "n452" label: "0" class:17 priority:10 color:blue}
 102 edge: {sourcename: "n448" targetname: "n448n425" label: "1" class:16 priority:10}
 103 }
 104
 105 graph: { title: "n414"  label: "Block 414" status:clustered color:yellow
 106 edge: {sourcename: "n414" targetname: "n413" label: "0" class:13 priority:60 color:red}
 107 backedge: {sourcename: "n414" targetname: "n662" label: "1" linestyle:dashed class:13 priority:60 color:red}
 108 node: {title: "n452" label: "PhiM  452"  info1: "Phi 452
 109   mode:    M
 110   visited: 27
 111   irg:     LOOP_UNROLL_EXAMPLE_m6
 112   arity:   2
 113   pred nodes:
 114     -1:    Block 414
 115      0:    Proj 407
 116      1:    Proj 659
 117   Private Attributes:
 118   backedges:
 119   in loop 630 with depth 1
 120 "
 121 color: green}
 122 edge: {sourcename: "n452" targetname: "n407" label: "0" class:17 priority:10 color:blue}
 123 edge: {sourcename: "n452" targetname: "n659" label: "1" class:17 priority:10 color:blue}
 124 node: {title: "n420" label: "ProjX 0 420"  info1: "Proj 420
 125   mode:    X
 126   visited: 27
 127   irg:     LOOP_UNROLL_EXAMPLE_m6
 128   arity:   1
 129   pred nodes:
 130     -1:    Block 414
 131      0:    Cond 419
 132   Private Attributes:
 133   in loop 627 with depth 0
 134 "
 135 color: yellow}
 136 edge: {sourcename: "n420" targetname: "n419" label: "0" class:13 priority:60 color:red}
 137 node: {title: "n421" label: "ProjX 1 421"  info1: "Proj 421
 138   mode:    X
 139   visited: 27
 140   irg:     LOOP_UNROLL_EXAMPLE_m6
 141   arity:   1
 142   pred nodes:
 143     -1:    Block 414
 144      0:    Cond 419
 145   Private Attributes:
 146   in loop 629 with depth 2
 147 "
 148 color: yellow}
 149 edge: {sourcename: "n421" targetname: "n419" label: "0" class:13 priority:60 color:red}
 150 node: {title: "n419" label: "Cond  419"  info1: "Cond 419
 151   mode:    T
 152   visited: 27
 153   irg:     LOOP_UNROLL_EXAMPLE_m6
 154   arity:   1
 155   pred nodes:
 156     -1:    Block 414
 157      0:    Proj 418
 158   Private Attributes:
 159   in loop 629 with depth 2
 160   condition kind: dense
 161   default ProjNr: 0
 162 "
 163 }
 164 edge: {sourcename: "n419" targetname: "n418" label: "0" class:1  priority:50}
 165 node: {title: "n418" label: "Projb Ge 418"  info1: "Proj 418
 166   mode:    b
 167   visited: 27
 168   irg:     LOOP_UNROLL_EXAMPLE_m6
 169   arity:   1
 170   pred nodes:
 171     -1:    Block 414
 172      0:    Cmp 417
 173   Private Attributes:
 174   in loop 629 with depth 2
 175 "
 176 color: yellow}
 177 edge: {sourcename: "n418" targetname: "n417" label: "0" class:1  priority:50}
 178 node: {title: "n417" label: "Cmp  417"  info1: "Cmp 417
 179   mode:    T
 180   visited: 27
 181   irg:     LOOP_UNROLL_EXAMPLE_m6
 182   arity:   2
 183   pred nodes:
 184     -1:    Block 414
 185      0:    0xB 416
 186      1:    Phi 453
 187   Private Attributes:
 188   in loop 629 with depth 2
 189 "
 190 }
 191 node: {title: "n417n416" label: "0xBIs  416"  info1: "0xB 416
 192   mode:    Is
 193   visited: 27
 194   irg:     LOOP_UNROLL_EXAMPLE_m6
 195   arity:   0
 196   pred nodes:
 197     -1:    Block 400
 198   Private Attributes:
 199   in loop 627 with depth 0
 200   Const of type type_unknown
 201 "
 202 color: yellow}
 203 edge: {sourcename: "n417" targetname: "n417n416" label: "0" class:16 priority:10}
 204 edge: {sourcename: "n417" targetname: "n453" label: "1" class:1  priority:50}
 205 node: {title: "n453" label: "PhiIs  453"  info1: "Phi 453
 206   mode:    Is
 207   visited: 27
 208   irg:     LOOP_UNROLL_EXAMPLE_m6
 209   arity:   2
 210   pred nodes:
 211     -1:    Block 414
 212      0:    0x0 411
 213      1:    Sub 638
 214   Private Attributes:
 215   backedges:
 216   in loop 628 with depth 1
 217 "
 218 color: green}
 219 node: {title: "n453n411" label: "0x0Is  411"  info1: "0x0 411
 220   mode:    Is
 221   visited: 27
 222   irg:     LOOP_UNROLL_EXAMPLE_m6
 223   arity:   0
 224   pred nodes:
 225     -1:    Block 400
 226   Private Attributes:
 227   in loop 627 with depth 0
 228   Const of type type_unknown
 229 "
 230 color: yellow}
 231 edge: {sourcename: "n453" targetname: "n453n411" label: "0" class:16 priority:10}
 232 edge: {sourcename: "n453" targetname: "n638" label: "1" class:16 priority:10}
 233 }
 234
 235 graph: { title: "n410"  label: "Block 410" status:clustered color:yellow
 236 edge: {sourcename: "n410" targetname: "n404" label: "0" class:13 priority:60 color:red}
 237 node: {title: "n413" label: "Jmp  413"  info1: "Jmp 413
 238   mode:    X
 239   visited: 27
 240   irg:     LOOP_UNROLL_EXAMPLE_m6
 241   arity:   0
 242   pred nodes:
 243     -1:    Block 410
 244   Private Attributes:
 245   in loop 627 with depth 0
 246 "
 247 }
 248 }
 249
 250 graph: { title: "n635"  label: "Block 635" status:clustered color:yellow
 251 edge: {sourcename: "n635" targetname: "n661" label: "0" class:13 priority:60 color:red}
 252 node: {title: "n659" label: "ProjM 0 659"  info1: "Proj 659
 253   mode:    M
 254   visited: 27
 255   irg:     LOOP_UNROLL_EXAMPLE_m6
 256   arity:   1
 257   pred nodes:
 258     -1:    Block 635
 259      0:    Store 656
 260   Private Attributes:
 261 "
 262 color: yellow}
 263 edge: {sourcename: "n659" targetname: "n656" label: "0" class:17 priority:10 color:blue}
 264 node: {title: "n656" label: "Store  656"  info1: "Store 656
 265   mode:    T
 266   visited: 27
 267   irg:     LOOP_UNROLL_EXAMPLE_m6
 268   arity:   3
 269   pred nodes:
 270     -1:    Block 635
 271      0:    Proj 658
 272      1:    Add 653
 273      2:    0x13 434
 274   Private Attributes:
 275   pinned state: op_pin_state_pinned
 276   volatility: volatility_non_volatile
 277 "
 278 }
 279 node: {title: "n656n434" label: "0x13Is  434"  info1: "0x13 434
 280   mode:    Is
 281   visited: 27
 282   irg:     LOOP_UNROLL_EXAMPLE_m6
 283   arity:   0
 284   pred nodes:
 285     -1:    Block 400
 286   Private Attributes:
 287   in loop 627 with depth 0
 288   Const of type type_unknown
 289 "
 290 color: yellow}
 291 edge: {sourcename: "n656" targetname: "n658" label: "0" class:17 priority:10 color:blue}
 292 edge: {sourcename: "n656" targetname: "n653" label: "1" class:1  priority:50}
 293 edge: {sourcename: "n656" targetname: "n656n434" label: "2" class:16 priority:10}
 294 node: {title: "n653" label: "AddP  653"  info1: "Add 653
 295   mode:    P
 296   visited: 27
 297   irg:     LOOP_UNROLL_EXAMPLE_m6
 298   arity:   2
 299   pred nodes:
 300     -1:    Block 635
 301      0:    0x4 425
 302      1:    Add 650
 303   Private Attributes:
 304 "
 305 }
 306 node: {title: "n653n425" label: "0x4Is  425"  info1: "0x4 425
 307   mode:    Is
 308   visited: 27
 309   irg:     LOOP_UNROLL_EXAMPLE_m6
 310   arity:   0
 311   pred nodes:
 312     -1:    Block 400
 313   Private Attributes:
 314   in loop 627 with depth 0
 315   Const of type type_unknown
 316 "
 317 color: yellow}
 318 edge: {sourcename: "n653" targetname: "n653n425" label: "0" class:16 priority:10}
 319 edge: {sourcename: "n653" targetname: "n650" label: "1" class:1  priority:50}
 320 node: {title: "n650" label: "AddP  650"  info1: "Add 650
 321   mode:    P
 322   visited: 27
 323   irg:     LOOP_UNROLL_EXAMPLE_m6
 324   arity:   2
 325   pred nodes:
 326     -1:    Block 635
 327      0:    0x4 425
 328      1:    Sub 647
 329   Private Attributes:
 330 "
 331 }
 332 node: {title: "n650n425" label: "0x4Is  425"  info1: "0x4 425
 333   mode:    Is
 334   visited: 27
 335   irg:     LOOP_UNROLL_EXAMPLE_m6
 336   arity:   0
 337   pred nodes:
 338     -1:    Block 400
 339   Private Attributes:
 340   in loop 627 with depth 0
 341   Const of type type_unknown
 342 "
 343 color: yellow}
 344 edge: {sourcename: "n650" targetname: "n650n425" label: "0" class:16 priority:10}
 345 edge: {sourcename: "n650" targetname: "n647" label: "1" class:1  priority:50}
 346 node: {title: "n647" label: "SubP  647"  info1: "Sub 647
 347   mode:    P
 348   visited: 27
 349   irg:     LOOP_UNROLL_EXAMPLE_m6
 350   arity:   2
 351   pred nodes:
 352     -1:    Block 635
 353      0:    0x5 424
 354      1:    Add 644
 355   Private Attributes:
 356 "
 357 }
 358 node: {title: "n647n424" label: "0x5Is  424"  info1: "0x5 424
 359   mode:    Is
 360   visited: 27
 361   irg:     LOOP_UNROLL_EXAMPLE_m6
 362   arity:   0
 363   pred nodes:
 364     -1:    Block 400
 365   Private Attributes:
 366   in loop 627 with depth 0
 367   Const of type type_unknown
 368 "
 369 color: yellow}
 370 edge: {sourcename: "n647" targetname: "n647n424" label: "0" class:16 priority:10}
 371 edge: {sourcename: "n647" targetname: "n644" label: "1" class:1  priority:50}
 372 node: {title: "n644" label: "AddP  644"  info1: "Add 644
 373   mode:    P
 374   visited: 27
 375   irg:     LOOP_UNROLL_EXAMPLE_m6
 376   arity:   2
 377   pred nodes:
 378     -1:    Block 635
 379      0:    Mul 641
 380      1:    SymC &a 412
 381   Private Attributes:
 382 "
 383 }
 384 node: {title: "n644n412" label: "SymC &a  412"  info1: "SymC &a 412
 385   mode:    P
 386   visited: 27
 387   irg:     LOOP_UNROLL_EXAMPLE_m6
 388   arity:   0
 389   pred nodes:
 390     -1:    Block 400
 391   Private Attributes:
 392   in loop 627 with depth 0
 393   kind:   addr_ent
 394   entity: entity GlobalType.a (396)
 395
 396   type of value: type_unknown
 397 "
 398 }
 399 edge: {sourcename: "n644" targetname: "n641" label: "0" class:1  priority:50}
 400 edge: {sourcename: "n644" targetname: "n644n412" label: "1" class:16 priority:10}
 401 node: {title: "n641" label: "MulIs  641"  info1: "Mul 641
 402   mode:    Is
 403   visited: 27
 404   irg:     LOOP_UNROLL_EXAMPLE_m6
 405   arity:   2
 406   pred nodes:
 407     -1:    Block 635
 408      0:    0x4 425
 409      1:    Sub 638
 410   Private Attributes:
 411 "
 412 }
 413 node: {title: "n641n425" label: "0x4Is  425"  info1: "0x4 425
 414   mode:    Is
 415   visited: 27
 416   irg:     LOOP_UNROLL_EXAMPLE_m6
 417   arity:   0
 418   pred nodes:
 419     -1:    Block 400
 420   Private Attributes:
 421   in loop 627 with depth 0
 422   Const of type type_unknown
 423 "
 424 color: yellow}
 425 edge: {sourcename: "n641" targetname: "n641n425" label: "0" class:16 priority:10}
 426 edge: {sourcename: "n641" targetname: "n638" label: "1" class:1  priority:50}
 427 node: {title: "n662" label: "Jmp  662"  info1: "Jmp 662
 428   mode:    X
 429   visited: 27
 430   irg:     LOOP_UNROLL_EXAMPLE_m6
 431   arity:   0
 432   pred nodes:
 433     -1:    Block 635
 434   Private Attributes:
 435 "
 436 }
 437 node: {title: "n638" label: "SubIs  638"  info1: "Sub 638
 438   mode:    Is
 439   visited: 27
 440   irg:     LOOP_UNROLL_EXAMPLE_m6
 441   arity:   2
 442   pred nodes:
 443     -1:    Block 635
 444      0:    Sub 637
 445      1:    0x1 423
 446   Private Attributes:
 447 "
 448 }
 449 node: {title: "n638n423" label: "0x1Is  423"  info1: "0x1 423
 450   mode:    Is
 451   visited: 27
 452   irg:     LOOP_UNROLL_EXAMPLE_m6
 453   arity:   0
 454   pred nodes:
 455     -1:    Block 400
 456   Private Attributes:
 457   in loop 627 with depth 0
 458   Const of type type_unknown
 459 "
 460 color: yellow}
 461 edge: {sourcename: "n638" targetname: "n637" label: "0" class:16 priority:10}
 462 edge: {sourcename: "n638" targetname: "n638n423" label: "1" class:16 priority:10}
 463 }
 464
 465 graph: { title: "n634"  label: "Block 634" status:clustered color:yellow
 466 edge: {sourcename: "n634" targetname: "n660" label: "0" class:13 priority:60 color:red}
 467 node: {title: "n658" label: "ProjM 0 658"  info1: "Proj 658
 468   mode:    M
 469   visited: 27
 470   irg:     LOOP_UNROLL_EXAMPLE_m6
 471   arity:   1
 472   pred nodes:
 473     -1:    Block 634
 474      0:    Store 655
 475   Private Attributes:
 476 "
 477 color: yellow}
 478 edge: {sourcename: "n658" targetname: "n655" label: "0" class:17 priority:10 color:blue}
 479 node: {title: "n655" label: "Store  655"  info1: "Store 655
 480   mode:    T
 481   visited: 27
 482   irg:     LOOP_UNROLL_EXAMPLE_m6
 483   arity:   3
 484   pred nodes:
 485     -1:    Block 634
 486      0:    Proj 657
 487      1:    Add 652
 488      2:    0x13 434
 489   Private Attributes:
 490   pinned state: op_pin_state_pinned
 491   volatility: volatility_non_volatile
 492 "
 493 }
 494 node: {title: "n655n434" label: "0x13Is  434"  info1: "0x13 434
 495   mode:    Is
 496   visited: 27
 497   irg:     LOOP_UNROLL_EXAMPLE_m6
 498   arity:   0
 499   pred nodes:
 500     -1:    Block 400
 501   Private Attributes:
 502   in loop 627 with depth 0
 503   Const of type type_unknown
 504 "
 505 color: yellow}
 506 edge: {sourcename: "n655" targetname: "n657" label: "0" class:17 priority:10 color:blue}
 507 edge: {sourcename: "n655" targetname: "n652" label: "1" class:1  priority:50}
 508 edge: {sourcename: "n655" targetname: "n655n434" label: "2" class:16 priority:10}
 509 node: {title: "n652" label: "AddP  652"  info1: "Add 652
 510   mode:    P
 511   visited: 27
 512   irg:     LOOP_UNROLL_EXAMPLE_m6
 513   arity:   2
 514   pred nodes:
 515     -1:    Block 634
 516      0:    0x4 425
 517      1:    Add 649
 518   Private Attributes:
 519 "
 520 }
 521 node: {title: "n652n425" label: "0x4Is  425"  info1: "0x4 425
 522   mode:    Is
 523   visited: 27
 524   irg:     LOOP_UNROLL_EXAMPLE_m6
 525   arity:   0
 526   pred nodes:
 527     -1:    Block 400
 528   Private Attributes:
 529   in loop 627 with depth 0
 530   Const of type type_unknown
 531 "
 532 color: yellow}
 533 edge: {sourcename: "n652" targetname: "n652n425" label: "0" class:16 priority:10}
 534 edge: {sourcename: "n652" targetname: "n649" label: "1" class:1  priority:50}
 535 node: {title: "n649" label: "AddP  649"  info1: "Add 649
 536   mode:    P
 537   visited: 27
 538   irg:     LOOP_UNROLL_EXAMPLE_m6
 539   arity:   2
 540   pred nodes:
 541     -1:    Block 634
 542      0:    0x4 425
 543      1:    Sub 646
 544   Private Attributes:
 545 "
 546 }
 547 node: {title: "n649n425" label: "0x4Is  425"  info1: "0x4 425
 548   mode:    Is
 549   visited: 27
 550   irg:     LOOP_UNROLL_EXAMPLE_m6
 551   arity:   0
 552   pred nodes:
 553     -1:    Block 400
 554   Private Attributes:
 555   in loop 627 with depth 0
 556   Const of type type_unknown
 557 "
 558 color: yellow}
 559 edge: {sourcename: "n649" targetname: "n649n425" label: "0" class:16 priority:10}
 560 edge: {sourcename: "n649" targetname: "n646" label: "1" class:1  priority:50}
 561 node: {title: "n646" label: "SubP  646"  info1: "Sub 646
 562   mode:    P
 563   visited: 27
 564   irg:     LOOP_UNROLL_EXAMPLE_m6
 565   arity:   2
 566   pred nodes:
 567     -1:    Block 634
 568      0:    0x5 424
 569      1:    Add 643
 570   Private Attributes:
 571 "
 572 }
 573 node: {title: "n646n424" label: "0x5Is  424"  info1: "0x5 424
 574   mode:    Is
 575   visited: 27
 576   irg:     LOOP_UNROLL_EXAMPLE_m6
 577   arity:   0
 578   pred nodes:
 579     -1:    Block 400
 580   Private Attributes:
 581   in loop 627 with depth 0
 582   Const of type type_unknown
 583 "
 584 color: yellow}
 585 edge: {sourcename: "n646" targetname: "n646n424" label: "0" class:16 priority:10}
 586 edge: {sourcename: "n646" targetname: "n643" label: "1" class:1  priority:50}
 587 node: {title: "n643" label: "AddP  643"  info1: "Add 643
 588   mode:    P
 589   visited: 27
 590   irg:     LOOP_UNROLL_EXAMPLE_m6
 591   arity:   2
 592   pred nodes:
 593     -1:    Block 634
 594      0:    Mul 640
 595      1:    SymC &a 412
 596   Private Attributes:
 597 "
 598 }
 599 node: {title: "n643n412" label: "SymC &a  412"  info1: "SymC &a 412
 600   mode:    P
 601   visited: 27
 602   irg:     LOOP_UNROLL_EXAMPLE_m6
 603   arity:   0
 604   pred nodes:
 605     -1:    Block 400
 606   Private Attributes:
 607   in loop 627 with depth 0
 608   kind:   addr_ent
 609   entity: entity GlobalType.a (396)
 610
 611   type of value: type_unknown
 612 "
 613 }
 614 edge: {sourcename: "n643" targetname: "n640" label: "0" class:1  priority:50}
 615 edge: {sourcename: "n643" targetname: "n643n412" label: "1" class:16 priority:10}
 616 node: {title: "n640" label: "MulIs  640"  info1: "Mul 640
 617   mode:    Is
 618   visited: 27
 619   irg:     LOOP_UNROLL_EXAMPLE_m6
 620   arity:   2
 621   pred nodes:
 622     -1:    Block 634
 623      0:    0x4 425
 624      1:    Sub 637
 625   Private Attributes:
 626 "
 627 }
 628 node: {title: "n640n425" label: "0x4Is  425"  info1: "0x4 425
 629   mode:    Is
 630   visited: 27
 631   irg:     LOOP_UNROLL_EXAMPLE_m6
 632   arity:   0
 633   pred nodes:
 634     -1:    Block 400
 635   Private Attributes:
 636   in loop 627 with depth 0
 637   Const of type type_unknown
 638 "
 639 color: yellow}
 640 edge: {sourcename: "n640" targetname: "n640n425" label: "0" class:16 priority:10}
 641 edge: {sourcename: "n640" targetname: "n637" label: "1" class:1  priority:50}
 642 node: {title: "n661" label: "Jmp  661"  info1: "Jmp 661
 643   mode:    X
 644   visited: 27
 645   irg:     LOOP_UNROLL_EXAMPLE_m6
 646   arity:   0
 647   pred nodes:
 648     -1:    Block 634
 649   Private Attributes:
 650 "
 651 }
 652 node: {title: "n637" label: "SubIs  637"  info1: "Sub 637
 653   mode:    Is
 654   visited: 27
 655   irg:     LOOP_UNROLL_EXAMPLE_m6
 656   arity:   2
 657   pred nodes:
 658     -1:    Block 634
 659      0:    Sub 636
 660      1:    0x1 423
 661   Private Attributes:
 662 "
 663 }
 664 node: {title: "n637n423" label: "0x1Is  423"  info1: "0x1 423
 665   mode:    Is
 666   visited: 27
 667   irg:     LOOP_UNROLL_EXAMPLE_m6
 668   arity:   0
 669   pred nodes:
 670     -1:    Block 400
 671   Private Attributes:
 672   in loop 627 with depth 0
 673   Const of type type_unknown
 674 "
 675 color: yellow}
 676 edge: {sourcename: "n637" targetname: "n636" label: "0" class:16 priority:10}
 677 edge: {sourcename: "n637" targetname: "n637n423" label: "1" class:16 priority:10}
 678 }
 679
 680 graph: { title: "n633"  label: "Block 633" status:clustered color:yellow
 681 edge: {sourcename: "n633" targetname: "n439" label: "0" class:13 priority:60 color:red}
 682 node: {title: "n657" label: "ProjM 0 657"  info1: "Proj 657
 683   mode:    M
 684   visited: 27
 685   irg:     LOOP_UNROLL_EXAMPLE_m6
 686   arity:   1
 687   pred nodes:
 688     -1:    Block 633
 689      0:    Store 654
 690   Private Attributes:
 691 "
 692 color: yellow}
 693 edge: {sourcename: "n657" targetname: "n654" label: "0" class:17 priority:10 color:blue}
 694 node: {title: "n654" label: "Store  654"  info1: "Store 654
 695   mode:    T
 696   visited: 27
 697   irg:     LOOP_UNROLL_EXAMPLE_m6
 698   arity:   3
 699   pred nodes:
 700     -1:    Block 633
 701      0:    Proj 438
 702      1:    Add 651
 703      2:    0x13 434
 704   Private Attributes:
 705   pinned state: op_pin_state_pinned
 706   volatility: volatility_non_volatile
 707 "
 708 }
 709 node: {title: "n654n434" label: "0x13Is  434"  info1: "0x13 434
 710   mode:    Is
 711   visited: 27
 712   irg:     LOOP_UNROLL_EXAMPLE_m6
 713   arity:   0
 714   pred nodes:
 715     -1:    Block 400
 716   Private Attributes:
 717   in loop 627 with depth 0
 718   Const of type type_unknown
 719 "
 720 color: yellow}
 721 edge: {sourcename: "n654" targetname: "n438" label: "0" class:17 priority:10 color:blue}
 722 edge: {sourcename: "n654" targetname: "n651" label: "1" class:1  priority:50}
 723 edge: {sourcename: "n654" targetname: "n654n434" label: "2" class:16 priority:10}
 724 node: {title: "n651" label: "AddP  651"  info1: "Add 651
 725   mode:    P
 726   visited: 27
 727   irg:     LOOP_UNROLL_EXAMPLE_m6
 728   arity:   2
 729   pred nodes:
 730     -1:    Block 633
 731      0:    0x4 425
 732      1:    Add 648
 733   Private Attributes:
 734 "
 735 }
 736 node: {title: "n651n425" label: "0x4Is  425"  info1: "0x4 425
 737   mode:    Is
 738   visited: 27
 739   irg:     LOOP_UNROLL_EXAMPLE_m6
 740   arity:   0
 741   pred nodes:
 742     -1:    Block 400
 743   Private Attributes:
 744   in loop 627 with depth 0
 745   Const of type type_unknown
 746 "
 747 color: yellow}
 748 edge: {sourcename: "n651" targetname: "n651n425" label: "0" class:16 priority:10}
 749 edge: {sourcename: "n651" targetname: "n648" label: "1" class:1  priority:50}
 750 node: {title: "n648" label: "AddP  648"  info1: "Add 648
 751   mode:    P
 752   visited: 27
 753   irg:     LOOP_UNROLL_EXAMPLE_m6
 754   arity:   2
 755   pred nodes:
 756     -1:    Block 633
 757      0:    0x4 425
 758      1:    Sub 645
 759   Private Attributes:
 760 "
 761 }
 762 node: {title: "n648n425" label: "0x4Is  425"  info1: "0x4 425
 763   mode:    Is
 764   visited: 27
 765   irg:     LOOP_UNROLL_EXAMPLE_m6
 766   arity:   0
 767   pred nodes:
 768     -1:    Block 400
 769   Private Attributes:
 770   in loop 627 with depth 0
 771   Const of type type_unknown
 772 "
 773 color: yellow}
 774 edge: {sourcename: "n648" targetname: "n648n425" label: "0" class:16 priority:10}
 775 edge: {sourcename: "n648" targetname: "n645" label: "1" class:1  priority:50}
 776 node: {title: "n645" label: "SubP  645"  info1: "Sub 645
 777   mode:    P
 778   visited: 27
 779   irg:     LOOP_UNROLL_EXAMPLE_m6
 780   arity:   2
 781   pred nodes:
 782     -1:    Block 633
 783      0:    0x5 424
 784      1:    Add 642
 785   Private Attributes:
 786 "
 787 }
 788 node: {title: "n645n424" label: "0x5Is  424"  info1: "0x5 424
 789   mode:    Is
 790   visited: 27
 791   irg:     LOOP_UNROLL_EXAMPLE_m6
 792   arity:   0
 793   pred nodes:
 794     -1:    Block 400
 795   Private Attributes:
 796   in loop 627 with depth 0
 797   Const of type type_unknown
 798 "
 799 color: yellow}
 800 edge: {sourcename: "n645" targetname: "n645n424" label: "0" class:16 priority:10}
 801 edge: {sourcename: "n645" targetname: "n642" label: "1" class:1  priority:50}
 802 node: {title: "n642" label: "AddP  642"  info1: "Add 642
 803   mode:    P
 804   visited: 27
 805   irg:     LOOP_UNROLL_EXAMPLE_m6
 806   arity:   2
 807   pred nodes:
 808     -1:    Block 633
 809      0:    Mul 639
 810      1:    SymC &a 412
 811   Private Attributes:
 812 "
 813 }
 814 node: {title: "n642n412" label: "SymC &a  412"  info1: "SymC &a 412
 815   mode:    P
 816   visited: 27
 817   irg:     LOOP_UNROLL_EXAMPLE_m6
 818   arity:   0
 819   pred nodes:
 820     -1:    Block 400
 821   Private Attributes:
 822   in loop 627 with depth 0
 823   kind:   addr_ent
 824   entity: entity GlobalType.a (396)
 825
 826   type of value: type_unknown
 827 "
 828 }
 829 edge: {sourcename: "n642" targetname: "n639" label: "0" class:1  priority:50}
 830 edge: {sourcename: "n642" targetname: "n642n412" label: "1" class:16 priority:10}
 831 node: {title: "n639" label: "MulIs  639"  info1: "Mul 639
 832   mode:    Is
 833   visited: 27
 834   irg:     LOOP_UNROLL_EXAMPLE_m6
 835   arity:   2
 836   pred nodes:
 837     -1:    Block 633
 838      0:    0x4 425
 839      1:    Sub 636
 840   Private Attributes:
 841 "
 842 }
 843 node: {title: "n639n425" label: "0x4Is  425"  info1: "0x4 425
 844   mode:    Is
 845   visited: 27
 846   irg:     LOOP_UNROLL_EXAMPLE_m6
 847   arity:   0
 848   pred nodes:
 849     -1:    Block 400
 850   Private Attributes:
 851   in loop 627 with depth 0
 852   Const of type type_unknown
 853 "
 854 color: yellow}
 855 edge: {sourcename: "n639" targetname: "n639n425" label: "0" class:16 priority:10}
 856 edge: {sourcename: "n639" targetname: "n636" label: "1" class:1  priority:50}
 857 node: {title: "n660" label: "Jmp  660"  info1: "Jmp 660
 858   mode:    X
 859   visited: 27
 860   irg:     LOOP_UNROLL_EXAMPLE_m6
 861   arity:   0
 862   pred nodes:
 863     -1:    Block 633
 864   Private Attributes:
 865 "
 866 }
 867 node: {title: "n636" label: "SubIs  636"  info1: "Sub 636
 868   mode:    Is
 869   visited: 27
 870   irg:     LOOP_UNROLL_EXAMPLE_m6
 871   arity:   2
 872   pred nodes:
 873     -1:    Block 633
 874      0:    Sub 427
 875      1:    0x1 423
 876   Private Attributes:
 877 "
 878 }
 879 node: {title: "n636n423" label: "0x1Is  423"  info1: "0x1 423
 880   mode:    Is
 881   visited: 27
 882   irg:     LOOP_UNROLL_EXAMPLE_m6
 883   arity:   0
 884   pred nodes:
 885     -1:    Block 400
 886   Private Attributes:
 887   in loop 627 with depth 0
 888   Const of type type_unknown
 889 "
 890 color: yellow}
 891 edge: {sourcename: "n636" targetname: "n427" label: "0" class:16 priority:10}
 892 edge: {sourcename: "n636" targetname: "n636n423" label: "1" class:16 priority:10}
 893 }
 894
 895 graph: { title: "n422"  label: "Block 422" status:clustered color:yellow
 896 edge: {sourcename: "n422" targetname: "n421" label: "0" class:13 priority:60 color:red}
 897 node: {title: "n438" label: "ProjM 0 438"  info1: "Proj 438
 898   mode:    M
 899   visited: 27
 900   irg:     LOOP_UNROLL_EXAMPLE_m6
 901   arity:   1
 902   pred nodes:
 903     -1:    Block 422
 904      0:    Store 436
 905   Private Attributes:
 906   in loop 630 with depth 1
 907 "
 908 color: yellow}
 909 edge: {sourcename: "n438" targetname: "n436" label: "0" class:17 priority:10 color:blue}
 910 node: {title: "n436" label: "Store  436"  info1: "Store 436
 911   mode:    T
 912   visited: 27
 913   irg:     LOOP_UNROLL_EXAMPLE_m6
 914   arity:   3
 915   pred nodes:
 916     -1:    Block 422
 917      0:    Phi 452
 918      1:    Add 433
 919      2:    0x13 434
 920   Private Attributes:
 921   pinned state: op_pin_state_pinned
 922   in loop 630 with depth 1
 923   volatility: volatility_non_volatile
 924 "
 925 }
 926 node: {title: "n436n434" label: "0x13Is  434"  info1: "0x13 434
 927   mode:    Is
 928   visited: 27
 929   irg:     LOOP_UNROLL_EXAMPLE_m6
 930   arity:   0
 931   pred nodes:
 932     -1:    Block 400
 933   Private Attributes:
 934   in loop 627 with depth 0
 935   Const of type type_unknown
 936 "
 937 color: yellow}
 938 edge: {sourcename: "n436" targetname: "n452" label: "0" class:17 priority:10 color:blue}
 939 edge: {sourcename: "n436" targetname: "n433" label: "1" class:1  priority:50}
 940 edge: {sourcename: "n436" targetname: "n436n434" label: "2" class:16 priority:10}
 941 node: {title: "n433" label: "AddP  433"  info1: "Add 433
 942   mode:    P
 943   visited: 27
 944   irg:     LOOP_UNROLL_EXAMPLE_m6
 945   arity:   2
 946   pred nodes:
 947     -1:    Block 422
 948      0:    0x4 425
 949      1:    Add 432
 950   Private Attributes:
 951   in loop 627 with depth 0
 952 "
 953 }
 954 node: {title: "n433n425" label: "0x4Is  425"  info1: "0x4 425
 955   mode:    Is
 956   visited: 27
 957   irg:     LOOP_UNROLL_EXAMPLE_m6
 958   arity:   0
 959   pred nodes:
 960     -1:    Block 400
 961   Private Attributes:
 962   in loop 627 with depth 0
 963   Const of type type_unknown
 964 "
 965 color: yellow}
 966 edge: {sourcename: "n433" targetname: "n433n425" label: "0" class:16 priority:10}
 967 edge: {sourcename: "n433" targetname: "n432" label: "1" class:1  priority:50}
 968 node: {title: "n432" label: "AddP  432"  info1: "Add 432
 969   mode:    P
 970   visited: 27
 971   irg:     LOOP_UNROLL_EXAMPLE_m6
 972   arity:   2
 973   pred nodes:
 974     -1:    Block 422
 975      0:    0x4 425
 976      1:    Sub 431
 977   Private Attributes:
 978   in loop 627 with depth 0
 979 "
 980 }
 981 node: {title: "n432n425" label: "0x4Is  425"  info1: "0x4 425
 982   mode:    Is
 983   visited: 27
 984   irg:     LOOP_UNROLL_EXAMPLE_m6
 985   arity:   0
 986   pred nodes:
 987     -1:    Block 400
 988   Private Attributes:
 989   in loop 627 with depth 0
 990   Const of type type_unknown
 991 "
 992 color: yellow}
 993 edge: {sourcename: "n432" targetname: "n432n425" label: "0" class:16 priority:10}
 994 edge: {sourcename: "n432" targetname: "n431" label: "1" class:1  priority:50}
 995 node: {title: "n431" label: "SubP  431"  info1: "Sub 431
 996   mode:    P
 997   visited: 27
 998   irg:     LOOP_UNROLL_EXAMPLE_m6
 999   arity:   2
1000   pred nodes:
1001     -1:    Block 422
1002      0:    0x5 424
1003      1:    Add 430
1004   Private Attributes:
1005   in loop 627 with depth 0
1006 "
1007 }
1008 node: {title: "n431n424" label: "0x5Is  424"  info1: "0x5 424
1009   mode:    Is
1010   visited: 27
1011   irg:     LOOP_UNROLL_EXAMPLE_m6
1012   arity:   0
1013   pred nodes:
1014     -1:    Block 400
1015   Private Attributes:
1016   in loop 627 with depth 0
1017   Const of type type_unknown
1018 "
1019 color: yellow}
1020 edge: {sourcename: "n431" targetname: "n431n424" label: "0" class:16 priority:10}
1021 edge: {sourcename: "n431" targetname: "n430" label: "1" class:1  priority:50}
1022 node: {title: "n430" label: "AddP  430"  info1: "Add 430
1023   mode:    P
1024   visited: 27
1025   irg:     LOOP_UNROLL_EXAMPLE_m6
1026   arity:   2
1027   pred nodes:
1028     -1:    Block 422
1029      0:    Mul 428
1030      1:    SymC &a 412
1031   Private Attributes:
1032   in loop 627 with depth 0
1033 "
1034 }
1035 node: {title: "n430n412" label: "SymC &a  412"  info1: "SymC &a 412
1036   mode:    P
1037   visited: 27
1038   irg:     LOOP_UNROLL_EXAMPLE_m6
1039   arity:   0
1040   pred nodes:
1041     -1:    Block 400
1042   Private Attributes:
1043   in loop 627 with depth 0
1044   kind:   addr_ent
1045   entity: entity GlobalType.a (396)
1046
1047   type of value: type_unknown
1048 "
1049 }
1050 edge: {sourcename: "n430" targetname: "n428" label: "0" class:1  priority:50}
1051 edge: {sourcename: "n430" targetname: "n430n412" label: "1" class:16 priority:10}
1052 node: {title: "n428" label: "MulIs  428"  info1: "Mul 428
1053   mode:    Is
1054   visited: 27
1055   irg:     LOOP_UNROLL_EXAMPLE_m6
1056   arity:   2
1057   pred nodes:
1058     -1:    Block 422
1059      0:    0x4 425
1060      1:    Sub 427
1061   Private Attributes:
1062   in loop 627 with depth 0
1063 "
1064 }
1065 node: {title: "n428n425" label: "0x4Is  425"  info1: "0x4 425
1066   mode:    Is
1067   visited: 27
1068   irg:     LOOP_UNROLL_EXAMPLE_m6
1069   arity:   0
1070   pred nodes:
1071     -1:    Block 400
1072   Private Attributes:
1073   in loop 627 with depth 0
1074   Const of type type_unknown
1075 "
1076 color: yellow}
1077 edge: {sourcename: "n428" targetname: "n428n425" label: "0" class:16 priority:10}
1078 edge: {sourcename: "n428" targetname: "n427" label: "1" class:1  priority:50}
1079 node: {title: "n439" label: "Jmp  439"  info1: "Jmp 439
1080   mode:    X
1081   visited: 27
1082   irg:     LOOP_UNROLL_EXAMPLE_m6
1083   arity:   0
1084   pred nodes:
1085     -1:    Block 422
1086   Private Attributes:
1087   in loop 629 with depth 2
1088 "
1089 }
1090 node: {title: "n427" label: "SubIs  427"  info1: "Sub 427
1091   mode:    Is
1092   visited: 27
1093   irg:     LOOP_UNROLL_EXAMPLE_m6
1094   arity:   2
1095   pred nodes:
1096     -1:    Block 422
1097      0:    Phi 453
1098      1:    0x1 423
1099   Private Attributes:
1100   in loop 628 with depth 1
1101 "
1102 }
1103 node: {title: "n427n423" label: "0x1Is  423"  info1: "0x1 423
1104   mode:    Is
1105   visited: 27
1106   irg:     LOOP_UNROLL_EXAMPLE_m6
1107   arity:   0
1108   pred nodes:
1109     -1:    Block 400
1110   Private Attributes:
1111   in loop 627 with depth 0
1112   Const of type type_unknown
1113 "
1114 color: yellow}
1115 edge: {sourcename: "n427" targetname: "n453" label: "0" class:16 priority:10}
1116 edge: {sourcename: "n427" targetname: "n427n423" label: "1" class:16 priority:10}
1117 }
1118
1119 graph: { title: "n400"  label: "Block 400" status:clustered color:yellow
1120 edge: {sourcename: "n400" targetname: "n404" label: "0" class:13 priority:60 color:red}
1121 node: {title: "n407" label: "ProjM 1 407"  info1: "Proj 407
1122   mode:    M
1123   visited: 27
1124   irg:     LOOP_UNROLL_EXAMPLE_m6
1125   arity:   1
1126   pred nodes:
1127     -1:    Block 400
1128      0:    Start 401
1129   Private Attributes:
1130   in loop 627 with depth 0
1131 "
1132 color: yellow}
1133 edge: {sourcename: "n407" targetname: "n401" label: "0" class:17 priority:10 color:blue}
1134 node: {title: "n404" label: "ProjX 0 404"  info1: "Proj 404
1135   mode:    X
1136   visited: 27
1137   irg:     LOOP_UNROLL_EXAMPLE_m6
1138   arity:   1
1139   pred nodes:
1140     -1:    Block 400
1141      0:    Start 401
1142   Private Attributes:
1143   in loop 627 with depth 0
1144 "
1145 color: yellow}
1146 edge: {sourcename: "n404" targetname: "n401" label: "0" class:13 priority:60 color:red}
1147 node: {title: "n401" label: "Start  401"  info1: "Start 401
1148   mode:    T
1149   visited: 27
1150   irg:     LOOP_UNROLL_EXAMPLE_m6
1151   arity:   0
1152   pred nodes:
1153     -1:    Block 400
1154   Private Attributes:
1155   in loop 627 with depth 0
1156   start of method of type LOOP_UNROLL_EXAMPLE_meth_tp
1157     param 0 type: int
1158 "
1159 color: blue}
1160 }
1161
1162 }
1163
1164 }