On 12/10/23 21:01, Fei Gao wrote:
On 2023-12-11 04:43 Jeff Law <jeffreya...@gmail.com> wrote:
On 12/5/23 01:12, Fei Gao wrote:
op=[ASHIFT, ASHIFTRT, LSHIFTRT, ROTATE, ROTATERT]
Conditional op, if zero
rd = (rc == 0) ? (rs1 op rs2) : rs1
-->
czero.nez rd, rs2, rc
op rd, rs1, rd
Conditional op, if non-zero
rd = (rc != 0) ? (rs1 op rs2) : rs1
-->
czero.eqz rd, rs2, rc
op rd, rs1, rd
Co-authored-by: Xiao Zeng<zengx...@eswincomputing.com>
gcc/ChangeLog:
* ifcvt.cc (noce_cond_zero_binary_op_supported): add support for shift like op.
(get_base_reg): add support for subreg to handle shift amount
operand.
(noce_bbs_ok_for_cond_zero_arith): to replace shift amount operand.
gcc/testsuite/ChangeLog:
* gcc.target/riscv/zicond_ifcvt_opt.c: add TCs for shift like op.
So I removed the SUBREG handling code which makes this patch merely an
addition of the shift/rotate ops which trivally work just like PLUS,
MINUS, IOR, XOR (by conditionally zero-ing the shift count) tested on
x86 and pushed it to the trunk.
As I noted before while I think handling SUBREGs is important, now is
not the time to be adding that support.
Thanks for your review.
Got your point to defer support for SUBREGs.
Shift-like pattern:
(set (reg/v:DI 137 [ y ])
(ashift:DI (reg/v:DI 137 [ y ])
(subreg:QI (reg/v:DI 138 [ z ]) 0)))
No Zicond instructions are generated with the SUBREG handling code removed.
So I noticed your changes in testcases regarding the number of czero
instruction number scanned.
Then this looks like a NFC patch.
Not on other targets -- not every target forces the shift count into a
narrow mode.
jeff