Redundant Load Elimination in GCSE

Mon May 5 12:06:00 GMT 2003

What you have described is a different problem.
I agree that the functionality of rtx_equal_for_memref_p should be
improved,
However, we can still use its current ability to find (even in only part of
the cases) two pseudos that point to the same address in GCSE.
And tell (only in part of the cases) that two memory references are
equivalent.
BTW, does CSE uses rtx_equal_for_memref_p?

Regards,
  Mostafa Hagog
 Systems and Software  Department
 IBM Research Lab in Haifa
 e-mail: mustafa@il.ibm.com
 Phone: +972 4 829-6518   Fax: +972 4 829-6116

                      "Sanjiv Kumar                                                                                                    
                      Gupta, Noida"            To:       Mostafa Hagog/Haifa/IBM@IBMIL, gcc@gcc.gnu.org                                
                      <sanjivg@noida.hc        cc:                                                                                     
                      ltech.com>               Subject:  RE: Redundant Load Elimination in GCSE                                        

                      05/05/2003 14:44                                                                                                 

>The function rtx_equal_for_memref_p (from alias.c) can do this for us. It
>can check if two pseudo registers point to the same memory address

refer to my earlier postings
             http://gcc.gnu.org/ml/gcc/2002-10/msg01558.html
             http://gcc.gnu.org/ml/gcc/2002-10/msg01032.html
In these cases, rtx_equal_for_memref_p can not tell if two pseduos point to
the same memory adress.

--Sanjiv