https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94962
--- Comment #3 from Hongtao.liu <crazylht at gmail dot com> --- You're right, from intel SDM: VEX.128 encoded version: Bits (MAXVL-1:128) of the destination register are zeroed.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94962
--- Comment #3 from Hongtao.liu <crazylht at gmail dot com> --- You're right, from intel SDM: VEX.128 encoded version: Bits (MAXVL-1:128) of the destination register are zeroed.