From: Pan Li <[email protected]> We notice such pattern during the form 7 support of the SAT_U_MUL. So we would like to perform the simplify before that.
The below test suites are passed for this patch: 1. The rv64gcv fully regression tests. 2. The x86 bootstrap tests. 3. The x86 fully regression tests. Pan Li (3): Match: Simplify (T1)(a bit_op (T2)b) to (T1)a bit_op (T1)b Test: Add test case for bit_op convert folding Match: Remove unnecessary convert for unsigned SAT_MUL gcc/match.pd | 25 ++++++++++----- gcc/testsuite/gcc.dg/tree-ssa/bit_op_cvt.1.c | 33 ++++++++++++++++++++ gcc/testsuite/gcc.dg/tree-ssa/bit_op_cvt.2.c | 33 ++++++++++++++++++++ gcc/testsuite/gcc.dg/tree-ssa/bit_op_cvt.3.c | 33 ++++++++++++++++++++ gcc/testsuite/gcc.dg/tree-ssa/bit_op_cvt.4.c | 33 ++++++++++++++++++++ gcc/testsuite/gcc.dg/tree-ssa/bit_op_cvt.5.c | 33 ++++++++++++++++++++ gcc/testsuite/gcc.dg/tree-ssa/bit_op_cvt.6.c | 33 ++++++++++++++++++++ gcc/testsuite/gcc.dg/tree-ssa/bit_op_cvt.h | 13 ++++++++ 8 files changed, 229 insertions(+), 7 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/bit_op_cvt.1.c create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/bit_op_cvt.2.c create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/bit_op_cvt.3.c create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/bit_op_cvt.4.c create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/bit_op_cvt.5.c create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/bit_op_cvt.6.c create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/bit_op_cvt.h -- 2.43.0
