[LLVMdev] C99 restrict

[Chris Lattner]

On Mon, 26 Mar 2007, Christopher Lamb wrote:
>> mechanism which C99 restrict can be implemented in terms of.  It seems
>> like an intrinsic would be a good way to do that.
>
> Certainly language independence is a requirement.
>
> I think your point about inlined functions is also valid for restrict
> parameters to functions that have been inlined in C/C++. The aliasing

Yep.

> Ideally I think it would be nice to be able to start off using
> intrinsics to communicate this kind of information, though it may end
> up as changes to instruction down the line, but I'm not enough of an
> expert to be able to say whether this is a feasible strategy.

Yes, that is a preferable approach.  Intrinsics are easy to add, and can 
do almost anything that instructions can.  They are a great way to get 
experience with an approach.

-Chris

-- 
http://nondot.org/sabre/
http://llvm.org/