One more speed-up of register allocation