X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=testprograms%2Fref-results%2FMEMORY_EXAMPLE_main.vcg;h=c7393ba466501166739b4b8b809a0d42f65e3e16;hb=5b0ba7f9064e9ffeb2b2fcf66462a93d05d4ee96;hp=c6a65ba9c47bf51e89854dd7f919b1475cf5835d;hpb=b70f2c235f657c192de76d44aad5ae34224de7ad;p=libfirm diff --git a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg index c6a65ba9c..c7393ba46 100644 --- a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg +++ b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg @@ -55,42 +55,76 @@ colorentry 125: 255 250 250 graph: { title: "g31" label: "MEMORY_EXAMPLE_main" status:clustered color:white graph: { title: "n20" label: "Block 20" status:clustered color:yellow edge: {sourcename: "n20" targetname: "n77" label: "0" class:13 priority:60 color:red} -node: {title: "n79" label: "End 79" info1: "mode: X -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 1 -"color: blue} +node: {title: "n79" label: "End 79" info1: "End 79 + mode: X + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + -1: Block 20 + 0: Phi 70 + Private Attributes: +" +color: blue} } graph: { title: "n71" label: "Block 71" status:clustered color:yellow edge: {sourcename: "n71" targetname: "n69" label: "0" class:13 priority:60 color:red} -node: {title: "n77" label: "Return 77" info1: "mode: X -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 2 -return in method of type main - res 0 type: int -"} +node: {title: "n77" label: "Return 77" info1: "Return 77 + mode: X + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 2 + pred nodes: + -1: Block 71 + 0: Proj 76 + 1: Proj 75 + Private Attributes: + return in method of type main + res 0 type: int +" +} edge: {sourcename: "n77" targetname: "n76" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n77" targetname: "n75" label: "1" class:1 priority:50} -node: {title: "n76" label: "ProjM 0 76" info1: "mode: M -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 1 -"color: yellow} +node: {title: "n76" label: "ProjM 0 76" info1: "Proj 76 + mode: M + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + -1: Block 71 + 0: Load[Iu] 73 + Private Attributes: +" +color: yellow} edge: {sourcename: "n76" targetname: "n73" label: "0" class:17 priority:10 color:blue} -node: {title: "n75" label: "ProjIu 2 75" info1: "mode: Iu -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 1 -"color: yellow} +node: {title: "n75" label: "ProjIu 2 75" info1: "Proj 75 + mode: Iu + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + -1: Block 71 + 0: Load[Iu] 73 + Private Attributes: +" +color: yellow} edge: {sourcename: "n75" targetname: "n73" label: "0" class:1 priority:50} -node: {title: "n73" label: "Load[Iu] 73" info1: "mode: T -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 2 -volatility: volatility_non_volatile -"} +node: {title: "n73" label: "Load[Iu] 73" info1: "Load[Iu] 73 + mode: T + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 2 + pred nodes: + -1: Block 71 + 0: Proj 63 + 1: Sel 35 + Private Attributes: + pinned state: op_pin_state_pinned + mode of loaded value: Iu + volatility: volatility_non_volatile +" +} edge: {sourcename: "n73" targetname: "n63" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n73" targetname: "n35" label: "1" class:16 priority:10} } @@ -98,211 +132,406 @@ edge: {sourcename: "n73" targetname: "n35" label: "1" class:16 priority:10} graph: { title: "n48" label: "Block 48" status:clustered color:yellow edge: {sourcename: "n48" targetname: "n46" label: "0" class:13 priority:60 color:red} edge: {sourcename: "n48" targetname: "n68" label: "1" class:13 priority:60 color:red} -node: {title: "n69" label: "ProjX 1 69" info1: "mode: X -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 1 -"color: yellow} +node: {title: "n69" label: "ProjX 1 69" info1: "Proj 69 + mode: X + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + -1: Block 48 + 0: Cond 67 + Private Attributes: +" +color: yellow} edge: {sourcename: "n69" targetname: "n67" label: "0" class:13 priority:60 color:red} -node: {title: "n68" label: "ProjX 0 68" info1: "mode: X -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 1 -"color: yellow} +node: {title: "n68" label: "ProjX 0 68" info1: "Proj 68 + mode: X + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + -1: Block 48 + 0: Cond 67 + Private Attributes: +" +color: yellow} edge: {sourcename: "n68" targetname: "n67" label: "0" class:13 priority:60 color:red} -node: {title: "n67" label: "Cond 67" info1: "mode: T -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 1 -"} +node: {title: "n67" label: "Cond 67" info1: "Cond 67 + mode: T + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + -1: Block 48 + 0: Proj 66 + Private Attributes: + condition kind: dense + default ProjNr: 0 +" +} edge: {sourcename: "n67" targetname: "n66" label: "0" class:1 priority:50} -node: {title: "n66" label: "Projb Gt 66" info1: "mode: b -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 1 -"color: yellow} +node: {title: "n66" label: "Projb Gt 66" info1: "Proj 66 + mode: b + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + -1: Block 48 + 0: Cmp 65 + Private Attributes: +" +color: yellow} edge: {sourcename: "n66" targetname: "n65" label: "0" class:1 priority:50} -node: {title: "n65" label: "Cmp 65" info1: "mode: T -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 2 -"} +node: {title: "n65" label: "Cmp 65" info1: "Cmp 65 + mode: T + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 2 + pred nodes: + -1: Block 48 + 0: 0x0 38 + 1: Proj 53 + Private Attributes: +" +} edge: {sourcename: "n65" targetname: "n38" label: "0" class:16 priority:10} edge: {sourcename: "n65" targetname: "n53" label: "1" class:1 priority:50} -node: {title: "n53" label: "ProjIu 2 53" info1: "mode: Iu -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 1 -"color: yellow} +node: {title: "n53" label: "ProjIu 2 53" info1: "Proj 53 + mode: Iu + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + -1: Block 48 + 0: Load[Iu] 50 + Private Attributes: +" +color: yellow} edge: {sourcename: "n53" targetname: "n50" label: "0" class:1 priority:50} -node: {title: "n50" label: "Load[Iu] 50" info1: "mode: T -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 2 -volatility: volatility_non_volatile -"} +node: {title: "n50" label: "Load[Iu] 50" info1: "Load[Iu] 50 + mode: T + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 2 + pred nodes: + -1: Block 48 + 0: Phi 70 + 1: Sel 35 + Private Attributes: + pinned state: op_pin_state_pinned + mode of loaded value: Iu + volatility: volatility_non_volatile +" +} edge: {sourcename: "n50" targetname: "n70" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n50" targetname: "n35" label: "1" class:16 priority:10} -node: {title: "n70" label: "PhiM 70" info1: "mode: M -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 2 backedges: -"color: green} +node: {title: "n70" label: "PhiM 70" info1: "Phi 70 + mode: M + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 2 + pred nodes: + -1: Block 48 + 0: Proj 45 + 1: Proj 63 + Private Attributes: + backedges: +" +color: green} edge: {sourcename: "n70" targetname: "n45" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n70" targetname: "n63" label: "1" class:17 priority:10 color:blue} -node: {title: "n63" label: "ProjM 0 63" info1: "mode: M -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 1 -"color: yellow} +node: {title: "n63" label: "ProjM 0 63" info1: "Proj 63 + mode: M + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + -1: Block 48 + 0: Store 61 + Private Attributes: +" +color: yellow} edge: {sourcename: "n63" targetname: "n61" label: "0" class:17 priority:10 color:blue} -node: {title: "n61" label: "Store 61" info1: "mode: T -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 3 -volatility: volatility_non_volatile -"} +node: {title: "n61" label: "Store 61" info1: "Store 61 + mode: T + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 3 + pred nodes: + -1: Block 48 + 0: Proj 60 + 1: Sel 37 + 2: Proj 53 + Private Attributes: + pinned state: op_pin_state_pinned + volatility: volatility_non_volatile +" +} edge: {sourcename: "n61" targetname: "n60" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n61" targetname: "n37" label: "1" class:16 priority:10} edge: {sourcename: "n61" targetname: "n53" label: "2" class:1 priority:50} -node: {title: "n60" label: "ProjM 0 60" info1: "mode: M -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 1 -"color: yellow} +node: {title: "n60" label: "ProjM 0 60" info1: "Proj 60 + mode: M + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + -1: Block 48 + 0: Store 58 + Private Attributes: +" +color: yellow} edge: {sourcename: "n60" targetname: "n58" label: "0" class:17 priority:10 color:blue} -node: {title: "n58" label: "Store 58" info1: "mode: T -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 3 -volatility: volatility_non_volatile -"} +node: {title: "n58" label: "Store 58" info1: "Store 58 + mode: T + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 3 + pred nodes: + -1: Block 48 + 0: Proj 56 + 1: Sel 35 + 2: Proj 57 + Private Attributes: + pinned state: op_pin_state_pinned + volatility: volatility_non_volatile +" +} edge: {sourcename: "n58" targetname: "n56" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n58" targetname: "n35" label: "1" class:16 priority:10} edge: {sourcename: "n58" targetname: "n57" label: "2" class:1 priority:50} -node: {title: "n56" label: "ProjM 0 56" info1: "mode: M -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 1 -"color: yellow} +node: {title: "n56" label: "ProjM 0 56" info1: "Proj 56 + mode: M + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + -1: Block 48 + 0: Load[Iu] 54 + Private Attributes: +" +color: yellow} edge: {sourcename: "n56" targetname: "n54" label: "0" class:17 priority:10 color:blue} -node: {title: "n57" label: "ProjIu 2 57" info1: "mode: Iu -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 1 -"color: yellow} +node: {title: "n57" label: "ProjIu 2 57" info1: "Proj 57 + mode: Iu + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + -1: Block 48 + 0: Load[Iu] 54 + Private Attributes: +" +color: yellow} edge: {sourcename: "n57" targetname: "n54" label: "0" class:1 priority:50} -node: {title: "n54" label: "Load[Iu] 54" info1: "mode: T -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 2 -volatility: volatility_non_volatile -"} +node: {title: "n54" label: "Load[Iu] 54" info1: "Load[Iu] 54 + mode: T + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 2 + pred nodes: + -1: Block 48 + 0: Proj 52 + 1: Sel 37 + Private Attributes: + pinned state: op_pin_state_pinned + mode of loaded value: Iu + volatility: volatility_non_volatile +" +} edge: {sourcename: "n54" targetname: "n52" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n54" targetname: "n37" label: "1" class:16 priority:10} -node: {title: "n52" label: "ProjM 0 52" info1: "mode: M -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 1 -"color: yellow} +node: {title: "n52" label: "ProjM 0 52" info1: "Proj 52 + mode: M + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + -1: Block 48 + 0: Load[Iu] 50 + Private Attributes: +" +color: yellow} edge: {sourcename: "n52" targetname: "n50" label: "0" class:17 priority:10 color:blue} } graph: { title: "n32" label: "Block 32" status:clustered color:yellow edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red} -node: {title: "n46" label: "Jmp 46" info1: "mode: X -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 0 -"} -node: {title: "n45" label: "ProjM 0 45" info1: "mode: M -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 1 -"color: yellow} +node: {title: "n46" label: "Jmp 46" info1: "Jmp 46 + mode: X + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 0 + pred nodes: + -1: Block 32 + Private Attributes: +" +} +node: {title: "n45" label: "ProjM 0 45" info1: "Proj 45 + mode: M + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + -1: Block 32 + 0: Store 43 + Private Attributes: +" +color: yellow} edge: {sourcename: "n45" targetname: "n43" label: "0" class:17 priority:10 color:blue} -node: {title: "n43" label: "Store 43" info1: "mode: T -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 3 -volatility: volatility_non_volatile -"} +node: {title: "n43" label: "Store 43" info1: "Store 43 + mode: T + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 3 + pred nodes: + -1: Block 32 + 0: Proj 41 + 1: Sel 37 + 2: 0x1 42 + Private Attributes: + pinned state: op_pin_state_pinned + volatility: volatility_non_volatile +" +} edge: {sourcename: "n43" targetname: "n41" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n43" targetname: "n37" label: "1" class:1 priority:50} edge: {sourcename: "n43" targetname: "n42" label: "2" class:16 priority:10} -node: {title: "n41" label: "ProjM 0 41" info1: "mode: M -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 1 -"color: yellow} +node: {title: "n41" label: "ProjM 0 41" info1: "Proj 41 + mode: M + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + -1: Block 32 + 0: Store 39 + Private Attributes: +" +color: yellow} edge: {sourcename: "n41" targetname: "n39" label: "0" class:17 priority:10 color:blue} -node: {title: "n39" label: "Store 39" info1: "mode: T -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 3 -volatility: volatility_non_volatile -"} +node: {title: "n39" label: "Store 39" info1: "Store 39 + mode: T + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 3 + pred nodes: + -1: Block 32 + 0: Proj 29 + 1: Sel 35 + 2: 0x0 38 + Private Attributes: + pinned state: op_pin_state_pinned + volatility: volatility_non_volatile +" +} edge: {sourcename: "n39" targetname: "n29" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n39" targetname: "n35" label: "1" class:1 priority:50} edge: {sourcename: "n39" targetname: "n38" label: "2" class:16 priority:10} -node: {title: "n37" label: "Sel VAR_B 37" info1: "mode: P -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 2 -Selecting entity of type int - from entity of type GlobalType -"} +node: {title: "n37" label: "Sel VAR_B 37" info1: "Sel 37 + mode: P + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 2 + pred nodes: + -1: Block 32 + 0: Proj 29 + 1: Proj 28 + Private Attributes: + Selecting entity of type int + from entity of type GlobalType +" +} edge: {sourcename: "n37" targetname: "n29" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n37" targetname: "n28" label: "1" class:16 priority:10} -node: {title: "n35" label: "Sel VAR_A 35" info1: "mode: P -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 2 -Selecting entity of type int - from entity of type GlobalType -"} +node: {title: "n35" label: "Sel VAR_A 35" info1: "Sel 35 + mode: P + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 2 + pred nodes: + -1: Block 32 + 0: Proj 29 + 1: Proj 28 + Private Attributes: + Selecting entity of type int + from entity of type GlobalType +" +} edge: {sourcename: "n35" targetname: "n29" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n35" targetname: "n28" label: "1" class:16 priority:10} } graph: { title: "n22" label: "Block 22" status:clustered color:yellow edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red} -node: {title: "n38" label: "0x0Iu 38" info1: "mode: Iu -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 0 -Const of type type_unknown -"color: yellow} -node: {title: "n42" label: "0x1Iu 42" info1: "mode: Iu -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 0 -Const of type type_unknown -"color: yellow} -node: {title: "n29" label: "ProjM 1 29" info1: "mode: M -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 1 -"color: yellow} +node: {title: "n38" label: "0x0Iu 38" info1: "0x0 38 + mode: Iu + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 0 + pred nodes: + -1: Block 22 + Private Attributes: + Const of type type_unknown +" +color: yellow} +node: {title: "n42" label: "0x1Iu 42" info1: "0x1 42 + mode: Iu + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 0 + pred nodes: + -1: Block 22 + Private Attributes: + Const of type type_unknown +" +color: yellow} +node: {title: "n29" label: "ProjM 1 29" info1: "Proj 29 + mode: M + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + -1: Block 22 + 0: Start 23 + Private Attributes: +" +color: yellow} edge: {sourcename: "n29" targetname: "n23" label: "0" class:17 priority:10 color:blue} -node: {title: "n28" label: "ProjP 3 28" info1: "mode: P -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 1 -"color: yellow} +node: {title: "n28" label: "ProjP 3 28" info1: "Proj 28 + mode: P + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + -1: Block 22 + 0: Start 23 + Private Attributes: +" +color: yellow} edge: {sourcename: "n28" targetname: "n23" label: "0" class:1 priority:50} -node: {title: "n26" label: "ProjX 0 26" info1: "mode: X -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 1 -"color: yellow} +node: {title: "n26" label: "ProjX 0 26" info1: "Proj 26 + mode: X + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + -1: Block 22 + 0: Start 23 + Private Attributes: +" +color: yellow} edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red} -node: {title: "n23" label: "Start 23" info1: "mode: T -visited: 18 -irg: MEMORY_EXAMPLE_main -arity: 0 -start of method of type main -"color: blue} +node: {title: "n23" label: "Start 23" info1: "Start 23 + mode: T + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 0 + pred nodes: + -1: Block 22 + Private Attributes: + start of method of type main +" +color: blue} } }