Tools for debugging register allocator