Version 1 (modified by eamiri, 9 years ago) (diff)


Conversion to SSA

1- The body of a while loop is not converted to SSA.

Optimize Pragma

1- The location of Optimize pragma inside the program does not change its semantics. 2- The code that is optimized by the pragma starts from the first line after the last definition of the optimized variable through end of the program.

Dead Code Elimination

1- A common subexpression elimination must be called after the end of dead code elimination to remove common subexpressions introduced by remove_copies()

While Loop and Optimize interaction

1- If Optimize is called on a variable whose last definition is inside the body of a loop, the corresponding if-then-else will start right after that while loop.

2- Optimize cannot be used for a loop variable.