Early Optimizations (Chapter 12)

1. Early Optimizations(Chapter 12)

2. Constant-expression evaluation (constant folding), • scalar replacement of aggregates, • algebraic simplifications and reassociation, • value numbering, • copy propagation • sparse conditional constant propagation • First three are independent of Data flow analysis and last 3 are dependent of data flow analysis.

3. Constant-expression evaluation • It refers to the evaluation at compile time of expression whose, operands are known to be constant. • The function returns true if its argument is a constant and false otherwise. • Ex Boolean values.

4. Scalar replacement of aggregates • Makes other optimizations applicable to components of aggregates, such as C structures. • Use in very less compiler

6. As in the example, first do scalar replacement on the snack record in main(), • Then the body of procedure color() into the call in main(), • Transform the resulting &snack->variety in the switch stmt into the equivalent snack. • Main() after constant propagation and dead-code elimination for the program.

7. Algebraic simplifications and reassociation • Use algebraic properties of operators to simplify expressions. • Ex.

8. Algebraic simplifications to floating point expressions

9. Value numbering • It is one of several methods for determining that two computations are equivalent and eliminating one of them.

10. Copy propagation • It is a transformation that, given an assignment xy for some variables x and y, replaces later uses of x with uses of y, as long as intervening instructions have not changed the value of either x or y

11. Ex: Copy propagation

12. Ex.

13. Sparse conditional constant propagation • It is a transformation that, given and assignment xc for a variable x and a constant c, replaces later uses of x with uses of c as long as intervening assignments have not changed the value of x.

14. Ex b3 in block B1 assigns the constant value 3 to b and no other assignment in the flow graph assigns to b Ex b3 in block B1 assigns the constant value 3 to b and no other assignment in the flowgraph assigns to b