Method of Building A use-def (or ud) Chain
- Set definitions in statement s(0)
- For each i in, find live definitions that have use in statement s(i)
- Make a link among definitions and uses
- Set the statement s(i), as definition statement
- Kill previous definitions
With this algorithm, two things are accomplished:
- A directed acyclic graph (DAG) is created on the variable uses and definitions. The DAG specifies a data dependency among assignment statements, as well as a partial order (therefore parallelism among statements).
- When statement s(i) is reached, there is a list of live variable assignments. If only one assignment is live, for example, constant propagation might be used.
Read more about this topic: Use-define Chain
Famous quotes containing the words method, building and/or chain:
“The most passionate, consistent, extreme and implacable enemy of the Enlightenment and ... all forms of rationalism ... was Johann Georg Hamann. His influence, direct and indirect, upon the romantic revolt against universalism and scientific method ... was considerable and perhaps crucial.”
—Isaiah Berlin (b. 1909)
“We have our little theory on all human and divine things. Poetry, the workings of genius itself, which, in all times, with one or another meaning, has been called Inspiration, and held to be mysterious and inscrutable, is no longer without its scientific exposition. The building of the lofty rhyme is like any other masonry or bricklaying: we have theories of its rise, height, decline and fall—which latter, it would seem, is now near, among all people.”
—Thomas Carlyle (1795–1881)
“It could not have come down to us so far,
Through the interstices of things ajar
On the long bead chain of repeated birth,
To be a bird while we are men on earth,”
—Robert Frost (1874–1963)