On 09.02.2010 19:39, Sebastian Pop wrote: > On Tue, Feb 9, 2010 at 12:34, Cristianno Martins > <cristiannomart...@gmail.com> wrote: >> Hi, >> >> Thanks for the fast reply. Only one more thing: is there some way that >> I could force it to be signed?? > > I guess that you should wait the fixes from Tobias and Ramakrishna to > CLooG and Graphite to have the type of the IV exposed by CLooG, rather > than having the original IV type set to the generated IV. > > Sebastian
Yes it looks as this is one of the bugs Ramakrishna and me are working on. In short the reason for the bugs seems to be that the loop induction variable is converted to an unsigned int. Later cloog generates a statement that is negative and assigned to the unsigned int. Instead of this expression iv < -something being false the signed value is wrapped to an unsigned one. Therefore the whole expression becomes true. I will have a look into this one. Tobias
