Displaying 2 results from an estimated 2 matches for "readsargmem".
Did you mean:
readargmem
2015 Jun 19
2
[LLVMdev] Attribute to mark that function only access memory through it's arguments
...tes only from
memory that
// one of its arguments points to, but may access an unspecified
amount. The
// reads and writes may be volatile, but except for this it has no other
side
// effects.
def IntrReadWriteArgMem : IntrinsicProperty;
I did point out in the review that I think the notion of ReadsArgMem 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...
2015 Jun 18
3
[LLVMdev] Attribute to mark that function only access memory through it's arguments
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