https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88464
--- Comment #19 from Uroš Bizjak <ubizjak at gmail dot com> ---
FYI, there are quite some sequences like:
kmovw %k1, %r11d
testb %r11b, %r11b
jne .L63
(e.g. when compiling avx512f-pr88464-1.c).
Perhaps ktest insn can be utilized here?
