Vlákno názorů k článku Podpora SIMD (vektorových) instrukcí na RISCových procesorech od atarist - Stale premyslim, jak udelat "autovektorizaci" v jazycich nejak...

Stale premyslim, jak udelat "autovektorizaci" v jazycich nejak vic automatizovane a idiomaticky. Asi proste jazyk fakt musi mit vektorove a maticove operace a navic i jiny zapis smycek, aby to fungovalo. Myslim tim, ze jak jazyk, tak i programator budou vedet, co chteji.

AI frameworky (např. PyTorch) to řeší zavedením datového typu Tensor, což je n-rozměrný vektor a s tím se autovektorizace dělá docela dobře.

Jo to vypada na urovni nd-array v NumPy, co jsem se dival. Vcetne typu, pekne.

Chybí tam sémantika pro výpočty se saturací, pack+unpack a tak. Ale to se do jazyka přidává dost blbě, jedině jít cestou APL a Unicode operátorů :-)

Například Julia má zvláštní typ VecElement, přes který se zajištuje využití SIMD v LLVM.