Patch Detail
get:
Show a patch.
patch:
Update a patch.
put:
Update a patch.
GET /api/1.1/patches/2232005/?format=api
{ "id": 2232005, "url": "http://patchwork.ozlabs.org/api/1.1/patches/2232005/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/patch/20260502013607.252154-1-andrew.pinski@oss.qualcomm.com/", "project": { "id": 17, "url": "http://patchwork.ozlabs.org/api/1.1/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 }, "msgid": "<20260502013607.252154-1-andrew.pinski@oss.qualcomm.com>", "date": "2026-05-02T01:36:07", "name": "[PUSHED] match: Fix `(A>>bool) EQ 0 -> (unsigned)A LE bool` pattern for vector types [PR125139]", "commit_ref": null, "pull_url": null, "state": "new", "archived": false, "hash": "94fa546f033862f093830e1e489ecead28911445", "submitter": { "id": 91428, "url": "http://patchwork.ozlabs.org/api/1.1/people/91428/?format=api", "name": "Andrew Pinski", "email": "andrew.pinski@oss.qualcomm.com" }, "delegate": null, "mbox": "http://patchwork.ozlabs.org/project/gcc/patch/20260502013607.252154-1-andrew.pinski@oss.qualcomm.com/mbox/", "series": [ { "id": 502510, "url": "http://patchwork.ozlabs.org/api/1.1/series/502510/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/list/?series=502510", "date": "2026-05-02T01:36:07", "name": "[PUSHED] match: Fix `(A>>bool) EQ 0 -> (unsigned)A LE bool` pattern for vector types [PR125139]", "version": 1, "mbox": "http://patchwork.ozlabs.org/series/502510/mbox/" } ], "comments": "http://patchwork.ozlabs.org/api/patches/2232005/comments/", "check": "pending", "checks": "http://patchwork.ozlabs.org/api/patches/2232005/checks/", "tags": {}, "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 (2048-bit key;\n unprotected) header.d=qualcomm.com header.i=@qualcomm.com header.a=rsa-sha256\n header.s=qcppdkim1 header.b=ojathvj+;\n\tdkim=pass (2048-bit key;\n unprotected) header.d=oss.qualcomm.com header.i=@oss.qualcomm.com\n header.a=rsa-sha256 header.s=google header.b=g26HbL5T;\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 (2048-bit key,\n unprotected) header.d=qualcomm.com header.i=@qualcomm.com header.a=rsa-sha256\n header.s=qcppdkim1 header.b=ojathvj+;\n\tdkim=pass (2048-bit key,\n unprotected) header.d=oss.qualcomm.com header.i=@oss.qualcomm.com\n header.a=rsa-sha256 header.s=google header.b=g26HbL5T", "sourceware.org; dmarc=none (p=none dis=none)\n header.from=oss.qualcomm.com", "sourceware.org;\n spf=pass smtp.mailfrom=oss.qualcomm.com", "server2.sourceware.org;\n arc=none smtp.remote-ip=205.220.180.131" ], "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 4g6r9X43qnz1yJ0\n\tfor <incoming@patchwork.ozlabs.org>; Sat, 02 May 2026 11:36:45 +1000 (AEST)", "from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 2DA70469D695\n\tfor <incoming@patchwork.ozlabs.org>; Sat, 2 May 2026 01:36:43 +0000 (GMT)", "from mx0b-0031df01.pphosted.com (mx0b-0031df01.pphosted.com\n [205.220.180.131])\n by sourceware.org (Postfix) with ESMTPS id 44A38469D686\n for <gcc-patches@gcc.gnu.org>; Sat, 2 May 2026 01:36:15 +0000 (GMT)", "from pps.filterd (m0279872.ppops.net [127.0.0.1])\n by mx0a-0031df01.pphosted.com (8.18.1.11/8.18.1.11) with ESMTP id\n 641GLS4I497888\n for <gcc-patches@gcc.gnu.org>; Sat, 2 May 2026 01:36:14 GMT", "from mail-pl1-f199.google.com (mail-pl1-f199.google.com\n [209.85.214.199])\n by mx0a-0031df01.pphosted.com (PPS) with ESMTPS id 4dvchkch3b-1\n (version=TLSv1.3 cipher=TLS_AES_128_GCM_SHA256 bits=128 verify=NOT)\n for <gcc-patches@gcc.gnu.org>; Sat, 02 May 2026 01:36:14 +0000 (GMT)", "by mail-pl1-f199.google.com with SMTP id\n d9443c01a7336-2a90510a6d1so19683595ad.0\n for <gcc-patches@gcc.gnu.org>; Fri, 01 May 2026 18:36:14 -0700 (PDT)", "from xeond2.wrightpinski.org ([98.97.38.95])\n by smtp.gmail.com with ESMTPSA id\n d9443c01a7336-2b9cae3b8e6sm32266495ad.65.2026.05.01.18.36.11\n (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);\n Fri, 01 May 2026 18:36:11 -0700 (PDT)" ], "DKIM-Filter": [ "OpenDKIM Filter v2.11.0 sourceware.org 2DA70469D695", "OpenDKIM Filter v2.11.0 sourceware.org 44A38469D686" ], "DMARC-Filter": "OpenDMARC Filter v1.4.2 sourceware.org 44A38469D686", "ARC-Filter": "OpenARC Filter v1.0.0 sourceware.org 44A38469D686", "ARC-Seal": "i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1777685775; cv=none;\n b=XjsKAxA7BE9cvfpjtLJQ048sNrGC1cDT+U9WNsijW7ar3kqguh87FZT9cqVN9ThdwngLpwxC4EnqVYPavLsU88yWLEEPkSGA2GddO9hCAOy5HkFEwUk1cdnityTOSjYnkewgo2QmRwaU6+aRfzZ8O/9SJFE6/AEvnxZqOuUT7mc=", "ARC-Message-Signature": "i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1777685775; c=relaxed/simple;\n bh=twDfJsA5zxDNVLmh2CmBem+iZ/Gc/4bcRNXa4RCuFvM=;\n h=DKIM-Signature:DKIM-Signature:From:To:Subject:Date:Message-ID:\n MIME-Version;\n b=d7/SanwmMNGdIF7rW3WbAIS3CWWQ//La9TUX3rPwq8Os1JO9aDKc751cHKC16WACCkohzH/1bUQA4eaSA2+HIogXRKUOWAAYsLbpLgVH5/OkBB5MkLlut2xG5AQO2tC1Xvhpb4D2+xjMGxDYj3Kn8Gn96ec+ELAyNrecQOKt7L8=", "ARC-Authentication-Results": "i=1; server2.sourceware.org", "DKIM-Signature": [ "v=1; a=rsa-sha256; c=relaxed/relaxed; d=qualcomm.com; h=\n cc:content-transfer-encoding:date:from:message-id:mime-version\n :subject:to; s=qcppdkim1; bh=GgfsO1LPR4INCZSgUBFTdijOJr2aqj70xcY\n xQ2dDm7o=; b=ojathvj+5GWBlvfH7Fe1b1zHHn1YSJGh6/otstXnd8BKkTvZVPt\n hrhzNVsfiVbPOuFBMkgJ9FrYsHLeiM1/EVSy2aYVDUok1Kgs1GhzjBczMjwzJkex\n P4q71nsM/4QL7hpBZb33XXDRih8r8nFQHD6oQjXYJ8xf4MGc2xPouVgfwE4KpmP5\n RkiXGNLaIWcBNuOwWj+Z2UQThmUAP/H14Ee3cIChtPneLFTnd812m+/PXpdRauhL\n QMdHOE7LnKTHlkFPFiL7GOUDUzUalkzKb4sw/a7GnBbIXP7/W3lg7AgE9xqlTjcm\n ljTs0gKdxEzkUsUpr6xWP8pNM835zF8WjFQ==", "v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=oss.qualcomm.com; s=google; t=1777685773; x=1778290573; darn=gcc.gnu.org;\n h=content-transfer-encoding:mime-version:message-id:date:subject:cc\n :to:from:from:to:cc:subject:date:message-id:reply-to;\n bh=GgfsO1LPR4INCZSgUBFTdijOJr2aqj70xcYxQ2dDm7o=;\n b=g26HbL5Tyfm4Tw1UMdAnG06HpvmBUqqC6OEoh3BVou1OppXvFGfc6W2obnBOz2ztIp\n VDGJUxDqQ2Sz2sJemjIqFjSLu4Ai35mD2xShwLN2pgQE3UNz96NIVCASpqaAgXcPD8cQ\n MPFzS0VPdavScIEA0Bn0tOJKgLy4ERaSSr1um6mSeoPgsQDeodXnJWakLpHJBFOPPbtk\n 1qXfLVydxTei2hCv/uoJbEHva9+70JUpXYsMsqvxe4LSEEiibb3H7y5Qyr+Bu7otaOjc\n ELQMHRNB9e7b/yZZrUJzt9CYPgfz472MjYiwC4u3S2yRZr0RIoxkntSjpKWnm1MRtDQM\n ZUzA==" ], "X-Google-DKIM-Signature": "v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1777685773; x=1778290573;\n h=content-transfer-encoding:mime-version:message-id:date:subject:cc\n :to:from:x-gm-gg:x-gm-message-state:from:to:cc:subject:date\n :message-id:reply-to;\n bh=GgfsO1LPR4INCZSgUBFTdijOJr2aqj70xcYxQ2dDm7o=;\n b=HAyc0u3VgF1hAs67bOmPOWWxk51yBlpKT/Jh3j8U325k2r/jMsAZ8WfYeLv3ov7PDq\n eba/eb+m7hBTtIJ6d498aXPENm20P43xfkMWeQUEUWcJNU3EFUjIhl2HqSuenWLMuR4t\n g8g7iiErnEw54/faAquukgbYIC8truazJoD6JzIFl0EoAGFkGm1WimiXGQCA/RuYFny2\n ehrETdhrhuHw7CL4bs0ybkSBUVNZWidCXri7ZtcGyWQ8qkizgHmXOy7GmYUuUoK93vI/\n DFg+kb44d8sDD5BCP4bkuxVrCar+eGPeAagKysK/NvjYo1jePhAakmWeSFohszkJ+DZq\n UjBw==", "X-Gm-Message-State": "AOJu0YytmlyjBPcvSRP5w9GuxwV4aBIIZ1qlzot9knWVwnVZjKyXSQAE\n 0E6t6xyhJAiBXXMVG5kYS26dqrgmCUd2qCoWoYD+CGNVJsciY/p1UecnT2G2tWN2xzRllwu05Mb\n sVRjDSB3WCjsEHYL5RoKhR8PstX8725xYTMD1sj7igdCkyttZP//iCmY7/cjbocNBWG7P", "X-Gm-Gg": "AeBDievHD4O/OgFD24yN20PqQrzgH1pMMmjaZpo4VLso9pGhRv5RK4pxVzl5YxO4peh\n RCYPy57mhdbaL41RPN7GKh6lFe59o6WtuvRaW3m3lHObTDAo0k3V/xQYeLHUWeMlFGcyO4lumt7\n YOn04xbiPluU9hBSvLl9B4765LrQageGCBc5V0pLbGaHWrwgRBrS/q9pZoP0ms4b/eeU0pmKc0H\n J0OzXk5/bftrRt0oRgYYEgWokKFl0aKF6WtEdowteaDt8ra5fP4RDo2U4WWfrqg7/pZEvzDZn95\n oHLaXXkHCMCtWbbzHQqQwya9iI3ODJsDvdeqF6I/eZMx3UqZo1XI+MR3G2GJgGQyWRFNhrBbRp+\n N9H6zzoFdf2Wx0hBJomqnjZvBZ5ENxOHuK5/2xi6w08O8UsoJXL58EMcZxA==", "X-Received": [ "by 2002:a17:902:8481:b0:2b0:4f16:22f7 with SMTP id\n d9443c01a7336-2b9a44c016cmr52740815ad.16.1777685772458;\n Fri, 01 May 2026 18:36:12 -0700 (PDT)", "by 2002:a17:902:8481:b0:2b0:4f16:22f7 with SMTP id\n d9443c01a7336-2b9a44c016cmr52740695ad.16.1777685771934;\n Fri, 01 May 2026 18:36:11 -0700 (PDT)" ], "From": "Andrew Pinski <andrew.pinski@oss.qualcomm.com>", "To": "gcc-patches@gcc.gnu.org", "Cc": "Andrew Pinski <andrew.pinski@oss.qualcomm.com>", "Subject": "[PUSHED] match: Fix `(A>>bool) EQ 0 -> (unsigned)A LE bool` pattern\n for vector types [PR125139]", "Date": "Fri, 1 May 2026 18:36:07 -0700", "Message-ID": "<20260502013607.252154-1-andrew.pinski@oss.qualcomm.com>", "X-Mailer": "git-send-email 2.43.0", "MIME-Version": "1.0", "Content-Transfer-Encoding": "8bit", "X-Proofpoint-Spam-Details-Enc": "AW1haW4tMjYwNTAyMDAxNCBTYWx0ZWRfX8Q5dAqIkmBav\n d5jKSPpkZBIt1ebp3QEkC6+aJ5ATQW/ogpduSj2dtpPDkKHzbJ/IUSPLY8LTk8B2eDTqcb2eN2P\n TktciVDzHpPnZV6oeVlwXsjGIhDPTKYxMqDczJSKT/phkjkGoqwcFcG/Vbj2dUQPfVHcuYmjmpe\n LtlbMUN9gUc0z+UFTNxjRIsYlzaiOmymz4tH15oq5FVHtfY5yJFvNg2iOFi4aRfkXxcd9RbRuJl\n K5P7qKCopo3HKKVxdPMZX8L3TVEqyFAPTMX53YmabidShASLC1Mdf0H8A0tJM0RDZGvKxg4hOYg\n HTR+9VdJf88uGntm/SCIWMTb1NpI8JMujPsyPwVACFfLiZ3GYoBvgc3L6KLp+WhXibSYctIdf1X\n QwmqsEmyyvu8LXg6BoCU2l6R4MEgFhDO2KKWzMimb3UfLAbDnuEz8qirHe1D2+2YJLQaSPsY3NA\n F91nHraB04KvdmvfB7Q==", "X-Authority-Analysis": "v=2.4 cv=Zdkt8MVA c=1 sm=1 tr=0 ts=69f5550e cx=c_pps\n a=JL+w9abYAAE89/QcEU+0QA==:117 a=zSc8QJ3clla4Uiv8JlCtoQ==:17\n a=NGcC8JguVDcA:10 a=s4-Qcg_JpJYA:10 a=VkNPw1HP01LnGYTKEx00:22\n a=u7WPNUs3qKkmUXheDGA7:22 a=yx91gb_oNiZeI1HMLzn7:22 a=EUspDBNiAAAA:8\n a=G8bIIBuuGdCvgVlyP2wA:9 a=324X-CrmTo6CU4MGRt3R:22", "X-Proofpoint-ORIG-GUID": "bp8d8G9i0U7Va0-UIwVj3Nl5twgtuLI7", "X-Proofpoint-GUID": "bp8d8G9i0U7Va0-UIwVj3Nl5twgtuLI7", "X-Proofpoint-Virus-Version": "vendor=baseguard\n engine=ICAP:2.0.293,Aquarius:18.0.1143,Hydra:6.1.51,FMLib:17.12.100.49\n definitions=2026-05-01_07,2026-04-30_02,2025-10-01_01", "X-Proofpoint-Spam-Details": "rule=outbound_notspam policy=outbound score=0\n phishscore=0 spamscore=0 clxscore=1015 lowpriorityscore=0 impostorscore=0\n bulkscore=0 suspectscore=0 malwarescore=0 priorityscore=1501 adultscore=0\n classifier=typeunknown authscore=0 authtc= authcc= route=outbound adjust=0\n reason=mlx scancount=1 engine=8.22.0-2604200000 definitions=main-2605020014", "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" }, "content": "This pattern does not work for vector types as written. To make it work we need to\ncreate a vec_duplicate of the `bool` value. I am not sure that is better so for\nright now this just enables the pattern only for INTEGRAL_TYPE_P types (which means\nnon-vectors).\n\nPushed as obvious after a bootstrap/test on x86_64-linux-gnu.\n\n\tPR tree-optimization/125139\n\ngcc/ChangeLog:\n\n\t* match.pd (`(A>>bool) EQ 0 -> (unsigned)A LE bool`): Enable\n\tonly for INTEGRAL_TYPE_P types.\n\ngcc/testsuite/ChangeLog:\n\n\t* gcc.dg/torture/pr125139-1.c: New test.\n\nSigned-off-by: Andrew Pinski <andrew.pinski@oss.qualcomm.com>\n---\n gcc/match.pd | 2 +-\n gcc/testsuite/gcc.dg/torture/pr125139-1.c | 10 ++++++++++\n 2 files changed, 11 insertions(+), 1 deletion(-)\n create mode 100644 gcc/testsuite/gcc.dg/torture/pr125139-1.c", "diff": "diff --git a/gcc/match.pd b/gcc/match.pd\nindex 5fed1419bdb..dd9efb82c59 100644\n--- a/gcc/match.pd\n+++ b/gcc/match.pd\n@@ -5447,7 +5447,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)\n icmp (le gt)\n (simplify\n (cmp (rshift@2 @0 zero_one_valued_p@1) integer_zerop)\n- (if (single_use (@2))\n+ (if (INTEGRAL_TYPE_P (TREE_TYPE (@0)) && single_use (@2))\n (with { tree utype = unsigned_type_for (TREE_TYPE (@0)); }\n (icmp (convert:utype @0) (convert:utype @1))))))\n #endif\ndiff --git a/gcc/testsuite/gcc.dg/torture/pr125139-1.c b/gcc/testsuite/gcc.dg/torture/pr125139-1.c\nnew file mode 100644\nindex 00000000000..8a67e7cd1a0\n--- /dev/null\n+++ b/gcc/testsuite/gcc.dg/torture/pr125139-1.c\n@@ -0,0 +1,10 @@\n+/* { dg-do compile } */\n+\n+typedef __attribute__((vector_size(4*sizeof(int)))) int v4int;\n+\n+void f(v4int *v, int a)\n+{\n+ a &= 1;\n+ *v = *v >> a;\n+ *v = *v == 0;\n+}\n", "prefixes": [ "PUSHED" ] }