X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=testprograms%2Fref-results%2FIRREGULAR_CF_main-cfg.vcg;h=eb15354ff6875270b2fe0f1f528415bb3e55fb90;hb=1ec30d95387eb392ba5a1adc7958ebd91383d59c;hp=a2e4f32b074bb4f43bd8284da2debc9fc796807e;hpb=5b0ba7f9064e9ffeb2b2fcf66462a93d05d4ee96;p=libfirm diff --git a/testprograms/ref-results/IRREGULAR_CF_main-cfg.vcg b/testprograms/ref-results/IRREGULAR_CF_main-cfg.vcg index a2e4f32b0..eb15354ff 100644 --- a/testprograms/ref-results/IRREGULAR_CF_main-cfg.vcg +++ b/testprograms/ref-results/IRREGULAR_CF_main-cfg.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,33 +54,115 @@ colorentry 123: 255 220 220 colorentry 124: 255 240 240 colorentry 125: 255 250 250 -node: {title: "n19" label: "End Block n19" info1:"arity: 1 +node: {title: "n19" label: "End Block n19" info1:"Block 19 + mode: BB + visited: 8 + irg: IRREGULAR_CF_main + arity: 1 + pred nodes: + 0: Return 54 + Private Attributes: + backedges: + block visited: 2 + Execution freqency statistics: " color:blue } edge: { sourcename: "n19" targetname: "n52"} -node: {title: "n52" label: "Block n52" info1:"arity: 2 +node: {title: "n52" label: "Block n52" info1:"Block 52 + mode: BB + visited: 8 + irg: IRREGULAR_CF_main + arity: 2 + pred nodes: + 0: Jmp 51 + 1: Jmp 49 + Private Attributes: + backedges: + block visited: 2 + Execution freqency statistics: "} edge: { sourcename: "n52" targetname: "n50"} edge: { sourcename: "n52" targetname: "n48"} -node: {title: "n48" label: "Block n48" info1:"arity: 2 +node: {title: "n48" label: "Block n48" info1:"Block 48 + mode: BB + visited: 8 + irg: IRREGULAR_CF_main + arity: 2 + pred nodes: + 0: Proj 47 + 1: Jmp 41 + Private Attributes: + backedges: + block visited: 2 + Execution freqency statistics: "} edge: { sourcename: "n48" targetname: "n42"} edge: { sourcename: "n48" targetname: "n40"} -node: {title: "n40" label: "Block n40" info1:"arity: 1 +node: {title: "n40" label: "Block n40" info1:"Block 40 + mode: BB + visited: 8 + irg: IRREGULAR_CF_main + arity: 1 + pred nodes: + 0: Proj 39 + Private Attributes: + backedges: + block visited: 2 + Execution freqency statistics: "} edge: { sourcename: "n40" targetname: "n31"} -node: {title: "n31" label: "Block n31" info1:"arity: 1 +node: {title: "n31" label: "Block n31" info1:"Block 31 + mode: BB + visited: 8 + irg: IRREGULAR_CF_main + arity: 1 + pred nodes: + 0: Proj 25 + Private Attributes: + backedges: + block visited: 2 + Execution freqency statistics: "} edge: { sourcename: "n31" targetname: "n21"} -node: {title: "n21" label: "Start Block n21" info1:"arity: 1 +node: {title: "n21" label: "Start Block n21" info1:"Block 21 + mode: BB + visited: 8 + irg: IRREGULAR_CF_main + arity: 1 + pred nodes: + 0: Proj 25 + Private Attributes: + backedges: + block visited: 2 + Execution freqency statistics: " color:blue } edge: { sourcename: "n21" targetname: "n21"} -node: {title: "n42" label: "Block n42" info1:"arity: 1 +node: {title: "n42" label: "Block n42" info1:"Block 42 + mode: BB + visited: 8 + irg: IRREGULAR_CF_main + arity: 1 + pred nodes: + 0: Proj 38 + Private Attributes: + backedges: + block visited: 2 + Execution freqency statistics: "} edge: { sourcename: "n42" targetname: "n31"} -node: {title: "n50" label: "Block n50" info1:"arity: 1 +node: {title: "n50" label: "Block n50" info1:"Block 50 + mode: BB + visited: 8 + irg: IRREGULAR_CF_main + arity: 1 + pred nodes: + 0: Proj 46 + Private Attributes: + backedges: + block visited: 2 + Execution freqency statistics: "} edge: { sourcename: "n50" targetname: "n42"} -node: {title: "n67" label: "Bad 67" info1: "Bad 67 +node: {title: "n67" label: "Bad 67" info1: "Bad 67 mode: T visited: 0 irg: IRREGULAR_CF_main