https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70479
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- You mean we fail to handle ternary associative tree codes in GIMPLE reassoc? Yes, that's true. It's not going to be easy to retro-fit there implementation-wise. With rebalancing you mean handling reassoc-width > 1?