From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1039) id 86C403858292; Tue, 8 Nov 2022 21:56:33 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 86C403858292 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1667944593; bh=EK1eAr1UxXC64ubnYW+a8OtWAURNAqS2wXc5s4fBAjQ=; h=From:To:Subject:Date:From; b=A4hXVneLv9EflWVPeKoqMc5+7cwVFpoOJRW7PUvgQY6PJ614PqV0nt40GKcN/xGP9 HCTD1Q7jZWgW3WnKcUEFH9YJ5sIZiWoKxD7pluqOrOosGeNZDujLwZj8Z2jwYrdOwW INenTVZG9Z4viZQxcA8rOIpNavj1mNk9cTB2GBX0= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: H.J. Lu To: gcc-cvs@gcc.gnu.org Subject: [gcc r11-10370] Always use TYPE_MODE instead of DECL_MODE for vector field X-Act-Checkin: gcc X-Git-Author: H.J. Lu X-Git-Refname: refs/heads/releases/gcc-11 X-Git-Oldrev: d4e35e5ac2550fe7f6cc9aa06a747b98f80ddc63 X-Git-Newrev: c97c6569c826731910459812e3608255962dab78 Message-Id: <20221108215633.86C403858292@sourceware.org> Date: Tue, 8 Nov 2022 21:56:33 +0000 (GMT) List-Id: https://gcc.gnu.org/g:c97c6569c826731910459812e3608255962dab78 commit r11-10370-gc97c6569c826731910459812e3608255962dab78 Author: H.J. Lu Date: Wed Oct 19 12:53:35 2022 -0700 Always use TYPE_MODE instead of DECL_MODE for vector field e034c5c8957 re PR target/78643 (ICE in convert_move, at expr.c:230) fixed the case where DECL_MODE of a vector field is BLKmode and its TYPE_MODE is a vector mode because of target attribute. Remove the BLKmode check for the case where DECL_MODE of a vector field is a vector mode and its TYPE_MODE isn't a vector mode because of target attribute. gcc/ PR target/107304 * expr.c (get_inner_reference): Always use TYPE_MODE for vector field with vector raw mode. gcc/testsuite/ PR target/107304 * gcc.target/i386/pr107304.c: New test. (cherry picked from commit 1c64aba8cdf6509533f554ad86640f274cdbe37f) Diff: --- gcc/expr.c | 3 +-- gcc/testsuite/gcc.target/i386/pr107304.c | 39 ++++++++++++++++++++++++++++++++ 2 files changed, 40 insertions(+), 2 deletions(-) diff --git a/gcc/expr.c b/gcc/expr.c index 9a2bb29abba..27285f93fe4 100644 --- a/gcc/expr.c +++ b/gcc/expr.c @@ -7436,8 +7436,7 @@ get_inner_reference (tree exp, poly_int64_pod *pbitsize, /* For vector fields re-check the target flags, as DECL_MODE could have been set with different target flags than the current function has. */ - if (mode == BLKmode - && VECTOR_TYPE_P (TREE_TYPE (field)) + if (VECTOR_TYPE_P (TREE_TYPE (field)) && VECTOR_MODE_P (TYPE_MODE_RAW (TREE_TYPE (field)))) mode = TYPE_MODE (TREE_TYPE (field)); } diff --git a/gcc/testsuite/gcc.target/i386/pr107304.c b/gcc/testsuite/gcc.target/i386/pr107304.c new file mode 100644 index 00000000000..24d68795e7f --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr107304.c @@ -0,0 +1,39 @@ +/* { dg-do compile } */ +/* { dg-options "-O0 -march=tigerlake" } */ + +#include + +typedef union { + uint8_t v __attribute__((aligned(256))) __attribute__ ((vector_size(64 * sizeof(uint8_t)))); + uint8_t i[64] __attribute__((aligned(256))); +} stress_vec_u8_64_t; + +typedef struct { + struct { + stress_vec_u8_64_t s; + stress_vec_u8_64_t o; + stress_vec_u8_64_t mask1; + stress_vec_u8_64_t mask2; + } u8_64; +} stress_vec_data_t; + +__attribute__((target_clones("arch=alderlake", "default"))) +void +stress_vecshuf_u8_64(stress_vec_data_t *data) +{ + stress_vec_u8_64_t *__restrict s; + stress_vec_u8_64_t *__restrict mask1; + stress_vec_u8_64_t *__restrict mask2; + register int i; + + s = &data->u8_64.s; + mask1 = &data->u8_64.mask1; + mask2 = &data->u8_64.mask2; + + for (i = 0; i < 256; i++) { /* was i < 65536 */ + stress_vec_u8_64_t tmp; + + tmp.v = __builtin_shuffle(s->v, mask1->v); + s->v = __builtin_shuffle(tmp.v, mask2->v); + } +}