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

   1 graph: { title: "ir graph of STRENGTH_RED_EXAMPLE_m4"
   2 display_edge_labels: no
   3 layoutalgorithm: mindepth
   4 manhattan_edges: yes
   5 port_sharing: no
   6 orientation: bottom_to_top
   7 classname 1:  "intrablock Data"
   8 classname 16: "interblock Data"
   9 classname 2:  "Block"
  10 classname 13: "Control Flow"
  11 classname 18: "Exception Control Flow for Interval Analysis"
  12 classname 14: "intrablock Memory"
  13 classname 17: "interblock Memory"
  14 classname 15: "Dominators"
  15 classname 3:  "Entity type"
  16 classname 4:  "Entity owner"
  17 classname 5:  "Method Param"
  18 classname 6:  "Method Res"
  19 classname 7:  "Super"
  20 classname 8:  "Union"
  21 classname 9:  "Points-to"
  22 classname 10: "Array Element Type"
  23 classname 11: "Overwrites"
  24 classname 12: "Member"
  25 infoname 1: "Attribute"
  26 infoname 2: "Verification errors"
  27 colorentry 100:    0   0    0
  28 colorentry 101:   20   0    0
  29 colorentry 102:   40   0    0
  30 colorentry 103:   60   0    0
  31 colorentry 104:   80   0    0
  32 colorentry 105:  100   0    0
  33 colorentry 106:  120   0    0
  34 colorentry 107:  140   0    0
  35 colorentry 108:  150   0    0
  36 colorentry 109:  180   0    0
  37 colorentry 110:  200   0    0
  38 colorentry 111:  220   0    0
  39 colorentry 112:  240   0    0
  40 colorentry 113:  255   0    0
  41 colorentry 113:  255  20   20
  42 colorentry 114:  255  40   40
  43 colorentry 115:  255  60   60
  44 colorentry 116:  255  80   80
  45 colorentry 117:  255 100  100
  46 colorentry 118:  255 120  120
  47 colorentry 119:  255 140  140
  48 colorentry 120:  255 150  150
  49 colorentry 121:  255 180  180
  50 colorentry 122:  255 200  200
  51 colorentry 123:  255 220  220
  52 colorentry 124:  255 240  240
  53 colorentry 125:  255 250  250
  54
  55 graph: { title: "g284" label: "STRENGTH_RED_EXAMPLE_m4" status:clustered color:white
  56 graph: { title: "n273"  label: "Block 273" status:clustered color:yellow
  57 edge: {sourcename: "n273" targetname: "n326" label: "0" class:13 priority:60 color:red}
  58 node: {title: "n274" label: "End 274"  info1: "End 274
  59   mode:    X
  60   visited: 21
  61   irg:     STRENGTH_RED_EXAMPLE_m4
  62   arity:   1
  63   pred nodes:
  64     -1:    Block 273
  65      0:    Phi 330
  66   Private Attributes:
  67   in loop 615 with depth 0
  68 "
  69 color: blue}
  70 }
  71
  72 graph: { title: "n323"  label: "Block 323" status:clustered color:yellow
  73 edge: {sourcename: "n323" targetname: "n297" label: "0" class:13 priority:60 color:red}
  74 node: {title: "n326" label: "Return 326"  info1: "Return 326
  75   mode:    X
  76   visited: 21
  77   irg:     STRENGTH_RED_EXAMPLE_m4
  78   arity:   2
  79   pred nodes:
  80     -1:    Block 323
  81      0:    Phi 330
  82      1:    0x4 301
  83   Private Attributes:
  84   in loop 615 with depth 0
  85   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
  86     res 0 type: int
  87 "
  88 }
  89 node: {title: "n326n301" label: "0x4Is 301"  info1: "0x4 301
  90   mode:    Is
  91   visited: 21
  92   irg:     STRENGTH_RED_EXAMPLE_m4
  93   arity:   0
  94   pred nodes:
  95     -1:    Block 275
  96   Private Attributes:
  97   in loop 615 with depth 0
  98   Const of type type_unknown
  99 "
 100 color: yellow}
 101 edge: {sourcename: "n326" targetname: "n330" label: "0" class:17 priority:10 color:blue}
 102 edge: {sourcename: "n326" targetname: "n326n301" label: "1" class:16 priority:10}
 103 }
 104
 105 graph: { title: "n289"  label: "Block 289" status:clustered color:yellow
 106 edge: {sourcename: "n289" targetname: "n288" label: "0" class:13 priority:60 color:red}
 107 backedge: {sourcename: "n289" targetname: "n317" label: "1" linestyle:dashed class:13 priority:60 color:red}
 108 node: {title: "n330" label: "PhiM 330"  info1: "Phi 330
 109   mode:    M
 110   visited: 21
 111   irg:     STRENGTH_RED_EXAMPLE_m4
 112   arity:   2
 113   pred nodes:
 114     -1:    Block 289
 115      0:    Proj 282
 116      1: be Proj 316
 117   Private Attributes:
 118   backedges:  1
 119   in loop 618 with depth 1
 120 "
 121 color: green}
 122 edge: {sourcename: "n330" targetname: "n282" label: "0" class:17 priority:10 color:blue}
 123 backedge: {sourcename: "n330" targetname: "n316" label: "1" linestyle:dashed class:17 priority:10 color:blue}
 124 node: {title: "n297" label: "ProjX 0 297"  info1: "Proj 297
 125   mode:    X
 126   visited: 21
 127   irg:     STRENGTH_RED_EXAMPLE_m4
 128   arity:   1
 129   pred nodes:
 130     -1:    Block 289
 131      0:    Cond 296
 132   Private Attributes:
 133   in loop 615 with depth 0
 134 "
 135 color: yellow}
 136 edge: {sourcename: "n297" targetname: "n296" label: "0" class:13 priority:60 color:red}
 137 node: {title: "n298" label: "ProjX 1 298"  info1: "Proj 298
 138   mode:    X
 139   visited: 21
 140   irg:     STRENGTH_RED_EXAMPLE_m4
 141   arity:   1
 142   pred nodes:
 143     -1:    Block 289
 144      0:    Cond 296
 145   Private Attributes:
 146   in loop 617 with depth 2
 147 "
 148 color: yellow}
 149 edge: {sourcename: "n298" targetname: "n296" label: "0" class:13 priority:60 color:red}
 150 node: {title: "n296" label: "Cond 296"  info1: "Cond 296
 151   mode:    T
 152   visited: 21
 153   irg:     STRENGTH_RED_EXAMPLE_m4
 154   arity:   1
 155   pred nodes:
 156     -1:    Block 289
 157      0:    Proj 293
 158   Private Attributes:
 159   in loop 617 with depth 2
 160   condition kind: dense
 161   default ProjNr: 0
 162 "
 163 }
 164 edge: {sourcename: "n296" targetname: "n293" label: "0" class:1  priority:50}
 165 node: {title: "n293" label: "Projb Le 293"  info1: "Proj 293
 166   mode:    b
 167   visited: 21
 168   irg:     STRENGTH_RED_EXAMPLE_m4
 169   arity:   1
 170   pred nodes:
 171     -1:    Block 289
 172      0:    Cmp 295
 173   Private Attributes:
 174   in loop 617 with depth 2
 175 "
 176 color: yellow}
 177 edge: {sourcename: "n293" targetname: "n295" label: "0" class:1  priority:50}
 178 node: {title: "n295" label: "Cmp 295"  info1: "Cmp 295
 179   mode:    T
 180   visited: 21
 181   irg:     STRENGTH_RED_EXAMPLE_m4
 182   arity:   2
 183   pred nodes:
 184     -1:    Block 289
 185      0:    Phi 331
 186      1:    0x9 294
 187   Private Attributes:
 188   in loop 617 with depth 2
 189 "
 190 }
 191 node: {title: "n295n294" label: "0x9Is 294"  info1: "0x9 294
 192   mode:    Is
 193   visited: 21
 194   irg:     STRENGTH_RED_EXAMPLE_m4
 195   arity:   0
 196   pred nodes:
 197     -1:    Block 275
 198   Private Attributes:
 199   in loop 615 with depth 0
 200   Const of type type_unknown
 201 "
 202 color: yellow}
 203 edge: {sourcename: "n295" targetname: "n331" label: "0" class:1  priority:50}
 204 edge: {sourcename: "n295" targetname: "n295n294" label: "1" class:16 priority:10}
 205 node: {title: "n331" label: "PhiIs 331"  info1: "Phi 331
 206   mode:    Is
 207   visited: 21
 208   irg:     STRENGTH_RED_EXAMPLE_m4
 209   arity:   2
 210   pred nodes:
 211     -1:    Block 289
 212      0:    0x0 286
 213      1: be Add 304
 214   Private Attributes:
 215   backedges:  1
 216   in loop 616 with depth 1
 217 "
 218 color: green}
 219 node: {title: "n331n286" label: "0x0Is 286"  info1: "0x0 286
 220   mode:    Is
 221   visited: 21
 222   irg:     STRENGTH_RED_EXAMPLE_m4
 223   arity:   0
 224   pred nodes:
 225     -1:    Block 275
 226   Private Attributes:
 227   in loop 615 with depth 0
 228   Const of type type_unknown
 229 "
 230 color: yellow}
 231 edge: {sourcename: "n331" targetname: "n331n286" label: "0" class:16 priority:10}
 232 backedge: {sourcename: "n331" targetname: "n304" label: "1" linestyle:dashed class:16 priority:10}
 233 }
 234
 235 graph: { title: "n285"  label: "Block 285" status:clustered color:yellow
 236 edge: {sourcename: "n285" targetname: "n279" label: "0" class:13 priority:60 color:red}
 237 node: {title: "n288" label: "Jmp 288"  info1: "Jmp 288
 238   mode:    X
 239   visited: 21
 240   irg:     STRENGTH_RED_EXAMPLE_m4
 241   arity:   0
 242   pred nodes:
 243     -1:    Block 285
 244   Private Attributes:
 245   in loop 615 with depth 0
 246 "
 247 }
 248 }
 249
 250 graph: { title: "n299"  label: "Block 299" status:clustered color:yellow
 251 edge: {sourcename: "n299" targetname: "n298" label: "0" class:13 priority:60 color:red}
 252 node: {title: "n316" label: "ProjM 0 316"  info1: "Proj 316
 253   mode:    M
 254   visited: 21
 255   irg:     STRENGTH_RED_EXAMPLE_m4
 256   arity:   1
 257   pred nodes:
 258     -1:    Block 299
 259      0:    Store 314
 260   Private Attributes:
 261   in loop 618 with depth 1
 262 "
 263 color: yellow}
 264 edge: {sourcename: "n316" targetname: "n314" label: "0" class:17 priority:10 color:blue}
 265 node: {title: "n314" label: "Store 314"  info1: "Store 314
 266   mode:    T
 267   visited: 21
 268   irg:     STRENGTH_RED_EXAMPLE_m4
 269   arity:   3
 270   pred nodes:
 271     -1:    Block 299
 272      0:    Proj 311
 273      1:    Add 313
 274      2:    Add 304
 275   Private Attributes:
 276   pinned state: op_pin_state_pinned
 277   in loop 618 with depth 1
 278   volatility: volatility_non_volatile
 279 "
 280 }
 281 edge: {sourcename: "n314" targetname: "n311" label: "0" class:14 priority:50 color:blue}
 282 edge: {sourcename: "n314" targetname: "n313" label: "1" class:1  priority:50}
 283 edge: {sourcename: "n314" targetname: "n304" label: "2" class:1  priority:50}
 284 node: {title: "n311" label: "ProjM 0 311"  info1: "Proj 311
 285   mode:    M
 286   visited: 21
 287   irg:     STRENGTH_RED_EXAMPLE_m4
 288   arity:   1
 289   pred nodes:
 290     -1:    Block 299
 291      0:    Store 309
 292   Private Attributes:
 293   in loop 618 with depth 1
 294 "
 295 color: yellow}
 296 edge: {sourcename: "n311" targetname: "n309" label: "0" class:17 priority:10 color:blue}
 297 node: {title: "n309" label: "Store 309"  info1: "Store 309
 298   mode:    T
 299   visited: 21
 300   irg:     STRENGTH_RED_EXAMPLE_m4
 301   arity:   3
 302   pred nodes:
 303     -1:    Block 299
 304      0:    Phi 330
 305      1:    Add 307
 306      2:    Add 304
 307   Private Attributes:
 308   pinned state: op_pin_state_pinned
 309   in loop 618 with depth 1
 310   volatility: volatility_non_volatile
 311 "
 312 }
 313 edge: {sourcename: "n309" targetname: "n330" label: "0" class:17 priority:10 color:blue}
 314 edge: {sourcename: "n309" targetname: "n307" label: "1" class:1  priority:50}
 315 edge: {sourcename: "n309" targetname: "n304" label: "2" class:1  priority:50}
 316 node: {title: "n307" label: "AddP 307"  info1: "Add 307
 317   mode:    P
 318   visited: 21
 319   irg:     STRENGTH_RED_EXAMPLE_m4
 320   arity:   2
 321   pred nodes:
 322     -1:    Block 299
 323      0:    Mul 305
 324      1:    SymC &a 287
 325   Private Attributes:
 326   in loop 615 with depth 0
 327 "
 328 }
 329 node: {title: "n307n287" label: "SymC &a 287"  info1: "SymC &a 287
 330   mode:    P
 331   visited: 21
 332   irg:     STRENGTH_RED_EXAMPLE_m4
 333   arity:   0
 334   pred nodes:
 335     -1:    Block 275
 336   Private Attributes:
 337   in loop 615 with depth 0
 338   kind:   addr_ent
 339   entity: entity GlobalType.a (271)
 340
 341   type of value: type_unknown
 342 "
 343 }
 344 edge: {sourcename: "n307" targetname: "n305" label: "0" class:1  priority:50}
 345 edge: {sourcename: "n307" targetname: "n307n287" label: "1" class:16 priority:10}
 346 node: {title: "n305" label: "MulIs 305"  info1: "Mul 305
 347   mode:    Is
 348   visited: 21
 349   irg:     STRENGTH_RED_EXAMPLE_m4
 350   arity:   2
 351   pred nodes:
 352     -1:    Block 299
 353      0:    0x8 302
 354      1:    Add 304
 355   Private Attributes:
 356   in loop 615 with depth 0
 357 "
 358 }
 359 node: {title: "n305n302" label: "0x8Is 302"  info1: "0x8 302
 360   mode:    Is
 361   visited: 21
 362   irg:     STRENGTH_RED_EXAMPLE_m4
 363   arity:   0
 364   pred nodes:
 365     -1:    Block 275
 366   Private Attributes:
 367   in loop 615 with depth 0
 368   Const of type type_unknown
 369 "
 370 color: yellow}
 371 edge: {sourcename: "n305" targetname: "n305n302" label: "0" class:16 priority:10}
 372 edge: {sourcename: "n305" targetname: "n304" label: "1" class:1  priority:50}
 373 node: {title: "n313" label: "AddP 313"  info1: "Add 313
 374   mode:    P
 375   visited: 21
 376   irg:     STRENGTH_RED_EXAMPLE_m4
 377   arity:   2
 378   pred nodes:
 379     -1:    Block 299
 380      0:    SymC &a 287
 381      1:    Mul 312
 382   Private Attributes:
 383   in loop 615 with depth 0
 384 "
 385 }
 386 node: {title: "n313n287" label: "SymC &a 287"  info1: "SymC &a 287
 387   mode:    P
 388   visited: 21
 389   irg:     STRENGTH_RED_EXAMPLE_m4
 390   arity:   0
 391   pred nodes:
 392     -1:    Block 275
 393   Private Attributes:
 394   in loop 615 with depth 0
 395   kind:   addr_ent
 396   entity: entity GlobalType.a (271)
 397
 398   type of value: type_unknown
 399 "
 400 }
 401 edge: {sourcename: "n313" targetname: "n313n287" label: "0" class:16 priority:10}
 402 edge: {sourcename: "n313" targetname: "n312" label: "1" class:1  priority:50}
 403 node: {title: "n312" label: "MulIs 312"  info1: "Mul 312
 404   mode:    Is
 405   visited: 21
 406   irg:     STRENGTH_RED_EXAMPLE_m4
 407   arity:   2
 408   pred nodes:
 409     -1:    Block 299
 410      0:    0x4 301
 411      1:    Add 304
 412   Private Attributes:
 413   in loop 615 with depth 0
 414 "
 415 }
 416 node: {title: "n312n301" label: "0x4Is 301"  info1: "0x4 301
 417   mode:    Is
 418   visited: 21
 419   irg:     STRENGTH_RED_EXAMPLE_m4
 420   arity:   0
 421   pred nodes:
 422     -1:    Block 275
 423   Private Attributes:
 424   in loop 615 with depth 0
 425   Const of type type_unknown
 426 "
 427 color: yellow}
 428 edge: {sourcename: "n312" targetname: "n312n301" label: "0" class:16 priority:10}
 429 edge: {sourcename: "n312" targetname: "n304" label: "1" class:1  priority:50}
 430 node: {title: "n317" label: "Jmp 317"  info1: "Jmp 317
 431   mode:    X
 432   visited: 21
 433   irg:     STRENGTH_RED_EXAMPLE_m4
 434   arity:   0
 435   pred nodes:
 436     -1:    Block 299
 437   Private Attributes:
 438   in loop 617 with depth 2
 439 "
 440 }
 441 node: {title: "n304" label: "AddIs 304"  info1: "Add 304
 442   mode:    Is
 443   visited: 21
 444   irg:     STRENGTH_RED_EXAMPLE_m4
 445   arity:   2
 446   pred nodes:
 447     -1:    Block 299
 448      0:    0x1 300
 449      1:    Phi 331
 450   Private Attributes:
 451   in loop 616 with depth 1
 452 "
 453 }
 454 node: {title: "n304n300" label: "0x1Is 300"  info1: "0x1 300
 455   mode:    Is
 456   visited: 21
 457   irg:     STRENGTH_RED_EXAMPLE_m4
 458   arity:   0
 459   pred nodes:
 460     -1:    Block 275
 461   Private Attributes:
 462   in loop 615 with depth 0
 463   Const of type type_unknown
 464 "
 465 color: yellow}
 466 edge: {sourcename: "n304" targetname: "n304n300" label: "0" class:16 priority:10}
 467 edge: {sourcename: "n304" targetname: "n331" label: "1" class:16 priority:10}
 468 }
 469
 470 graph: { title: "n275"  label: "Block 275" status:clustered color:yellow
 471 edge: {sourcename: "n275" targetname: "n279" label: "0" class:13 priority:60 color:red}
 472 node: {title: "n282" label: "ProjM 1 282"  info1: "Proj 282
 473   mode:    M
 474   visited: 21
 475   irg:     STRENGTH_RED_EXAMPLE_m4
 476   arity:   1
 477   pred nodes:
 478     -1:    Block 275
 479      0:    Start 276
 480   Private Attributes:
 481   in loop 615 with depth 0
 482 "
 483 color: yellow}
 484 edge: {sourcename: "n282" targetname: "n276" label: "0" class:17 priority:10 color:blue}
 485 node: {title: "n279" label: "ProjX 0 279"  info1: "Proj 279
 486   mode:    X
 487   visited: 21
 488   irg:     STRENGTH_RED_EXAMPLE_m4
 489   arity:   1
 490   pred nodes:
 491     -1:    Block 275
 492      0:    Start 276
 493   Private Attributes:
 494   in loop 615 with depth 0
 495 "
 496 color: yellow}
 497 edge: {sourcename: "n279" targetname: "n276" label: "0" class:13 priority:60 color:red}
 498 node: {title: "n276" label: "Start 276"  info1: "Start 276
 499   mode:    T
 500   visited: 21
 501   irg:     STRENGTH_RED_EXAMPLE_m4
 502   arity:   0
 503   pred nodes:
 504     -1:    Block 275
 505   Private Attributes:
 506   in loop 615 with depth 0
 507   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
 508     param 0 type: int
 509 "
 510 color: blue}
 511 }
 512
 513 }
 514
 515 }