X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=testprograms%2Fref-results%2FSTRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg;h=8ee7ebe160d5ab9a412b91de71f937c9b7c8a1f0;hb=06ac32c88eaea944000119efd4faadc6c3f0b30a;hp=b04d2124d5924a888184a3de63fe8bb1b58c6534;hpb=5b0ba7f9064e9ffeb2b2fcf66462a93d05d4ee96;p=libfirm diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg index b04d2124d..8ee7ebe16 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg @@ -24,6 +24,7 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +infoname 3: "Debug info" colorentry 100: 0 0 0 colorentry 101: 20 0 0 colorentry 102: 40 0 0 @@ -52,384 +53,524 @@ colorentry 123: 255 220 220 colorentry 124: 255 240 240 colorentry 125: 255 250 250 -graph: { title: "g346" label: "STRENGTH_RED_EXAMPLE_m5" status:clustered color:white -graph: { title: "n335" label: "Block 335" status:clustered color:yellow -edge: {sourcename: "n335" targetname: "n385" label: "0" class:13 priority:60 color:red} -node: {title: "n336" label: "End 336" info1: "End 336 +graph: { title: "g347" label: "STRENGTH_RED_EXAMPLE_m5" status:clustered color:white +info1: "entity STRENGTH_RED_EXAMPLE_m5 (328) + type: STRENGTH_RED_EXAMPLE_meth_tp (16) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &STRENGTH_RED_EXAMPLE_m5 + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 347 + +" +graph: { title: "n336" label: "Block 336" status:clustered color:yellow + info1: "Block 336 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m5 + arity: 1 + pred nodes: + 0: Return 387 + Private Attributes: + backedges: + in loop 656 with depth 0 + block visited: 2 + dom depth 5 + tree pre num 4 + max subtree pre num 4 + Execution freqency statistics: +" +edge: {sourcename: "n336" targetname: "n387" label: "0" class:13 priority:60 color:red} +node: {title: "n337" label: "End 337" info1: "End 337 mode: X - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 1 pred nodes: - -1: Block 335 - 0: Phi 389 + -1: Block 336 + 0: Phi 391 Private Attributes: + in loop 639 with depth 0 " -color: blue} +color:blue} } -graph: { title: "n382" label: "Block 382" status:clustered color:yellow -edge: {sourcename: "n382" targetname: "n357" label: "0" class:13 priority:60 color:red} -node: {title: "n385" label: "Return 385" info1: "Return 385 +graph: { title: "n384" label: "Block 384" status:clustered color:yellow + info1: "Block 384 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m5 + arity: 1 + pred nodes: + 0: Proj 359 + Private Attributes: + backedges: + in loop 656 with depth 0 + block visited: 2 + dom depth 4 + tree pre num 3 + max subtree pre num 4 + Execution freqency statistics: +" +edge: {sourcename: "n384" targetname: "n359" label: "0" class:13 priority:60 color:red} +node: {title: "n387" label: "Return 387" info1: "Return 387 mode: X - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 2 pred nodes: - -1: Block 382 - 0: Phi 389 - 1: 0x4 361 + -1: Block 384 + 0: Phi 391 + 1: 0x4 363 Private Attributes: + in loop 639 with depth 0 return in method of type STRENGTH_RED_EXAMPLE_meth_tp res 0 type: int " } -node: {title: "n385n361" label: "0x4Is 361" info1: "0x4 361 +node: {title: "n387n363" label: "0x4Is 363" info1: "0x4 363 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 0 pred nodes: - -1: Block 337 + -1: Block 338 Private Attributes: + in loop 639 with depth 0 Const of type type_unknown " -color: yellow} -edge: {sourcename: "n385" targetname: "n389" label: "0" class:17 priority:10 color:blue} -edge: {sourcename: "n385" targetname: "n385n361" label: "1" class:16 priority:10} +color:yellow} +edge: {sourcename: "n387" targetname: "n391" label: "0" class:17 priority:10 color:blue} +edge: {sourcename: "n387" targetname: "n387n363" label: "1" class:16 priority:10} } -graph: { title: "n351" label: "Block 351" status:clustered color:yellow -edge: {sourcename: "n351" targetname: "n350" label: "0" class:13 priority:60 color:red} -backedge: {sourcename: "n351" targetname: "n376" label: "1" linestyle:dashed class:13 priority:60 color:red} -node: {title: "n389" label: "PhiM 389" info1: "Phi 389 +graph: { title: "n352" label: "Block 352" status:clustered color:yellow + info1: "Block 352 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m5 + arity: 2 + pred nodes: + 0: Jmp 351 + 1: be Jmp 378 + Private Attributes: + backedges: 1 + in loop 657 with depth 1 + block visited: 2 + dom depth 3 + tree pre num 2 + max subtree pre num 5 + Execution freqency statistics: +" +edge: {sourcename: "n352" targetname: "n351" label: "0" class:13 priority:60 color:red} +backedge: {sourcename: "n352" targetname: "n378" label: "1" linestyle:dashed class:13 priority:60 color:red} +node: {title: "n391" label: "PhiM 391" info1: "Phi 391 mode: M - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 2 pred nodes: - -1: Block 351 - 0: Proj 344 - 1: Proj 375 + -1: Block 352 + 0: Proj 345 + 1: Proj 377 Private Attributes: backedges: + in loop 642 with depth 1 " -color: green} -edge: {sourcename: "n389" targetname: "n344" label: "0" class:17 priority:10 color:blue} -edge: {sourcename: "n389" targetname: "n375" label: "1" class:17 priority:10 color:blue} -node: {title: "n357" label: "ProjX 0 357" info1: "Proj 357 +color:green} +edge: {sourcename: "n391" targetname: "n345" label: "0" class:17 priority:10 color:blue} +edge: {sourcename: "n391" targetname: "n377" label: "1" class:17 priority:10 color:blue} +node: {title: "n359" label: "ProjX false 359" info1: "Proj 359 mode: X - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 1 pred nodes: - -1: Block 351 - 0: Cond 356 + -1: Block 352 + 0: Cond 358 Private Attributes: + proj nr: 0 + in loop 639 with depth 0 " -color: yellow} -edge: {sourcename: "n357" targetname: "n356" label: "0" class:13 priority:60 color:red} -node: {title: "n358" label: "ProjX 1 358" info1: "Proj 358 +color:yellow} +edge: {sourcename: "n359" targetname: "n358" label: "0" class:13 priority:60 color:red} +node: {title: "n360" label: "ProjX true 360" info1: "Proj 360 mode: X - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 1 pred nodes: - -1: Block 351 - 0: Cond 356 + -1: Block 352 + 0: Cond 358 Private Attributes: + proj nr: 1 + in loop 641 with depth 2 " -color: yellow} -edge: {sourcename: "n358" targetname: "n356" label: "0" class:13 priority:60 color:red} -node: {title: "n356" label: "Cond 356" info1: "Cond 356 +color:yellow} +edge: {sourcename: "n360" targetname: "n358" label: "0" class:13 priority:60 color:red} +node: {title: "n358" label: "Cond 358" info1: "Cond 358 mode: T - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 1 pred nodes: - -1: Block 351 - 0: Proj 355 + -1: Block 352 + 0: Proj 356 Private Attributes: + in loop 641 with depth 2 condition kind: dense default ProjNr: 0 " } -edge: {sourcename: "n356" targetname: "n355" label: "0" class:1 priority:50} -node: {title: "n355" label: "Projb Lt 355" info1: "Proj 355 +edge: {sourcename: "n358" targetname: "n356" label: "0" class:1 priority:50} +node: {title: "n356" label: "Projb Gt 356" info1: "Proj 356 mode: b - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 1 pred nodes: - -1: Block 351 - 0: Cmp 354 + -1: Block 352 + 0: Cmp 357 Private Attributes: + proj nr: 4 + in loop 641 with depth 2 " -color: yellow} -edge: {sourcename: "n355" targetname: "n354" label: "0" class:1 priority:50} -node: {title: "n354" label: "Cmp 354" info1: "Cmp 354 +color:yellow} +edge: {sourcename: "n356" targetname: "n357" label: "0" class:1 priority:50} +node: {title: "n357" label: "Cmp 357" info1: "Cmp 357 mode: T - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 2 pred nodes: - -1: Block 351 - 0: 0x0 353 - 1: Phi 390 + -1: Block 352 + 0: Phi 392 + 1: 0x0 354 Private Attributes: + in loop 641 with depth 2 " } -node: {title: "n354n353" label: "0x0Is 353" info1: "0x0 353 +node: {title: "n357n354" label: "0x0Is 354" info1: "0x0 354 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 0 pred nodes: - -1: Block 337 + -1: Block 338 Private Attributes: + in loop 639 with depth 0 Const of type type_unknown " -color: yellow} -edge: {sourcename: "n354" targetname: "n354n353" label: "0" class:16 priority:10} -edge: {sourcename: "n354" targetname: "n390" label: "1" class:1 priority:50} -node: {title: "n390" label: "PhiIs 390" info1: "Phi 390 +color:yellow} +edge: {sourcename: "n357" targetname: "n392" label: "0" class:1 priority:50} +edge: {sourcename: "n357" targetname: "n357n354" label: "1" class:16 priority:10} +node: {title: "n392" label: "PhiIs 392" info1: "Phi 392 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 2 pred nodes: - -1: Block 351 - 0: 0x28 656 - 1: Add 643 + -1: Block 352 + 0: 0x28 659 + 1: Add 646 Private Attributes: backedges: + in loop 640 with depth 1 " -color: green} -node: {title: "n390n656" label: "0x28Is 656" info1: "0x28 656 +color:green} +node: {title: "n392n659" label: "0x28Is 659" info1: "0x28 659 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 0 pred nodes: - -1: Block 337 + -1: Block 338 Private Attributes: Const of type type_unknown " -color: yellow} -edge: {sourcename: "n390" targetname: "n390n656" label: "0" class:16 priority:10} -edge: {sourcename: "n390" targetname: "n643" label: "1" class:16 priority:10} +color:yellow} +edge: {sourcename: "n392" targetname: "n392n659" label: "0" class:16 priority:10} +edge: {sourcename: "n392" targetname: "n646" label: "1" class:16 priority:10} } -graph: { title: "n347" label: "Block 347" status:clustered color:yellow -edge: {sourcename: "n347" targetname: "n341" label: "0" class:13 priority:60 color:red} -node: {title: "n350" label: "Jmp 350" info1: "Jmp 350 +graph: { title: "n348" label: "Block 348" status:clustered color:yellow + info1: "Block 348 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m5 + arity: 1 + pred nodes: + 0: Proj 342 + Private Attributes: + backedges: + in loop 656 with depth 0 + block visited: 2 + dom depth 2 + tree pre num 1 + max subtree pre num 5 + Execution freqency statistics: +" +edge: {sourcename: "n348" targetname: "n342" label: "0" class:13 priority:60 color:red} +node: {title: "n351" label: "Jmp 351" info1: "Jmp 351 mode: X - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 0 pred nodes: - -1: Block 347 + -1: Block 348 Private Attributes: + in loop 639 with depth 0 " } } -graph: { title: "n359" label: "Block 359" status:clustered color:yellow -edge: {sourcename: "n359" targetname: "n358" label: "0" class:13 priority:60 color:red} -node: {title: "n375" label: "ProjM 0 375" info1: "Proj 375 +graph: { title: "n361" label: "Block 361" status:clustered color:yellow + info1: "Block 361 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m5 + arity: 1 + pred nodes: + 0: Proj 360 + Private Attributes: + backedges: + in loop 657 with depth 1 + block visited: 2 + dom depth 4 + tree pre num 5 + max subtree pre num 5 + Execution freqency statistics: +" +edge: {sourcename: "n361" targetname: "n360" label: "0" class:13 priority:60 color:red} +node: {title: "n377" label: "ProjM M 377" info1: "Proj 377 mode: M - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 1 pred nodes: - -1: Block 359 - 0: Store 373 + -1: Block 361 + 0: Store 375 Private Attributes: + proj nr: 0 + in loop 642 with depth 1 " -color: yellow} -edge: {sourcename: "n375" targetname: "n373" label: "0" class:17 priority:10 color:blue} -node: {title: "n373" label: "Store 373" info1: "Store 373 +color:yellow} +edge: {sourcename: "n377" targetname: "n375" label: "0" class:17 priority:10 color:blue} +node: {title: "n375" label: "Store 375" info1: "Store 375 mode: T - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 3 pred nodes: - -1: Block 359 - 0: Phi 389 - 1: Add 652 - 2: 0x13 371 + -1: Block 361 + 0: Phi 391 + 1: Add 655 + 2: 0x13 373 Private Attributes: pinned state: op_pin_state_pinned + in loop 642 with depth 1 volatility: volatility_non_volatile " } -node: {title: "n373n371" label: "0x13Is 371" info1: "0x13 371 +node: {title: "n375n373" label: "0x13Is 373" info1: "0x13 373 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 0 pred nodes: - -1: Block 337 + -1: Block 338 Private Attributes: + in loop 639 with depth 0 Const of type type_unknown " -color: yellow} -edge: {sourcename: "n373" targetname: "n389" label: "0" class:17 priority:10 color:blue} -edge: {sourcename: "n373" targetname: "n652" label: "1" class:1 priority:50} -edge: {sourcename: "n373" targetname: "n373n371" label: "2" class:16 priority:10} -node: {title: "n652" label: "AddP 652" info1: "Add 652 +color:yellow} +edge: {sourcename: "n375" targetname: "n391" label: "0" class:17 priority:10 color:blue} +edge: {sourcename: "n375" targetname: "n655" label: "1" class:1 priority:50} +edge: {sourcename: "n375" targetname: "n375n373" label: "2" class:16 priority:10} +node: {title: "n655" label: "AddP 655" info1: "Add 655 mode: P - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 2 pred nodes: - -1: Block 359 - 0: Add 649 - 1: 0x9 651 + -1: Block 361 + 0: Add 652 + 1: 0x9 654 Private Attributes: " } -node: {title: "n652n651" label: "0x9Is 651" info1: "0x9 651 +node: {title: "n655n654" label: "0x9Is 654" info1: "0x9 654 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 0 pred nodes: - -1: Block 337 + -1: Block 338 Private Attributes: Const of type type_unknown " -color: yellow} -edge: {sourcename: "n652" targetname: "n649" label: "0" class:1 priority:50} -edge: {sourcename: "n652" targetname: "n652n651" label: "1" class:16 priority:10} -node: {title: "n649" label: "AddP 649" info1: "Add 649 +color:yellow} +edge: {sourcename: "n655" targetname: "n652" label: "0" class:1 priority:50} +edge: {sourcename: "n655" targetname: "n655n654" label: "1" class:16 priority:10} +node: {title: "n652" label: "AddP 652" info1: "Add 652 mode: P - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 2 pred nodes: - -1: Block 359 - 0: Phi 390 - 1: Add 648 + -1: Block 361 + 0: Phi 392 + 1: Add 651 Private Attributes: " } -edge: {sourcename: "n649" targetname: "n390" label: "0" class:16 priority:10} -edge: {sourcename: "n649" targetname: "n648" label: "1" class:1 priority:50} -node: {title: "n648" label: "AddP 648" info1: "Add 648 +edge: {sourcename: "n652" targetname: "n392" label: "0" class:16 priority:10} +edge: {sourcename: "n652" targetname: "n651" label: "1" class:1 priority:50} +node: {title: "n651" label: "AddP 651" info1: "Add 651 mode: P - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 2 pred nodes: - -1: Block 359 - 0: SymC &a 349 - 1: 0xFFFFFFFC 646 + -1: Block 361 + 0: SymC &a 350 + 1: 0xFFFFFFFC 649 Private Attributes: " } -node: {title: "n648n349" label: "SymC &a 349" info1: "SymC &a 349 +node: {title: "n651n350" label: "SymC &a 350" info1: "SymC &a 350 mode: P - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 0 pred nodes: - -1: Block 337 + -1: Block 338 Private Attributes: + in loop 639 with depth 0 kind: addr_ent - entity: entity GlobalType.a (333) + entity: entity GlobalType.a (334) type of value: type_unknown " } -node: {title: "n648n646" label: "0xFFFFFFFCIs 646" info1: "0xFFFFFFFC 646 +node: {title: "n651n649" label: "0xFFFFFFFCIs 649" info1: "0xFFFFFFFC 649 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 0 pred nodes: - -1: Block 337 + -1: Block 338 Private Attributes: Const of type type_unknown " -color: yellow} -edge: {sourcename: "n648" targetname: "n648n349" label: "0" class:16 priority:10} -edge: {sourcename: "n648" targetname: "n648n646" label: "1" class:16 priority:10} -node: {title: "n376" label: "Jmp 376" info1: "Jmp 376 +color:yellow} +edge: {sourcename: "n651" targetname: "n651n350" label: "0" class:16 priority:10} +edge: {sourcename: "n651" targetname: "n651n649" label: "1" class:16 priority:10} +node: {title: "n378" label: "Jmp 378" info1: "Jmp 378 mode: X - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 0 pred nodes: - -1: Block 359 + -1: Block 361 Private Attributes: + in loop 641 with depth 2 " } -node: {title: "n643" label: "AddIs 643" info1: "Add 643 +node: {title: "n646" label: "AddIs 646" info1: "Add 646 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 2 pred nodes: - -1: Block 359 - 0: Phi 390 - 1: 0xFFFFFFFC 646 + -1: Block 361 + 0: Phi 392 + 1: 0xFFFFFFFC 649 Private Attributes: " } -node: {title: "n643n646" label: "0xFFFFFFFCIs 646" info1: "0xFFFFFFFC 646 +node: {title: "n646n649" label: "0xFFFFFFFCIs 649" info1: "0xFFFFFFFC 649 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 0 pred nodes: - -1: Block 337 + -1: Block 338 Private Attributes: Const of type type_unknown " -color: yellow} -edge: {sourcename: "n643" targetname: "n390" label: "0" class:16 priority:10} -edge: {sourcename: "n643" targetname: "n643n646" label: "1" class:16 priority:10} +color:yellow} +edge: {sourcename: "n646" targetname: "n392" label: "0" class:16 priority:10} +edge: {sourcename: "n646" targetname: "n646n649" label: "1" class:16 priority:10} } -graph: { title: "n337" label: "Block 337" status:clustered color:yellow -edge: {sourcename: "n337" targetname: "n341" label: "0" class:13 priority:60 color:red} -node: {title: "n344" label: "ProjM 1 344" info1: "Proj 344 +graph: { title: "n338" label: "Block 338" status:clustered color:yellow + info1: "Block 338 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m5 + arity: 1 + pred nodes: + 0: Proj 342 + Private Attributes: + backedges: + in loop 656 with depth 0 + block visited: 2 + dom depth 1 + tree pre num 0 + max subtree pre num 5 + Execution freqency statistics: +" +edge: {sourcename: "n338" targetname: "n342" label: "0" class:13 priority:60 color:red} +node: {title: "n345" label: "ProjM 1 345" info1: "Proj 345 mode: M - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 1 pred nodes: - -1: Block 337 - 0: Start 338 + -1: Block 338 + 0: Start 339 Private Attributes: + proj nr: 1 + in loop 639 with depth 0 " -color: yellow} -edge: {sourcename: "n344" targetname: "n338" label: "0" class:17 priority:10 color:blue} -node: {title: "n341" label: "ProjX 0 341" info1: "Proj 341 +color:yellow} +edge: {sourcename: "n345" targetname: "n339" label: "0" class:17 priority:10 color:blue} +node: {title: "n342" label: "ProjX X_initial_exec 342" info1: "Proj 342 mode: X - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 1 pred nodes: - -1: Block 337 - 0: Start 338 + -1: Block 338 + 0: Start 339 Private Attributes: + proj nr: 0 + in loop 639 with depth 0 " -color: yellow} -edge: {sourcename: "n341" targetname: "n338" label: "0" class:13 priority:60 color:red} -node: {title: "n338" label: "Start 338" info1: "Start 338 +color:yellow} +edge: {sourcename: "n342" targetname: "n339" label: "0" class:13 priority:60 color:red} +node: {title: "n339" label: "Start 339" info1: "Start 339 mode: T - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m5 arity: 0 pred nodes: - -1: Block 337 + -1: Block 338 Private Attributes: + in loop 639 with depth 0 start of method of type STRENGTH_RED_EXAMPLE_meth_tp param 0 type: int " -color: blue} +color:blue} } }