------- Comment #3 from hjl dot tools at gmail dot com 2009-02-21 01:12 ------- (In reply to comment #1) > Where is the ABI documented for AVX? >
There is no official ia32 psABI for SSE and AVX. I will upload what we proposed at 2008 gcc summit to http://groups.google.com/group/ia32-abi -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39256