[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.