Patch Detail
get:
Show a patch.
patch:
Update a patch.
put:
Update a patch.
GET /api/1.2/patches/2223476/?format=api
{ "id": 2223476, "url": "http://patchwork.ozlabs.org/api/1.2/patches/2223476/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/patch/20260415110724.3B6F14BA2E11@sourceware.org/", "project": { "id": 17, "url": "http://patchwork.ozlabs.org/api/1.2/projects/17/?format=api", "name": "GNU Compiler Collection", "link_name": "gcc", "list_id": "gcc-patches.gcc.gnu.org", "list_email": "gcc-patches@gcc.gnu.org", "web_url": null, "scm_url": null, "webscm_url": null, "list_archive_url": "", "list_archive_url_format": "", "commit_url_format": "" }, "msgid": "<20260415110724.3B6F14BA2E11@sourceware.org>", "list_archive_url": null, "date": "2026-04-15T11:06:56", "name": "tree-optimization/124843 - vectorize inversion of scalar bools", "commit_ref": null, "pull_url": null, "state": "new", "archived": false, "hash": "c693c7b607c6da12dec502e0b4c1762d64cb38c3", "submitter": { "id": 4338, "url": "http://patchwork.ozlabs.org/api/1.2/people/4338/?format=api", "name": "Richard Biener", "email": "rguenther@suse.de" }, "delegate": null, "mbox": "http://patchwork.ozlabs.org/project/gcc/patch/20260415110724.3B6F14BA2E11@sourceware.org/mbox/", "series": [ { "id": 499969, "url": "http://patchwork.ozlabs.org/api/1.2/series/499969/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/list/?series=499969", "date": "2026-04-15T11:06:56", "name": "tree-optimization/124843 - vectorize inversion of scalar bools", "version": 1, "mbox": "http://patchwork.ozlabs.org/series/499969/mbox/" } ], "comments": "http://patchwork.ozlabs.org/api/patches/2223476/comments/", "check": "pending", "checks": "http://patchwork.ozlabs.org/api/patches/2223476/checks/", "tags": {}, "related": [], "headers": { "Return-Path": "<gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org>", "X-Original-To": [ "incoming@patchwork.ozlabs.org", "gcc-patches@gcc.gnu.org" ], "Delivered-To": [ "patchwork-incoming@legolas.ozlabs.org", "gcc-patches@gcc.gnu.org" ], "Authentication-Results": [ "legolas.ozlabs.org;\n\tdkim=pass (1024-bit key;\n unprotected) header.d=suse.de header.i=@suse.de header.a=rsa-sha256\n header.s=susede2_rsa header.b=WYRNPR3Y;\n\tdkim=pass header.d=suse.de header.i=@suse.de header.a=ed25519-sha256\n header.s=susede2_ed25519 header.b=+n92sc6L;\n\tdkim=pass (1024-bit key) header.d=suse.de header.i=@suse.de\n header.a=rsa-sha256 header.s=susede2_rsa header.b=WYRNPR3Y;\n\tdkim=neutral header.d=suse.de header.i=@suse.de header.a=ed25519-sha256\n header.s=susede2_ed25519 header.b=+n92sc6L;\n\tdkim-atps=neutral", "legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=2620:52:6:3111::32; helo=vm01.sourceware.org;\n envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org;\n receiver=patchwork.ozlabs.org)", "sourceware.org;\n\tdkim=pass (1024-bit key,\n unprotected) header.d=suse.de header.i=@suse.de header.a=rsa-sha256\n header.s=susede2_rsa header.b=WYRNPR3Y;\n\tdkim=pass header.d=suse.de header.i=@suse.de header.a=ed25519-sha256\n header.s=susede2_ed25519 header.b=+n92sc6L;\n\tdkim=pass (1024-bit key) header.d=suse.de header.i=@suse.de\n header.a=rsa-sha256 header.s=susede2_rsa header.b=WYRNPR3Y;\n\tdkim=neutral header.d=suse.de header.i=@suse.de header.a=ed25519-sha256\n header.s=susede2_ed25519 header.b=+n92sc6L", "sourceware.org;\n dmarc=pass (p=none dis=none) header.from=suse.de", "sourceware.org; spf=pass smtp.mailfrom=suse.de", "server2.sourceware.org;\n arc=none smtp.remote-ip=195.135.223.130", "smtp-out1.suse.de;\n\tnone" ], "Received": [ "from vm01.sourceware.org (vm01.sourceware.org\n [IPv6:2620:52:6:3111::32])\n\t(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n\t key-exchange x25519 server-signature ECDSA (secp384r1) server-digest SHA384)\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4fwddp0V84z1yCv\n\tfor <incoming@patchwork.ozlabs.org>; Wed, 15 Apr 2026 21:07:26 +1000 (AEST)", "from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 3B6F14BA2E11\n\tfor <incoming@patchwork.ozlabs.org>; Wed, 15 Apr 2026 11:07:24 +0000 (GMT)", "from smtp-out1.suse.de (smtp-out1.suse.de [195.135.223.130])\n by sourceware.org (Postfix) with ESMTPS id BF8494BA540B\n for <gcc-patches@gcc.gnu.org>; Wed, 15 Apr 2026 11:06:57 +0000 (GMT)", "from murzim.nue2.suse.org (unknown [10.168.4.243])\n (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest\n SHA256)\n (No client certificate requested)\n by smtp-out1.suse.de (Postfix) with ESMTPS id C15AF6A7CE\n for <gcc-patches@gcc.gnu.org>; Wed, 15 Apr 2026 11:06:56 +0000 (UTC)" ], "DKIM-Filter": [ "OpenDKIM Filter v2.11.0 sourceware.org 3B6F14BA2E11", "OpenDKIM Filter v2.11.0 sourceware.org BF8494BA540B" ], "DMARC-Filter": "OpenDMARC Filter v1.4.2 sourceware.org BF8494BA540B", "ARC-Filter": "OpenARC Filter v1.0.0 sourceware.org BF8494BA540B", "ARC-Seal": "i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1776251217; cv=none;\n b=rp9dUMH+kKVwLTNcs+PVTIFeEPHBQ011qUK/NSw/zQl0Jzp1u2wsqKBpH+PehvSmbcjAtFAiup0uyaoPwL6HN7n8kCr/fw5EFIWKIkZMXEkc4dbTHeekcAomYdNoU+kgG+wibIKXliGw3u2AmMzNivBBfYj6FO6APH5Zb3ws2VU=", "ARC-Message-Signature": "i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1776251217; c=relaxed/simple;\n bh=Jayb8cFMfLFRIbO5U5CXirNBKQE6d48JapvQuT2y+oU=;\n h=DKIM-Signature:DKIM-Signature:DKIM-Signature:DKIM-Signature:Date:\n From:To:Subject:MIME-Version;\n b=s5OcPDC+6pZC3Rsq64FjirYP2dXYyoT7wzwIo43EkqJ7fJ+1tM1HDPnrF9Z0VJFP2pW4wtMFmBAMfmjanAi25HDyKR2rSl+OSp6MQ9x/pB9tscz82Kck9LKA7Kp8YJ5fvdRDhHyTB3uWOZmOzeamSJQZKbGKhv1MXnwMAOat0Dg=", "ARC-Authentication-Results": "i=1; server2.sourceware.org", "DKIM-Signature": [ "v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.de;\n s=susede2_rsa;\n t=1776251216;\n h=from:from:reply-to:date:date:to:to:cc:mime-version:mime-version:\n content-type:content-type; bh=d1rRjRqu6Bz/afNSZJqIi1lZ0hZ2kp6q1P7IIBUIErY=;\n b=WYRNPR3YX9CfxO7TaK2fGAUJHQSGr2ZD6ffi1KcCDl21ap20E+0xbXGrhhahnN6enLSmAa\n LEjx5nfuDBADMM31OW2hJ9hIhu30C/FMfu2nwE3ILa+FNqEt9eKvUVbxAlBJcFrDsB5o5p\n VBhIE9NDHXWQJc7t9NOo2WSKFndU8p4=", "v=1; a=ed25519-sha256; c=relaxed/relaxed; d=suse.de;\n s=susede2_ed25519; t=1776251216;\n h=from:from:reply-to:date:date:to:to:cc:mime-version:mime-version:\n content-type:content-type; bh=d1rRjRqu6Bz/afNSZJqIi1lZ0hZ2kp6q1P7IIBUIErY=;\n b=+n92sc6Ld0qf357T5uPQyl/yD01vKUKITSBTYdR7FA+FkTU6BDlWgufS1rZI+6TMvlrT8/\n LhfdCh1zT/mKR4CA==", "v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.de;\n s=susede2_rsa;\n t=1776251216;\n h=from:from:reply-to:date:date:to:to:cc:mime-version:mime-version:\n content-type:content-type; bh=d1rRjRqu6Bz/afNSZJqIi1lZ0hZ2kp6q1P7IIBUIErY=;\n b=WYRNPR3YX9CfxO7TaK2fGAUJHQSGr2ZD6ffi1KcCDl21ap20E+0xbXGrhhahnN6enLSmAa\n LEjx5nfuDBADMM31OW2hJ9hIhu30C/FMfu2nwE3ILa+FNqEt9eKvUVbxAlBJcFrDsB5o5p\n VBhIE9NDHXWQJc7t9NOo2WSKFndU8p4=", "v=1; a=ed25519-sha256; c=relaxed/relaxed; d=suse.de;\n s=susede2_ed25519; t=1776251216;\n h=from:from:reply-to:date:date:to:to:cc:mime-version:mime-version:\n content-type:content-type; bh=d1rRjRqu6Bz/afNSZJqIi1lZ0hZ2kp6q1P7IIBUIErY=;\n b=+n92sc6Ld0qf357T5uPQyl/yD01vKUKITSBTYdR7FA+FkTU6BDlWgufS1rZI+6TMvlrT8/\n LhfdCh1zT/mKR4CA==" ], "Date": "Wed, 15 Apr 2026 13:06:56 +0200 (CEST)", "From": "Richard Biener <rguenther@suse.de>", "To": "gcc-patches@gcc.gnu.org", "Subject": "[PATCH] tree-optimization/124843 - vectorize inversion of scalar\n bools", "MIME-Version": "1.0", "Content-Type": "text/plain; charset=US-ASCII", "X-Spamd-Result": "default: False [-1.80 / 50.00]; BAYES_HAM(-3.00)[100.00%];\n MISSING_MID(2.50)[]; NEURAL_HAM_LONG(-1.00)[-0.998];\n NEURAL_HAM_SHORT(-0.20)[-0.991]; MIME_GOOD(-0.10)[text/plain];\n TO_MATCH_ENVRCPT_ALL(0.00)[]; RCPT_COUNT_ONE(0.00)[1];\n MISSING_XM_UA(0.00)[]; FROM_EQ_ENVFROM(0.00)[];\n TO_DN_NONE(0.00)[]; ARC_NA(0.00)[]; RCVD_COUNT_ZERO(0.00)[0];\n FUZZY_RATELIMITED(0.00)[rspamd.com];\n DKIM_SIGNED(0.00)[suse.de:s=susede2_rsa,suse.de:s=susede2_ed25519];\n MIME_TRACE(0.00)[0:+]; FROM_HAS_DN(0.00)[]", "X-BeenThere": "gcc-patches@gcc.gnu.org", "X-Mailman-Version": "2.1.30", "Precedence": "list", "List-Id": "Gcc-patches mailing list <gcc-patches.gcc.gnu.org>", "List-Unsubscribe": "<https://gcc.gnu.org/mailman/options/gcc-patches>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe>", "List-Archive": "<https://gcc.gnu.org/pipermail/gcc-patches/>", "List-Post": "<mailto:gcc-patches@gcc.gnu.org>", "List-Help": "<mailto:gcc-patches-request@gcc.gnu.org?subject=help>", "List-Subscribe": "<https://gcc.gnu.org/mailman/listinfo/gcc-patches>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe>", "Errors-To": "gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org", "Message-Id": "<20260415110724.3B6F14BA2E11@sourceware.org>" }, "content": "Scalar bool inversion vectorization fails due to bools having\nbit precision. The following adds a pattern to rewrite it\nto the corresponding BIT_XOR_EXPR operation which we can vectorize\njust fine.\n\nBootstrapped and tested on x86_64-unknown-linux-gnu, queued for stage1.\n\n\tPR tree-optimization/124843\n\t* tree-vect-patterns.cc (vect_recog_bool_pattern): Recognize\n\tBIT_NOT_EXPR of scalar bools and rewrite with BIT_XOR_EXPR.\n\n\t* gcc.dg/vect/vect-bool-4.c: New testcase.\n---\n gcc/testsuite/gcc.dg/vect/vect-bool-4.c | 26 +++++++++++++++++++++++++\n gcc/tree-vect-patterns.cc | 14 +++++++++++++\n 2 files changed, 40 insertions(+)\n create mode 100644 gcc/testsuite/gcc.dg/vect/vect-bool-4.c", "diff": "diff --git a/gcc/testsuite/gcc.dg/vect/vect-bool-4.c b/gcc/testsuite/gcc.dg/vect/vect-bool-4.c\nnew file mode 100644\nindex 00000000000..8e528beb06c\n--- /dev/null\n+++ b/gcc/testsuite/gcc.dg/vect/vect-bool-4.c\n@@ -0,0 +1,26 @@\n+#include \"tree-vect.h\"\n+\n+static void __attribute__((noipa))\n+negate (bool * x, unsigned int n)\n+{\n+ for (unsigned int i = 0; i < n; i++)\n+ x[i] = ! x[i];\n+}\n+\n+int main()\n+{\n+ check_vect ();\n+ bool x[128], res[128];\n+#pragma GCC novector\n+ for (int i = 0; i < 128; ++i)\n+ {\n+ x[i] = i % 3 == 0;\n+ res[i] = !x[i];\n+ }\n+ negate (x, 128);\n+ if (__builtin_memcmp (x, res, 128) != 0)\n+ abort ();\n+ return 0;\n+}\n+\n+/* { dg-final { scan-tree-dump \"optimized: loop vectorized\" \"vect\" } } */\ndiff --git a/gcc/tree-vect-patterns.cc b/gcc/tree-vect-patterns.cc\nindex a5413ff00a3..259626a1e7b 100644\n--- a/gcc/tree-vect-patterns.cc\n+++ b/gcc/tree-vect-patterns.cc\n@@ -6127,6 +6127,20 @@ vect_recog_bool_pattern (vec_info *vinfo,\n *type_out = vectype;\n vect_pattern_detected (\"vect_recog_bool_pattern\", last_stmt);\n \n+ return pattern_stmt;\n+ }\n+ else if (rhs_code == BIT_NOT_EXPR\n+\t && !vect_use_mask_type_p (stmt_vinfo))\n+ {\n+ /* When we have a bool data inversion rewrite that to an XOR to\n+\t cope with the fact that we'll use a wider vector element type. */\n+ lhs = vect_recog_temp_ssa_var (TREE_TYPE (lhs), NULL);\n+ pattern_stmt\n+\t= gimple_build_assign (lhs, BIT_XOR_EXPR, var,\n+\t\t\t build_all_ones_cst (TREE_TYPE (var)));\n+ *type_out = NULL_TREE;\n+ vect_pattern_detected (\"vect_recog_bool_pattern\", last_stmt);\n+\n return pattern_stmt;\n }\n else if ((rhs_code == BIT_XOR_EXPR\n", "prefixes": [] }