https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65363
--- Comment #3 from vries at gcc dot gnu.org --- (In reply to Richard Biener from comment #1) > FRE can only eliminate the dominated one (obviously), so the first one is > the one prevailing. I don't understand that. Say we have load A (loading into tmp.a) and load B (loading into tmp.b). If load A dominates load B, then we can replace the uses of tmp.b with uses of tmp.a, since the domination relation guarantees that tmp.a is available at all uses of tmp.b. However, if load A dominates load B, but load B dominates the uses of tmp.a, then we can replace the uses of tmp.a with uses of tmp.b.
