https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112681
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Flags can be just -O2 -msse4.1 -mno-sse4.2 as well or even -O2 -msse4.2 -mno-avx. --- gcc/config/i386/i386-expand.cc.jj 2023-11-21 09:31:35.792395304 +0100 +++ gcc/config/i386/i386-expand.cc 2023-11-23 20:43:51.675586034 +0100 @@ -2453,6 +2453,8 @@ ix86_expand_branch (enum rtx_code code, /* Generate XOR since we can't check that one operand is zero vector. */ tmp = gen_reg_rtx (mode); + if (!vector_operand (op1, mode)) + op1 = force_reg (mode, op1); emit_insn (gen_rtx_SET (tmp, gen_rtx_XOR (mode, op0, op1))); tmp = gen_lowpart (p_mode, tmp); emit_insn (gen_rtx_SET (gen_rtx_REG (CCZmode, FLAGS_REG), seems to fix it.