> -----Original Message----- > From: gcc-ow...@gcc.gnu.org [mailto:gcc-ow...@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
