graph: { title: "n36" label: "Block 36" status:clustered color:yellow
edge: {sourcename: "n36" targetname: "n35" label: "0" class:13 priority:60 color:red}
edge: {sourcename: "n36" targetname: "n47" label: "1" class:13 priority:60 color:red}
-node: {title: "n66" label: "PhiM 66" info1: "Phi 66
+node: {title: "n66" label: "PhiM 66" info1: "Phi 66
mode: M
visited: 22
irg: ENDLESS_LOOP_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n55" targetname: "n53" label: "0" class:17 priority:10 color:blue}
-node: {title: "n53" label: "Store 53" info1: "Store 53
+node: {title: "n53" label: "Store 53" info1: "Store 53
mode: T
visited: 22
irg: ENDLESS_LOOP_EXAMPLE_main
1: Proj 28
Private Attributes:
Selecting entity of type int
- from entity of type GlobalType
+ from entity VAR_A (50)
+ of type GlobalType
"
}
edge: {sourcename: "n52" targetname: "n66" label: "0" class:14 priority:50 color:blue}
edge: {sourcename: "n52" targetname: "n28" label: "1" class:16 priority:10}
-node: {title: "n62" label: "PhiIs 62" info1: "Phi 62
+node: {title: "n62" label: "PhiIs 62" info1: "Phi 62
mode: Is
visited: 22
irg: ENDLESS_LOOP_EXAMPLE_main
color: green}
edge: {sourcename: "n62" targetname: "n33" label: "0" class:16 priority:10}
edge: {sourcename: "n62" targetname: "n63" label: "1" class:1 priority:50}
-node: {title: "n63" label: "PhiIs 63" info1: "Phi 63
+node: {title: "n63" label: "PhiIs 63" info1: "Phi 63
mode: Is
visited: 22
irg: ENDLESS_LOOP_EXAMPLE_main
color: green}
edge: {sourcename: "n63" targetname: "n34" label: "0" class:16 priority:10}
edge: {sourcename: "n63" targetname: "n62" label: "1" class:1 priority:50}
-node: {title: "n47" label: "Jmp 47" info1: "Jmp 47
+node: {title: "n47" label: "Jmp 47" info1: "Jmp 47
mode: X
visited: 22
irg: ENDLESS_LOOP_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n33" targetname: "n30" label: "0" class:16 priority:10}
-node: {title: "n35" label: "Jmp 35" info1: "Jmp 35
+node: {title: "n35" label: "Jmp 35" info1: "Jmp 35
mode: X
visited: 22
irg: ENDLESS_LOOP_EXAMPLE_main
"
color: yellow}
edge: {sourcename: "n30" targetname: "n23" label: "0" class:1 priority:50}
-node: {title: "n34" label: "0x1Is 34" info1: "0x1 34
+node: {title: "n34" label: "0x1Is 34" info1: "0x1 34
mode: Is
visited: 22
irg: ENDLESS_LOOP_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: 22
irg: ENDLESS_LOOP_EXAMPLE_main
}
graph: { title: "n20" label: "Block 20" status:clustered color:yellow
-node: {title: "n76" label: "End 76" info1: "End 76
+node: {title: "n76" label: "End 76" info1: "End 76
mode: X
visited: 22
irg: ENDLESS_LOOP_EXAMPLE_main