------- Additional Comments From dberlin at gcc dot gnu dot org 2005-01-25 00:39 ------- Subject: Re: [4.0 Regression] IV-OPTS is O(N^3)
>>>> >>>> Uh, symbolic references are or will be used to do data dependence when >>>> MEM_REF and ARRAY_REF couldn't be generated from the pointers. >>> >>> How? If the reference is left in symbolic form, it means that you know >>> nothing about its value, >> >> Wrong. >> >> We could know things about it's value, such as ranges. We just don't know >> an exact number. > > OK. This is work for VRP, not scev. And once we have it, we can talk about removing the symbolic stuff from SCEV :) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18595