This milestone includes the refactoring of Reko so that the SSA conversion takes place much earlier than now. This is a major undertaking but will simplify the analysis stages of Reko tremendously.

To achieve this milestone, the following tasks must be completed:

• New SSA algorithm
• New algorithm for detection of register killing/preservation
• New algorithm for detection of "terminal" functions
• Post processing pass to eliminate any registers falsely kept alive by previous stages
• All "old" unit tests rewritten to use the new algorithms
• All unit tests pass
• Regression suite passes