Register allocator almost complete