diff options
| author | Jeff Law <jlaw@ventanamicro.com> | 2024-11-12 17:10:48 -0700 |
|---|---|---|
| committer | Jeff Law <jlaw@ventanamicro.com> | 2024-11-12 17:10:48 -0700 |
| commit | de3b277247ce98d189f121155b75f490725a42f6 (patch) | |
| tree | 1ca9b9be12e0ebd167c8ca34904b457f83ecc0f1 /gcc | |
| parent | 098214cf395f8f464ef2696bc27ad8583e3a2e11 (diff) | |
| download | gcc-de3b277247ce98d189f121155b75f490725a42f6.zip gcc-de3b277247ce98d189f121155b75f490725a42f6.tar.gz gcc-de3b277247ce98d189f121155b75f490725a42f6.tar.bz2 | |
Revert "[PATCH v2] RISC-V: zero_extend(not) -> xor optimization [PR112398]"
This reverts commit 69bd93c167fefbdff0cb88614275358b7a2b2941.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/simplify-rtx.cc | 22 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/riscv/pr112398.c | 14 |
2 files changed, 0 insertions, 36 deletions
diff --git a/gcc/simplify-rtx.cc b/gcc/simplify-rtx.cc index d05efac..893c5f6 100644 --- a/gcc/simplify-rtx.cc +++ b/gcc/simplify-rtx.cc @@ -1842,28 +1842,6 @@ simplify_context::simplify_unary_operation_1 (rtx_code code, machine_mode mode, & ~GET_MODE_MASK (op_mode)) == 0) return SUBREG_REG (op); - /* Trying to optimize: - (zero_extend:M (subreg:N (not:M (X:M)))) -> - (xor:M (zero_extend:M (subreg:N (X:M)), mask)) - where the mask is GET_MODE_MASK (N). - For the cases when X:M doesn't have any non-zero bits - outside of mode N, (zero_extend:M (subreg:N (X:M)) - will be simplified to just (X:M) - and whole optimization will be -> (xor:M (X:M, mask)). */ - if (SUBREG_P (op) - && GET_CODE (XEXP (op, 0)) == NOT - && GET_MODE (XEXP (op, 0)) == mode - && subreg_lowpart_p (op) - && GET_MODE_SIZE (GET_MODE (op)).is_constant () - && (nonzero_bits (XEXP (XEXP (op, 0), 0), mode) - & ~GET_MODE_MASK (mode)) == 0) - { - const uint64_t mask = GET_MODE_MASK (GET_MODE (op)); - return simplify_gen_binary (XOR, mode, - XEXP (XEXP (op, 0), 0), - gen_int_mode (mask, mode)); - } - #if defined(POINTERS_EXTEND_UNSIGNED) /* As we do not know which address space the pointer is referring to, we can do this only if the target does not support different pointer diff --git a/gcc/testsuite/gcc.target/riscv/pr112398.c b/gcc/testsuite/gcc.target/riscv/pr112398.c deleted file mode 100644 index 624a665..0000000 --- a/gcc/testsuite/gcc.target/riscv/pr112398.c +++ /dev/null @@ -1,14 +0,0 @@ -/* { dg-do compile } */ -/* { dg-options "-march=rv64gc -mabi=lp64d" } */ -/* { dg-skip-if "" { *-*-* } { "-O0" "-Og" } } */ - -#include <stdint.h> - -uint8_t neg_u8 (const uint8_t src) -{ - return ~src; -} - -/* { dg-final { scan-assembler-times "xori\t" 1 } } */ -/* { dg-final { scan-assembler-not "not\t" } } */ -/* { dg-final { scan-assembler-not "andi\t" } } */ |