Any plan for rewriting loop.c using cfgloop.c

[Richard Kenner]

    To do it correctly one should know about overflow semantics of input
    language not available at RTL level.

I don't see it as particularly hard to propagate that information down to
RTL via some annotation.