http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60763
--- Comment #10 from David Edelsohn <dje at gcc dot gnu.org> --- I'm not questioning the analysis, I'm questioning the solution. Directly generating a register and jamming in the REGNO in this pattern seems sort of crude. gen_rtx_REG (DImode, REGNO (op0)); I don't doubt that this is the RTL that eventually is produced, I am surprised that there is no existing wrapper function in simplify-rtx.c or rtlanal.c that can be used. If this is the necessary implementation, I think it deserves some, brief comment.