Register Allocation
Single Static Assignment