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?