[llvm-commits] [llvm] r55638 - /llvm/trunk/include/llvm/Function.h

[Duncan Sands]

Hi Devang,

> Attributes have to maintaing mapping with respective arguments. Some  
> of the attributes are associated with a return vale. However, some of  
> the attributes, e.g. readonly can easily be converted to a note.

actually it is theoretically useful to be able to specify readonly on a
call to a function that is not readonly: it means that this particular
call doesn't read memory (presumably because the function is being
passed a special value for some parameter) even though general calls
to it might.

Ciao,

Duncan.