nsz Git - libfirm/blob - testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg

   1 graph: { title: "ir graph of STRENGTH_RED_EXAMPLE_m6"
   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: "g413" label: "STRENGTH_RED_EXAMPLE_m6" status:clustered color:white
  57 graph: { title: "n402"  label: "Block 402" status:clustered color:yellow
  58 edge: {sourcename: "n402" targetname: "n454" label: "0" class:13 priority:60 color:red}
  59 node: {title: "n403" label: "End 403"  info1: "End 403
  60   mode:    X
  61   visited: 26
  62   irg:     STRENGTH_RED_EXAMPLE_m6
  63   arity:   1
  64   pred nodes:
  65     -1:    Block 402
  66      0:    Phi 458
  67   Private Attributes:
  68   in loop 664 with depth 0
  69 "
  70 color: blue}
  71 }
  72
  73 graph: { title: "n451"  label: "Block 451" status:clustered color:yellow
  74 edge: {sourcename: "n451" targetname: "n426" label: "0" class:13 priority:60 color:red}
  75 node: {title: "n454" label: "Return 454"  info1: "Return 454
  76   mode:    X
  77   visited: 26
  78   irg:     STRENGTH_RED_EXAMPLE_m6
  79   arity:   2
  80   pred nodes:
  81     -1:    Block 451
  82      0:    Phi 458
  83      1:    0x4 431
  84   Private Attributes:
  85   in loop 664 with depth 0
  86   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
  87     res 0 type: int
  88 "
  89 }
  90 node: {title: "n454n431" label: "0x4Is 431"  info1: "0x4 431
  91   mode:    Is
  92   visited: 26
  93   irg:     STRENGTH_RED_EXAMPLE_m6
  94   arity:   0
  95   pred nodes:
  96     -1:    Block 404
  97   Private Attributes:
  98   in loop 664 with depth 0
  99   Const of type type_unknown
 100 "
 101 color: yellow}
 102 edge: {sourcename: "n454" targetname: "n458" label: "0" class:17 priority:10 color:blue}
 103 edge: {sourcename: "n454" targetname: "n454n431" label: "1" class:16 priority:10}
 104 }
 105
 106 graph: { title: "n418"  label: "Block 418" status:clustered color:yellow
 107 edge: {sourcename: "n418" targetname: "n417" label: "0" class:13 priority:60 color:red}
 108 backedge: {sourcename: "n418" targetname: "n445" label: "1" linestyle:dashed class:13 priority:60 color:red}
 109 node: {title: "n458" label: "PhiM 458"  info1: "Phi 458
 110   mode:    M
 111   visited: 26
 112   irg:     STRENGTH_RED_EXAMPLE_m6
 113   arity:   2
 114   pred nodes:
 115     -1:    Block 418
 116      0:    Proj 411
 117      1:    Proj 444
 118   Private Attributes:
 119   backedges:
 120   in loop 667 with depth 1
 121 "
 122 color: green}
 123 edge: {sourcename: "n458" targetname: "n411" label: "0" class:17 priority:10 color:blue}
 124 edge: {sourcename: "n458" targetname: "n444" label: "1" class:17 priority:10 color:blue}
 125 node: {title: "n426" label: "ProjX false 426"  info1: "Proj 426
 126   mode:    X
 127   visited: 26
 128   irg:     STRENGTH_RED_EXAMPLE_m6
 129   arity:   1
 130   pred nodes:
 131     -1:    Block 418
 132      0:    Cond 425
 133   Private Attributes:
 134   proj nr: 0
 135   in loop 664 with depth 0
 136 "
 137 color: yellow}
 138 edge: {sourcename: "n426" targetname: "n425" label: "0" class:13 priority:60 color:red}
 139 node: {title: "n427" label: "ProjX true 427"  info1: "Proj 427
 140   mode:    X
 141   visited: 26
 142   irg:     STRENGTH_RED_EXAMPLE_m6
 143   arity:   1
 144   pred nodes:
 145     -1:    Block 418
 146      0:    Cond 425
 147   Private Attributes:
 148   proj nr: 1
 149   in loop 666 with depth 2
 150 "
 151 color: yellow}
 152 edge: {sourcename: "n427" targetname: "n425" label: "0" class:13 priority:60 color:red}
 153 node: {title: "n425" label: "Cond 425"  info1: "Cond 425
 154   mode:    T
 155   visited: 26
 156   irg:     STRENGTH_RED_EXAMPLE_m6
 157   arity:   1
 158   pred nodes:
 159     -1:    Block 418
 160      0:    Proj 422
 161   Private Attributes:
 162   in loop 666 with depth 2
 163   condition kind: dense
 164   default ProjNr: 0
 165 "
 166 }
 167 edge: {sourcename: "n425" targetname: "n422" label: "0" class:1  priority:50}
 168 node: {title: "n422" label: "Projb Le 422"  info1: "Proj 422
 169   mode:    b
 170   visited: 26
 171   irg:     STRENGTH_RED_EXAMPLE_m6
 172   arity:   1
 173   pred nodes:
 174     -1:    Block 418
 175      0:    Cmp 424
 176   Private Attributes:
 177   proj nr: 3
 178   in loop 666 with depth 2
 179 "
 180 color: yellow}
 181 edge: {sourcename: "n422" targetname: "n424" label: "0" class:1  priority:50}
 182 node: {title: "n424" label: "Cmp 424"  info1: "Cmp 424
 183   mode:    T
 184   visited: 26
 185   irg:     STRENGTH_RED_EXAMPLE_m6
 186   arity:   2
 187   pred nodes:
 188     -1:    Block 418
 189      0:    Phi 459
 190      1:    0x24 686
 191   Private Attributes:
 192   in loop 666 with depth 2
 193 "
 194 }
 195 node: {title: "n424n686" label: "0x24Is 686"  info1: "0x24 686
 196   mode:    Is
 197   visited: 26
 198   irg:     STRENGTH_RED_EXAMPLE_m6
 199   arity:   0
 200   pred nodes:
 201     -1:    Block 404
 202   Private Attributes:
 203   Const of type type_unknown
 204 "
 205 color: yellow}
 206 edge: {sourcename: "n424" targetname: "n459" label: "0" class:1  priority:50}
 207 edge: {sourcename: "n424" targetname: "n424n686" label: "1" class:16 priority:10}
 208 node: {title: "n459" label: "PhiIs 459"  info1: "Phi 459
 209   mode:    Is
 210   visited: 26
 211   irg:     STRENGTH_RED_EXAMPLE_m6
 212   arity:   2
 213   pred nodes:
 214     -1:    Block 418
 215      0:    0x0 415
 216      1:    Add 671
 217   Private Attributes:
 218   backedges:
 219   in loop 665 with depth 1
 220 "
 221 color: green}
 222 node: {title: "n459n415" label: "0x0Is 415"  info1: "0x0 415
 223   mode:    Is
 224   visited: 26
 225   irg:     STRENGTH_RED_EXAMPLE_m6
 226   arity:   0
 227   pred nodes:
 228     -1:    Block 404
 229   Private Attributes:
 230   in loop 664 with depth 0
 231   Const of type type_unknown
 232 "
 233 color: yellow}
 234 edge: {sourcename: "n459" targetname: "n459n415" label: "0" class:16 priority:10}
 235 edge: {sourcename: "n459" targetname: "n671" label: "1" class:16 priority:10}
 236 }
 237
 238 graph: { title: "n414"  label: "Block 414" status:clustered color:yellow
 239 edge: {sourcename: "n414" targetname: "n408" label: "0" class:13 priority:60 color:red}
 240 node: {title: "n417" label: "Jmp 417"  info1: "Jmp 417
 241   mode:    X
 242   visited: 26
 243   irg:     STRENGTH_RED_EXAMPLE_m6
 244   arity:   0
 245   pred nodes:
 246     -1:    Block 414
 247   Private Attributes:
 248   in loop 664 with depth 0
 249 "
 250 }
 251 }
 252
 253 graph: { title: "n428"  label: "Block 428" status:clustered color:yellow
 254 edge: {sourcename: "n428" targetname: "n427" label: "0" class:13 priority:60 color:red}
 255 node: {title: "n444" label: "ProjM M 444"  info1: "Proj 444
 256   mode:    M
 257   visited: 26
 258   irg:     STRENGTH_RED_EXAMPLE_m6
 259   arity:   1
 260   pred nodes:
 261     -1:    Block 428
 262      0:    Store 442
 263   Private Attributes:
 264   proj nr: 0
 265   in loop 667 with depth 1
 266 "
 267 color: yellow}
 268 edge: {sourcename: "n444" targetname: "n442" label: "0" class:17 priority:10 color:blue}
 269 node: {title: "n442" label: "Store 442"  info1: "Store 442
 270   mode:    T
 271   visited: 26
 272   irg:     STRENGTH_RED_EXAMPLE_m6
 273   arity:   3
 274   pred nodes:
 275     -1:    Block 428
 276      0:    Phi 458
 277      1:    Add 680
 278      2:    0x13 440
 279   Private Attributes:
 280   pinned state: op_pin_state_pinned
 281   in loop 667 with depth 1
 282   volatility: volatility_non_volatile
 283 "
 284 }
 285 node: {title: "n442n440" label: "0x13Is 440"  info1: "0x13 440
 286   mode:    Is
 287   visited: 26
 288   irg:     STRENGTH_RED_EXAMPLE_m6
 289   arity:   0
 290   pred nodes:
 291     -1:    Block 404
 292   Private Attributes:
 293   in loop 664 with depth 0
 294   Const of type type_unknown
 295 "
 296 color: yellow}
 297 edge: {sourcename: "n442" targetname: "n458" label: "0" class:17 priority:10 color:blue}
 298 edge: {sourcename: "n442" targetname: "n680" label: "1" class:1  priority:50}
 299 edge: {sourcename: "n442" targetname: "n442n440" label: "2" class:16 priority:10}
 300 node: {title: "n680" label: "AddP 680"  info1: "Add 680
 301   mode:    P
 302   visited: 26
 303   irg:     STRENGTH_RED_EXAMPLE_m6
 304   arity:   2
 305   pred nodes:
 306     -1:    Block 428
 307      0:    Sub 437
 308      1:    0x8 679
 309   Private Attributes:
 310 "
 311 }
 312 node: {title: "n680n679" label: "0x8Is 679"  info1: "0x8 679
 313   mode:    Is
 314   visited: 26
 315   irg:     STRENGTH_RED_EXAMPLE_m6
 316   arity:   0
 317   pred nodes:
 318     -1:    Block 404
 319   Private Attributes:
 320   Const of type type_unknown
 321 "
 322 color: yellow}
 323 edge: {sourcename: "n680" targetname: "n437" label: "0" class:1  priority:50}
 324 edge: {sourcename: "n680" targetname: "n680n679" label: "1" class:16 priority:10}
 325 node: {title: "n437" label: "SubP 437"  info1: "Sub 437
 326   mode:    P
 327   visited: 26
 328   irg:     STRENGTH_RED_EXAMPLE_m6
 329   arity:   2
 330   pred nodes:
 331     -1:    Block 428
 332      0:    0x5 430
 333      1:    Add 677
 334   Private Attributes:
 335   in loop 664 with depth 0
 336 "
 337 }
 338 node: {title: "n437n430" label: "0x5Is 430"  info1: "0x5 430
 339   mode:    Is
 340   visited: 26
 341   irg:     STRENGTH_RED_EXAMPLE_m6
 342   arity:   0
 343   pred nodes:
 344     -1:    Block 404
 345   Private Attributes:
 346   in loop 664 with depth 0
 347   Const of type type_unknown
 348 "
 349 color: yellow}
 350 edge: {sourcename: "n437" targetname: "n437n430" label: "0" class:16 priority:10}
 351 edge: {sourcename: "n437" targetname: "n677" label: "1" class:1  priority:50}
 352 node: {title: "n677" label: "AddP 677"  info1: "Add 677
 353   mode:    P
 354   visited: 26
 355   irg:     STRENGTH_RED_EXAMPLE_m6
 356   arity:   2
 357   pred nodes:
 358     -1:    Block 428
 359      0:    Phi 459
 360      1:    Add 676
 361   Private Attributes:
 362 "
 363 }
 364 edge: {sourcename: "n677" targetname: "n459" label: "0" class:16 priority:10}
 365 edge: {sourcename: "n677" targetname: "n676" label: "1" class:1  priority:50}
 366 node: {title: "n676" label: "AddP 676"  info1: "Add 676
 367   mode:    P
 368   visited: 26
 369   irg:     STRENGTH_RED_EXAMPLE_m6
 370   arity:   2
 371   pred nodes:
 372     -1:    Block 428
 373      0:    SymC &a 416
 374      1:    0xFFFFFFFC 674
 375   Private Attributes:
 376 "
 377 }
 378 node: {title: "n676n416" label: "SymC &a 416"  info1: "SymC &a 416
 379   mode:    P
 380   visited: 26
 381   irg:     STRENGTH_RED_EXAMPLE_m6
 382   arity:   0
 383   pred nodes:
 384     -1:    Block 404
 385   Private Attributes:
 386   in loop 664 with depth 0
 387   kind:   addr_ent
 388   entity: entity GlobalType.a (400)
 389
 390   type of value: type_unknown
 391 "
 392 }
 393 node: {title: "n676n674" label: "0xFFFFFFFCIs 674"  info1: "0xFFFFFFFC 674
 394   mode:    Is
 395   visited: 26
 396   irg:     STRENGTH_RED_EXAMPLE_m6
 397   arity:   0
 398   pred nodes:
 399     -1:    Block 404
 400   Private Attributes:
 401   Const of type type_unknown
 402 "
 403 color: yellow}
 404 edge: {sourcename: "n676" targetname: "n676n416" label: "0" class:16 priority:10}
 405 edge: {sourcename: "n676" targetname: "n676n674" label: "1" class:16 priority:10}
 406 node: {title: "n445" label: "Jmp 445"  info1: "Jmp 445
 407   mode:    X
 408   visited: 26
 409   irg:     STRENGTH_RED_EXAMPLE_m6
 410   arity:   0
 411   pred nodes:
 412     -1:    Block 428
 413   Private Attributes:
 414   in loop 666 with depth 2
 415 "
 416 }
 417 node: {title: "n671" label: "AddIs 671"  info1: "Add 671
 418   mode:    Is
 419   visited: 26
 420   irg:     STRENGTH_RED_EXAMPLE_m6
 421   arity:   2
 422   pred nodes:
 423     -1:    Block 428
 424      0:    Phi 459
 425      1:    0xFFFFFFFC 674
 426   Private Attributes:
 427 "
 428 }
 429 node: {title: "n671n674" label: "0xFFFFFFFCIs 674"  info1: "0xFFFFFFFC 674
 430   mode:    Is
 431   visited: 26
 432   irg:     STRENGTH_RED_EXAMPLE_m6
 433   arity:   0
 434   pred nodes:
 435     -1:    Block 404
 436   Private Attributes:
 437   Const of type type_unknown
 438 "
 439 color: yellow}
 440 edge: {sourcename: "n671" targetname: "n459" label: "0" class:16 priority:10}
 441 edge: {sourcename: "n671" targetname: "n671n674" label: "1" class:16 priority:10}
 442 }
 443
 444 graph: { title: "n404"  label: "Block 404" status:clustered color:yellow
 445 edge: {sourcename: "n404" targetname: "n408" label: "0" class:13 priority:60 color:red}
 446 node: {title: "n411" label: "ProjM 1 411"  info1: "Proj 411
 447   mode:    M
 448   visited: 26
 449   irg:     STRENGTH_RED_EXAMPLE_m6
 450   arity:   1
 451   pred nodes:
 452     -1:    Block 404
 453      0:    Start 405
 454   Private Attributes:
 455   proj nr: 1
 456   in loop 664 with depth 0
 457 "
 458 color: yellow}
 459 edge: {sourcename: "n411" targetname: "n405" label: "0" class:17 priority:10 color:blue}
 460 node: {title: "n408" label: "ProjX X_initial_exec 408"  info1: "Proj 408
 461   mode:    X
 462   visited: 26
 463   irg:     STRENGTH_RED_EXAMPLE_m6
 464   arity:   1
 465   pred nodes:
 466     -1:    Block 404
 467      0:    Start 405
 468   Private Attributes:
 469   proj nr: 0
 470   in loop 664 with depth 0
 471 "
 472 color: yellow}
 473 edge: {sourcename: "n408" targetname: "n405" label: "0" class:13 priority:60 color:red}
 474 node: {title: "n405" label: "Start 405"  info1: "Start 405
 475   mode:    T
 476   visited: 26
 477   irg:     STRENGTH_RED_EXAMPLE_m6
 478   arity:   0
 479   pred nodes:
 480     -1:    Block 404
 481   Private Attributes:
 482   in loop 664 with depth 0
 483   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
 484     param 0 type: int
 485 "
 486 color: blue}
 487 }
 488
 489 }
 490
 491 }