[LLVMdev] addrspace attribute and intrisics

[Benedict Gaster]

I agree that if we intend that the it is always a complete barrier,  
but it is possible for a more general memory fence operation that has  
the ability to place a barrier on the region of memory that %ptr11  
points to but in the case that it does not point to a valid address  
then it is assumed to be a complete barrier for that address space. As  
sum types are not directly support in LLVM, then this semantics has to  
be supported with an additional argument describing which injection,  
i.e. if it is a valid address or not, the type of %ptr11 is passed.

Ben


On 7 Jul 2008, at 17:15, Mon P Wang wrote:

> g the address space argument is cleaner
> than having it encoded as a pointer.  The memory barrier places a
> barrier on the entire address space.  When I see the %ptr11 on the
> memory barrier instruction, my first instinct is to that it is a
> memory barrier on the region of memory that %ptr11 points to.  What
> are other people opinions?