<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Jun 18, 2015 at 5:35 AM, Alexey Frolov <span dir="ltr"><<a href="mailto:alexfrolov1878@yandex.ru" target="_blank">alexfrolov1878@yandex.ru</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Richard, Aaron,<br>
<br>
I have a question regarding issue described in <a href="https://urldefense.proofpoint.com/v2/url?u=http-3A__llvm.org_PR15730&d=AwMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=CnzuN65ENJ1H9py9XLiRvC_UQz6u3oG6GUNn7_wosSM&m=wUVxbjRwreydfoChOff7ckAn7qbi8On6RqZ6D_uQIXs&s=SwEKGJwFcek6kHtvPeN3OMDRJxvG4c3D2g7fmc1MfOI&e=" rel="noreferrer" target="_blank">http://llvm.org/PR15730</a> and <a href="https://urldefense.proofpoint.com/v2/url?u=http-3A__llvm.org_PR16986&d=AwMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=CnzuN65ENJ1H9py9XLiRvC_UQz6u3oG6GUNn7_wosSM&m=wUVxbjRwreydfoChOff7ckAn7qbi8On6RqZ6D_uQIXs&s=kKsZ78IAzVU8D2iyoKa64H5bZI1GdAxis6eoyjEkuGQ&e=" rel="noreferrer" target="_blank">http://llvm.org/PR16986</a>.<br>
In comment 1 of PR16986 Richard said:<br>
  >> We should generalize the handling of dependent expressions from the alignment attributes to deal with this case too.<br>
As far as I know, alignment attributes only appertain to variables or typedefs (which both have AST nodes). I don't think we can generalize this approach for vector_size attribute as it appertains to types (which do not have AST nodes).<br>
<br>
What about creating a new property for VectorType that would state that this vector type is dependent (dependent vector types are vector types with dependent base types and/or dependent size expressions)? It seems to be somewhat more appropriate to me.<br>
This will be somewhat similat to the way ExtVectorType and DependentSizedExtVectorType are treated.<br>
<br>
What do you think?<br></blockquote><div><br></div><div>The direction I was thinking of was more like this:</div><div><br></div><div> * Change AttributedTypeLoc to store an Attr* rather than an Expr* so we can reuse the autogenerated Attr instantiation code</div><div> * If the alignment of the vector is dependent, make the equivalent type of the corresponding AttributedType be DependentTy</div><div> * Remove DependentSizedExtVectorType</div></div></div></div>