Displaying 3 results from an estimated 3 matches for "readargmem".
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 intrinsics would be modelled as if they
were clobbering arbitrary memory.
It feels very naturall to add new function attribute which can cover such cases.
I have a patch (http://r...
2015 Jun 19
2
[LLVMdev] Attribute to mark that function only access memory through it's arguments
...y 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 intrinsics would be modelled
> as if they
> were clobbering arbitrary memory.
>
> It feels very naturall to add new function attri...
2011 Nov 30
2
[LLVMdev] Write-only intrinsics
Is there a reason that we don't have a definition for write-only
intrinsics? Specifically, utils/TableGen/CodeGenIntrinsics.h contains:
// Memory mod/ref behavior of this intrinsic.
enum {
NoMem, ReadArgMem, ReadMem, ReadWriteArgMem, ReadWriteMem
} ModRef;
The problem with this seems to be that "store" instructions, like the
PPC STVX instruction, that are primarily defined by an intrinsic
(int_ppc_altivec_stvx for the STVX instruction) get tagged as "mayLoad"
even though they...