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.