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