From patchwork Fri Oct 18 14:22:12 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Robin Dapp X-Patchwork-Id: 1999194 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@legolas.ozlabs.org Authentication-Results: legolas.ozlabs.org; dkim=pass (2048-bit key; unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256 header.s=20230601 header.b=TUuaDlg/; dkim-atps=neutral Authentication-Results: legolas.ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org (client-ip=2620:52:3:1:0:246e:9693:128c; helo=server2.sourceware.org; envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org; receiver=patchwork.ozlabs.org) Received: from server2.sourceware.org (server2.sourceware.org [IPv6:2620:52:3:1:0:246e:9693:128c]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (secp384r1) server-digest SHA384) (No client certificate requested) by legolas.ozlabs.org (Postfix) with ESMTPS id 4XVRkR1rWHz1xvV for ; Sat, 19 Oct 2024 01:22:54 +1100 (AEDT) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id A991F3858027 for ; Fri, 18 Oct 2024 14:22:52 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-ed1-x536.google.com (mail-ed1-x536.google.com [IPv6:2a00:1450:4864:20::536]) by sourceware.org (Postfix) with ESMTPS id 0D4A03858D20 for ; Fri, 18 Oct 2024 14:22:24 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 0D4A03858D20 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 0D4A03858D20 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::536 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1729261346; cv=none; b=EcYiEktN3naFZzQdRYWD6acLryXsqRiXuRlOU0x8fTovL0Xmqh6E5DTvYbwsWeqpqN6YezN/iGab2Pt1k86Y7PgY1hl18LX4nDxRK947oiHja1/tkSt1h1u2t25EFb5k7ZXML3UJgy/tnas5eg/SRDR3xnikeLQ8lXTB2kuGeP4= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1729261346; c=relaxed/simple; bh=TH1u6lELqH31dK02jFVCifvKcWpNs1dkDgCoObAVA3g=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=HnCuR8bO5DN7QWZfqAITUdB5z9+QFAEW2eI/4tPu02Om3r9+PIlfzYtI1GJ0baC7tOdl8EbrRdyM76PALAYjRd6RANpIgDpGuIclIY4YLqJfDIR9vGZwifurFr3E5Ypag4hITm4aw3kn/YW1USsiEsxPWOuvi3P2YoNNGnFAbAE= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-ed1-x536.google.com with SMTP id 4fb4d7f45d1cf-5c973697b52so2640303a12.0 for ; Fri, 18 Oct 2024 07:22:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1729261342; x=1729866142; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=2VYQreMfyRdeoxcq5ky4/NXrTqBolA5KzEeLeD3cC2U=; b=TUuaDlg/WuTpopoy5v2b5iWfPw9ILYFHGy68vD895qcvfSuvMfNuVsiR46h+UITC/m FlDVSjSIzK7id+mulgEEHhQ2YOXAyIW/qhrMMaQOuB7Y51VdUaVXDQbfumoBwPwdGWrB TFk3bxX3U0NuvFIPqIk8HTsqtBq1anU1eaSR6dZ+EJ1FO2sJyf3QVmESSJBIRwQ5qJxJ UJGsYoj83WiSweQ/TYyzNCB/U3hKETP1yYqwoXEmJZisFe0GFyhWjW9Hi0xyHhfmkzVf 60ce646SPMd/mTWf3TkBjhAjRRSfhqIj/fGBvL/pAZY9qUJAtB4aSOYU2ji9PGm22VZ2 FIcw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1729261342; x=1729866142; 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=2VYQreMfyRdeoxcq5ky4/NXrTqBolA5KzEeLeD3cC2U=; b=B9d1zJVK5TjsQek2d+k8FGnmDKTfrfoLojVk3tw2hVGpg/jw8X2R5vbENu6sLXoqyT 8wOlD4cgFSYEhI89y5C+aG7CymodEyhtEIeFbuFO6o6/nZcrH8Hf+FCnk0aKnHuHTg6n 2rvzuv2Z/2yZkJx7qQNFz4hGhVx16uefCRNjoSty2fxjSLmutRj9bb0DIvK3balEFjNP cYcqMT9AYaN29p+GwM+kDuL2l/KhRG2s/2/778XB7ymYMDfHhfK6ogdAo0F3/HJm1up+ ZrsFjAlF4GqBfGuU1I0b+f8quafCofmTreFAo+jRgPTEDaGjSVo3IZfx8MAj+Dzjn3Ly U9ow== X-Gm-Message-State: AOJu0YxjNP9vJ3y2U/eSaaRzOCNFiBZcAuXy0cLWS3EwdsMekUgp/0ZI mEu7/hCxshUC/uXQtRzi0lf1mLvyV52bsQkp3tKakNAxqW282nyOlEGnbg== X-Google-Smtp-Source: AGHT+IETTNF8g4IY/Uvr+BoyZGEbZif0a2J0vAm+jqak3YEtd4ZG0QmxKieSbRHpVV4wFvE6AvtRgA== X-Received: by 2002:a17:907:2cc6:b0:a9a:2a56:91e with SMTP id a640c23a62f3a-a9a6996b20dmr290274966b.6.1729261341697; Fri, 18 Oct 2024 07:22:21 -0700 (PDT) Received: from x1c10.dc1.ventanamicro.com (ip-149-172-150-237.um42.pools.vodafone-ip.de. [149.172.150.237]) by smtp.gmail.com with ESMTPSA id a640c23a62f3a-a9a68c2677esm102812166b.188.2024.10.18.07.22.20 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 18 Oct 2024 07:22:21 -0700 (PDT) From: Robin Dapp X-Google-Original-From: Robin Dapp To: gcc-patches@gcc.gnu.org Cc: rdapp.gcc@gmail.com, rguenther@suse.de, richard.sandiford@arm.com, jeffreyalaw@gmail.com, ams@baylibre.com Subject: [PATCH v2 0/8] Add maskload else operand. Date: Fri, 18 Oct 2024 16:22:12 +0200 Message-ID: <20241018142220.173482-1-rdapp@ventanamicro.com> X-Mailer: git-send-email 2.47.0 MIME-Version: 1.0 X-Spam-Status: No, score=-3.2 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, 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.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org Hi, finally, after many distractions, v2 of this series. Main changes from v1: - Restrict to types/modes with padding thanks to Richi's suggestion. - Return an array of supported else values and let the vectorizer choose. - Undefined else value for GCN. Bootstrapped and regtested on Power10, x86 and aarch64. Regtested on rv64gcv. Testing on GCN would be much appreciated. Robin Dapp (8): docs: Document maskload else operand and behavior. ifn: Add else-operand handling. tree-ifcvt: Enforce zero else value after maskload. vect: Add maskload else value support. aarch64: Add masked-load else operands. gcn: Add else operand to masked loads. i386: Add else operand to masked loads. RISC-V: Add else operand to masked loads [PR115336]. .../aarch64/aarch64-sve-builtins-base.cc | 58 +++- gcc/config/aarch64/aarch64-sve-builtins.cc | 5 + gcc/config/aarch64/aarch64-sve-builtins.h | 1 + gcc/config/aarch64/aarch64-sve.md | 47 +++- gcc/config/aarch64/aarch64-sve2.md | 3 +- gcc/config/aarch64/predicates.md | 4 + gcc/config/gcn/gcn-valu.md | 12 +- gcc/config/gcn/predicates.md | 2 + gcc/config/i386/i386-expand.cc | 26 +- gcc/config/i386/predicates.md | 4 + gcc/config/i386/sse.md | 124 +++++---- gcc/config/riscv/autovec.md | 45 +-- gcc/config/riscv/predicates.md | 3 + gcc/config/riscv/riscv-v.cc | 26 +- gcc/doc/md.texi | 63 +++-- gcc/internal-fn.cc | 131 +++++++-- gcc/internal-fn.h | 15 +- gcc/optabs-query.cc | 59 ++-- gcc/optabs-query.h | 3 +- gcc/optabs-tree.cc | 62 +++-- gcc/optabs-tree.h | 8 +- .../gcc.target/riscv/rvv/autovec/pr115336.c | 20 ++ .../gcc.target/riscv/rvv/autovec/pr116059.c | 13 + gcc/tree-if-conv.cc | 112 ++++++-- gcc/tree-vect-data-refs.cc | 77 ++++-- gcc/tree-vect-patterns.cc | 18 +- gcc/tree-vect-slp.cc | 22 +- gcc/tree-vect-stmts.cc | 257 ++++++++++++++---- gcc/tree-vectorizer.h | 11 +- 29 files changed, 943 insertions(+), 288 deletions(-) create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/autovec/pr115336.c create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/autovec/pr116059.c