Embedded Software for SoC - Grupo de Mecatrônica EESC/USP

510 Chapter 36
parameter-passing strategies are used. We performed experiments with five
different on-demand parameter-passing strategies:
Block Insertion (Default): This is our default on-demand parameter-passing
strategy. In this strategy, the multiple uses problem is handled using block
insertion. Also, if there is a global variable problem (i.e., the case where
a global variable used as part of the actual parameter is assigned in the
subroutine before the corresponding formal parameter is assigned in the
subroutine before the corresponding formal parameter is reached), this
strategy computes the value of the actual parameter just before the global
variable assignment.
Path Control: While this strategy handles the global variable problem in
the same fashion as the previous one, the multiple uses problem is handled
using path control (i.e., using variables to keep track of dynamic execution
paths).
Multiple Evaluations: This version also handles the global variable problem