SSA-based Compiler Design