]> git.ipfire.org Git - thirdparty/gcc.git/commit
RISC-V: Combine vec_duplicate + vmslt.vv to vmslt.vx on GR2VR cost
authorPan Li <pan2.li@intel.com>
Mon, 8 Dec 2025 12:45:56 +0000 (20:45 +0800)
committerPan Li <pan2.li@intel.com>
Tue, 9 Dec 2025 14:41:03 +0000 (22:41 +0800)
commitd1f755115b4a53e866b7eb7a78df9bb2ff28d53a
tree2e09e3205fc3b00b92726478163851b2be4bd85d
parent3222a8493ccfec1a2e9c71103f1a693abb97cf83
RISC-V: Combine vec_duplicate + vmslt.vv to vmslt.vx on GR2VR cost

This patch would like to combine the vec_duplicate + vmslt.wv to the
vmslt.vx.  From example as below code.  The related pattern will depend
on the cost of vec_duplicate from GR2VR.  Then the late-combine will
take action if the cost of GR2VR is zero, and reject the combination
if the GR2VR cost is greater than zero.

Assume we have asm code like below, GR2VR cost is 0.

Before this patch:
  11       beq a3,zero,.L8
  12       vsetvli a5,zero,e32,m1,ta,ma
  13       vmv.v.x v2,a2
  ...
  16   .L3:
  17       vsetvli a5,a3,e32,m1,ta,ma
  ...
  22       vmslt.vv v1,v2,v3
  ...
  25       bne a3,zero,.L3

After this patch:
  11       beq a3,zero,.L8
  ...
  14    .L3:
  15       vsetvli a5,a3,e32,m1,ta,ma
  ...
  20       vmslt.vx v1,a2,v3
  ...
  23       bne a3,zero,.L3

gcc/ChangeLog:

* config/riscv/predicates.md: Append operator lt to
the comparison_swappable_operator.
* config/riscv/riscv-v.cc (get_swapped_cmp_rtx_code): Add
swappable operator lt handing.

Signed-off-by: Pan Li <pan2.li@intel.com>
gcc/config/riscv/predicates.md
gcc/config/riscv/riscv-v.cc