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: [patch] make data dependence analyzer more strict


On Mon, 2005-05-09 at 15:37 +0200, Giovanni Bajo wrote:
> Sebastian Pop <sebastian.pop@cri.ensmp.fr> wrote:
> 
> > typedef struct rtx_
> > {
> > } *rtx;
> > static rtx regno_save_mem[53][16 / 4 + 1];
> > extern set_mem_alias_set (rtx, rtx);
> > int main(void)
> > {
> >   int i, j;
> >   for (i = 0; i < 53; i++)
> >     for (j = (16 / (0 ? 8 : 4)); j > 0; j--)
> >       if (regno_save_mem[i][j] != 0)
> >         set_mem_alias_set (regno_save_mem[i][j], 0);
> > }
> > 
> > In order to transform this loop, we have to prove that set_mem_alias_set
> > does not contain side effects that may change the contents of the array.
> > I'm proposing to remove this testcase for the moment.
> 

> Is it enough to mark set_mem_alias_set with attribute pure?

With the modification i suggested he add, it should be :)



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