Reaching definition
Encyclopedia : R : RE : REA : Reaching definition
In compiler theory, a reaching definition for a given instruction is another instruction, the target variable of which may reach the given instruction without an intervening assignment.
For example, in the following code:
d1 : y := 3 d2 : x := y
d1 is a reaching definition at d2.In the following, example, however:
d1 : y := 3 d2 : y := 4 d3 : x := y
d1 is no longer a reaching definition at d3, because d2 killed it.See also
Reaching definitions for a data-flow analysis which computes reaching definitions for every instruction and/or basic block.
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.