From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1880) id F19FE382CF17; Thu, 9 Jun 2022 22:10:25 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org F19FE382CF17 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Max Filippov To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-1033] xtensa: Optimize '(~x & y)' to '((x & y) ^ y)' X-Act-Checkin: gcc X-Git-Author: Takayuki 'January June' Suwa X-Git-Refname: refs/heads/master X-Git-Oldrev: 9777d446e2148ef9a6e9f35db3f4eab99ee8812c X-Git-Newrev: e44e7face13f38f9b228e2619786ba0add9ef77b Message-Id: <20220609221025.F19FE382CF17@sourceware.org> Date: Thu, 9 Jun 2022 22:10:25 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 09 Jun 2022 22:10:26 -0000 https://gcc.gnu.org/g:e44e7face13f38f9b228e2619786ba0add9ef77b commit r13-1033-ge44e7face13f38f9b228e2619786ba0add9ef77b Author: Takayuki 'January June' Suwa Date: Sun May 29 19:55:44 2022 +0900 xtensa: Optimize '(~x & y)' to '((x & y) ^ y)' In Xtensa ISA, there is no single machine instruction that calculates unary bitwise negation. gcc/ChangeLog: * config/xtensa/xtensa.md (*andsi3_bitcmpl): New insn_and_split pattern. gcc/testsuite/ChangeLog: * gcc.target/xtensa/check_zero_byte.c: New. Diff: --- gcc/config/xtensa/xtensa.md | 20 ++++++++++++++++++++ gcc/testsuite/gcc.target/xtensa/check_zero_byte.c | 9 +++++++++ 2 files changed, 29 insertions(+) diff --git a/gcc/config/xtensa/xtensa.md b/gcc/config/xtensa/xtensa.md index fd80fdd52eb..3afc252323b 100644 --- a/gcc/config/xtensa/xtensa.md +++ b/gcc/config/xtensa/xtensa.md @@ -601,6 +601,26 @@ (set_attr "mode" "SI") (set_attr "length" "3,3")]) +(define_insn_and_split "*andsi3_bitcmpl" + [(set (match_operand:SI 0 "register_operand" "=a") + (and:SI (not:SI (match_operand:SI 1 "register_operand" "r")) + (match_operand:SI 2 "register_operand" "r")))] + "" + "#" + "&& can_create_pseudo_p ()" + [(set (match_dup 3) + (and:SI (match_dup 1) + (match_dup 2))) + (set (match_dup 0) + (xor:SI (match_dup 3) + (match_dup 2)))] +{ + operands[3] = gen_reg_rtx (SImode); +} + [(set_attr "type" "arith") + (set_attr "mode" "SI") + (set_attr "length" "6")]) + (define_insn "iorsi3" [(set (match_operand:SI 0 "register_operand" "=a") (ior:SI (match_operand:SI 1 "register_operand" "%r") diff --git a/gcc/testsuite/gcc.target/xtensa/check_zero_byte.c b/gcc/testsuite/gcc.target/xtensa/check_zero_byte.c new file mode 100644 index 00000000000..6a04aaeefa0 --- /dev/null +++ b/gcc/testsuite/gcc.target/xtensa/check_zero_byte.c @@ -0,0 +1,9 @@ +/* { dg-do compile } */ +/* { dg-options "-O" } */ + +int check_zero_byte(int v) +{ + return (v - 0x01010101) & ~v & 0x80808080; +} + +/* { dg-final { scan-assembler-not "movi" } } */