X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=testprograms%2Fref-results%2FSTRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg;h=55d203de0d6ed8fbd45e66d7c7e539b6d7568531;hb=1ec30d95387eb392ba5a1adc7958ebd91383d59c;hp=2222ab6fdb1d2a70d6d6fda743149c5325fc4797;hpb=972fff24a9e6cc67ac0f1964cf8f3a40992fc322;p=libfirm diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg index 2222ab6fd..55d203de0 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg @@ -5,13 +5,7 @@ manhattan_edges: yes port_sharing: no orientation: bottom_to_top classname 1: "intrablock Data" -classname 16: "interblock Data" classname 2: "Block" -classname 13: "Control Flow" -classname 18: "Exception Control Flow for Interval Analysis" -classname 14: "intrablock Memory" -classname 17: "interblock Memory" -classname 15: "Dominators" classname 3: "Entity type" classname 4: "Entity owner" classname 5: "Method Param" @@ -22,8 +16,16 @@ classname 9: "Points-to" classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" +classname 13: "Control Flow" +classname 14: "intrablock Memory" +classname 15: "Dominators" +classname 16: "interblock Data" +classname 17: "interblock Memory" +classname 18: "Exception Control Flow for Interval Analysis" +classname 19: "Postdominators" 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,431 +54,551 @@ colorentry 123: 255 220 220 colorentry 124: 255 240 240 colorentry 125: 255 250 250 -graph: { title: "g412" label: "STRENGTH_RED_EXAMPLE_m6" status:clustered color:white -graph: { title: "n401" label: "Block 401" status:clustered color:yellow -edge: {sourcename: "n401" targetname: "n451" label: "0" class:13 priority:60 color:red} -node: {title: "n402" label: "End 402" info1: "End 402 +graph: { title: "g413" label: "STRENGTH_RED_EXAMPLE_m6" status:clustered color:white +info1: "entity STRENGTH_RED_EXAMPLE_m6 (394) + 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_m6 + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 413 + +" +graph: { title: "n402" label: "Block 402" status:clustered color:yellow + info1: "Block 402 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m6 + arity: 1 + pred nodes: + 0: Return 454 + Private Attributes: + backedges: + in loop 681 with depth 0 + block visited: 2 + dom depth 5 + tree pre num 4 + max subtree pre num 4 + Execution freqency statistics: +" +edge: {sourcename: "n402" targetname: "n454" label: "0" class:13 priority:60 color:red} +node: {title: "n403" label: "End 403" info1: "End 403 mode: X - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 1 pred nodes: - -1: Block 401 - 0: Phi 455 + -1: Block 402 + 0: Phi 458 Private Attributes: - in loop 661 with depth 0 + in loop 664 with depth 0 " -color: blue} +color:blue} } -graph: { title: "n448" label: "Block 448" status:clustered color:yellow -edge: {sourcename: "n448" targetname: "n423" label: "0" class:13 priority:60 color:red} -node: {title: "n451" label: "Return 451" info1: "Return 451 +graph: { title: "n451" label: "Block 451" status:clustered color:yellow + info1: "Block 451 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m6 + arity: 1 + pred nodes: + 0: Proj 426 + Private Attributes: + backedges: + in loop 681 with depth 0 + block visited: 2 + dom depth 4 + tree pre num 3 + max subtree pre num 4 + Execution freqency statistics: +" +edge: {sourcename: "n451" targetname: "n426" label: "0" class:13 priority:60 color:red} +node: {title: "n454" label: "Return 454" info1: "Return 454 mode: X - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 2 pred nodes: - -1: Block 448 - 0: Phi 455 - 1: 0x4 428 + -1: Block 451 + 0: Phi 458 + 1: 0x4 431 Private Attributes: - in loop 661 with depth 0 + in loop 664 with depth 0 return in method of type STRENGTH_RED_EXAMPLE_meth_tp res 0 type: int " } -node: {title: "n451n428" label: "0x4Is 428" info1: "0x4 428 +node: {title: "n454n431" label: "0x4Is 431" info1: "0x4 431 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 0 pred nodes: - -1: Block 403 + -1: Block 404 Private Attributes: - in loop 661 with depth 0 + in loop 664 with depth 0 Const of type type_unknown " -color: yellow} -edge: {sourcename: "n451" targetname: "n455" label: "0" class:17 priority:10 color:blue} -edge: {sourcename: "n451" targetname: "n451n428" label: "1" class:16 priority:10} +color:yellow} +edge: {sourcename: "n454" targetname: "n458" label: "0" class:17 priority:10 color:blue} +edge: {sourcename: "n454" targetname: "n454n431" label: "1" class:16 priority:10} } -graph: { title: "n417" label: "Block 417" status:clustered color:yellow -edge: {sourcename: "n417" targetname: "n416" label: "0" class:13 priority:60 color:red} -backedge: {sourcename: "n417" targetname: "n442" label: "1" linestyle:dashed class:13 priority:60 color:red} -node: {title: "n455" label: "PhiM 455" info1: "Phi 455 +graph: { title: "n418" label: "Block 418" status:clustered color:yellow + info1: "Block 418 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m6 + arity: 2 + pred nodes: + 0: Jmp 417 + 1: be Jmp 445 + Private Attributes: + backedges: 1 + in loop 682 with depth 1 + block visited: 2 + dom depth 3 + tree pre num 2 + max subtree pre num 5 + Execution freqency statistics: +" +edge: {sourcename: "n418" targetname: "n417" label: "0" class:13 priority:60 color:red} +backedge: {sourcename: "n418" targetname: "n445" label: "1" linestyle:dashed class:13 priority:60 color:red} +node: {title: "n458" label: "PhiM 458" info1: "Phi 458 mode: M - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 2 pred nodes: - -1: Block 417 - 0: Proj 410 - 1: Proj 441 + -1: Block 418 + 0: Proj 411 + 1: Proj 444 Private Attributes: backedges: - in loop 664 with depth 1 + in loop 667 with depth 1 " -color: green} -edge: {sourcename: "n455" targetname: "n410" label: "0" class:17 priority:10 color:blue} -edge: {sourcename: "n455" targetname: "n441" label: "1" class:17 priority:10 color:blue} -node: {title: "n423" label: "ProjX 0 423" info1: "Proj 423 +color:green} +edge: {sourcename: "n458" targetname: "n411" label: "0" class:17 priority:10 color:blue} +edge: {sourcename: "n458" targetname: "n444" label: "1" class:17 priority:10 color:blue} +node: {title: "n426" label: "ProjX false 426" info1: "Proj 426 mode: X - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 1 pred nodes: - -1: Block 417 - 0: Cond 422 + -1: Block 418 + 0: Cond 425 Private Attributes: - in loop 661 with depth 0 + proj nr: 0 + in loop 664 with depth 0 " -color: yellow} -edge: {sourcename: "n423" targetname: "n422" label: "0" class:13 priority:60 color:red} -node: {title: "n424" label: "ProjX 1 424" info1: "Proj 424 +color:yellow} +edge: {sourcename: "n426" targetname: "n425" label: "0" class:13 priority:60 color:red} +node: {title: "n427" label: "ProjX true 427" info1: "Proj 427 mode: X - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 1 pred nodes: - -1: Block 417 - 0: Cond 422 + -1: Block 418 + 0: Cond 425 Private Attributes: - in loop 663 with depth 2 + proj nr: 1 + in loop 666 with depth 2 " -color: yellow} -edge: {sourcename: "n424" targetname: "n422" label: "0" class:13 priority:60 color:red} -node: {title: "n422" label: "Cond 422" info1: "Cond 422 +color:yellow} +edge: {sourcename: "n427" targetname: "n425" label: "0" class:13 priority:60 color:red} +node: {title: "n425" label: "Cond 425" info1: "Cond 425 mode: T - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 1 pred nodes: - -1: Block 417 - 0: Proj 421 + -1: Block 418 + 0: Proj 422 Private Attributes: - in loop 663 with depth 2 + in loop 666 with depth 2 condition kind: dense default ProjNr: 0 " } -edge: {sourcename: "n422" targetname: "n421" label: "0" class:1 priority:50} -node: {title: "n421" label: "Projb Gt 421" info1: "Proj 421 +edge: {sourcename: "n425" targetname: "n422" label: "0" class:1 priority:50} +node: {title: "n422" label: "Projb Le 422" info1: "Proj 422 mode: b - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 1 pred nodes: - -1: Block 417 - 0: Cmp 420 + -1: Block 418 + 0: Cmp 424 Private Attributes: - in loop 663 with depth 2 + proj nr: 3 + in loop 666 with depth 2 " -color: yellow} -edge: {sourcename: "n421" targetname: "n420" label: "0" class:1 priority:50} -node: {title: "n420" label: "Cmp 420" info1: "Cmp 420 +color:yellow} +edge: {sourcename: "n422" targetname: "n424" label: "0" class:1 priority:50} +node: {title: "n424" label: "Cmp 424" info1: "Cmp 424 mode: T - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 2 pred nodes: - -1: Block 417 - 0: 0x28 683 - 1: Phi 456 + -1: Block 418 + 0: Phi 459 + 1: 0x24 686 Private Attributes: - in loop 663 with depth 2 + in loop 666 with depth 2 " } -node: {title: "n420n683" label: "0x28Is 683" info1: "0x28 683 +node: {title: "n424n686" label: "0x24Is 686" info1: "0x24 686 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 0 pred nodes: - -1: Block 403 + -1: Block 404 Private Attributes: Const of type type_unknown " -color: yellow} -edge: {sourcename: "n420" targetname: "n420n683" label: "0" class:16 priority:10} -edge: {sourcename: "n420" targetname: "n456" label: "1" class:1 priority:50} -node: {title: "n456" label: "PhiIs 456" info1: "Phi 456 +color:yellow} +edge: {sourcename: "n424" targetname: "n459" label: "0" class:1 priority:50} +edge: {sourcename: "n424" targetname: "n424n686" label: "1" class:16 priority:10} +node: {title: "n459" label: "PhiIs 459" info1: "Phi 459 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 2 pred nodes: - -1: Block 417 - 0: 0x0 414 - 1: Add 668 + -1: Block 418 + 0: 0x0 415 + 1: Add 671 Private Attributes: backedges: - in loop 662 with depth 1 + in loop 665 with depth 1 " -color: green} -node: {title: "n456n414" label: "0x0Is 414" info1: "0x0 414 +color:green} +node: {title: "n459n415" label: "0x0Is 415" info1: "0x0 415 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 0 pred nodes: - -1: Block 403 + -1: Block 404 Private Attributes: - in loop 661 with depth 0 + in loop 664 with depth 0 Const of type type_unknown " -color: yellow} -edge: {sourcename: "n456" targetname: "n456n414" label: "0" class:16 priority:10} -edge: {sourcename: "n456" targetname: "n668" label: "1" class:16 priority:10} +color:yellow} +edge: {sourcename: "n459" targetname: "n459n415" label: "0" class:16 priority:10} +edge: {sourcename: "n459" targetname: "n671" label: "1" class:16 priority:10} } -graph: { title: "n413" label: "Block 413" status:clustered color:yellow -edge: {sourcename: "n413" targetname: "n407" label: "0" class:13 priority:60 color:red} -node: {title: "n416" label: "Jmp 416" info1: "Jmp 416 +graph: { title: "n414" label: "Block 414" status:clustered color:yellow + info1: "Block 414 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m6 + arity: 1 + pred nodes: + 0: Proj 408 + Private Attributes: + backedges: + in loop 681 with depth 0 + block visited: 2 + dom depth 2 + tree pre num 1 + max subtree pre num 5 + Execution freqency statistics: +" +edge: {sourcename: "n414" targetname: "n408" label: "0" class:13 priority:60 color:red} +node: {title: "n417" label: "Jmp 417" info1: "Jmp 417 mode: X - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 0 pred nodes: - -1: Block 413 + -1: Block 414 Private Attributes: - in loop 661 with depth 0 + in loop 664 with depth 0 " } } -graph: { title: "n425" label: "Block 425" status:clustered color:yellow -edge: {sourcename: "n425" targetname: "n424" label: "0" class:13 priority:60 color:red} -node: {title: "n441" label: "ProjM 0 441" info1: "Proj 441 +graph: { title: "n428" label: "Block 428" status:clustered color:yellow + info1: "Block 428 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m6 + arity: 1 + pred nodes: + 0: Proj 427 + Private Attributes: + backedges: + in loop 682 with depth 1 + block visited: 2 + dom depth 4 + tree pre num 5 + max subtree pre num 5 + Execution freqency statistics: +" +edge: {sourcename: "n428" targetname: "n427" label: "0" class:13 priority:60 color:red} +node: {title: "n444" label: "ProjM M 444" info1: "Proj 444 mode: M - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 1 pred nodes: - -1: Block 425 - 0: Store 439 + -1: Block 428 + 0: Store 442 Private Attributes: - in loop 664 with depth 1 + proj nr: 0 + in loop 667 with depth 1 " -color: yellow} -edge: {sourcename: "n441" targetname: "n439" label: "0" class:17 priority:10 color:blue} -node: {title: "n439" label: "Store 439" info1: "Store 439 +color:yellow} +edge: {sourcename: "n444" targetname: "n442" label: "0" class:17 priority:10 color:blue} +node: {title: "n442" label: "Store 442" info1: "Store 442 mode: T - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 3 pred nodes: - -1: Block 425 - 0: Phi 455 - 1: Add 677 - 2: 0x13 437 + -1: Block 428 + 0: Phi 458 + 1: Add 680 + 2: 0x13 440 Private Attributes: pinned state: op_pin_state_pinned - in loop 664 with depth 1 + in loop 667 with depth 1 volatility: volatility_non_volatile " } -node: {title: "n439n437" label: "0x13Is 437" info1: "0x13 437 +node: {title: "n442n440" label: "0x13Is 440" info1: "0x13 440 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 0 pred nodes: - -1: Block 403 + -1: Block 404 Private Attributes: - in loop 661 with depth 0 + in loop 664 with depth 0 Const of type type_unknown " -color: yellow} -edge: {sourcename: "n439" targetname: "n455" label: "0" class:17 priority:10 color:blue} -edge: {sourcename: "n439" targetname: "n677" label: "1" class:1 priority:50} -edge: {sourcename: "n439" targetname: "n439n437" label: "2" class:16 priority:10} -node: {title: "n677" label: "AddP 677" info1: "Add 677 +color:yellow} +edge: {sourcename: "n442" targetname: "n458" label: "0" class:17 priority:10 color:blue} +edge: {sourcename: "n442" targetname: "n680" label: "1" class:1 priority:50} +edge: {sourcename: "n442" targetname: "n442n440" label: "2" class:16 priority:10} +node: {title: "n680" label: "AddP 680" info1: "Add 680 mode: P - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 2 pred nodes: - -1: Block 425 - 0: Sub 434 - 1: 0x8 676 + -1: Block 428 + 0: Sub 437 + 1: 0x8 679 Private Attributes: " } -node: {title: "n677n676" label: "0x8Is 676" info1: "0x8 676 +node: {title: "n680n679" label: "0x8Is 679" info1: "0x8 679 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 0 pred nodes: - -1: Block 403 + -1: Block 404 Private Attributes: Const of type type_unknown " -color: yellow} -edge: {sourcename: "n677" targetname: "n434" label: "0" class:1 priority:50} -edge: {sourcename: "n677" targetname: "n677n676" label: "1" class:16 priority:10} -node: {title: "n434" label: "SubP 434" info1: "Sub 434 +color:yellow} +edge: {sourcename: "n680" targetname: "n437" label: "0" class:1 priority:50} +edge: {sourcename: "n680" targetname: "n680n679" label: "1" class:16 priority:10} +node: {title: "n437" label: "SubP 437" info1: "Sub 437 mode: P - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 2 pred nodes: - -1: Block 425 - 0: 0x5 427 - 1: Add 674 + -1: Block 428 + 0: 0x5 430 + 1: Add 677 Private Attributes: - in loop 661 with depth 0 + in loop 664 with depth 0 " } -node: {title: "n434n427" label: "0x5Is 427" info1: "0x5 427 +node: {title: "n437n430" label: "0x5Is 430" info1: "0x5 430 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 0 pred nodes: - -1: Block 403 + -1: Block 404 Private Attributes: - in loop 661 with depth 0 + in loop 664 with depth 0 Const of type type_unknown " -color: yellow} -edge: {sourcename: "n434" targetname: "n434n427" label: "0" class:16 priority:10} -edge: {sourcename: "n434" targetname: "n674" label: "1" class:1 priority:50} -node: {title: "n674" label: "AddP 674" info1: "Add 674 +color:yellow} +edge: {sourcename: "n437" targetname: "n437n430" label: "0" class:16 priority:10} +edge: {sourcename: "n437" targetname: "n677" label: "1" class:1 priority:50} +node: {title: "n677" label: "AddP 677" info1: "Add 677 mode: P - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 2 pred nodes: - -1: Block 425 - 0: Phi 456 - 1: Add 673 + -1: Block 428 + 0: Phi 459 + 1: Add 676 Private Attributes: " } -edge: {sourcename: "n674" targetname: "n456" label: "0" class:16 priority:10} -edge: {sourcename: "n674" targetname: "n673" label: "1" class:1 priority:50} -node: {title: "n673" label: "AddP 673" info1: "Add 673 +edge: {sourcename: "n677" targetname: "n459" label: "0" class:16 priority:10} +edge: {sourcename: "n677" targetname: "n676" label: "1" class:1 priority:50} +node: {title: "n676" label: "AddP 676" info1: "Add 676 mode: P - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 2 pred nodes: - -1: Block 425 - 0: SymC &a 415 - 1: 0xFFFFFFFC 671 + -1: Block 428 + 0: SymC &a 416 + 1: 0xFFFFFFFC 674 Private Attributes: " } -node: {title: "n673n415" label: "SymC &a 415" info1: "SymC &a 415 +node: {title: "n676n416" label: "SymC &a 416" info1: "SymC &a 416 mode: P - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 0 pred nodes: - -1: Block 403 + -1: Block 404 Private Attributes: - in loop 661 with depth 0 + in loop 664 with depth 0 kind: addr_ent - entity: entity GlobalType.a (399) + entity: entity GlobalType.a (400) type of value: type_unknown " } -node: {title: "n673n671" label: "0xFFFFFFFCIs 671" info1: "0xFFFFFFFC 671 +node: {title: "n676n674" label: "0xFFFFFFFCIs 674" info1: "0xFFFFFFFC 674 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 0 pred nodes: - -1: Block 403 + -1: Block 404 Private Attributes: Const of type type_unknown " -color: yellow} -edge: {sourcename: "n673" targetname: "n673n415" label: "0" class:16 priority:10} -edge: {sourcename: "n673" targetname: "n673n671" label: "1" class:16 priority:10} -node: {title: "n442" label: "Jmp 442" info1: "Jmp 442 +color:yellow} +edge: {sourcename: "n676" targetname: "n676n416" label: "0" class:16 priority:10} +edge: {sourcename: "n676" targetname: "n676n674" label: "1" class:16 priority:10} +node: {title: "n445" label: "Jmp 445" info1: "Jmp 445 mode: X - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 0 pred nodes: - -1: Block 425 + -1: Block 428 Private Attributes: - in loop 663 with depth 2 + in loop 666 with depth 2 " } -node: {title: "n668" label: "AddIs 668" info1: "Add 668 +node: {title: "n671" label: "AddIs 671" info1: "Add 671 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 2 pred nodes: - -1: Block 425 - 0: Phi 456 - 1: 0xFFFFFFFC 671 + -1: Block 428 + 0: Phi 459 + 1: 0xFFFFFFFC 674 Private Attributes: " } -node: {title: "n668n671" label: "0xFFFFFFFCIs 671" info1: "0xFFFFFFFC 671 +node: {title: "n671n674" label: "0xFFFFFFFCIs 674" info1: "0xFFFFFFFC 674 mode: Is - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 0 pred nodes: - -1: Block 403 + -1: Block 404 Private Attributes: Const of type type_unknown " -color: yellow} -edge: {sourcename: "n668" targetname: "n456" label: "0" class:16 priority:10} -edge: {sourcename: "n668" targetname: "n668n671" label: "1" class:16 priority:10} +color:yellow} +edge: {sourcename: "n671" targetname: "n459" label: "0" class:16 priority:10} +edge: {sourcename: "n671" targetname: "n671n674" label: "1" class:16 priority:10} } -graph: { title: "n403" label: "Block 403" status:clustered color:yellow -edge: {sourcename: "n403" targetname: "n407" label: "0" class:13 priority:60 color:red} -node: {title: "n410" label: "ProjM 1 410" info1: "Proj 410 +graph: { title: "n404" label: "Block 404" status:clustered color:yellow + info1: "Block 404 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m6 + arity: 1 + pred nodes: + 0: Proj 408 + Private Attributes: + backedges: + in loop 681 with depth 0 + block visited: 2 + dom depth 1 + tree pre num 0 + max subtree pre num 5 + Execution freqency statistics: +" +edge: {sourcename: "n404" targetname: "n408" label: "0" class:13 priority:60 color:red} +node: {title: "n411" label: "ProjM 1 411" info1: "Proj 411 mode: M - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 1 pred nodes: - -1: Block 403 - 0: Start 404 + -1: Block 404 + 0: Start 405 Private Attributes: - in loop 661 with depth 0 + proj nr: 1 + in loop 664 with depth 0 " -color: yellow} -edge: {sourcename: "n410" targetname: "n404" label: "0" class:17 priority:10 color:blue} -node: {title: "n407" label: "ProjX 0 407" info1: "Proj 407 +color:yellow} +edge: {sourcename: "n411" targetname: "n405" label: "0" class:17 priority:10 color:blue} +node: {title: "n408" label: "ProjX X_initial_exec 408" info1: "Proj 408 mode: X - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 1 pred nodes: - -1: Block 403 - 0: Start 404 + -1: Block 404 + 0: Start 405 Private Attributes: - in loop 661 with depth 0 + proj nr: 0 + in loop 664 with depth 0 " -color: yellow} -edge: {sourcename: "n407" targetname: "n404" label: "0" class:13 priority:60 color:red} -node: {title: "n404" label: "Start 404" info1: "Start 404 +color:yellow} +edge: {sourcename: "n408" targetname: "n405" label: "0" class:13 priority:60 color:red} +node: {title: "n405" label: "Start 405" info1: "Start 405 mode: T - visited: 27 + visited: 26 irg: STRENGTH_RED_EXAMPLE_m6 arity: 0 pred nodes: - -1: Block 403 + -1: Block 404 Private Attributes: - in loop 661 with depth 0 + in loop 664 with depth 0 start of method of type STRENGTH_RED_EXAMPLE_meth_tp param 0 type: int " -color: blue} +color:blue} } }