diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/config/riscv/riscv-v.cc | 11 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/riscv/rvv/base/vf_avl-3.c | 11 |
2 files changed, 19 insertions, 3 deletions
diff --git a/gcc/config/riscv/riscv-v.cc b/gcc/config/riscv/riscv-v.cc index b4c7e0f..3c83be3 100644 --- a/gcc/config/riscv/riscv-v.cc +++ b/gcc/config/riscv/riscv-v.cc @@ -74,8 +74,7 @@ is_vlmax_len_p (machine_mode mode, rtx len) { poly_int64 value; return poly_int_rtx_p (len, &value) - && known_eq (value, GET_MODE_NUNITS (mode)) - && !satisfies_constraint_K (len); + && known_eq (value, GET_MODE_NUNITS (mode)); } /* Helper functions for insn_flags && insn_types */ @@ -3855,7 +3854,13 @@ expand_cond_len_op (unsigned icode, insn_flags op_type, rtx *ops, rtx len) bool is_vlmax_len = is_vlmax_len_p (mode, len); unsigned insn_flags = HAS_DEST_P | HAS_MASK_P | HAS_MERGE_P | op_type; - if (is_dummy_mask) + /* FIXME: We don't support simplification of COND_LEN_NEG (..., dummy len, + dummy mask) into NEG_EXPR in GIMPLE FOLD yet. So, we do such + simplification in RISC-V backend and may do that in middle-end in the + future. */ + if (is_dummy_mask && is_vlmax_len) + insn_flags |= TDEFAULT_POLICY_P | MDEFAULT_POLICY_P; + else if (is_dummy_mask) insn_flags |= TU_POLICY_P | MDEFAULT_POLICY_P; else if (is_vlmax_len) insn_flags |= TDEFAULT_POLICY_P | MU_POLICY_P; diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/vf_avl-3.c b/gcc/testsuite/gcc.target/riscv/rvv/base/vf_avl-3.c new file mode 100644 index 0000000..116b5b5 --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/rvv/base/vf_avl-3.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ +/* { dg-options "-O3 -march=rv64gcv -mabi=lp64d --param riscv-autovec-preference=fixed-vlmax" } */ + +void foo (int *src, int *dst, int size) { + int i; + for (i = 0; i < size; i++) + *dst++ = *src & 0x80 ? (*src++ & 0x7f) : -*src++; +} + +/* { dg-final { scan-assembler-times {vsetvli\s+[a-x0-9]+,\s*[a-x0-9]+,\s*e32,\s*m1,\s*t[au],\s*mu} 1 } } */ +/* { dg-final { scan-assembler-times {vsetvli} 1 } } */ |