{"id":2232005,"url":"http://patchwork.ozlabs.org/api/1.1/patches/2232005/?format=json","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=json","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=json","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=json","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":"","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 ; 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 ; 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 ; 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 ; 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 ; Sat, 02 May 2026 01:36:14 +0000 (GMT)","by mail-pl1-f199.google.com with SMTP id\n d9443c01a7336-2a90510a6d1so19683595ad.0\n for ; 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 ","To":"gcc-patches@gcc.gnu.org","Cc":"Andrew Pinski ","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 ","List-Unsubscribe":",\n ","List-Archive":"","List-Post":"","List-Help":"","List-Subscribe":",\n ","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 \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"]}