nsz Git - libfirm/blob - testprograms/ref-results/IRR_LOOP_loop2.vcg

   1 graph: { title: "ir graph of IRR_LOOP_loop2"
   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 infoname 3: "Debug info"
  28 colorentry 100:    0   0    0
  29 colorentry 101:   20   0    0
  30 colorentry 102:   40   0    0
  31 colorentry 103:   60   0    0
  32 colorentry 104:   80   0    0
  33 colorentry 105:  100   0    0
  34 colorentry 106:  120   0    0
  35 colorentry 107:  140   0    0
  36 colorentry 108:  150   0    0
  37 colorentry 109:  180   0    0
  38 colorentry 110:  200   0    0
  39 colorentry 111:  220   0    0
  40 colorentry 112:  240   0    0
  41 colorentry 113:  255   0    0
  42 colorentry 113:  255  20   20
  43 colorentry 114:  255  40   40
  44 colorentry 115:  255  60   60
  45 colorentry 116:  255  80   80
  46 colorentry 117:  255 100  100
  47 colorentry 118:  255 120  120
  48 colorentry 119:  255 140  140
  49 colorentry 120:  255 150  150
  50 colorentry 121:  255 180  180
  51 colorentry 122:  255 200  200
  52 colorentry 123:  255 220  220
  53 colorentry 124:  255 240  240
  54 colorentry 125:  255 250  250
  55
  56 graph: { title: "g77" label: "IRR_LOOP_loop2" status:clustered color:white
  57 info1: "entity loop2 (64)
  58   type:  METH_TP_NOARG_NORES (15)
  59   owner: IRR_LOOP (14)
  60   Does not overwrite other entities.
  61   Is not overwritten by other entities.
  62   allocation:  allocation_static
  63   visibility:  visibility_local
  64   variability: variability_constant
  65   calling convention: cdecl
  66   atomic value: SymC &loop2
  67   volatility:  volatility_non_volatile
  68   peculiarity: peculiarity_existent
  69   ld_name: IRR_LOOP_loop2
  70   offset:  -1 bits, -1 bytes
  71   irg = 77
  72
  73 "
  74 graph: { title: "n66"  label: "Block 66" status:clustered color:yellow
  75  info1: "Block 66
  76   mode:    BB
  77   visited: 6
  78   irg:     IRR_LOOP_loop2
  79   arity:   1
  80   pred nodes:
  81      0:    Return 116
  82   Private Attributes:
  83   backedges:
  84   in loop 130 with depth 0
  85   block visited: 0
  86   Execution freqency statistics:
  87 "
  88 edge: {sourcename: "n66" targetname: "n116" label: "0" class:13 priority:60 color:red}
  89 node: {title: "n67" label: "End 67"  info1: "End 67
  90   mode:    X
  91   visited: 6
  92   irg:     IRR_LOOP_loop2
  93   arity:   4
  94   pred nodes:
  95     -1:    Block 66
  96      0:    Phi 124
  97      1:    Phi 125
  98      2:    Phi 126
  99      3:    Phi 127
 100   Private Attributes:
 101 "
 102 color: blue}
 103 }
 104
 105 graph: { title: "n114"  label: "Block 114" status:clustered color:yellow
 106  info1: "Block 114
 107   mode:    BB
 108   visited: 6
 109   irg:     IRR_LOOP_loop2
 110   arity:   2
 111   pred nodes:
 112      0:    Proj 100
 113      1:    Proj 112
 114   Private Attributes:
 115   backedges:
 116   in loop 130 with depth 0
 117   block visited: 0
 118   Execution freqency statistics:
 119 "
 120 edge: {sourcename: "n114" targetname: "n100" label: "0" class:13 priority:60 color:red}
 121 edge: {sourcename: "n114" targetname: "n112" label: "1" class:13 priority:60 color:red}
 122 node: {title: "n116" label: "Return 116"  info1: "Return 116
 123   mode:    X
 124   visited: 6
 125   irg:     IRR_LOOP_loop2
 126   arity:   1
 127   pred nodes:
 128     -1:    Block 114
 129      0:    Phi 127
 130   Private Attributes:
 131   return in method of type METH_TP_NOARG_NORES
 132 "
 133 }
 134 edge: {sourcename: "n116" targetname: "n127" label: "0" class:14 priority:50 color:blue}
 135 node: {title: "n127" label: "PhiM 127"  info1: "Phi 127
 136   mode:    M
 137   visited: 6
 138   irg:     IRR_LOOP_loop2
 139   arity:   2
 140   pred nodes:
 141     -1:    Block 114
 142      0:    Phi 126
 143      1:    Phi 124
 144   Private Attributes:
 145   backedges:
 146 "
 147 color: green}
 148 edge: {sourcename: "n127" targetname: "n126" label: "0" class:17 priority:10 color:blue}
 149 edge: {sourcename: "n127" targetname: "n124" label: "1" class:17 priority:10 color:blue}
 150 }
 151
 152 graph: { title: "n108"  label: "Block 108" status:clustered color:yellow
 153  info1: "Block 108
 154   mode:    BB
 155   visited: 6
 156   irg:     IRR_LOOP_loop2
 157   arity:   2
 158   pred nodes:
 159      0:    Proj 88
 160      1: be Proj 106
 161   Private Attributes:
 162   backedges:  1
 163   in loop 131 with depth 1
 164   block visited: 0
 165   Execution freqency statistics:
 166 "
 167 edge: {sourcename: "n108" targetname: "n88" label: "0" class:13 priority:60 color:red}
 168 backedge: {sourcename: "n108" targetname: "n106" label: "1" linestyle:dashed class:13 priority:60 color:red}
 169 node: {title: "n124" label: "PhiM 124"  info1: "Phi 124
 170   mode:    M
 171   visited: 6
 172   irg:     IRR_LOOP_loop2
 173   arity:   2
 174   pred nodes:
 175     -1:    Block 108
 176      0:    Proj 75
 177      1:    Phi 125
 178   Private Attributes:
 179   backedges:
 180 "
 181 color: green}
 182 edge: {sourcename: "n124" targetname: "n75" label: "0" class:17 priority:10 color:blue}
 183 edge: {sourcename: "n124" targetname: "n125" label: "1" class:17 priority:10 color:blue}
 184 node: {title: "n112" label: "ProjX false 112"  info1: "Proj 112
 185   mode:    X
 186   visited: 6
 187   irg:     IRR_LOOP_loop2
 188   arity:   1
 189   pred nodes:
 190     -1:    Block 108
 191      0:    Cond 111
 192   Private Attributes:
 193   proj nr: 0
 194 "
 195 color: yellow}
 196 edge: {sourcename: "n112" targetname: "n111" label: "0" class:13 priority:60 color:red}
 197 node: {title: "n113" label: "ProjX true 113"  info1: "Proj 113
 198   mode:    X
 199   visited: 6
 200   irg:     IRR_LOOP_loop2
 201   arity:   1
 202   pred nodes:
 203     -1:    Block 108
 204      0:    Cond 111
 205   Private Attributes:
 206   proj nr: 1
 207 "
 208 color: yellow}
 209 edge: {sourcename: "n113" targetname: "n111" label: "0" class:13 priority:60 color:red}
 210 node: {title: "n111" label: "Cond 111"  info1: "Cond 111
 211   mode:    T
 212   visited: 6
 213   irg:     IRR_LOOP_loop2
 214   arity:   1
 215   pred nodes:
 216     -1:    Block 108
 217      0:    Proj 110
 218   Private Attributes:
 219   condition kind: dense
 220   default ProjNr: 0
 221 "
 222 }
 223 edge: {sourcename: "n111" targetname: "n110" label: "0" class:1  priority:50}
 224 node: {title: "n110" label: "Projb Eq 110"  info1: "Proj 110
 225   mode:    b
 226   visited: 6
 227   irg:     IRR_LOOP_loop2
 228   arity:   1
 229   pred nodes:
 230     -1:    Block 108
 231      0:    Cmp 109
 232   Private Attributes:
 233   proj nr: 1
 234 "
 235 color: yellow}
 236 edge: {sourcename: "n110" targetname: "n109" label: "0" class:1  priority:50}
 237 node: {title: "n109" label: "Cmp 109"  info1: "Cmp 109
 238   mode:    T
 239   visited: 6
 240   irg:     IRR_LOOP_loop2
 241   arity:   2
 242   pred nodes:
 243     -1:    Block 108
 244      0:    0x0 79
 245      1:    0x4 83
 246   Private Attributes:
 247 "
 248 }
 249 edge: {sourcename: "n109" targetname: "n79" label: "0" class:16 priority:10}
 250 edge: {sourcename: "n109" targetname: "n83" label: "1" class:16 priority:10}
 251 }
 252
 253 graph: { title: "n102"  label: "Block 102" status:clustered color:yellow
 254  info1: "Block 102
 255   mode:    BB
 256   visited: 6
 257   irg:     IRR_LOOP_loop2
 258   arity:   3
 259   pred nodes:
 260      0:    Proj 94
 261      1:    Proj 101
 262      2:    Proj 113
 263   Private Attributes:
 264   backedges:
 265   in loop 132 with depth 2
 266   block visited: 0
 267   Execution freqency statistics:
 268 "
 269 edge: {sourcename: "n102" targetname: "n94" label: "0" class:13 priority:60 color:red}
 270 edge: {sourcename: "n102" targetname: "n101" label: "1" class:13 priority:60 color:red}
 271 edge: {sourcename: "n102" targetname: "n113" label: "2" class:13 priority:60 color:red}
 272 node: {title: "n125" label: "PhiM 125"  info1: "Phi 125
 273   mode:    M
 274   visited: 6
 275   irg:     IRR_LOOP_loop2
 276   arity:   3
 277   pred nodes:
 278     -1:    Block 102
 279      0:    Proj 75
 280      1:    Phi 126
 281      2:    Phi 124
 282   Private Attributes:
 283   backedges:
 284 "
 285 color: green}
 286 edge: {sourcename: "n125" targetname: "n75" label: "0" class:17 priority:10 color:blue}
 287 edge: {sourcename: "n125" targetname: "n126" label: "1" class:17 priority:10 color:blue}
 288 edge: {sourcename: "n125" targetname: "n124" label: "2" class:17 priority:10 color:blue}
 289 node: {title: "n106" label: "ProjX false 106"  info1: "Proj 106
 290   mode:    X
 291   visited: 6
 292   irg:     IRR_LOOP_loop2
 293   arity:   1
 294   pred nodes:
 295     -1:    Block 102
 296      0:    Cond 105
 297   Private Attributes:
 298   proj nr: 0
 299 "
 300 color: yellow}
 301 edge: {sourcename: "n106" targetname: "n105" label: "0" class:13 priority:60 color:red}
 302 node: {title: "n107" label: "ProjX true 107"  info1: "Proj 107
 303   mode:    X
 304   visited: 6
 305   irg:     IRR_LOOP_loop2
 306   arity:   1
 307   pred nodes:
 308     -1:    Block 102
 309      0:    Cond 105
 310   Private Attributes:
 311   proj nr: 1
 312 "
 313 color: yellow}
 314 edge: {sourcename: "n107" targetname: "n105" label: "0" class:13 priority:60 color:red}
 315 node: {title: "n105" label: "Cond 105"  info1: "Cond 105
 316   mode:    T
 317   visited: 6
 318   irg:     IRR_LOOP_loop2
 319   arity:   1
 320   pred nodes:
 321     -1:    Block 102
 322      0:    Proj 104
 323   Private Attributes:
 324   condition kind: dense
 325   default ProjNr: 0
 326 "
 327 }
 328 edge: {sourcename: "n105" targetname: "n104" label: "0" class:1  priority:50}
 329 node: {title: "n104" label: "Projb Eq 104"  info1: "Proj 104
 330   mode:    b
 331   visited: 6
 332   irg:     IRR_LOOP_loop2
 333   arity:   1
 334   pred nodes:
 335     -1:    Block 102
 336      0:    Cmp 103
 337   Private Attributes:
 338   proj nr: 1
 339 "
 340 color: yellow}
 341 edge: {sourcename: "n104" targetname: "n103" label: "0" class:1  priority:50}
 342 node: {title: "n103" label: "Cmp 103"  info1: "Cmp 103
 343   mode:    T
 344   visited: 6
 345   irg:     IRR_LOOP_loop2
 346   arity:   2
 347   pred nodes:
 348     -1:    Block 102
 349      0:    0x0 79
 350      1:    0x3 82
 351   Private Attributes:
 352 "
 353 }
 354 edge: {sourcename: "n103" targetname: "n79" label: "0" class:16 priority:10}
 355 edge: {sourcename: "n103" targetname: "n82" label: "1" class:16 priority:10}
 356 }
 357
 358 graph: { title: "n96"  label: "Block 96" status:clustered color:yellow
 359  info1: "Block 96
 360   mode:    BB
 361   visited: 6
 362   irg:     IRR_LOOP_loop2
 363   arity:   2
 364   pred nodes:
 365      0:    Proj 95
 366      1: be Proj 107
 367   Private Attributes:
 368   backedges:  1
 369   in loop 132 with depth 2
 370   block visited: 0
 371   Execution freqency statistics:
 372 "
 373 edge: {sourcename: "n96" targetname: "n95" label: "0" class:13 priority:60 color:red}
 374 backedge: {sourcename: "n96" targetname: "n107" label: "1" linestyle:dashed class:13 priority:60 color:red}
 375 node: {title: "n126" label: "PhiM 126"  info1: "Phi 126
 376   mode:    M
 377   visited: 6
 378   irg:     IRR_LOOP_loop2
 379   arity:   2
 380   pred nodes:
 381     -1:    Block 96
 382      0:    Proj 75
 383      1:    Phi 125
 384   Private Attributes:
 385   backedges:
 386 "
 387 color: green}
 388 edge: {sourcename: "n126" targetname: "n75" label: "0" class:17 priority:10 color:blue}
 389 edge: {sourcename: "n126" targetname: "n125" label: "1" class:17 priority:10 color:blue}
 390 node: {title: "n100" label: "ProjX false 100"  info1: "Proj 100
 391   mode:    X
 392   visited: 6
 393   irg:     IRR_LOOP_loop2
 394   arity:   1
 395   pred nodes:
 396     -1:    Block 96
 397      0:    Cond 99
 398   Private Attributes:
 399   proj nr: 0
 400 "
 401 color: yellow}
 402 edge: {sourcename: "n100" targetname: "n99" label: "0" class:13 priority:60 color:red}
 403 node: {title: "n101" label: "ProjX true 101"  info1: "Proj 101
 404   mode:    X
 405   visited: 6
 406   irg:     IRR_LOOP_loop2
 407   arity:   1
 408   pred nodes:
 409     -1:    Block 96
 410      0:    Cond 99
 411   Private Attributes:
 412   proj nr: 1
 413 "
 414 color: yellow}
 415 edge: {sourcename: "n101" targetname: "n99" label: "0" class:13 priority:60 color:red}
 416 node: {title: "n99" label: "Cond 99"  info1: "Cond 99
 417   mode:    T
 418   visited: 6
 419   irg:     IRR_LOOP_loop2
 420   arity:   1
 421   pred nodes:
 422     -1:    Block 96
 423      0:    Proj 98
 424   Private Attributes:
 425   condition kind: dense
 426   default ProjNr: 0
 427 "
 428 }
 429 edge: {sourcename: "n99" targetname: "n98" label: "0" class:1  priority:50}
 430 node: {title: "n98" label: "Projb Eq 98"  info1: "Proj 98
 431   mode:    b
 432   visited: 6
 433   irg:     IRR_LOOP_loop2
 434   arity:   1
 435   pred nodes:
 436     -1:    Block 96
 437      0:    Cmp 97
 438   Private Attributes:
 439   proj nr: 1
 440 "
 441 color: yellow}
 442 edge: {sourcename: "n98" targetname: "n97" label: "0" class:1  priority:50}
 443 node: {title: "n97" label: "Cmp 97"  info1: "Cmp 97
 444   mode:    T
 445   visited: 6
 446   irg:     IRR_LOOP_loop2
 447   arity:   2
 448   pred nodes:
 449     -1:    Block 96
 450      0:    0x0 79
 451      1:    0x2 81
 452   Private Attributes:
 453 "
 454 }
 455 edge: {sourcename: "n97" targetname: "n79" label: "0" class:16 priority:10}
 456 edge: {sourcename: "n97" targetname: "n81" label: "1" class:16 priority:10}
 457 }
 458
 459 graph: { title: "n90"  label: "Block 90" status:clustered color:yellow
 460  info1: "Block 90
 461   mode:    BB
 462   visited: 6
 463   irg:     IRR_LOOP_loop2
 464   arity:   1
 465   pred nodes:
 466      0:    Proj 89
 467   Private Attributes:
 468   backedges:
 469   in loop 130 with depth 0
 470   block visited: 0
 471   Execution freqency statistics:
 472 "
 473 edge: {sourcename: "n90" targetname: "n89" label: "0" class:13 priority:60 color:red}
 474 node: {title: "n94" label: "ProjX false 94"  info1: "Proj 94
 475   mode:    X
 476   visited: 6
 477   irg:     IRR_LOOP_loop2
 478   arity:   1
 479   pred nodes:
 480     -1:    Block 90
 481      0:    Cond 93
 482   Private Attributes:
 483   proj nr: 0
 484 "
 485 color: yellow}
 486 edge: {sourcename: "n94" targetname: "n93" label: "0" class:13 priority:60 color:red}
 487 node: {title: "n95" label: "ProjX true 95"  info1: "Proj 95
 488   mode:    X
 489   visited: 6
 490   irg:     IRR_LOOP_loop2
 491   arity:   1
 492   pred nodes:
 493     -1:    Block 90
 494      0:    Cond 93
 495   Private Attributes:
 496   proj nr: 1
 497 "
 498 color: yellow}
 499 edge: {sourcename: "n95" targetname: "n93" label: "0" class:13 priority:60 color:red}
 500 node: {title: "n93" label: "Cond 93"  info1: "Cond 93
 501   mode:    T
 502   visited: 6
 503   irg:     IRR_LOOP_loop2
 504   arity:   1
 505   pred nodes:
 506     -1:    Block 90
 507      0:    Proj 92
 508   Private Attributes:
 509   condition kind: dense
 510   default ProjNr: 0
 511 "
 512 }
 513 edge: {sourcename: "n93" targetname: "n92" label: "0" class:1  priority:50}
 514 node: {title: "n92" label: "Projb Eq 92"  info1: "Proj 92
 515   mode:    b
 516   visited: 6
 517   irg:     IRR_LOOP_loop2
 518   arity:   1
 519   pred nodes:
 520     -1:    Block 90
 521      0:    Cmp 91
 522   Private Attributes:
 523   proj nr: 1
 524 "
 525 color: yellow}
 526 edge: {sourcename: "n92" targetname: "n91" label: "0" class:1  priority:50}
 527 node: {title: "n91" label: "Cmp 91"  info1: "Cmp 91
 528   mode:    T
 529   visited: 6
 530   irg:     IRR_LOOP_loop2
 531   arity:   2
 532   pred nodes:
 533     -1:    Block 90
 534      0:    0x0 79
 535      1:    0x5 84
 536   Private Attributes:
 537 "
 538 }
 539 edge: {sourcename: "n91" targetname: "n79" label: "0" class:16 priority:10}
 540 edge: {sourcename: "n91" targetname: "n84" label: "1" class:16 priority:10}
 541 }
 542
 543 graph: { title: "n78"  label: "Block 78" status:clustered color:yellow
 544  info1: "Block 78
 545   mode:    BB
 546   visited: 6
 547   irg:     IRR_LOOP_loop2
 548   arity:   1
 549   pred nodes:
 550      0:    Proj 72
 551   Private Attributes:
 552   backedges:
 553   in loop 130 with depth 0
 554   block visited: 0
 555   Execution freqency statistics:
 556 "
 557 edge: {sourcename: "n78" targetname: "n72" label: "0" class:13 priority:60 color:red}
 558 node: {title: "n88" label: "ProjX false 88"  info1: "Proj 88
 559   mode:    X
 560   visited: 6
 561   irg:     IRR_LOOP_loop2
 562   arity:   1
 563   pred nodes:
 564     -1:    Block 78
 565      0:    Cond 87
 566   Private Attributes:
 567   proj nr: 0
 568 "
 569 color: yellow}
 570 edge: {sourcename: "n88" targetname: "n87" label: "0" class:13 priority:60 color:red}
 571 node: {title: "n89" label: "ProjX true 89"  info1: "Proj 89
 572   mode:    X
 573   visited: 6
 574   irg:     IRR_LOOP_loop2
 575   arity:   1
 576   pred nodes:
 577     -1:    Block 78
 578      0:    Cond 87
 579   Private Attributes:
 580   proj nr: 1
 581 "
 582 color: yellow}
 583 edge: {sourcename: "n89" targetname: "n87" label: "0" class:13 priority:60 color:red}
 584 node: {title: "n87" label: "Cond 87"  info1: "Cond 87
 585   mode:    T
 586   visited: 6
 587   irg:     IRR_LOOP_loop2
 588   arity:   1
 589   pred nodes:
 590     -1:    Block 78
 591      0:    Proj 86
 592   Private Attributes:
 593   condition kind: dense
 594   default ProjNr: 0
 595 "
 596 }
 597 edge: {sourcename: "n87" targetname: "n86" label: "0" class:1  priority:50}
 598 node: {title: "n86" label: "Projb Eq 86"  info1: "Proj 86
 599   mode:    b
 600   visited: 6
 601   irg:     IRR_LOOP_loop2
 602   arity:   1
 603   pred nodes:
 604     -1:    Block 78
 605      0:    Cmp 85
 606   Private Attributes:
 607   proj nr: 1
 608 "
 609 color: yellow}
 610 edge: {sourcename: "n86" targetname: "n85" label: "0" class:1  priority:50}
 611 node: {title: "n85" label: "Cmp 85"  info1: "Cmp 85
 612   mode:    T
 613   visited: 6
 614   irg:     IRR_LOOP_loop2
 615   arity:   2
 616   pred nodes:
 617     -1:    Block 78
 618      0:    0x0 79
 619      1:    0x1 80
 620   Private Attributes:
 621 "
 622 }
 623 edge: {sourcename: "n85" targetname: "n79" label: "0" class:16 priority:10}
 624 edge: {sourcename: "n85" targetname: "n80" label: "1" class:16 priority:10}
 625 }
 626
 627 graph: { title: "n68"  label: "Block 68" status:clustered color:yellow
 628  info1: "Block 68
 629   mode:    BB
 630   visited: 6
 631   irg:     IRR_LOOP_loop2
 632   arity:   1
 633   pred nodes:
 634      0:    Proj 72
 635   Private Attributes:
 636   backedges:
 637   in loop 130 with depth 0
 638   block visited: 0
 639   Execution freqency statistics:
 640 "
 641 edge: {sourcename: "n68" targetname: "n72" label: "0" class:13 priority:60 color:red}
 642 node: {title: "n75" label: "ProjM 1 75"  info1: "Proj 75
 643   mode:    M
 644   visited: 6
 645   irg:     IRR_LOOP_loop2
 646   arity:   1
 647   pred nodes:
 648     -1:    Block 68
 649      0:    Start 69
 650   Private Attributes:
 651   proj nr: 1
 652 "
 653 color: yellow}
 654 edge: {sourcename: "n75" targetname: "n69" label: "0" class:17 priority:10 color:blue}
 655 node: {title: "n81" label: "0x2Is 81"  info1: "0x2 81
 656   mode:    Is
 657   visited: 6
 658   irg:     IRR_LOOP_loop2
 659   arity:   0
 660   pred nodes:
 661     -1:    Block 68
 662   Private Attributes:
 663   Const of type type_unknown
 664 "
 665 color: yellow}
 666 node: {title: "n84" label: "0x5Is 84"  info1: "0x5 84
 667   mode:    Is
 668   visited: 6
 669   irg:     IRR_LOOP_loop2
 670   arity:   0
 671   pred nodes:
 672     -1:    Block 68
 673   Private Attributes:
 674   Const of type type_unknown
 675 "
 676 color: yellow}
 677 node: {title: "n80" label: "0x1Is 80"  info1: "0x1 80
 678   mode:    Is
 679   visited: 6
 680   irg:     IRR_LOOP_loop2
 681   arity:   0
 682   pred nodes:
 683     -1:    Block 68
 684   Private Attributes:
 685   Const of type type_unknown
 686 "
 687 color: yellow}
 688 node: {title: "n82" label: "0x3Is 82"  info1: "0x3 82
 689   mode:    Is
 690   visited: 6
 691   irg:     IRR_LOOP_loop2
 692   arity:   0
 693   pred nodes:
 694     -1:    Block 68
 695   Private Attributes:
 696   Const of type type_unknown
 697 "
 698 color: yellow}
 699 node: {title: "n79" label: "0x0Is 79"  info1: "0x0 79
 700   mode:    Is
 701   visited: 6
 702   irg:     IRR_LOOP_loop2
 703   arity:   0
 704   pred nodes:
 705     -1:    Block 68
 706   Private Attributes:
 707   Const of type type_unknown
 708 "
 709 color: yellow}
 710 node: {title: "n83" label: "0x4Is 83"  info1: "0x4 83
 711   mode:    Is
 712   visited: 6
 713   irg:     IRR_LOOP_loop2
 714   arity:   0
 715   pred nodes:
 716     -1:    Block 68
 717   Private Attributes:
 718   Const of type type_unknown
 719 "
 720 color: yellow}
 721 node: {title: "n72" label: "ProjX X_initial_exec 72"  info1: "Proj 72
 722   mode:    X
 723   visited: 6
 724   irg:     IRR_LOOP_loop2
 725   arity:   1
 726   pred nodes:
 727     -1:    Block 68
 728      0:    Start 69
 729   Private Attributes:
 730   proj nr: 0
 731 "
 732 color: yellow}
 733 edge: {sourcename: "n72" targetname: "n69" label: "0" class:13 priority:60 color:red}
 734 node: {title: "n69" label: "Start 69"  info1: "Start 69
 735   mode:    T
 736   visited: 6
 737   irg:     IRR_LOOP_loop2
 738   arity:   0
 739   pred nodes:
 740     -1:    Block 68
 741   Private Attributes:
 742   start of method of type METH_TP_NOARG_NORES
 743 "
 744 color: blue}
 745 }
 746
 747 }
 748
 749 }