https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95671
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
Resolution|--- |INVALID
Status|WAITING |RESOLVED
--- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
That is clearly a kernel/objtool bug.
Seems it has its own x86_64 instruction decoder and has some VEX decoding code,
but either not well tested or not working in this particular case.
Kernel doesn't normally use floating point or SIMD instructions, therefore I'd
expect that it only rarely uses VEX encoded instructions, and BEXTR is one of
the few general purpose instructions that are VEX encoded.
