Compile-time composition of run-time data and iteration reorderings