X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=testprograms%2Fref-results%2FARRAY-STACK_EXAMPLE_main-wtypes.vcg;h=e8067889dcc62ec62c69f43ebdcc740091f37cfd;hb=b16ff8d47faf911637716469e83cf5a6b9a3cf68;hp=d83c17478d17f3363164bebb2286e7617432d27f;hpb=d4ed501ff0b32a8d82b9ae9459c80303082963d9;p=libfirm diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg index d83c17478..e8067889d 100644 --- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg +++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg @@ -4,18 +4,20 @@ layoutalgorithm: mindepth manhattan_edges: yes port_sharing: no orientation: bottom_to_top -classname 1: "Data" -classname 2: "Block" -classname 13:"Control Flow" -classname 14:"Memory" -classname 15:"Dominators" -classname 3: "Entity type" -classname 4: "Entity owner" -classname 5: "Method Param" -classname 6: "Method Res" -classname 7: "Super" -classname 8: "Union" -classname 9: "Points-to" +classname 1: "intrablock Data" +classname 16: "interblock Data" +classname 2: "Block" +classname 13: "Control Flow" +classname 14: "intrablock Memory" +classname 17: "interblock Memory" +classname 15: "Dominators" +classname 3: "Entity type" +classname 4: "Entity owner" +classname 5: "Method Param" +classname 6: "Method Res" +classname 7: "Super" +classname 8: "Union" +classname 9: "Points-to" classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" @@ -23,82 +25,82 @@ infoname 1: "Attribute" infoname 2: "Verification errors" graph: { title: "g33" label: "ARRAY-STACK_EXAMPLE_main" status:clustered color:white -graph: { title: "n47" label: "Block 47" status:clustered color:yellow -edge: {sourcename: "n47" targetname: "n48" label: "0" class:13 color:red} -node: {title: "n46" label: "End 46" info1: "visited: 10 +graph: { title: "n48" label: "Block 48" status:clustered color:yellow +edge: {sourcename: "n48" targetname: "n49" label: "0" class:13 priority:60 color:red} +node: {title: "n46" label: "End 46" info1: "visited: 13 irg: ARRAY-STACK_EXAMPLE_main arity: 0 "color: blue} } -graph: { title: "n49" label: "Block 49" status:clustered color:yellow -edge: {sourcename: "n49" targetname: "n50" label: "0" class:13 color:red} -node: {title: "n48" label: "Return 48" info1: "visited: 10 +graph: { title: "n50" label: "Block 50" status:clustered color:yellow +edge: {sourcename: "n50" targetname: "n51" label: "0" class:13 priority:60 color:red} +node: {title: "n49" label: "Return 49" info1: "visited: 13 irg: ARRAY-STACK_EXAMPLE_main arity: 2 return in method of type main res 0 type: int " info2: "mymode == mode_X && Result X"} -edge: {sourcename: "n48" targetname: "n60" label: "0" class:14 color:blue} -edge: {sourcename: "n48" targetname: "n53" label: "1" } -node: {title: "n60" label: "ProjM 0 60" info1: "visited: 10 +edge: {sourcename: "n49" targetname: "n61" label: "0" class:14 priority:50 color:blue} +edge: {sourcename: "n49" targetname: "n54" label: "1" class:1 priority:50} +node: {title: "n61" label: "ProjM 0 61" info1: "visited: 13 irg: ARRAY-STACK_EXAMPLE_main arity: 1 "color: yellow} -edge: {sourcename: "n60" targetname: "n54" label: "0" class:14 color:blue} -node: {title: "n53" label: "ProjIs 2 53" info1: "visited: 10 +edge: {sourcename: "n61" targetname: "n55" label: "0" class:17 priority:10 color:blue} +node: {title: "n54" label: "ProjIs 2 54" info1: "visited: 13 irg: ARRAY-STACK_EXAMPLE_main arity: 1 "color: yellow} -edge: {sourcename: "n53" targetname: "n54" label: "0" } -node: {title: "n54" label: "Load 54" info1: "visited: 10 +edge: {sourcename: "n54" targetname: "n55" label: "0" class:1 priority:50} +node: {title: "n55" label: "Load 55" info1: "visited: 13 irg: ARRAY-STACK_EXAMPLE_main arity: 2 " info2: "mymode == mode_T && Load node"} -edge: {sourcename: "n54" targetname: "n59" label: "0" class:14 color:blue} -edge: {sourcename: "n54" targetname: "n55" label: "1" } -node: {title: "n55" label: "Sel a_tp_elem_ent 55" info1: "visited: 10 +edge: {sourcename: "n55" targetname: "n60" label: "0" class:17 priority:10 color:blue} +edge: {sourcename: "n55" targetname: "n56" label: "1" class:1 priority:50} +node: {title: "n56" label: "Sel a_tp_elem_ent 56" info1: "visited: 13 irg: ARRAY-STACK_EXAMPLE_main arity: 3 Selecting entity of type int from entity of type a_tp "} -edge: {sourcename: "n55" targetname: "n59" label: "0" class:14 color:blue} -edge: {sourcename: "n55" targetname: "n57" label: "1" } -edge: {sourcename: "n55" targetname: "n56" label: "2" } -node: {title: "n57" label: "Sel a 57" info1: "visited: 10 +edge: {sourcename: "n56" targetname: "n60" label: "0" class:17 priority:10 color:blue} +edge: {sourcename: "n56" targetname: "n58" label: "1" class:1 priority:50} +edge: {sourcename: "n56" targetname: "n57" label: "2" class:16 priority:10} +node: {title: "n58" label: "Sel a 58" info1: "visited: 13 irg: ARRAY-STACK_EXAMPLE_main arity: 2 Selecting entity of type a_tp from entity of type mainframe_tp "} -edge: {sourcename: "n57" targetname: "n59" label: "0" class:14 color:blue} -edge: {sourcename: "n57" targetname: "n58" label: "1" } +edge: {sourcename: "n58" targetname: "n60" label: "0" class:17 priority:10 color:blue} +edge: {sourcename: "n58" targetname: "n59" label: "1" class:16 priority:10} } -graph: { title: "n51" label: "Block 51" status:clustered color:yellow -edge: {sourcename: "n51" targetname: "n50" label: "0" class:13 color:red} -node: {title: "n59" label: "ProjM 1 59" info1: "visited: 10 +graph: { title: "n52" label: "Block 52" status:clustered color:yellow +edge: {sourcename: "n52" targetname: "n51" label: "0" class:13 priority:60 color:red} +node: {title: "n60" label: "ProjM 1 60" info1: "visited: 13 irg: ARRAY-STACK_EXAMPLE_main arity: 1 "color: yellow} -edge: {sourcename: "n59" targetname: "n52" label: "0" class:14 color:blue} -node: {title: "n58" label: "ProjP 2 58" info1: "visited: 10 +edge: {sourcename: "n60" targetname: "n53" label: "0" class:17 priority:10 color:blue} +node: {title: "n59" label: "ProjP 2 59" info1: "visited: 13 irg: ARRAY-STACK_EXAMPLE_main arity: 1 "color: yellow} -edge: {sourcename: "n58" targetname: "n52" label: "0" } -node: {title: "n56" label: "0x3Iu 56" info1: "visited: 10 +edge: {sourcename: "n59" targetname: "n53" label: "0" class:1 priority:50} +node: {title: "n57" label: "0x3Iu 57" info1: "visited: 13 irg: ARRAY-STACK_EXAMPLE_main arity: 0 Const of type type_unknown " info2: "(mode_is_data (mymode) || mymode == mode_b) && Const node"color: yellow} -node: {title: "n50" label: "ProjX 0 50" info1: "visited: 10 +node: {title: "n51" label: "ProjX 0 51" info1: "visited: 13 irg: ARRAY-STACK_EXAMPLE_main arity: 1 "color: yellow} -edge: {sourcename: "n50" targetname: "n52" label: "0" class:13 color:red} -node: {title: "n52" label: "Start 52" info1: "visited: 10 +edge: {sourcename: "n51" targetname: "n53" label: "0" class:13 priority:60 color:red} +node: {title: "n53" label: "Start 53" info1: "visited: 13 irg: ARRAY-STACK_EXAMPLE_main arity: 0 start of method of type main @@ -189,6 +191,6 @@ params: 0 results: 1 "} edge: { sourcename: "t13" targetname: "t11"class: 6 label: "res 0" color: green} -edge: { sourcename: "n55" targetname: "e19"class:2 priority:2 linestyle:dotted} -edge: { sourcename: "n57" targetname: "e35"class:2 priority:2 linestyle:dotted} +edge: { sourcename: "n56" targetname: "e19"class:2 priority:2 linestyle:dotted} +edge: { sourcename: "n58" targetname: "e35"class:2 priority:2 linestyle:dotted} }