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

   1 graph: { title: "ir graph of LOOP_UNROLL_EXAMPLE_m1"
   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: "g45" label: "LOOP_UNROLL_EXAMPLE_m1" status:clustered color:white
  56 graph: { title: "n93"  label: "Block 93" status:clustered color:yellow
  57 edge: {sourcename: "n93" targetname: "n55" label: "0" class:13 priority:60 color:red}
  58 backedge: {sourcename: "n93" targetname: "n114" label: "1" linestyle:dashed class:13 priority:60 color:red}
  59 node: {title: "n120" label: "PhiM  120"  info1: "Phi 120
  60   mode:    M
  61   visited: 37
  62   irg:     LOOP_UNROLL_EXAMPLE_m1
  63   arity:   2
  64   pred nodes:
  65     -1:    Block 93
  66      0:    Phi 91
  67      1:    Proj 112
  68   Private Attributes:
  69   backedges:
  70   in loop 526 with depth 1
  71 "
  72 color: green}
  73 edge: {sourcename: "n120" targetname: "n91" label: "0" class:17 priority:10 color:blue}
  74 edge: {sourcename: "n120" targetname: "n112" label: "1" class:17 priority:10 color:blue}
  75 node: {title: "n119" label: "PhiIs  119"  info1: "Phi 119
  76   mode:    Is
  77   visited: 37
  78   irg:     LOOP_UNROLL_EXAMPLE_m1
  79   arity:   2
  80   pred nodes:
  81     -1:    Block 93
  82      0:    Phi 92
  83      1:    Sub 113
  84   Private Attributes:
  85   backedges:
  86   in loop 525 with depth 1
  87 "
  88 color: green}
  89 edge: {sourcename: "n119" targetname: "n92" label: "0" class:16 priority:10}
  90 edge: {sourcename: "n119" targetname: "n113" label: "1" class:16 priority:10}
  91 node: {title: "n100" label: "Jmp  100"  info1: "Jmp 100
  92   mode:    X
  93   visited: 37
  94   irg:     LOOP_UNROLL_EXAMPLE_m1
  95   arity:   0
  96   pred nodes:
  97     -1:    Block 93
  98   Private Attributes:
  99   in loop 524 with depth 1
 100 "
 101 }
 102 }
 103
 104 graph: { title: "n49"  label: "Block 49" status:clustered color:yellow
 105 edge: {sourcename: "n49" targetname: "n48" label: "0" class:13 priority:60 color:red}
 106 backedge: {sourcename: "n49" targetname: "n540" label: "1" linestyle:dashed class:13 priority:60 color:red}
 107 node: {title: "n91" label: "PhiM  91"  info1: "Phi 91
 108   mode:    M
 109   visited: 37
 110   irg:     LOOP_UNROLL_EXAMPLE_m1
 111   arity:   2
 112   pred nodes:
 113     -1:    Block 49
 114      0:    Proj 43
 115      1:    Proj 538
 116   Private Attributes:
 117   backedges:
 118   in loop 523 with depth 1
 119 "
 120 color: green}
 121 edge: {sourcename: "n91" targetname: "n43" label: "0" class:17 priority:10 color:blue}
 122 edge: {sourcename: "n91" targetname: "n538" label: "1" class:17 priority:10 color:blue}
 123 node: {title: "n55" label: "ProjX 0 55"  info1: "Proj 55
 124   mode:    X
 125   visited: 37
 126   irg:     LOOP_UNROLL_EXAMPLE_m1
 127   arity:   1
 128   pred nodes:
 129     -1:    Block 49
 130      0:    Cond 54
 131   Private Attributes:
 132   in loop 520 with depth 0
 133 "
 134 color: yellow}
 135 edge: {sourcename: "n55" targetname: "n54" label: "0" class:13 priority:60 color:red}
 136 node: {title: "n56" label: "ProjX 1 56"  info1: "Proj 56
 137   mode:    X
 138   visited: 37
 139   irg:     LOOP_UNROLL_EXAMPLE_m1
 140   arity:   1
 141   pred nodes:
 142     -1:    Block 49
 143      0:    Cond 54
 144   Private Attributes:
 145   in loop 522 with depth 2
 146 "
 147 color: yellow}
 148 edge: {sourcename: "n56" targetname: "n54" label: "0" class:13 priority:60 color:red}
 149 node: {title: "n54" label: "Cond  54"  info1: "Cond 54
 150   mode:    T
 151   visited: 37
 152   irg:     LOOP_UNROLL_EXAMPLE_m1
 153   arity:   1
 154   pred nodes:
 155     -1:    Block 49
 156      0:    Proj 53
 157   Private Attributes:
 158   in loop 522 with depth 2
 159   condition kind: dense
 160   default ProjNr: 0
 161 "
 162 }
 163 edge: {sourcename: "n54" targetname: "n53" label: "0" class:1  priority:50}
 164 node: {title: "n53" label: "Projb Gt 53"  info1: "Proj 53
 165   mode:    b
 166   visited: 37
 167   irg:     LOOP_UNROLL_EXAMPLE_m1
 168   arity:   1
 169   pred nodes:
 170     -1:    Block 49
 171      0:    Cmp 52
 172   Private Attributes:
 173   in loop 522 with depth 2
 174 "
 175 color: yellow}
 176 edge: {sourcename: "n53" targetname: "n52" label: "0" class:1  priority:50}
 177 node: {title: "n52" label: "Cmp  52"  info1: "Cmp 52
 178   mode:    T
 179   visited: 37
 180   irg:     LOOP_UNROLL_EXAMPLE_m1
 181   arity:   2
 182   pred nodes:
 183     -1:    Block 49
 184      0:    0xA 51
 185      1:    Phi 92
 186   Private Attributes:
 187   in loop 522 with depth 2
 188 "
 189 }
 190 node: {title: "n52n51" label: "0xAIs  51"  info1: "0xA 51
 191   mode:    Is
 192   visited: 37
 193   irg:     LOOP_UNROLL_EXAMPLE_m1
 194   arity:   0
 195   pred nodes:
 196     -1:    Block 36
 197   Private Attributes:
 198   in loop 520 with depth 0
 199   Const of type type_unknown
 200 "
 201 color: yellow}
 202 edge: {sourcename: "n52" targetname: "n52n51" label: "0" class:16 priority:10}
 203 edge: {sourcename: "n52" targetname: "n92" label: "1" class:1  priority:50}
 204 node: {title: "n92" label: "PhiIs  92"  info1: "Phi 92
 205   mode:    Is
 206   visited: 37
 207   irg:     LOOP_UNROLL_EXAMPLE_m1
 208   arity:   2
 209   pred nodes:
 210     -1:    Block 49
 211      0:    0x0 47
 212      1:    Add 539
 213   Private Attributes:
 214   backedges:
 215   in loop 521 with depth 1
 216 "
 217 color: green}
 218 node: {title: "n92n47" label: "0x0Is  47"  info1: "0x0 47
 219   mode:    Is
 220   visited: 37
 221   irg:     LOOP_UNROLL_EXAMPLE_m1
 222   arity:   0
 223   pred nodes:
 224     -1:    Block 36
 225   Private Attributes:
 226   in loop 520 with depth 0
 227   Const of type type_unknown
 228 "
 229 color: yellow}
 230 edge: {sourcename: "n92" targetname: "n92n47" label: "0" class:16 priority:10}
 231 edge: {sourcename: "n92" targetname: "n539" label: "1" class:16 priority:10}
 232 }
 233
 234 graph: { title: "n46"  label: "Block 46" status:clustered color:yellow
 235 edge: {sourcename: "n46" targetname: "n40" label: "0" class:13 priority:60 color:red}
 236 node: {title: "n48" label: "Jmp  48"  info1: "Jmp 48
 237   mode:    X
 238   visited: 37
 239   irg:     LOOP_UNROLL_EXAMPLE_m1
 240   arity:   0
 241   pred nodes:
 242     -1:    Block 46
 243   Private Attributes:
 244   in loop 520 with depth 0
 245 "
 246 }
 247 }
 248
 249 graph: { title: "n541"  label: "Block 541" status:clustered color:yellow
 250 edge: {sourcename: "n541" targetname: "n85" label: "0" class:13 priority:60 color:red}
 251 node: {title: "n538" label: "ProjM 0 538"  info1: "Proj 538
 252   mode:    M
 253   visited: 37
 254   irg:     LOOP_UNROLL_EXAMPLE_m1
 255   arity:   1
 256   pred nodes:
 257     -1:    Block 541
 258      0:    Store 537
 259   Private Attributes:
 260 "
 261 color: yellow}
 262 edge: {sourcename: "n538" targetname: "n537" label: "0" class:17 priority:10 color:blue}
 263 node: {title: "n537" label: "Store  537"  info1: "Store 537
 264   mode:    T
 265   visited: 37
 266   irg:     LOOP_UNROLL_EXAMPLE_m1
 267   arity:   3
 268   pred nodes:
 269     -1:    Block 541
 270      0:    Proj 536
 271      1:    Add 530
 272      2:    0xF 80
 273   Private Attributes:
 274   pinned state: op_pin_state_pinned
 275   volatility: volatility_non_volatile
 276 "
 277 }
 278 node: {title: "n537n80" label: "0xFIs  80"  info1: "0xF 80
 279   mode:    Is
 280   visited: 37
 281   irg:     LOOP_UNROLL_EXAMPLE_m1
 282   arity:   0
 283   pred nodes:
 284     -1:    Block 36
 285   Private Attributes:
 286   in loop 520 with depth 0
 287   Const of type type_unknown
 288 "
 289 color: yellow}
 290 edge: {sourcename: "n537" targetname: "n536" label: "0" class:14 priority:50 color:blue}
 291 edge: {sourcename: "n537" targetname: "n530" label: "1" class:1  priority:50}
 292 edge: {sourcename: "n537" targetname: "n537n80" label: "2" class:16 priority:10}
 293 node: {title: "n536" label: "ProjM 0 536"  info1: "Proj 536
 294   mode:    M
 295   visited: 37
 296   irg:     LOOP_UNROLL_EXAMPLE_m1
 297   arity:   1
 298   pred nodes:
 299     -1:    Block 541
 300      0:    Store 535
 301   Private Attributes:
 302 "
 303 color: yellow}
 304 edge: {sourcename: "n536" targetname: "n535" label: "0" class:17 priority:10 color:blue}
 305 node: {title: "n535" label: "Store  535"  info1: "Store 535
 306   mode:    T
 307   visited: 37
 308   irg:     LOOP_UNROLL_EXAMPLE_m1
 309   arity:   3
 310   pred nodes:
 311     -1:    Block 541
 312      0:    Proj 534
 313      1:    Add 532
 314      2:    0x10 73
 315   Private Attributes:
 316   pinned state: op_pin_state_pinned
 317   volatility: volatility_non_volatile
 318 "
 319 }
 320 node: {title: "n535n73" label: "0x10Is  73"  info1: "0x10 73
 321   mode:    Is
 322   visited: 37
 323   irg:     LOOP_UNROLL_EXAMPLE_m1
 324   arity:   0
 325   pred nodes:
 326     -1:    Block 36
 327   Private Attributes:
 328   in loop 520 with depth 0
 329   Const of type type_unknown
 330 "
 331 color: yellow}
 332 edge: {sourcename: "n535" targetname: "n534" label: "0" class:14 priority:50 color:blue}
 333 edge: {sourcename: "n535" targetname: "n532" label: "1" class:1  priority:50}
 334 edge: {sourcename: "n535" targetname: "n535n73" label: "2" class:16 priority:10}
 335 node: {title: "n534" label: "ProjM 0 534"  info1: "Proj 534
 336   mode:    M
 337   visited: 37
 338   irg:     LOOP_UNROLL_EXAMPLE_m1
 339   arity:   1
 340   pred nodes:
 341     -1:    Block 541
 342      0:    Store 533
 343   Private Attributes:
 344 "
 345 color: yellow}
 346 edge: {sourcename: "n534" targetname: "n533" label: "0" class:17 priority:10 color:blue}
 347 node: {title: "n533" label: "Store  533"  info1: "Store 533
 348   mode:    T
 349   visited: 37
 350   irg:     LOOP_UNROLL_EXAMPLE_m1
 351   arity:   3
 352   pred nodes:
 353     -1:    Block 541
 354      0:    Proj 83
 355      1:    Add 530
 356      2:    0x13 68
 357   Private Attributes:
 358   pinned state: op_pin_state_pinned
 359   volatility: volatility_non_volatile
 360 "
 361 }
 362 node: {title: "n533n68" label: "0x13Is  68"  info1: "0x13 68
 363   mode:    Is
 364   visited: 37
 365   irg:     LOOP_UNROLL_EXAMPLE_m1
 366   arity:   0
 367   pred nodes:
 368     -1:    Block 36
 369   Private Attributes:
 370   in loop 520 with depth 0
 371   Const of type type_unknown
 372 "
 373 color: yellow}
 374 edge: {sourcename: "n533" targetname: "n83" label: "0" class:17 priority:10 color:blue}
 375 edge: {sourcename: "n533" targetname: "n530" label: "1" class:1  priority:50}
 376 edge: {sourcename: "n533" targetname: "n533n68" label: "2" class:16 priority:10}
 377 node: {title: "n532" label: "AddP  532"  info1: "Add 532
 378   mode:    P
 379   visited: 37
 380   irg:     LOOP_UNROLL_EXAMPLE_m1
 381   arity:   2
 382   pred nodes:
 383     -1:    Block 541
 384      0:    SymC &a2 62
 385      1:    Mul 531
 386   Private Attributes:
 387 "
 388 }
 389 node: {title: "n532n62" label: "SymC &a2  62"  info1: "SymC &a2 62
 390   mode:    P
 391   visited: 37
 392   irg:     LOOP_UNROLL_EXAMPLE_m1
 393   arity:   0
 394   pred nodes:
 395     -1:    Block 36
 396   Private Attributes:
 397   in loop 520 with depth 0
 398   kind:   addr_ent
 399   entity: entity GlobalType.a2 (32)
 400
 401   type of value: type_unknown
 402 "
 403 }
 404 edge: {sourcename: "n532" targetname: "n532n62" label: "0" class:16 priority:10}
 405 edge: {sourcename: "n532" targetname: "n531" label: "1" class:1  priority:50}
 406 node: {title: "n531" label: "MulIs  531"  info1: "Mul 531
 407   mode:    Is
 408   visited: 37
 409   irg:     LOOP_UNROLL_EXAMPLE_m1
 410   arity:   2
 411   pred nodes:
 412     -1:    Block 541
 413      0:    0xC 60
 414      1:    Add 84
 415   Private Attributes:
 416 "
 417 }
 418 node: {title: "n531n60" label: "0xCIs  60"  info1: "0xC 60
 419   mode:    Is
 420   visited: 37
 421   irg:     LOOP_UNROLL_EXAMPLE_m1
 422   arity:   0
 423   pred nodes:
 424     -1:    Block 36
 425   Private Attributes:
 426   in loop 520 with depth 0
 427   Const of type type_unknown
 428 "
 429 color: yellow}
 430 edge: {sourcename: "n531" targetname: "n531n60" label: "0" class:16 priority:10}
 431 edge: {sourcename: "n531" targetname: "n84" label: "1" class:16 priority:10}
 432 node: {title: "n530" label: "AddP  530"  info1: "Add 530
 433   mode:    P
 434   visited: 37
 435   irg:     LOOP_UNROLL_EXAMPLE_m1
 436   arity:   2
 437   pred nodes:
 438     -1:    Block 541
 439      0:    SymC &a 61
 440      1:    Mul 542
 441   Private Attributes:
 442 "
 443 }
 444 node: {title: "n530n61" label: "SymC &a  61"  info1: "SymC &a 61
 445   mode:    P
 446   visited: 37
 447   irg:     LOOP_UNROLL_EXAMPLE_m1
 448   arity:   0
 449   pred nodes:
 450     -1:    Block 36
 451   Private Attributes:
 452   in loop 520 with depth 0
 453   kind:   addr_ent
 454   entity: entity GlobalType.a (31)
 455
 456   type of value: type_unknown
 457 "
 458 }
 459 edge: {sourcename: "n530" targetname: "n530n61" label: "0" class:16 priority:10}
 460 edge: {sourcename: "n530" targetname: "n542" label: "1" class:1  priority:50}
 461 node: {title: "n542" label: "MulIs  542"  info1: "Mul 542
 462   mode:    Is
 463   visited: 37
 464   irg:     LOOP_UNROLL_EXAMPLE_m1
 465   arity:   2
 466   pred nodes:
 467     -1:    Block 541
 468      0:    0x4 59
 469      1:    Add 84
 470   Private Attributes:
 471 "
 472 }
 473 node: {title: "n542n59" label: "0x4Is  59"  info1: "0x4 59
 474   mode:    Is
 475   visited: 37
 476   irg:     LOOP_UNROLL_EXAMPLE_m1
 477   arity:   0
 478   pred nodes:
 479     -1:    Block 36
 480   Private Attributes:
 481   in loop 520 with depth 0
 482   Const of type type_unknown
 483 "
 484 color: yellow}
 485 edge: {sourcename: "n542" targetname: "n542n59" label: "0" class:16 priority:10}
 486 edge: {sourcename: "n542" targetname: "n84" label: "1" class:16 priority:10}
 487 node: {title: "n540" label: "Jmp  540"  info1: "Jmp 540
 488   mode:    X
 489   visited: 37
 490   irg:     LOOP_UNROLL_EXAMPLE_m1
 491   arity:   0
 492   pred nodes:
 493     -1:    Block 541
 494   Private Attributes:
 495 "
 496 }
 497 node: {title: "n539" label: "AddIs  539"  info1: "Add 539
 498   mode:    Is
 499   visited: 37
 500   irg:     LOOP_UNROLL_EXAMPLE_m1
 501   arity:   2
 502   pred nodes:
 503     -1:    Block 541
 504      0:    0x1 58
 505      1:    Add 84
 506   Private Attributes:
 507 "
 508 }
 509 node: {title: "n539n58" label: "0x1Is  58"  info1: "0x1 58
 510   mode:    Is
 511   visited: 37
 512   irg:     LOOP_UNROLL_EXAMPLE_m1
 513   arity:   0
 514   pred nodes:
 515     -1:    Block 36
 516   Private Attributes:
 517   in loop 520 with depth 0
 518   Const of type type_unknown
 519 "
 520 color: yellow}
 521 edge: {sourcename: "n539" targetname: "n539n58" label: "0" class:16 priority:10}
 522 edge: {sourcename: "n539" targetname: "n84" label: "1" class:16 priority:10}
 523 }
 524
 525 graph: { title: "n57"  label: "Block 57" status:clustered color:yellow
 526 edge: {sourcename: "n57" targetname: "n56" label: "0" class:13 priority:60 color:red}
 527 node: {title: "n83" label: "ProjM 0 83"  info1: "Proj 83
 528   mode:    M
 529   visited: 37
 530   irg:     LOOP_UNROLL_EXAMPLE_m1
 531   arity:   1
 532   pred nodes:
 533     -1:    Block 57
 534      0:    Store 81
 535   Private Attributes:
 536   in loop 523 with depth 1
 537 "
 538 color: yellow}
 539 edge: {sourcename: "n83" targetname: "n81" label: "0" class:17 priority:10 color:blue}
 540 node: {title: "n81" label: "Store  81"  info1: "Store 81
 541   mode:    T
 542   visited: 37
 543   irg:     LOOP_UNROLL_EXAMPLE_m1
 544   arity:   3
 545   pred nodes:
 546     -1:    Block 57
 547      0:    Proj 76
 548      1:    Add 65
 549      2:    0xF 80
 550   Private Attributes:
 551   pinned state: op_pin_state_pinned
 552   in loop 523 with depth 1
 553   volatility: volatility_non_volatile
 554 "
 555 }
 556 node: {title: "n81n80" label: "0xFIs  80"  info1: "0xF 80
 557   mode:    Is
 558   visited: 37
 559   irg:     LOOP_UNROLL_EXAMPLE_m1
 560   arity:   0
 561   pred nodes:
 562     -1:    Block 36
 563   Private Attributes:
 564   in loop 520 with depth 0
 565   Const of type type_unknown
 566 "
 567 color: yellow}
 568 edge: {sourcename: "n81" targetname: "n76" label: "0" class:14 priority:50 color:blue}
 569 edge: {sourcename: "n81" targetname: "n65" label: "1" class:1  priority:50}
 570 edge: {sourcename: "n81" targetname: "n81n80" label: "2" class:16 priority:10}
 571 node: {title: "n76" label: "ProjM 0 76"  info1: "Proj 76
 572   mode:    M
 573   visited: 37
 574   irg:     LOOP_UNROLL_EXAMPLE_m1
 575   arity:   1
 576   pred nodes:
 577     -1:    Block 57
 578      0:    Store 74
 579   Private Attributes:
 580   in loop 523 with depth 1
 581 "
 582 color: yellow}
 583 edge: {sourcename: "n76" targetname: "n74" label: "0" class:17 priority:10 color:blue}
 584 node: {title: "n74" label: "Store  74"  info1: "Store 74
 585   mode:    T
 586   visited: 37
 587   irg:     LOOP_UNROLL_EXAMPLE_m1
 588   arity:   3
 589   pred nodes:
 590     -1:    Block 57
 591      0:    Proj 72
 592      1:    Add 67
 593      2:    0x10 73
 594   Private Attributes:
 595   pinned state: op_pin_state_pinned
 596   in loop 523 with depth 1
 597   volatility: volatility_non_volatile
 598 "
 599 }
 600 node: {title: "n74n73" label: "0x10Is  73"  info1: "0x10 73
 601   mode:    Is
 602   visited: 37
 603   irg:     LOOP_UNROLL_EXAMPLE_m1
 604   arity:   0
 605   pred nodes:
 606     -1:    Block 36
 607   Private Attributes:
 608   in loop 520 with depth 0
 609   Const of type type_unknown
 610 "
 611 color: yellow}
 612 edge: {sourcename: "n74" targetname: "n72" label: "0" class:14 priority:50 color:blue}
 613 edge: {sourcename: "n74" targetname: "n67" label: "1" class:1  priority:50}
 614 edge: {sourcename: "n74" targetname: "n74n73" label: "2" class:16 priority:10}
 615 node: {title: "n72" label: "ProjM 0 72"  info1: "Proj 72
 616   mode:    M
 617   visited: 37
 618   irg:     LOOP_UNROLL_EXAMPLE_m1
 619   arity:   1
 620   pred nodes:
 621     -1:    Block 57
 622      0:    Store 70
 623   Private Attributes:
 624   in loop 523 with depth 1
 625 "
 626 color: yellow}
 627 edge: {sourcename: "n72" targetname: "n70" label: "0" class:17 priority:10 color:blue}
 628 node: {title: "n70" label: "Store  70"  info1: "Store 70
 629   mode:    T
 630   visited: 37
 631   irg:     LOOP_UNROLL_EXAMPLE_m1
 632   arity:   3
 633   pred nodes:
 634     -1:    Block 57
 635      0:    Phi 91
 636      1:    Add 65
 637      2:    0x13 68
 638   Private Attributes:
 639   pinned state: op_pin_state_pinned
 640   in loop 523 with depth 1
 641   volatility: volatility_non_volatile
 642 "
 643 }
 644 node: {title: "n70n68" label: "0x13Is  68"  info1: "0x13 68
 645   mode:    Is
 646   visited: 37
 647   irg:     LOOP_UNROLL_EXAMPLE_m1
 648   arity:   0
 649   pred nodes:
 650     -1:    Block 36
 651   Private Attributes:
 652   in loop 520 with depth 0
 653   Const of type type_unknown
 654 "
 655 color: yellow}
 656 edge: {sourcename: "n70" targetname: "n91" label: "0" class:17 priority:10 color:blue}
 657 edge: {sourcename: "n70" targetname: "n65" label: "1" class:1  priority:50}
 658 edge: {sourcename: "n70" targetname: "n70n68" label: "2" class:16 priority:10}
 659 node: {title: "n67" label: "AddP  67"  info1: "Add 67
 660   mode:    P
 661   visited: 37
 662   irg:     LOOP_UNROLL_EXAMPLE_m1
 663   arity:   2
 664   pred nodes:
 665     -1:    Block 57
 666      0:    SymC &a2 62
 667      1:    Mul 66
 668   Private Attributes:
 669   in loop 520 with depth 0
 670 "
 671 }
 672 node: {title: "n67n62" label: "SymC &a2  62"  info1: "SymC &a2 62
 673   mode:    P
 674   visited: 37
 675   irg:     LOOP_UNROLL_EXAMPLE_m1
 676   arity:   0
 677   pred nodes:
 678     -1:    Block 36
 679   Private Attributes:
 680   in loop 520 with depth 0
 681   kind:   addr_ent
 682   entity: entity GlobalType.a2 (32)
 683
 684   type of value: type_unknown
 685 "
 686 }
 687 edge: {sourcename: "n67" targetname: "n67n62" label: "0" class:16 priority:10}
 688 edge: {sourcename: "n67" targetname: "n66" label: "1" class:1  priority:50}
 689 node: {title: "n66" label: "MulIs  66"  info1: "Mul 66
 690   mode:    Is
 691   visited: 37
 692   irg:     LOOP_UNROLL_EXAMPLE_m1
 693   arity:   2
 694   pred nodes:
 695     -1:    Block 57
 696      0:    0xC 60
 697      1:    Phi 92
 698   Private Attributes:
 699   in loop 520 with depth 0
 700 "
 701 }
 702 node: {title: "n66n60" label: "0xCIs  60"  info1: "0xC 60
 703   mode:    Is
 704   visited: 37
 705   irg:     LOOP_UNROLL_EXAMPLE_m1
 706   arity:   0
 707   pred nodes:
 708     -1:    Block 36
 709   Private Attributes:
 710   in loop 520 with depth 0
 711   Const of type type_unknown
 712 "
 713 color: yellow}
 714 edge: {sourcename: "n66" targetname: "n66n60" label: "0" class:16 priority:10}
 715 edge: {sourcename: "n66" targetname: "n92" label: "1" class:16 priority:10}
 716 node: {title: "n65" label: "AddP  65"  info1: "Add 65
 717   mode:    P
 718   visited: 37
 719   irg:     LOOP_UNROLL_EXAMPLE_m1
 720   arity:   2
 721   pred nodes:
 722     -1:    Block 57
 723      0:    SymC &a 61
 724      1:    Mul 64
 725   Private Attributes:
 726   in loop 520 with depth 0
 727 "
 728 }
 729 node: {title: "n65n61" label: "SymC &a  61"  info1: "SymC &a 61
 730   mode:    P
 731   visited: 37
 732   irg:     LOOP_UNROLL_EXAMPLE_m1
 733   arity:   0
 734   pred nodes:
 735     -1:    Block 36
 736   Private Attributes:
 737   in loop 520 with depth 0
 738   kind:   addr_ent
 739   entity: entity GlobalType.a (31)
 740
 741   type of value: type_unknown
 742 "
 743 }
 744 edge: {sourcename: "n65" targetname: "n65n61" label: "0" class:16 priority:10}
 745 edge: {sourcename: "n65" targetname: "n64" label: "1" class:1  priority:50}
 746 node: {title: "n64" label: "MulIs  64"  info1: "Mul 64
 747   mode:    Is
 748   visited: 37
 749   irg:     LOOP_UNROLL_EXAMPLE_m1
 750   arity:   2
 751   pred nodes:
 752     -1:    Block 57
 753      0:    0x4 59
 754      1:    Phi 92
 755   Private Attributes:
 756   in loop 520 with depth 0
 757 "
 758 }
 759 node: {title: "n64n59" label: "0x4Is  59"  info1: "0x4 59
 760   mode:    Is
 761   visited: 37
 762   irg:     LOOP_UNROLL_EXAMPLE_m1
 763   arity:   0
 764   pred nodes:
 765     -1:    Block 36
 766   Private Attributes:
 767   in loop 520 with depth 0
 768   Const of type type_unknown
 769 "
 770 color: yellow}
 771 edge: {sourcename: "n64" targetname: "n64n59" label: "0" class:16 priority:10}
 772 edge: {sourcename: "n64" targetname: "n92" label: "1" class:16 priority:10}
 773 node: {title: "n85" label: "Jmp  85"  info1: "Jmp 85
 774   mode:    X
 775   visited: 37
 776   irg:     LOOP_UNROLL_EXAMPLE_m1
 777   arity:   0
 778   pred nodes:
 779     -1:    Block 57
 780   Private Attributes:
 781   in loop 522 with depth 2
 782 "
 783 }
 784 node: {title: "n84" label: "AddIs  84"  info1: "Add 84
 785   mode:    Is
 786   visited: 37
 787   irg:     LOOP_UNROLL_EXAMPLE_m1
 788   arity:   2
 789   pred nodes:
 790     -1:    Block 57
 791      0:    0x1 58
 792      1:    Phi 92
 793   Private Attributes:
 794   in loop 521 with depth 1
 795 "
 796 }
 797 node: {title: "n84n58" label: "0x1Is  58"  info1: "0x1 58
 798   mode:    Is
 799   visited: 37
 800   irg:     LOOP_UNROLL_EXAMPLE_m1
 801   arity:   0
 802   pred nodes:
 803     -1:    Block 36
 804   Private Attributes:
 805   in loop 520 with depth 0
 806   Const of type type_unknown
 807 "
 808 color: yellow}
 809 edge: {sourcename: "n84" targetname: "n84n58" label: "0" class:16 priority:10}
 810 edge: {sourcename: "n84" targetname: "n92" label: "1" class:16 priority:10}
 811 }
 812
 813 graph: { title: "n103"  label: "Block 103" status:clustered color:yellow
 814 edge: {sourcename: "n103" targetname: "n100" label: "0" class:13 priority:60 color:red}
 815 node: {title: "n112" label: "ProjM 0 112"  info1: "Proj 112
 816   mode:    M
 817   visited: 37
 818   irg:     LOOP_UNROLL_EXAMPLE_m1
 819   arity:   1
 820   pred nodes:
 821     -1:    Block 103
 822      0:    Store 110
 823   Private Attributes:
 824   in loop 526 with depth 1
 825 "
 826 color: yellow}
 827 edge: {sourcename: "n112" targetname: "n110" label: "0" class:17 priority:10 color:blue}
 828 node: {title: "n110" label: "Store  110"  info1: "Store 110
 829   mode:    T
 830   visited: 37
 831   irg:     LOOP_UNROLL_EXAMPLE_m1
 832   arity:   3
 833   pred nodes:
 834     -1:    Block 103
 835      0:    Phi 120
 836      1:    Add 107
 837      2:    0x13 68
 838   Private Attributes:
 839   pinned state: op_pin_state_pinned
 840   in loop 526 with depth 1
 841   volatility: volatility_non_volatile
 842 "
 843 }
 844 node: {title: "n110n68" label: "0x13Is  68"  info1: "0x13 68
 845   mode:    Is
 846   visited: 37
 847   irg:     LOOP_UNROLL_EXAMPLE_m1
 848   arity:   0
 849   pred nodes:
 850     -1:    Block 36
 851   Private Attributes:
 852   in loop 520 with depth 0
 853   Const of type type_unknown
 854 "
 855 color: yellow}
 856 edge: {sourcename: "n110" targetname: "n120" label: "0" class:17 priority:10 color:blue}
 857 edge: {sourcename: "n110" targetname: "n107" label: "1" class:1  priority:50}
 858 edge: {sourcename: "n110" targetname: "n110n68" label: "2" class:16 priority:10}
 859 node: {title: "n107" label: "AddP  107"  info1: "Add 107
 860   mode:    P
 861   visited: 37
 862   irg:     LOOP_UNROLL_EXAMPLE_m1
 863   arity:   2
 864   pred nodes:
 865     -1:    Block 103
 866      0:    SymC &a 61
 867      1:    Mul 106
 868   Private Attributes:
 869   in loop 520 with depth 0
 870 "
 871 }
 872 node: {title: "n107n61" label: "SymC &a  61"  info1: "SymC &a 61
 873   mode:    P
 874   visited: 37
 875   irg:     LOOP_UNROLL_EXAMPLE_m1
 876   arity:   0
 877   pred nodes:
 878     -1:    Block 36
 879   Private Attributes:
 880   in loop 520 with depth 0
 881   kind:   addr_ent
 882   entity: entity GlobalType.a (31)
 883
 884   type of value: type_unknown
 885 "
 886 }
 887 edge: {sourcename: "n107" targetname: "n107n61" label: "0" class:16 priority:10}
 888 edge: {sourcename: "n107" targetname: "n106" label: "1" class:1  priority:50}
 889 node: {title: "n106" label: "MulIs  106"  info1: "Mul 106
 890   mode:    Is
 891   visited: 37
 892   irg:     LOOP_UNROLL_EXAMPLE_m1
 893   arity:   2
 894   pred nodes:
 895     -1:    Block 103
 896      0:    0x4 59
 897      1:    Phi 119
 898   Private Attributes:
 899   in loop 520 with depth 0
 900 "
 901 }
 902 node: {title: "n106n59" label: "0x4Is  59"  info1: "0x4 59
 903   mode:    Is
 904   visited: 37
 905   irg:     LOOP_UNROLL_EXAMPLE_m1
 906   arity:   0
 907   pred nodes:
 908     -1:    Block 36
 909   Private Attributes:
 910   in loop 520 with depth 0
 911   Const of type type_unknown
 912 "
 913 color: yellow}
 914 edge: {sourcename: "n106" targetname: "n106n59" label: "0" class:16 priority:10}
 915 edge: {sourcename: "n106" targetname: "n119" label: "1" class:16 priority:10}
 916 node: {title: "n113" label: "SubIs  113"  info1: "Sub 113
 917   mode:    Is
 918   visited: 37
 919   irg:     LOOP_UNROLL_EXAMPLE_m1
 920   arity:   2
 921   pred nodes:
 922     -1:    Block 103
 923      0:    Phi 119
 924      1:    0x1 58
 925   Private Attributes:
 926   in loop 525 with depth 1
 927 "
 928 }
 929 node: {title: "n113n58" label: "0x1Is  58"  info1: "0x1 58
 930   mode:    Is
 931   visited: 37
 932   irg:     LOOP_UNROLL_EXAMPLE_m1
 933   arity:   0
 934   pred nodes:
 935     -1:    Block 36
 936   Private Attributes:
 937   in loop 520 with depth 0
 938   Const of type type_unknown
 939 "
 940 color: yellow}
 941 edge: {sourcename: "n113" targetname: "n119" label: "0" class:16 priority:10}
 942 edge: {sourcename: "n113" targetname: "n113n58" label: "1" class:16 priority:10}
 943 node: {title: "n114" label: "Jmp  114"  info1: "Jmp 114
 944   mode:    X
 945   visited: 37
 946   irg:     LOOP_UNROLL_EXAMPLE_m1
 947   arity:   0
 948   pred nodes:
 949     -1:    Block 103
 950   Private Attributes:
 951   in loop 524 with depth 1
 952 "
 953 }
 954 }
 955
 956 graph: { title: "n34"  label: "Block 34" status:clustered color:yellow
 957 edge: {sourcename: "n34" targetname: "n34n38" label: "0" class:13 priority:60 color:red}
 958 node: {title: "n35" label: "End  35"  info1: "End 35
 959   mode:    X
 960   visited: 37
 961   irg:     LOOP_UNROLL_EXAMPLE_m1
 962   arity:   3
 963   pred nodes:
 964     -1:    Block 34
 965      0:    Phi 91
 966      1:    Block 93
 967      2:    Phi 120
 968   Private Attributes:
 969   in loop 520 with depth 0
 970 "
 971 color: blue}
 972 }
 973 node: {title: "n34n38" label: "Bad  38"  info1: "Bad 38
 974   mode:    T
 975   visited: 37
 976   irg:     LOOP_UNROLL_EXAMPLE_m1
 977   arity:   0
 978   pred nodes:
 979     -1:    Block 36
 980   Private Attributes:
 981   pinned state: op_pin_state_pinned
 982   in loop 520 with depth 0
 983 "
 984 }
 985
 986 graph: { title: "n36"  label: "Block 36" status:clustered color:yellow
 987 edge: {sourcename: "n36" targetname: "n40" label: "0" class:13 priority:60 color:red}
 988 node: {title: "n43" label: "ProjM 1 43"  info1: "Proj 43
 989   mode:    M
 990   visited: 37
 991   irg:     LOOP_UNROLL_EXAMPLE_m1
 992   arity:   1
 993   pred nodes:
 994     -1:    Block 36
 995      0:    Start 37
 996   Private Attributes:
 997   in loop 520 with depth 0
 998 "
 999 color: yellow}
1000 edge: {sourcename: "n43" targetname: "n37" label: "0" class:17 priority:10 color:blue}
1001 node: {title: "n40" label: "ProjX 0 40"  info1: "Proj 40
1002   mode:    X
1003   visited: 37
1004   irg:     LOOP_UNROLL_EXAMPLE_m1
1005   arity:   1
1006   pred nodes:
1007     -1:    Block 36
1008      0:    Start 37
1009   Private Attributes:
1010   in loop 520 with depth 0
1011 "
1012 color: yellow}
1013 edge: {sourcename: "n40" targetname: "n37" label: "0" class:13 priority:60 color:red}
1014 node: {title: "n37" label: "Start  37"  info1: "Start 37
1015   mode:    T
1016   visited: 37
1017   irg:     LOOP_UNROLL_EXAMPLE_m1
1018   arity:   0
1019   pred nodes:
1020     -1:    Block 36
1021   Private Attributes:
1022   in loop 520 with depth 0
1023   start of method of type LOOP_UNROLL_EXAMPLE_meth_tp
1024     param 0 type: int
1025 "
1026 color: blue}
1027 }
1028
1029 }
1030
1031 }