[LLVMdev] Semantics of noalias with vector of pointers?
dan433584 at gmail.com
Wed Sep 4 15:16:34 PDT 2013
Do you actually have a use case for such attributes, or are you just trying
all possible attributes on all possible types to see what breaks? ;-)
It would be theoretically possible to define semantics for signext/zerext
or even noalias for vectors. However it's not clear whether those are
really desirable without motivating use cases.
On Wed, Sep 4, 2013 at 2:31 PM, Matt Arsenault <Matthew.Arsenault at amd.com>wrote:
> What are the intended semantics of noalias when applied to a vector of
> pointers? signext/zeroext parameter attributes are incorrectly rejected for
> vectors (bug 15391), and I'm not sure if the same is true for noalias when
> applied to pointer vectors. There's no mention of it in the langref, and
> the verifier currently rejects it. Is it supposed to work? Are pointers
> within the vector allowed to alias other elements in the vector?
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev