This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: doloop.c fix for PR 6984

On Sat, Jun 22, 2002 at 06:04:06PM +0930, Alan Modra wrote:
>   final == initial + j * inc, for some integer j
>   so final - initial == j * inc

I don't see this part of the setup.  Seems to me that

    final == initial + j * inc + c
    for c < inc.

However, I wasn't able to construct an example for which
the original wasn't a non-terminating loop.  So I guess
the patch is ok.


r~
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]