OSDN Git Service

* loop-iv.c (implies_p): Detect additional cases where A implies B.