[LLVMdev] C99 restrict
sabre at nondot.org
Mon Mar 26 16:08:48 PDT 2007
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
> 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.
More information about the llvm-dev