From patchwork Mon Mar 27 16:01:57 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Kevin Lee X-Patchwork-Id: 66963 Return-Path: X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 28A013858039 for ; Mon, 27 Mar 2023 16:02:38 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-pj1-x1034.google.com (mail-pj1-x1034.google.com [IPv6:2607:f8b0:4864:20::1034]) by sourceware.org (Postfix) with ESMTPS id 288543858410 for ; Mon, 27 Mar 2023 16:02:13 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 288543858410 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=rivosinc.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=rivosinc.com Received: by mail-pj1-x1034.google.com with SMTP id h12-20020a17090aea8c00b0023d1311fab3so9363897pjz.1 for ; Mon, 27 Mar 2023 09:02:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rivosinc-com.20210112.gappssmtp.com; s=20210112; t=1679932931; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=DEFSVVV3l3AyqcjQ9whkfVdma40z6bxWIxX8JQA+Kxo=; b=O+e4Le4NuDGekIz2b3pjVzgBSDGj1OFCmaosF+So1WoN3u7d3P/HOIOVOFooT6hp+U Jr8i1chkpwp6byqrETJSLodygl9KUQtTtWgVZn4mVQZpJPTUk2zaiJ8soR1ztPE0wXsZ Y6QgAe1BtrfzHV5SrdiN76LD8b3YTQYIVOMDsjXraIRMF8Obu+N3YZU76qU7Pg+zymUF C7tgzfwICiDJEP/EIpFZq6Nk2RqPC9iKc6Z8wRt/7z6UDQW0gXXTfpYrzf6c6PT7KVmS vJgTkyXAM1/Rh5f/k1i46oREHK9jLEQKcxKPmtFMXDYOcsIKRjGsYqSGjgtHW7VAkb0h 6urA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1679932931; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=DEFSVVV3l3AyqcjQ9whkfVdma40z6bxWIxX8JQA+Kxo=; b=nUqq5a+HoLrOwtpMp3gIHG4LPXC/MckmhGi9hvymtnUh1a+E5H9+aE+YArgP9274Ta sOMxUqIZNfFTbD8PNjc8eYlfeEPfMru/gRbOvzKUNw9NHJGD5PIGNhKbBqvjuS9vtuOR UuIPgt8u0cNTi7Xc/+u9XF1MTRlLabMfNcnSBLMzveD7GxWep3xD2YJuotwY6Yb6dBsQ zcAIL22f7yH0DzSx3pxFpqpqnahZ3f2jw//vZb0bzoJgDO1o/xRA9C0vJDpV/uivhuMx A4R+M4Eh/sAcldy6+cwQUZW8Wgtk0m59VkdqCOEZoXrx7HSCy/0f4Mk/zcuuSrtwba8B MrMg== X-Gm-Message-State: AAQBX9evpmurkQCIU6vYlNCvDzHYkCI7q6Hy9tUb08Vu+LYx3rn5xEZP 2qN1/GI6bnebX5Al0rgBx6TrZg1AbnEruoSfzP8= X-Google-Smtp-Source: AKy350Z1RdmPCqp7D7w/OtogJnVDpwRP4QVnybKP43WEoCb6LHzv16nCewvaZtLr3njXQWyI4ehbrg== X-Received: by 2002:a17:90b:3850:b0:23b:32e5:9036 with SMTP id nl16-20020a17090b385000b0023b32e59036mr12754425pjb.17.1679932931270; Mon, 27 Mar 2023 09:02:11 -0700 (PDT) Received: from kevinl.ba.rivosinc.com ([66.220.2.162]) by smtp.gmail.com with ESMTPSA id y1-20020a17090a8b0100b002348d711ebbsm7705135pjn.16.2023.03.27.09.02.10 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 27 Mar 2023 09:02:10 -0700 (PDT) From: Kevin Lee To: gcc-patches@gcc.gnu.org Cc: collison@rivosinc.com, Kevin Lee Subject: [PATCH v2][RFC] vect: Verify that GET_MODE_NUNITS is greater than one for vect_grouped_store_supported Date: Mon, 27 Mar 2023 09:01:57 -0700 Message-Id: <20230327160157.4111747-1-kevinl@rivosinc.com> X-Mailer: git-send-email 2.25.1 MIME-Version: 1.0 X-Spam-Status: No, score=-12.5 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, 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 X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org Sender: "Gcc-patches" This patch is a proper fix to the previous patch https://gcc.gnu.org/pipermail/gcc-patches/2023-March/614463.html vect_grouped_store_supported checks if the count is a power of 2, but doesn't check the size of the GET_MODE_NUNITS. This should handle the riscv case where the mode is VNx1DI since the nelt would be {1, 1}. It was tested on RISCV and x86_64-linux-gnu. Would this be correct for the vectors with size smaller than 2? --- gcc/tree-vect-data-refs.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/gcc/tree-vect-data-refs.cc b/gcc/tree-vect-data-refs.cc index 8daf7bd7dd3..04ad12f7d04 100644 --- a/gcc/tree-vect-data-refs.cc +++ b/gcc/tree-vect-data-refs.cc @@ -5399,6 +5399,8 @@ vect_grouped_store_supported (tree vectype, unsigned HOST_WIDE_INT count) poly_uint64 nelt = GET_MODE_NUNITS (mode); /* The encoding has 2 interleaved stepped patterns. */ + if(!nelt.is_constant() && maybe_lt(nelt, (unsigned int) 2)) + return false; vec_perm_builder sel (nelt, 2, 3); sel.quick_grow (6); for (i = 0; i < 3; i++)