X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=testprograms%2Fref-results%2FARRAY-STACK_EXAMPLE_main-all.vcg;h=ef3b116cba5a9635826454859b2e776de28ed123;hb=8836b3ce20ba2b431a47b1b4de5db3a35f357ac6;hp=d656b308a89d7a189b37d713aaa7288c5efbeb9f;hpb=d814052001a267c1025d314a552e747a3657a867;p=libfirm diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg index d656b308a..ef3b116cb 100644 --- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg +++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg @@ -6,92 +6,145 @@ port_sharing: no orientation: bottom_to_top classname 1: "Data" classname 2: "Block" -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" -graph: { title: "0x80a0a90" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0a90" targetname: "0x80a0b08" label: "0" color: red} -node: {title: "0x80a0a70" label: "End " color: blue} +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" + +graph: { title: "n45" label: "45" status:clustered color:yellow +edge: {sourcename: "n45" targetname: "n46" label: "0" color: red} +node: {title: "n44" label: "End 44" color: blue info1: "visited: 13 +"} } -graph: { title: "0x80a0b44" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0b44" targetname: "0x80a0bbc" label: "0" color: red} -node: {title: "0x80a0b08" label: "Return " } -edge: {sourcename: "0x80a0b08" targetname: "0x80a0e54" label: "0" color: blue} -edge: {sourcename: "0x80a0b08" targetname: "0x80a0ca4" label: "1" } -node: {title: "0x80a0ca4" label: "ProjI 2" color: yellow} -edge: {sourcename: "0x80a0ca4" targetname: "0x80a0ce0" label: "0" } -node: {title: "0x80a0ce0" label: "Load " } -edge: {sourcename: "0x80a0ce0" targetname: "0x80a0e18" label: "0" color: blue} -edge: {sourcename: "0x80a0ce0" targetname: "0x80a0d20" label: "1" } -node: {title: "0x80a0d20" label: "Sel a_tp_elem_ent" } -edge: {sourcename: "0x80a0d20" targetname: "0x80a0e18" label: "0" color: blue} -edge: {sourcename: "0x80a0d20" targetname: "0x80a0d9c" label: "1" } -edge: {sourcename: "0x80a0d20" targetname: "0x80a0d64" label: "2" } -node: {title: "0x80a0d9c" label: "Sel a" } -edge: {sourcename: "0x80a0d9c" targetname: "0x80a0e18" label: "0" color: blue} -edge: {sourcename: "0x80a0d9c" targetname: "0x80a0ddc" label: "1" } -node: {title: "0x80a0e54" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a0e54" targetname: "0x80a0ce0" label: "0" color: blue} +graph: { title: "n47" label: "47" status:clustered color:yellow +edge: {sourcename: "n47" targetname: "n48" label: "0" color: red} +node: {title: "n46" label: "Return 46" info1: "visited: 14 +"} +edge: {sourcename: "n46" targetname: "n58" label: "0" color: blue} +edge: {sourcename: "n46" targetname: "n51" label: "1" } +node: {title: "n51" label: "ProjIs 2 51" color: yellow info1: "visited: 14 +"} +edge: {sourcename: "n51" targetname: "n52" label: "0" } +node: {title: "n52" label: "Load 52" info1: "visited: 14 +"} +edge: {sourcename: "n52" targetname: "n57" label: "0" color: blue} +edge: {sourcename: "n52" targetname: "n53" label: "1" } +node: {title: "n53" label: "Sel a_tp_elem_ent 53" info1: "visited: 14 +Selecting entity of type int + from entity of type a_tp +"} +edge: {sourcename: "n53" targetname: "n57" label: "0" color: blue} +edge: {sourcename: "n53" targetname: "n55" label: "1" } +edge: {sourcename: "n53" targetname: "n54" label: "2" } +node: {title: "n55" label: "Sel a 55" info1: "visited: 14 +Selecting entity of type a_tp + from entity of type mainframe_tp +"} +edge: {sourcename: "n55" targetname: "n57" label: "0" color: blue} +edge: {sourcename: "n55" targetname: "n56" label: "1" } +node: {title: "n58" label: "ProjM 0 58" color: yellow info1: "visited: 14 +"} +edge: {sourcename: "n58" targetname: "n52" label: "0" color: blue} } -graph: { title: "0x80a0bf8" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0bf8" targetname: "0x80a0bbc" label: "0" color: red} -node: {title: "0x80a0bbc" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0bbc" targetname: "0x80a0c70" label: "0" color: red} -node: {title: "0x80a0c70" label: "Start " color: blue} -node: {title: "0x80a0d64" label: "3I " color: yellow} -node: {title: "0x80a0ddc" label: "ProjP 2" color: yellow} -edge: {sourcename: "0x80a0ddc" targetname: "0x80a0c70" label: "0" } -node: {title: "0x80a0e18" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a0e18" targetname: "0x80a0c70" label: "0" color: blue} +graph: { title: "n49" label: "49" status:clustered color:yellow +edge: {sourcename: "n49" targetname: "n48" label: "0" color: red} +node: {title: "n48" label: "ProjX 0 48" color: yellow info1: "visited: 15 +"} +edge: {sourcename: "n48" targetname: "n50" label: "0" color: red} +node: {title: "n50" label: "Start 50" color: blue info1: "visited: 15 +start of method of type main +"} +node: {title: "n54" label: "0x3Iu 54" color: yellow info1: "visited: 15 +"} +node: {title: "n56" label: "ProjP 2 56" color: yellow info1: "visited: 15 +"} +edge: {sourcename: "n56" targetname: "n50" label: "0" } +node: {title: "n57" label: "ProjM 1 57" color: yellow info1: "visited: 15 +"} +edge: {sourcename: "n57" targetname: "n50" label: "0" color: blue} } -node: {title: "0x80a0f08" label: "Bad " } -node: {title: "0x80a08e8" label: "ent a_tp_elem_ent" color: yellow info1:"automatic allocated -local -uninitialized -non_volatile -existent -"} -edge: { sourcename: "0x80a08e8" targetname: "0x809e0c0" class: 3 label: "type" color: red} -node: {title: "0x80a0850" label: "array a_tp"info1: "state: layout_undefined +node: {title: "n61" label: "Bad 61" info1: "visited: 0 +"} +node: {title: "e16" label: "ent a_tp_elem_ent" color: yellow + info1: " +id: e16 +allocation: automatic allocated +visibility: local +variability: uninitialized +volatility: non_volatile +peculiarity: existent +name: a_tp_elem_ent +ld_name: a_tp_a_tp_elem_ent +offset: -1" +} +edge: { sourcename: "e16" targetname: "t10"class: 3 label: "type" color: red} +node: {title: "t15" label: "array a_tp" info1: "state: layout_undefined size: -1B, "} -edge: { sourcename: "0x80a0850" targetname: "0x809e0c0" class: 10 label: "arr elt tp" color:green} -edge: { sourcename: "0x80a0850" targetname: "0x80a08e8" class: 10 label: "arr ent" color: green} -node: {title: "0x809e0c0" label: "primitive int"info1: "state: layout_fixed, -mode: I, -size: 4B, +edge: { sourcename: "t15" targetname: "t10"class: 10 label: "arr elt tp" color:green} +edge: { sourcename: "t15" targetname: "e16"class: 10 label: "arr ent" color: green} +edge: { sourcename: "n17" targetname: "t15"label: "upper 0"} +edge: { sourcename: "n18" targetname: "t15"label: "lower 0"} +node: {title: "n17" label: "0x9Iu 17" color: yellow info1: "visited: 2 "} -node: {title: "0x80a0970" label: "ent a" color: yellow info1:"automatic allocated -local -uninitialized -non_volatile -existent +node: {title: "n18" label: "0x0Iu 18" color: yellow info1: "visited: 2 "} -edge: { sourcename: "0x80a0970" targetname: "0x80a0850" class: 3 label: "type" color: red} -node: {title: "0x80a0750" label: "class mainframe_tp"info1: "state: layout_undefined +node: {title: "t10" label: "primitive int" info1: "state: layout_fixed, +mode: Is, +size: 4B, +"} +node: {title: "e33" label: "ent a" color: yellow + info1: " +id: e33 +allocation: automatic allocated +visibility: local +variability: uninitialized +volatility: non_volatile +peculiarity: existent +name: a +ld_name: mainframe_tp_a +offset: -1" +} +edge: { sourcename: "e33" targetname: "t15"class: 3 label: "type" color: red} +node: {title: "t19" label: "class mainframe_tp" info1: "state: layout_undefined size: -1B, " color: green} -edge: { sourcename: "0x80a0750" targetname: "0x80a0970" class: 12 label: "member" color:blue} -node: {title: "0x809e1e0" label: "ent main" color: yellow info1:"static allocated -local -constant -non_volatile -existent - - irg = 0x809e268 "} -edge: { sourcename: "0x809e1e0" targetname: "0x809e180" class: 3 label: "type" color: red} -edge: { sourcename: "0x809e1e0" targetname: "0x809be78" label: "value "} -node: {title: "0x809be78" label: "&(ARRAY-STACK_EXAMPLE_main)P " color: yellow} -node: {title: "0x809e0e8" label: "class ARRAY-STACK_EXAMPLE"info1: "state: layout_undefined +edge: { sourcename: "t19" targetname: "e33"class: 12 label: "member" color:blue} +node: {title: "e14" label: "ent main" color: yellow + info1: " +id: e14 +allocation: static allocated +visibility: local +variability: constant +volatility: non_volatile +peculiarity: existent +name: main +ld_name: ARRAY-STACK_EXAMPLE_main +offset: -1 +irg = g31" +} +edge: { sourcename: "e14" targetname: "t12"class: 3 label: "type" color: red} +edge: { sourcename: "e14" targetname: "n13"label: "value 0"} +node: {title: "n13" label: "&(ARRAY-STACK_EXAMPLE_main)P 13" color: yellow info1: "visited: 2 +"} +node: {title: "t11" label: "class ARRAY-STACK_EXAMPLE" info1: "state: layout_undefined size: -1B, " color: green} -edge: { sourcename: "0x809e0e8" targetname: "0x809e1e0" class: 12 label: "member" color:blue} -node: {title: "0x809e180" label: "method main"info1: "state: layout_fixed, +edge: { sourcename: "t11" targetname: "e14"class: 12 label: "member" color:blue} +node: {title: "t12" label: "method main" info1: "state: layout_fixed, mode: P, size: 4B, "} -edge: { sourcename: "0x809e180" targetname: "0x809e0c0" class: 6 label: "res 0" color: green} -edge: { sourcename: "0x80a0d20" targetname: "0x80a08e8" class: 2 priority: 2 linestyle: dotted} -edge: { sourcename: "0x80a0d9c" targetname: "0x80a0970" class: 2 priority: 2 linestyle: dotted} +edge: { sourcename: "t12" targetname: "t10"class: 6 label: "res 0" color: green} +edge: { sourcename: "n53" targetname: "e16"class: 2 priority: 2 linestyle: dotted} +edge: { sourcename: "n55" targetname: "e33"class: 2 priority: 2 linestyle: dotted} }