tested register allocator