search for: reads_arg_mem

...adsArgMem is redundant given the existing notions of ReadWriteArgMem and ReadOnly, but that's somewhat orthogonal. It's true of the existing implementation, not just Igor's patch. It may be worth settling on this to clarify naming (i.e. are we ever going to need an attribute like reads_arg_mem? Or can we be more generic and use accesses_arg_mem + readonly for the same purpose?), but I don't think that really changes the semantics in major ways. Philip -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/atta...

Hi, Currently in AliasAnalysis we can model ModRef behaviour for functions which only access memory through their pointer arguments. However we can't express this propery as a function attribute. For example, for intrinsics we can specify ReadWriteArgMem or ReadArgMem attributes in tablegen definitions. But due to the lack of the related function attributes on the llvm ir level, this