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: "End 79
+edge: {sourcename: "n20" targetname: "n78" label: "0" class:13 priority:60 color:red}
+node: {title: "n80" label: "End 80" info1: "End 80
mode: X
visited: 18
irg: MEMORY_EXAMPLE_main
arity: 1
pred nodes:
-1: Block 20
- 0: Phi 70
+ 0: Phi 71
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: "Return 77
+graph: { title: "n72" label: "Block 72" status:clustered color:yellow
+edge: {sourcename: "n72" targetname: "n70" label: "0" class:13 priority:60 color:red}
+node: {title: "n78" label: "Return 78" info1: "Return 78
mode: X
visited: 18
irg: MEMORY_EXAMPLE_main
arity: 2
pred nodes:
- -1: Block 71
- 0: Proj 76
- 1: Proj 75
+ -1: Block 72
+ 0: Proj 77
+ 1: Proj 76
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: "Proj 76
+edge: {sourcename: "n78" targetname: "n77" label: "0" class:14 priority:50 color:blue}
+edge: {sourcename: "n78" targetname: "n76" label: "1" class:1 priority:50}
+node: {title: "n77" label: "ProjM 0 77" info1: "Proj 77
mode: M
visited: 18
irg: MEMORY_EXAMPLE_main
arity: 1
pred nodes:
- -1: Block 71
- 0: Load[Iu] 73
+ -1: Block 72
+ 0: Load[Iu] 74
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: "Proj 75
+edge: {sourcename: "n77" targetname: "n74" label: "0" class:17 priority:10 color:blue}
+node: {title: "n76" label: "ProjIu 2 76" info1: "Proj 76
mode: Iu
visited: 18
irg: MEMORY_EXAMPLE_main
arity: 1
pred nodes:
- -1: Block 71
- 0: Load[Iu] 73
+ -1: Block 72
+ 0: Load[Iu] 74
Private Attributes:
"
color: yellow}
-edge: {sourcename: "n75" targetname: "n73" label: "0" class:1 priority:50}
-node: {title: "n73" label: "Load[Iu] 73" info1: "Load[Iu] 73
+edge: {sourcename: "n76" targetname: "n74" label: "0" class:1 priority:50}
+node: {title: "n74" label: "Load[Iu] 74" info1: "Load[Iu] 74
mode: T
visited: 18
irg: MEMORY_EXAMPLE_main
arity: 2
pred nodes:
- -1: Block 71
+ -1: Block 72
0: Proj 63
1: Sel 35
Private Attributes:
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}
+edge: {sourcename: "n74" targetname: "n63" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n74" 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: "Proj 69
+edge: {sourcename: "n48" targetname: "n69" label: "1" class:13 priority:60 color:red}
+node: {title: "n70" label: "ProjX 1 70" info1: "Proj 70
mode: X
visited: 18
irg: MEMORY_EXAMPLE_main
arity: 1
pred nodes:
-1: Block 48
- 0: Cond 67
+ 0: Cond 68
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: "Proj 68
+edge: {sourcename: "n70" targetname: "n68" label: "0" class:13 priority:60 color:red}
+node: {title: "n69" label: "ProjX 0 69" info1: "Proj 69
mode: X
visited: 18
irg: MEMORY_EXAMPLE_main
arity: 1
pred nodes:
-1: Block 48
- 0: Cond 67
+ 0: Cond 68
Private Attributes:
"
color: yellow}
-edge: {sourcename: "n68" targetname: "n67" label: "0" class:13 priority:60 color:red}
-node: {title: "n67" label: "Cond 67" info1: "Cond 67
+edge: {sourcename: "n69" targetname: "n68" label: "0" class:13 priority:60 color:red}
+node: {title: "n68" label: "Cond 68" info1: "Cond 68
mode: T
visited: 18
irg: MEMORY_EXAMPLE_main
default ProjNr: 0
"
}
-edge: {sourcename: "n67" targetname: "n66" label: "0" class:1 priority:50}
-node: {title: "n66" label: "Projb Gt 66" info1: "Proj 66
+edge: {sourcename: "n68" targetname: "n66" label: "0" class:1 priority:50}
+node: {title: "n66" label: "Projb Lt 66" info1: "Proj 66
mode: b
visited: 18
irg: MEMORY_EXAMPLE_main
arity: 1
pred nodes:
-1: Block 48
- 0: Cmp 65
+ 0: Cmp 67
Private Attributes:
"
color: yellow}
-edge: {sourcename: "n66" targetname: "n65" label: "0" class:1 priority:50}
-node: {title: "n65" label: "Cmp 65" info1: "Cmp 65
+edge: {sourcename: "n66" targetname: "n67" label: "0" class:1 priority:50}
+node: {title: "n67" label: "Cmp 67" info1: "Cmp 67
mode: T
visited: 18
irg: MEMORY_EXAMPLE_main
arity: 2
pred nodes:
-1: Block 48
- 0: 0x0 38
- 1: Proj 53
+ 0: Proj 53
+ 1: 0x0 38
Private Attributes:
"
}
-edge: {sourcename: "n65" targetname: "n38" label: "0" class:16 priority:10}
-edge: {sourcename: "n65" targetname: "n53" label: "1" class:1 priority:50}
+edge: {sourcename: "n67" targetname: "n53" label: "0" class:1 priority:50}
+edge: {sourcename: "n67" targetname: "n38" label: "1" class:16 priority:10}
node: {title: "n53" label: "ProjIu 2 53" info1: "Proj 53
mode: Iu
visited: 18
"
color: yellow}
edge: {sourcename: "n53" targetname: "n50" label: "0" class:1 priority:50}
-node: {title: "n50" label: "Load[Iu] 50" info1: "Load[Iu] 50
+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
+ 0: Phi 71
1: Sel 35
Private Attributes:
pinned state: op_pin_state_pinned
volatility: volatility_non_volatile
"
}
-edge: {sourcename: "n50" targetname: "n70" label: "0" class:14 priority:50 color:blue}
+edge: {sourcename: "n50" targetname: "n71" 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: "Phi 70
+node: {title: "n71" label: "PhiM 71" info1: "Phi 71
mode: M
visited: 18
irg: MEMORY_EXAMPLE_main
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}
+edge: {sourcename: "n71" targetname: "n45" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n71" targetname: "n63" label: "1" class:17 priority:10 color:blue}
node: {title: "n63" label: "ProjM 0 63" info1: "Proj 63
mode: M
visited: 18
"
color: yellow}
edge: {sourcename: "n63" targetname: "n61" label: "0" class:17 priority:10 color:blue}
-node: {title: "n61" label: "Store 61" info1: "Store 61
+node: {title: "n61" label: "Store 61" info1: "Store 61
mode: T
visited: 18
irg: MEMORY_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n60" targetname: "n58" label: "0" class:17 priority:10 color:blue}
-node: {title: "n58" label: "Store 58" info1: "Store 58
+node: {title: "n58" label: "Store 58" info1: "Store 58
mode: T
visited: 18
irg: MEMORY_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n57" targetname: "n54" label: "0" class:1 priority:50}
-node: {title: "n54" label: "Load[Iu] 54" info1: "Load[Iu] 54
+node: {title: "n54" label: "Load[Iu] 54" info1: "Load[Iu] 54
mode: T
visited: 18
irg: MEMORY_EXAMPLE_main
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: "Jmp 46
+node: {title: "n46" label: "Jmp 46" info1: "Jmp 46
mode: X
visited: 18
irg: MEMORY_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n45" targetname: "n43" label: "0" class:17 priority:10 color:blue}
-node: {title: "n43" label: "Store 43" info1: "Store 43
+node: {title: "n43" label: "Store 43" info1: "Store 43
mode: T
visited: 18
irg: MEMORY_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n41" targetname: "n39" label: "0" class:17 priority:10 color:blue}
-node: {title: "n39" label: "Store 39" info1: "Store 39
+node: {title: "n39" label: "Store 39" info1: "Store 39
mode: T
visited: 18
irg: MEMORY_EXAMPLE_main
1: Proj 28
Private Attributes:
Selecting entity of type int
- from entity of type GlobalType
+ from entity VAR_B (36)
+ of type GlobalType
"
}
edge: {sourcename: "n37" targetname: "n29" label: "0" class:17 priority:10 color:blue}
1: Proj 28
Private Attributes:
Selecting entity of type int
- from entity of type GlobalType
+ from entity VAR_A (33)
+ of type GlobalType
"
}
edge: {sourcename: "n35" targetname: "n29" label: "0" class:17 priority:10 color:blue}
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: "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
+node: {title: "n42" label: "0x1Iu 42" info1: "0x1 42
mode: Iu
visited: 18
irg: MEMORY_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n28" targetname: "n23" label: "0" class:1 priority:50}
+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: "n26" label: "ProjX 0 26" info1: "Proj 26
mode: X
visited: 18
"
color: yellow}
edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red}
-node: {title: "n23" label: "Start 23" info1: "Start 23
+node: {title: "n23" label: "Start 23" info1: "Start 23
mode: T
visited: 18
irg: MEMORY_EXAMPLE_main