DATA)Statements that read or write a location.
effects::= {fields…}
| Field | Format | Description |
|---|---|---|
"direct" |
marker
[] |
List of statements with direct effect. |
"indirect" |
marker
[] |
List of statements with indirect effect. |
GET)Get the list of statements that read a lval.
input
::=marker
output
::=effects
GET)Get the list of statements that write a lval.
input
::=marker
output
::=effects