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