https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103616
--- Comment #1 from Vladimir Makarov ---
I can not reproduce ICE on this week GCC. Probably it was fixed (or switched
off) by some recent RA patch.
As for the second issue (code generation for function foo), I thought for some
time how it could be fixed. It seemed that LRA inheritance sub-pass could be
extended to work on memory too besides regs. But I got to conclusion that it
would complicate already complicated LRA (inheritance subpass) more as we need
to add sophisticated analysis (including aliasing) for memory.
I guess there is an simpler alternative solution. The problem would disappear
if double constant were in asm insn before LRA. I think some pass before RA
could this. It could be driven by a target, for example to promote double
constants for x86-64.
Also the problem might be solved if we had pseudo<-double insn instead of
mem<-double insn before LRA, LRA code dealing with equiv could promote double
into the asm insn (although I am not 100% sure about this but, if it is not the
case, probably code dealing with equiv could be tweaked to do this).
So my proposal is to solve the problem somehow outside RA.
