RFA: non-const libcalls

[Alexandre Oliva]

On May 12, 2001, Richard Henderson <rth@redhat.com> wrote:

> On Sat, May 12, 2001 at 03:21:56PM -0300, Alexandre Oliva wrote:
>> I'm pretty sure there was no problem in case the stores came before
>> a regular call because this thing operated only within basic blocks,

> No.  There was no problem on regular calls because they are 
> assumed to read and write all memory.

>           /* Non-constant calls clobber memory.  */
>           if (! CONST_CALL_P (insn))

Hmm...  So we probably still have a problem with regular function
calls declared with attribute const, don't we?  We should probably be
emitting CALL_INSN_FUNCTION_USAGE notes for arguments passed by
reference to non-libcall const functions, shouldn't we?

-- 
Alexandre Oliva   Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer                  aoliva@{cygnus.com, redhat.com}
CS PhD student at IC-Unicamp        oliva@{lsd.ic.unicamp.br, gnu.org}
Free Software Evangelist    *Please* write to mailing lists, not to me