[LLVMdev] Pointer "data direction"

[Sebastian Dreßler]

Hi,

suppose the following C function declaration:

    void f(int *in, int *out);

Now further suppose, that _in_ is an array only read from and _out_ is
an array that is only written to.

Based on this, I was wondering whether there is some already existing
LLVM pass (or maybe a part of a pass) that detects those "data
directions" for pointers. I'm not quite sure whether e.g. Alias Analysis
can provide me this information (I suppose it *cannot*).


Best regards,
Sebastian

-- 
Mit freundlichen Grüßen / Kind regards

Sebastian Dreßler

Zuse Institute Berlin (ZIB)
Takustraße 7
D-14195 Berlin-Dahlem
Germany

dressler at zib.de
Phone: +49 30 84185-261

http://www.zib.de/