From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2153) id E7A5F383C7D1; Thu, 8 Dec 2022 13:56:59 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E7A5F383C7D1 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1670507819; bh=sv0hIsAYmRhNDfDngxfboHmAMWEd3wh1HI/ZGs+0/Vg=; h=From:To:Subject:Date:From; b=mjBLm7oFXwOwmV67rZ0pdfuD2lfgStvhgTJteMLLF7A/IM5PYlDplXUsCSAOpPydw PKxkHGZie8ZSAEBfaN+0MgmUFP3A8BzptQMnH5BAdXaNtUBu8DMd6tw7SAryPAFZ4B 3X3068/0rwJxLNisJUDLNIZP0hGXvx84A8l9zN9E= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Jakub Jelinek To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-4558] i386: Add *concat3_{5, 6, 7} patterns [PR107627] X-Act-Checkin: gcc X-Git-Author: Jakub Jelinek X-Git-Refname: refs/heads/master X-Git-Oldrev: 0ef9991d8767932f51fa97753c16058d17b29b18 X-Git-Newrev: 1dc49df4eeaec311f19638861c64e90d7ec696e5 Message-Id: <20221208135659.E7A5F383C7D1@sourceware.org> Date: Thu, 8 Dec 2022 13:56:59 +0000 (GMT) List-Id: https://gcc.gnu.org/g:1dc49df4eeaec311f19638861c64e90d7ec696e5 commit r13-4558-g1dc49df4eeaec311f19638861c64e90d7ec696e5 Author: Jakub Jelinek Date: Thu Dec 8 14:55:46 2022 +0100 i386: Add *concat3_{5,6,7} patterns [PR107627] On Thu, Dec 01, 2022 at 09:09:51AM +0100, Jakub Jelinek via Gcc-patches wrote: > BTW, I wonder if we couldn't add additional patterns which would catch > the case where one of the operands is constant. The following patch does add those. The difference with the patch on the 2 testcases is: baz: - movq 8(%rsi), %rax + movq 8(%rsi), %rsi + movq %rdi, %r8 movl %edx, %ecx - xorl %r8d, %r8d - xorl %edx, %edx - movabsq $-2401053089206453570, %r9 - orq %r8, %rax - orq %r9, %rdx - shrdq %rdx, %rax - movq %rax, (%rdi) + movabsq $-2401053089206453570, %rdi + movq %rsi, %rax + shrdq %rdi, %rax + movq %rax, (%r8) qux: - movq (%rsi), %rax + movq %rdi, %r8 + movq (%rsi), %rdi movl %edx, %ecx - xorl %r9d, %r9d - movabsq $-2401053089206453570, %r8 - movq %rax, %rdx - xorl %eax, %eax - orq %r8, %rax - orq %r9, %rdx - shrdq %rdx, %rax - movq %rax, (%rdi) + movabsq $-2401053089206453570, %rsi + movq %rsi, %rax + shrdq %rdi, %rax + movq %rax, (%r8) and garply: pushl %esi - xorl %edx, %edx + movl $-559038737, %esi pushl %ebx movl 16(%esp), %eax - orl $-559038737, %edx movl 20(%esp), %ecx - movl 4(%eax), %eax - shrdl %edx, %eax movl 12(%esp), %edx + movl 4(%eax), %ebx + movl %ebx, %eax + shrdl %esi, %eax fred: ... movl 16(%esp), %eax + movl $-889275714, %ebx movl 20(%esp), %ecx - movl (%eax), %eax - movl %eax, %edx - movl $0, %eax - orl $-889275714, %eax - shrdl %edx, %eax movl 12(%esp), %edx + movl (%eax), %esi + movl %ebx, %eax + shrdl %esi, %eax 2022-12-08 Jakub Jelinek PR target/107627 * config/i386/i386.md (HALF, half): New mode attributes. (*concat3_5, *concat3_6, *concat3_7): New define_insn_and_split patterns. * gcc.target/i386/pr107627-3.c: New test. * gcc.target/i386/pr107627-4.c: New test. Diff: --- gcc/config/i386/i386.md | 78 ++++++++++++++++++++++++++++++ gcc/testsuite/gcc.target/i386/pr107627-3.c | 28 +++++++++++ gcc/testsuite/gcc.target/i386/pr107627-4.c | 28 +++++++++++ 3 files changed, 134 insertions(+) diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md index 58853a7bdd7..04a5d634021 100644 --- a/gcc/config/i386/i386.md +++ b/gcc/config/i386/i386.md @@ -1134,6 +1134,10 @@ (define_mode_attr DWI [(QI "HI") (HI "SI") (SI "DI") (DI "TI") (TI "OI")]) (define_mode_attr dwi [(QI "hi") (HI "si") (SI "di") (DI "ti") (TI "oi")]) +;; Half sized integer modes. +(define_mode_attr HALF [(TI "DI") (DI "SI")]) +(define_mode_attr half [(TI "di") (DI "si")]) + ;; LEA mode corresponding to an integer mode (define_mode_attr LEAMODE [(QI "SI") (HI "SI") (SI "SI") (DI "DI")]) @@ -11464,6 +11468,80 @@ split_double_concat (mode, operands[0], operands[1], operands[2]); DONE; }) + +(define_insn_and_split "*concat3_5" + [(set (match_operand:DWI 0 "nonimmediate_operand" "=ro") + (any_or_plus:DWI + (ashift:DWI (match_operand:DWI 1 "register_operand" "r") + (match_operand:DWI 2 "const_int_operand")) + (match_operand:DWI 3 "const_scalar_int_operand")))] + "INTVAL (operands[2]) == * BITS_PER_UNIT / 2 + && (mode == DImode + ? CONST_INT_P (operands[3]) + && (UINTVAL (operands[3]) & ~GET_MODE_MASK (SImode)) == 0 + : CONST_INT_P (operands[3]) + ? INTVAL (operands[3]) >= 0 + : CONST_WIDE_INT_NUNITS (operands[3]) == 2 + && CONST_WIDE_INT_ELT (operands[3], 1) == 0)" + "#" + "&& reload_completed" + [(clobber (const_int 0))] +{ + rtx op3 = simplify_subreg (mode, operands[3], mode, 0); + split_double_concat (mode, operands[0], op3, + gen_lowpart (mode, operands[1])); + DONE; +}) + +(define_insn_and_split "*concat3_6" + [(set (match_operand: 0 "nonimmediate_operand" "=ro,r") + (any_or_plus: + (ashift: + (zero_extend: + (match_operand:DWIH 1 "nonimmediate_operand" "r,m")) + (match_operand: 2 "const_int_operand")) + (match_operand: 3 "const_scalar_int_operand")))] + "INTVAL (operands[2]) == * BITS_PER_UNIT + && (mode == DImode + ? CONST_INT_P (operands[3]) + && (UINTVAL (operands[3]) & ~GET_MODE_MASK (SImode)) == 0 + : CONST_INT_P (operands[3]) + ? INTVAL (operands[3]) >= 0 + : CONST_WIDE_INT_NUNITS (operands[3]) == 2 + && CONST_WIDE_INT_ELT (operands[3], 1) == 0)" + "#" + "&& reload_completed" + [(clobber (const_int 0))] +{ + rtx op3 = simplify_subreg (mode, operands[3], mode, 0); + split_double_concat (mode, operands[0], op3, operands[1]); + DONE; +}) + +(define_insn_and_split "*concat3_7" + [(set (match_operand: 0 "nonimmediate_operand" "=ro,r") + (any_or_plus: + (zero_extend: + (match_operand:DWIH 1 "nonimmediate_operand" "r,m")) + (match_operand: 2 "const_scalar_int_operand")))] + "mode == DImode + ? CONST_INT_P (operands[2]) + && (UINTVAL (operands[2]) & GET_MODE_MASK (SImode)) == 0 + : CONST_WIDE_INT_P (operands[2]) + && CONST_WIDE_INT_NUNITS (operands[2]) == 2 + && CONST_WIDE_INT_ELT (operands[2], 0) == 0" + "#" + "&& reload_completed" + [(clobber (const_int 0))] +{ + rtx op2; + if (mode == DImode) + op2 = gen_int_mode (INTVAL (operands[2]) >> 32, mode); + else + op2 = gen_int_mode (CONST_WIDE_INT_ELT (operands[2], 1), mode); + split_double_concat (mode, operands[0], operands[1], op2); + DONE; +}) ;; Negation instructions diff --git a/gcc/testsuite/gcc.target/i386/pr107627-3.c b/gcc/testsuite/gcc.target/i386/pr107627-3.c new file mode 100644 index 00000000000..99c7f7f4a6b --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr107627-3.c @@ -0,0 +1,28 @@ +/* PR target/107627 */ +/* { dg-do compile { target int128 } } */ +/* { dg-options "-O2 -masm=att" } */ +/* { dg-final { scan-assembler-not "\torq\t" } } */ + +static inline unsigned __int128 +foo (unsigned long long x, unsigned long long y) +{ + return ((unsigned __int128) x << 64) | y; +} + +static inline unsigned long long +bar (unsigned long long x, unsigned long long y, unsigned z) +{ + return foo (x, y) >> (z % 64); +} + +void +baz (unsigned long long *x, const unsigned long long *y, unsigned z) +{ + x[0] = bar (0xdeadbeefcafebabeULL, y[1], z); +} + +void +qux (unsigned long long *x, const unsigned long long *y, unsigned z) +{ + x[0] = bar (y[0], 0xdeadbeefcafebabeULL, z); +} diff --git a/gcc/testsuite/gcc.target/i386/pr107627-4.c b/gcc/testsuite/gcc.target/i386/pr107627-4.c new file mode 100644 index 00000000000..f7d9bdb6b77 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr107627-4.c @@ -0,0 +1,28 @@ +/* PR target/107627 */ +/* { dg-do compile { target ia32 } } */ +/* { dg-options "-O2 -masm=att" } */ +/* { dg-final { scan-assembler-not "\torl\t" } } */ + +static inline unsigned long long +qux (unsigned int x, unsigned int y) +{ + return ((unsigned long long) x << 32) | y; +} + +static inline unsigned int +corge (unsigned int x, unsigned int y, unsigned z) +{ + return qux (x, y) >> (z % 32); +} + +void +garply (unsigned int *x, const unsigned int *y, unsigned z) +{ + x[0] = corge (0xdeadbeefU, y[1], z); +} + +void +fred (unsigned int *x, const unsigned int *y, unsigned z) +{ + x[0] = corge (y[0], 0xcafebabeU, z); +}