[Bug tree-optimization/89134] A missing optimization opportunity for a simple branch in loop

[fxue at os dot amperecomputing.com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89134

--- Comment #11 from Feng Xue <fxue at os dot amperecomputing.com> ---
Actually, I am working on adding optimizations to enable this opportunity,
which can be discomposed to two sub-problems: breaking-loop transformation
mentioned above, and empty-loop elimination. I have worked out several patches,
but for the second thing, since it seems to be more aggressive than gcc
currently implemented, I need advices and feedbacks from the community.