https://gcc.gnu.org/bugzilla/show_bug.cgi?id=36010
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |rguenth at gcc dot gnu.org --- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> --- Hmm, the condition seems to be superfluous - we don't (in this case?) associate when moving the load/store back into the loop or when we perform the interchange? In fact the comment before the block suggests that. But yes, with -O2 -floop-interchange -ffast-math we now interchange the original testcase (and the case from bwaves). This was fixed with r8-5164-gfbdec14e80e939 which also introduced this check for associativity.