AaronBallman wrote:

> It completely changes the type, it's much more aggressive than a type 
> attribute? sizeof is no longer the same

`address_space` could be argued to be similarly aggressive, `_Atomic` as a 
qualifier specifier also has the same property of not requiring the size and 
alignment to be the same.

(Note, I'm not saying to do things one way or the other, just pointing out that 
the type system is filled with oddities already.)

I think vector types as a type attribute are reasonable, at least at first 
blush. However, if we're talking about redesigning the feature to expose it in 
a more natural way, we should consider what proposals are in front of the C and 
C++ standards committees. For example, this is an in-progress proposal that's 
expected to come in front of WG14 at some point (so the committee has not seen 
it or weighed in on it): 
https://www.aerotri.es/C/Array_notation_for_vectorization.pdf

https://github.com/llvm/llvm-project/pull/130177
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to