On 02/06/2013 11:11 AM, Eric Botcazou wrote:
I think there is no point in creating a REG_EQUAL note when you're trying to
propagate a pseudo (or a subreg of a pseudo here). As a matter of fact,
that's what CSE explicitly does not:
Agreed. I have a hard time seeing where having a REG_EQUAL not
This is the miscompilation of the Ada front-end (ureal.adb) on x86-64/Linux
with profiled bootstrap and another instance of the infamous webizer bug,
whereby a REG_EQUAL note for a dead pseudo-register ends up creating an insn
that wrongly zeroes another pseudo-register.
The origin is fwprop1:
