http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54342
--- Comment #3 from Vladimir Yakovlev <vbyakovl23 at gmail dot com> 2012-08-21 11:18:39 UTC --- I'm working on vzeroupper insertion and my implementation inserts vzeroupper before the call because VALID_AVX256_REG_MODE returns false.