Anonymous

Compiler Design: Difference between revisions

From dankwiki
13 bytes added ,  23:56, 28 April 2009
no edit summary
No edit summary
No edit summary
Line 21: Line 21:
==Dataflow Analysis==
==Dataflow Analysis==
If a statement S writes to a variable V, S is said to ''define'' V. If statement S reads from a variable V, S is said to ''use'' V (the two are not mutually exclusive). A definition of v is killed between p1 and p2 if every path between them contains a definition of v; conversely, if a path exists from p1 to p2 which does not redefine v, and v has been defined on input to p1, it ''reaches'' p2 from p1.
If a statement S writes to a variable V, S is said to ''define'' V. If statement S reads from a variable V, S is said to ''use'' V (the two are not mutually exclusive). A definition of v is killed between p1 and p2 if every path between them contains a definition of v; conversely, if a path exists from p1 to p2 which does not redefine v, and v has been defined on input to p1, it ''reaches'' p2 from p1.
===Loops===


==Dependency Analysis==
==Dependency Analysis==