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
+node: {title: "n79" label: "End 79" info1: "End 79
mode: X
visited: 18
irg: MEMORY_EXAMPLE_main
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
+node: {title: "n77" label: "Return 77" info1: "Return 77
mode: X
visited: 18
irg: MEMORY_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n75" targetname: "n73" label: "0" class:1 priority:50}
-node: {title: "n73" label: "Load[Iu] 73" info1: "Load[Iu] 73
+node: {title: "n73" label: "Load[Iu] 73" info1: "Load[Iu] 73
mode: T
visited: 18
irg: MEMORY_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n68" targetname: "n67" label: "0" class:13 priority:60 color:red}
-node: {title: "n67" label: "Cond 67" info1: "Cond 67
+node: {title: "n67" label: "Cond 67" info1: "Cond 67
mode: T
visited: 18
irg: MEMORY_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n66" targetname: "n65" label: "0" class:1 priority:50}
-node: {title: "n65" label: "Cmp 65" info1: "Cmp 65
+node: {title: "n65" label: "Cmp 65" info1: "Cmp 65
mode: T
visited: 18
irg: MEMORY_EXAMPLE_main
"
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
}
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: "Phi 70
+node: {title: "n70" label: "PhiM 70" info1: "Phi 70
mode: M
visited: 18
irg: MEMORY_EXAMPLE_main
"
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
+node: {title: "n38" label: "0x0Iu 38" info1: "0x0 38
mode: Iu
visited: 18
irg: MEMORY_EXAMPLE_main
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: "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