Increase the CFG graph with data structures and fields for DFA. (A06.T01). #1270
Description
Data Flow Algorithms uses the BitSet data structure to represent a set of variables.
Then on each basic block we can gather the following informations:
| Data | Description |
|---|---|
| Gen | Generated definitions bit set. This is a set of data which is created to identify which data definitions are made within a basic block |
| Kill | Killed definitions bit set: The Kill set represents those variables defined outside the basic block which also have definitions inside the block. |
| In | Definitions live on entry to basic block. |
| Out | Definitions live on basic block exit |