Looks like the option I was asking for is -mstackrealign. This is certainly not clear from the documentation or the usual developer reaction to bug reports. The code generated with -mstackrealign looks fairly good, too, better than what I have seen for AVX2 stack realignment. Thanks, Florian
