[LLVMdev] Semantics of noalias with vector of pointers?

Matt Arsenault Matthew.Arsenault at amd.com
Wed Sep 4 14:31:51 PDT 2013


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 

More information about the llvm-dev mailing list