https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94873
--- Comment #15 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > So, hrm, we could in principle attach a REG_EQ* note to any single_set > instruction? Yes, I think that's what is currently implemented modulo bugs, although of course we do not create a REG_EQUAL note for every single_set insn in practice.
