This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
RE: Infinite number of iterations in loop [v850, mep]
- From: Paulo Matos <pmatos at broadcom dot com>
- To: Richard Biener <richard dot guenther at gmail dot com>
- Cc: Andrew Haley <aph at redhat dot com>, "gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>, Jan Hubicka <hubicka at ucw dot cz>
- Date: Wed, 15 Jan 2014 12:48:35 +0000
- Subject: RE: Infinite number of iterations in loop [v850, mep]
- Authentication-results: sourceware.org; auth=none
- References: <19EB96622A777C4AB91610E763265F463A757B at SJEXCHMB14 dot corp dot ad dot broadcom dot com> <5283A108 dot 1020108 at redhat dot com> <19EB96622A777C4AB91610E763265F463A761A at SJEXCHMB14 dot corp dot ad dot broadcom dot com> <19EB96622A777C4AB91610E763265F463E5E93 at SJEXCHMB14 dot corp dot ad dot broadcom dot com> <CAFiYyc2ZzJFP0eYkZviZdt7YFxnFChRJNdwqsUs7T9=FmU-+xA at mail dot gmail dot com> <19EB96622A777C4AB91610E763265F463E7618 at SJEXCHMB14 dot corp dot ad dot broadcom dot com> <CAFiYyc3Fd4vBLQbMNH1RyvNGfUOcHS__FWeqYm89594Fjm6=LA at mail dot gmail dot com> <19EB96622A777C4AB91610E763265F463E7FD2 at SJEXCHMB14 dot corp dot ad dot broadcom dot com>
> -----Original Message-----
> From: gcc-owner@gcc.gnu.org [mailto:gcc-owner@gcc.gnu.org] On Behalf Of Paulo
> Matos
> Sent: 09 January 2014 16:48
> To: Richard Biener
> Cc: Andrew Haley; gcc@gcc.gnu.org; Jan Hubicka
> Subject: RE: Infinite number of iterations in loop [v850, mep]
>
>
> I would like some comments on the following patch that seems to work but I think
> it could be generalized.
> The idea is for the specific infinite condition of type (and reg int), we can
> search for the definition of reg,
> check nonzero_bits and check that they don't match any of the bits in int.
>
Forget the patch, I am implementing a much more robust patch with the same objective which I will post with a request for comments in a separate thread.
Paulo Matos