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

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