Dual Assumptions

The redundancy equations can be solved based on dual assumptions:

• Maximal assumption (superscript M ): all subexpressions are available on entry to the head of an interval.

• Mimimal assumption (superscript m ): no subexpressions are available on entry to the head of an interval.

Let variables x denote available on entry and variables y denote available on exit.

For an interval head h , set x_h^M = 1 and x_h^m = 0 (except x_e^M = 0 for the program entry block).

For other blocks in the interval, compute:

x_b^M = &prod_{i &isin &Gamma^-1 b} y_i^M

x_b^m = &prod_{i &isin &Gamma^-1 b} y_i^m

y_b^M = x_b^M · k_b + c_b

y_b^m = x_b^m · k_b + c_b

Contents    Page-10    Prev    Next    Page+10    Index