https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115439
--- Comment #9 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The trunk branch has been updated by Christophe Lyon <cl...@gcc.gnu.org>: https://gcc.gnu.org/g:e187ed927ae52df7998376d6ccfdd2181fc8f774 commit r15-7926-ge187ed927ae52df7998376d6ccfdd2181fc8f774 Author: Christophe Lyon <christophe.l...@linaro.org> Date: Wed Jan 15 17:11:33 2025 +0000 arm: [MVE] Fix predicates for vec_cmp, vec_vcmpu and vcond_mask (PR 115439) When compiling c-c++-common/vector-compare-3.c with -march=armv8.1-m.main+mve+fp.dp -mfloat-abi=hard -mfpu=auto (which enables MVE), we fail to match vcond_mask because operand 3 has s_register_operand as predicate for a MVE_VPRED mode, but we try to match: (insn 26 25 27 2 (set (reg:V4SI 137) (unspec:V4SI [ (reg:V4SI 144) (reg:V4SI 145) (subreg:V4BI (reg:HI 143) 0) ] VPSELQ_S)) "/src/gcc/testsuite/c-c++-common/vector-compare-3.c":23:6 -1 (nil)) The fix is to use the right predicate: vpr_register_operand. The patch also fixes vec_cmp and vec_cmpu in the same way. When testing with -mthumb/-march=armv8.1-m.main+mve.fp+fp.dp/-mtune=cortex-m55/-mfloat-abi=hard/-mfpu=auto it fixes the ICES in c-c++-common/vector-compare-3.c, g++.dg/opt/pr79734.C, g++.dg/tree-ssa/pr111150.C and gcc.dg/tree-ssa/pr111150.c gcc/ChangeLog PR target/115439 * config/arm/mve.md (vec_vcmp, vec_vcmpu, vcond_mask): Use vpr_register_operand predicate for MVE_VPRED operands.
