From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ej1-x62e.google.com (mail-ej1-x62e.google.com [IPv6:2a00:1450:4864:20::62e]) by sourceware.org (Postfix) with ESMTPS id 26AB13858011 for ; Tue, 25 Oct 2022 06:28:03 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 26AB13858011 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-ej1-x62e.google.com with SMTP id 13so10054651ejn.3 for ; Mon, 24 Oct 2022 23:28:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=bMTOC7cDQ5RxoD9pSjF7xeLEbxzhhYKDGIVMdA4YUZs=; b=KUgYMBMGdrox50JqM0QjrzSZ8znbYZmaDO80MSShMBUGFmxJpVrSkRFEsN91BpYXUD eLAU6WXsooihE13sNiVU4MpgpkjfpsWBoGAsEvkjm0sIm21ChIYhdV2GIu5gSzIVB1OP aB6y21/Gfy0P61PyPl/kEM4qfBNT/LjvX+jMIv/rBdaouz68aojhxURbyaCPRKad+/WT a3JMLHJFhEntKdKyELlC1/0cw7rVStUk3BeiQelqIJOqhfzfFx4dAjQkrbWWvfy0mZ+o yYMcQdmrIHNY+9s3xPNWmYiDtHE1wgzLDBd3KMoBUsXGEGbwozf25PHDFcgc0BVEoXUe M3gw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=bMTOC7cDQ5RxoD9pSjF7xeLEbxzhhYKDGIVMdA4YUZs=; b=jlAvAzkGH4kPh3fRtSEr+BH2iyaoLuXRDqLhZw4uOAqSY1Pfy57A4zRklonqb6Gu5d krChnpfpzRigYva+dHjgxdNk/hlLBEjB4jsaHmNISBctGFgINsCbLkhF2ilb6tRqEKKI nMyuEOVtrhlRmoADZcrYGpb7ebarc11bEnZlpbVJtsku8uyPPHS3Q0Jz4kdOPyW1w0b5 Qr7RNFMOJa8VY3aq7MVBbN9llyd2bUrxNnLFGZUBDDyGuMd2hMCEEUez2+tk5H6sAl4x NdJCd5PaHvccrPUyhf0bmvRbokg+tYbSWLCScWOaJ4J6nf5ydlyQgZeZzuBbODKG19g2 DdMg== X-Gm-Message-State: ACrzQf3/LvT/Rb57qu+mtpV3s5OQS06MtuAqEv4XDJZ+K4B0Lq8bleLJ 9MVQo3oezbwAEzkuHJME50mWjli010I8POXju1o= X-Google-Smtp-Source: AMsMyM6A49hav68bGDM94nOe4YMclnMW5WdPdMb3GNFQN6Kz3YKVKIqXrotHEPSuTmx4BmtY63p9DNViB/n6wNO/i0w= X-Received: by 2002:a17:906:d54d:b0:78e:2fbf:ca2a with SMTP id cr13-20020a170906d54d00b0078e2fbfca2amr31684502ejc.488.1666679281683; Mon, 24 Oct 2022 23:28:01 -0700 (PDT) MIME-Version: 1.0 References: <20221020165734.1113688-1-hjl.tools@gmail.com> In-Reply-To: From: Richard Biener Date: Tue, 25 Oct 2022 08:27:49 +0200 Message-ID: Subject: Re: [PATCH v2] Always use TYPE_MODE instead of DECL_MODE for vector field To: "H.J. Lu" Cc: Jakub Jelinek , GCC Patches Content-Type: text/plain; charset="UTF-8" X-Spam-Status: No, score=-7.6 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,GIT_PATCH_0,KAM_SHORT,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On Mon, Oct 24, 2022 at 10:02 PM H.J. Lu wrote: > > On Mon, Oct 24, 2022 at 12:12 AM Richard Biener > wrote: > > > > On Fri, Oct 21, 2022 at 6:18 PM H.J. Lu wrote: > > > > > > On Fri, Oct 21, 2022 at 2:33 AM Richard Biener > > > wrote: > > > > > > > > On Thu, Oct 20, 2022 at 6:58 PM H.J. Lu via Gcc-patches > > > > wrote: > > > > > > > > > > commit e034c5c895722e0092d2239cd8c2991db77d6d39 > > > > > Author: Jakub Jelinek > > > > > Date: Sat Dec 2 08:54:47 2017 +0100 > > > > > > > > > > PR target/78643 > > > > > PR target/80583 > > > > > * expr.c (get_inner_reference): If DECL_MODE of a non-bitfield > > > > > is BLKmode for vector field with vector raw mode, use TYPE_MODE > > > > > instead of DECL_MODE. > > > > > > > > > > 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 is BLKmode 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. > > > > > --- > > > > > gcc/expr.cc | 3 +- > > > > > gcc/testsuite/gcc.target/i386/pr107304.c | 39 ++++++++++++++++++++++++ > > > > > 2 files changed, 40 insertions(+), 2 deletions(-) > > > > > create mode 100644 gcc/testsuite/gcc.target/i386/pr107304.c > > > > > > > > > > diff --git a/gcc/expr.cc b/gcc/expr.cc > > > > > index efe387e6173..9145193c2c1 100644 > > > > > --- a/gcc/expr.cc > > > > > +++ b/gcc/expr.cc > > > > > @@ -7905,8 +7905,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)))) > > > > > > > > Isn't the check on TYPE_MODE_RAW also wrong then? Btw, the mode could > > > > > > TYPE_MODE_RAW is always set to a vector mode for a vector type: > > > > > > /* Find an appropriate mode for the vector type. */ > > > if (TYPE_MODE (type) == VOIDmode) > > > SET_TYPE_MODE (type, > > > mode_for_vector (SCALAR_TYPE_MODE (innertype), > > > nunits).else_blk ()); > > > > But mode_for_vector can return a MODE_INT! > > You are right. > > > /* For integers, try mapping it to a same-sized scalar mode. */ > > if (GET_MODE_CLASS (innermode) == MODE_INT) > > { > > poly_uint64 nbits = nunits * GET_MODE_BITSIZE (innermode); > > if (int_mode_for_size (nbits, 0).exists (&mode) > > && have_regs_of_mode[mode]) > > return mode; > > > > > But TYPE_MODE returns BLKmode if the vector mode is unsupported. > > > > > > > also be an integer mode. > > > > > > For a vector field, mode is either BLK mode or the vector mode. Jakub, > > > can you comment on it? > > > > I think that for > > > > typedef int v2si __attribute__((vector_size(8))); > > > > struct X { int i; v2si j; }; > > > > v2si should get DImode with -mno-sse? > > > > Currently GCC generates > > (insn 31 32 33 (set (subreg:DI (reg:V2SI 105) 0) > (reg:DI 84 [ _3 ])) "y2.c":12:11 -1 > (nil)) > > With my patch, v2si gets DImode directly without SUBREG. > > Here is the v2 patch with the update commit message: > > 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. > > OK for master? OK. Thanks, Richard. > Thanks. > > -- > H.J.