-graph: { title: "n150" label: "Block 150" status:clustered color:yellow
-edge: {sourcename: "n150" targetname: "n151" label: "0" class:13 priority:60 color:red}
-node: {title: "n162" label: "ProjM 0 162" info1: "mode: M
-visited: 51
-irg: PRIMA_c
-arity: 1
-"color: yellow}
-edge: {sourcename: "n162" targetname: "n156" label: "0" class:17 priority:10 color:blue}
-node: {title: "n154" label: "AddIs 154" info1: "mode: Is
-visited: 51
-irg: PRIMA_c
-arity: 2
-"}
-edge: {sourcename: "n154" targetname: "n155" label: "0" class:1 priority:50}
-edge: {sourcename: "n154" targetname: "n167" label: "1" class:16 priority:10}
-node: {title: "n155" label: "ProjIs 2 155" info1: "mode: Is
-visited: 51
-irg: PRIMA_c
-arity: 1
-"color: yellow}
-edge: {sourcename: "n155" targetname: "n156" label: "0" class:1 priority:50}
-node: {title: "n156" label: "Load 156" info1: "mode: T
-visited: 51
-irg: PRIMA_c
-arity: 2
-"}
-edge: {sourcename: "n156" targetname: "n168" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n156" targetname: "n157" label: "1" class:1 priority:50}
-node: {title: "n157" label: "Sel a 157" info1: "mode: P
-visited: 51
-irg: PRIMA_c
-arity: 2
-Selecting entity of type int
- from entity of type PRIMA
-"}
-edge: {sourcename: "n157" targetname: "n168" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n157" targetname: "n169" label: "1" class:16 priority:10}
-node: {title: "n170" label: "Jmp 170" info1: "mode: X
-visited: 51
-irg: PRIMA_c
-arity: 0
-"}
+graph: { title: "g96" label: "PRIMA_c" status:clustered color:white
+info1: "entity c (23)
+ type: c (21)
+ owner: PRIMA (15)
+ Does not overwrite other entities.
+ Is not overwritten by other entities.
+ allocation: allocation_static
+ visibility: visibility_local
+ variability: variability_constant
+ calling convention: cdecl
+ atomic value: SymC &c
+ volatility: volatility_non_volatile
+ peculiarity: peculiarity_existent
+ ld_name: PRIMA_c
+ offset: -1 bits, -1 bytes
+ irg = 96
+
+"
+graph: { title: "n180" label: "Block 180" status:clustered color:yellow
+ info1: "Block 180
+ mode: BB
+ visited: 52
+ irg: PRIMA_c
+ arity: 1
+ pred nodes:
+ 0: Jmp 179
+ Private Attributes:
+ inter arity: 1
+ inter pred nodes:
+ 0: Jmp 179
+ backedges:
+ block visited: 0
+ Execution freqency statistics:
+"
+edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red}
+node: {title: "n200" label: "ProjX 0 200" info1: "Proj 200
+ mode: X
+ visited: 52
+ irg: PRIMA_c
+ arity: 1
+ pred nodes:
+ -1: Block 180
+ 0: EndReg PRIMA_c 181
+ Private Attributes:
+ proj nr: 0
+"
+color:yellow}
+edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
+node: {title: "n181" label: "EndReg PRIMA_c 181" info1: "EndReg PRIMA_c 181
+ mode: T
+ visited: 52
+ irg: PRIMA_c
+ arity: 0
+ pred nodes:
+ -1: Block 180
+ Private Attributes:
+"
+color:blue}
+}
+
+graph: { title: "n97" label: "Block 97" status:clustered color:yellow
+ info1: "Block 97
+ mode: BB
+ visited: 52
+ irg: PRIMA_c
+ arity: 1
+ pred nodes:
+ 0: Proj 91
+ Private Attributes:
+ inter arity: 1
+ inter pred nodes:
+ 0: Proj 91
+ backedges:
+ block visited: 0
+ Execution freqency statistics:
+"
+edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
+node: {title: "n104" label: "ProjM M 104" info1: "Proj 104
+ mode: M
+ visited: 52
+ irg: PRIMA_c
+ arity: 1
+ pred nodes:
+ -1: Block 97
+ 0: Load[Is] 102
+ Private Attributes:
+ proj nr: 0
+"
+color:yellow}
+edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
+node: {title: "n106" label: "AddIs 106" info1: "Add 106
+ mode: Is
+ visited: 52
+ irg: PRIMA_c
+ arity: 2
+ pred nodes:
+ -1: Block 97
+ 0: Proj 105
+ 1: Filter 178
+ Private Attributes:
+"
+}
+edge: {sourcename: "n106" targetname: "n105" label: "0" class:1 priority:50}
+edge: {sourcename: "n106" targetname: "n178" label: "1" class:16 priority:10}
+node: {title: "n105" label: "ProjIs res 105" info1: "Proj 105
+ mode: Is
+ visited: 52
+ irg: PRIMA_c
+ arity: 1
+ pred nodes:
+ -1: Block 97
+ 0: Load[Is] 102
+ Private Attributes:
+ proj nr: 2
+"
+color:yellow}
+edge: {sourcename: "n105" targetname: "n102" label: "0" class:1 priority:50}
+node: {title: "n102" label: "Load[Is] 102" info1: "Load[Is] 102
+ mode: T
+ visited: 52
+ irg: PRIMA_c
+ arity: 2
+ pred nodes:
+ -1: Block 97
+ 0: Filter 176
+ 1: Sel 101
+ Private Attributes:
+ pinned state: op_pin_state_pinned
+ mode of loaded value: Is
+ volatility: volatility_non_volatile
+"
+}
+edge: {sourcename: "n102" targetname: "n176" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n102" targetname: "n101" label: "1" class:1 priority:50}
+node: {title: "n101" label: "Sel a 101" info1: "Sel 101
+ mode: P
+ visited: 52
+ irg: PRIMA_c
+ arity: 2
+ pred nodes:
+ -1: Block 97
+ 0: Filter 176
+ 1: Filter 177
+ Private Attributes:
+ Selecting entity a (17)
+ of type int
+ with owner PRIMA.
+"
+}
+edge: {sourcename: "n101" targetname: "n176" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n101" targetname: "n177" label: "1" class:16 priority:10}
+node: {title: "n179" label: "Jmp 179" info1: "Jmp 179
+ mode: X
+ visited: 52
+ irg: PRIMA_c
+ arity: 0
+ pred nodes:
+ -1: Block 97
+ Private Attributes:
+"
+}