> The only way I can think of to have two pseudos assigned the same > hard reg at the same point in the insn stream is if the two pseudos > are known to have the same value.
Since all we're doing is figuring out which hard regs need to be saved in pro/epilogue, it could be that the two pseudos are not live at the same time, despite being live in the same function.