[The_rationalist]

Do you know what would be the most promising next gen autovectorization optimizations? Maybe polyhedral ? https://polly.llvm.org/ https://en.wikipedia.org/wiki/Loop_optimization#The_polyhedr...

[gnufx]

Beware that the Polly matmul example apparently pattern-matches and expands the loop structure to the Goto-like form rather than deriving it a priori. (So I was told when raising those results -- I haven't checked the code.)

GCC also has the Pluto-style optimization (-floop-nest-optimize) but I've never had it working successfully.