[{"id":3685301,"web_url":"http://patchwork.ozlabs.org/comment/3685301/","msgid":"<7077ed1c-ab5f-4d86-983d-ec9613e10b89@oss.qualcomm.com>","list_archive_url":null,"date":"2026-05-02T14:37:09","subject":"Re: [PUSHED] match: Fix `(A>>bool) EQ 0 -> (unsigned)A LE bool`\n pattern for vector types [PR125139]","submitter":{"id":92310,"url":"http://patchwork.ozlabs.org/api/people/92310/","name":"Jeffrey Law","email":"jeffrey.law@oss.qualcomm.com"},"content":"On 5/1/2026 7:36 PM, Andrew Pinski wrote:\n> This pattern does not work for vector types as written. To make it work we need to\n> create a vec_duplicate of the `bool` value. I am not sure that is better so for\n> right now this just enables the pattern only for INTEGRAL_TYPE_P types (which means\n> non-vectors).\n>\n> Pushed as obvious after a bootstrap/test on x86_64-linux-gnu.\n>\n> \tPR tree-optimization/125139\n>\n> gcc/ChangeLog:\n>\n> \t* match.pd (`(A>>bool) EQ 0 -> (unsigned)A LE bool`): Enable\n> \tonly for INTEGRAL_TYPE_P types.\n>\n> gcc/testsuite/ChangeLog:\n>\n> \t* gcc.dg/torture/pr125139-1.c: New test.\nThanks again for jumping on this as well as confirming the other \nmatch.pd patches were immune to this problem.\n\njeff","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=TIZ5M6vQ;\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=ifZhZLOm;\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=TIZ5M6vQ;\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=ifZhZLOm","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.168.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 4g79Vk02GPz1yJ0\n\tfor ; Sun, 03 May 2026 00:37:47 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 5EB024A9BE76\n\tfor ; Sat, 2 May 2026 14:37:42 +0000 (GMT)","from mx0a-0031df01.pphosted.com (mx0a-0031df01.pphosted.com\n [205.220.168.131])\n by sourceware.org (Postfix) with ESMTPS id 9D7F44BBCD82\n for ; Sat, 2 May 2026 14:37:13 +0000 (GMT)","from pps.filterd (m0279864.ppops.net [127.0.0.1])\n by mx0a-0031df01.pphosted.com (8.18.1.11/8.18.1.11) with ESMTP id\n 6424es092532662\n for ; Sat, 2 May 2026 14:37:12 GMT","from mail-dy1-f198.google.com (mail-dy1-f198.google.com\n [74.125.82.198])\n by mx0a-0031df01.pphosted.com (PPS) with ESMTPS id 4dwaejgxn5-1\n (version=TLSv1.3 cipher=TLS_AES_128_GCM_SHA256 bits=128 verify=NOT)\n for ; Sat, 02 May 2026 14:37:12 +0000 (GMT)","by mail-dy1-f198.google.com with SMTP id\n 5a478bee46e88-2c0f6593ef5so4285476eec.1\n for ; Sat, 02 May 2026 07:37:12 -0700 (PDT)","from [172.31.0.17] ([136.38.201.137])\n by smtp.gmail.com with ESMTPSA id\n 5a478bee46e88-2ee3bb63c5fsm8450958eec.25.2026.05.02.07.37.10\n (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128);\n Sat, 02 May 2026 07:37:10 -0700 (PDT)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org 5EB024A9BE76","OpenDKIM Filter v2.11.0 sourceware.org 9D7F44BBCD82"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 9D7F44BBCD82","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 9D7F44BBCD82","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1777732633; cv=none;\n b=Wv1TZnX9XbHJcf1bNbdgcWV2SZqAm/gZa/OgwFnOHkplDk/y9g/OpyaYyar6tpmnvwvqntTVvYgRUw+5uoL4F62pL4ftWz1M//fEaKDw2j4KcUYhVN3fdx4KOw9HnlBV+kZ5uMua2GMMXVu74v0+RO3IARycXEDQqhx6hQCJFLo=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1777732633; c=relaxed/simple;\n bh=uBLaCdoC2vbSyI4VS60r8l1dOl0EM+sm2QM3kW86AW4=;\n h=DKIM-Signature:DKIM-Signature:Message-ID:Date:MIME-Version:\n Subject:To:From;\n b=eNjGLwz7cvoeL3Gcf+DXnsbckEXpA/lNaOJqgBThWNX6W/+2OGpvxiPKAj3/wuZ3lnE96UCQYZRbvNP9fl999aEWUm17NN7yuUUuAfYW2M8nsFMDAx8qn5Uj1LoO2oAbDg0+BPazCbnhumOHvjaMyAFrcJI+fqis0I89wa6ee38=","ARC-Authentication-Results":"i=1; server2.sourceware.org","DKIM-Signature":["v=1; a=rsa-sha256; c=relaxed/relaxed; d=qualcomm.com; h=\n content-transfer-encoding:content-type:date:from:in-reply-to\n :message-id:mime-version:references:subject:to; s=qcppdkim1; bh=\n a8fx3SMQY+a/fwWCB7+KENIQ44fpvK+aZ6r9V23Zexs=; b=TIZ5M6vQBhPqM0f7\n QFxo2HqxFaXOmSh8yEzGv2hErHMLXjAAXof8y9tzPVndCWtcYonxaHTxxvg3Ni/y\n Adky5uLMsJ/fk9zAlr/WvQE5C27pyW+6ERmmffKRTvQ0KJtfo/3fWgauW4IVzpwg\n J/WDsW77xYH3NIuMTwzME/dEIFMcqT91omBZn/UwwDTMsNRRsyBOxUrfaLnhFv0b\n szmJCEltEpHSqBoNe5G9QaOgJRFDtyFXOgwwzdeBlKPBpt+yqVz5K0Rx2a1TrKRS\n Io4MBzgXtOm9oKS4fg109xuTUkglkfkh14ddm5PsvlEsMj+VueUOqgTk3lJESR7D\n EKplrQ==","v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=oss.qualcomm.com; s=google; t=1777732631; x=1778337431; darn=gcc.gnu.org;\n h=content-transfer-encoding:in-reply-to:from:content-language\n :references:to:subject:user-agent:mime-version:date:message-id:from\n :to:cc:subject:date:message-id:reply-to;\n bh=a8fx3SMQY+a/fwWCB7+KENIQ44fpvK+aZ6r9V23Zexs=;\n b=ifZhZLOmb2K3kzweqhubnXAh3HWJ6/lNMIEZfNwZR9Y8gpofZIatw6PFuooO7BD99X\n gLNThVyfgD8apds+RrHj5cZrE7FXdE32txiMkXKzE77LVk17zdXQwfgZvRyfJ3c7apNo\n iiBlN8AoSlw1F8xWEuAiBlmbqox/lWG/u/cbNQiIY6XvWxJTaY9wVcQt6YQ5NK8Wtcag\n Qn0XR9xKocz4H9HqLHi8ynljWCIdkSEvgnIq7ceHJUk3C0K1KT4gDSi+kk1RJkJ2JwQs\n KbOeLMgMcU7Wn20CZIFkIhBU5NJesZx8ffWWfNiL7zTwx7PyT7qltOkfm+sXS2cJKfcn\n 2CFw=="],"X-Google-DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1777732631; x=1778337431;\n h=content-transfer-encoding:in-reply-to:from:content-language\n :references:to:subject:user-agent:mime-version:date:message-id\n :x-gm-gg:x-gm-message-state:from:to:cc:subject:date:message-id\n :reply-to;\n bh=a8fx3SMQY+a/fwWCB7+KENIQ44fpvK+aZ6r9V23Zexs=;\n b=HIMijGKDrjN8FoY/LsL/9lvg93jLleBF+LFqUG60bdvkBP7/7had4DtuoLdbSxj+H3\n ah/rscekrAjRvXSrIpAoBR+REScCQ7X4EVGrDbvvief1YcuHz3Mbvn5uWw3SsJSbn42U\n bBkOu54NWBCOKQdG7iZL13cVPYhoQ/TsquHLsOPtoy4mL0l/v57yDWtZEjoyOOxt6S1S\n L5dtWro1ElYUSCeJD5y3vPEMOmVVRP9N4Hx+5WlMQs6BNA7EsG8lIvi3p7jR/x7IefBq\n 823e4PTvXk6YH9XPkDAl3UIYIYutT+14708Tst9mC0il0EmRfzh194nYbIX5wrwg0mJI\n fTZg==","X-Forwarded-Encrypted":"i=1;\n AFNElJ8VzZ71TpXEucNIGEA5ZGA+uX4R+N6UCq+T0InLUxY1lf/0x/RhT6gnbqsAEjdOAEyyk6cJL73X8TlbqQ==@gcc.gnu.org","X-Gm-Message-State":"AOJu0YxQJaf9P0vL0P22KzNn5zsL1kgEP+VtDntSiTN4UsOcVW7Akucg\n gBjUFrKaV+/gP5e6Gn5tcqVDzE+o1f9+3x4Nx5hChh2rkD9k6iFLTsQrSZthny7BZ9BR8WJTLIY\n 18Rz4OfomtSrGbtQSepLYv2JIaLkXUhDsoGxwO2+NZG+bOdOigk82Zlx1WsbK","X-Gm-Gg":"AeBDiesg9/1/chpSHB7hvKItpeJiaQnX/YEAPGHNrhbK394k1PFaYbD9vZ2DyqvwvaC\n U9MekScQ+ri//2nW6oYFQgryiC33D3GEMXSRIUzJ1TUClaNiIEcl6Wg1RrzJ1I/KpCTgnn02ZhY\n LQwxFjbKhn6CLfjtWeRqlZyPaGJW+cBNBIJhKWh/A54FjH7xj8nzeB+8O4BpZhUndvyIXye3ARR\n p5B2vwJYz3mCN8obH1zW+KsbFTVLtbia0XA48OiN/Ha5N53xS9fxQisk7YhiQSEfxaL3LeKf4D4\n Ti9g95188lu/kpCk6bRcNFiF4Z6l0/pUkYKPdDBbluOlA6KQfK8XpRQY5TmvYLqYmBjPDgE2T7L\n iW6KOzQoIg23mJzQZZmT/6MVUpTf4I8TP8Hga60HY+Omwp0OfJAOYNv61sOzd","X-Received":["by 2002:a05:7301:38a8:b0:2e2:d94d:6186 with SMTP id\n 5a478bee46e88-2efb94ab893mr1215051eec.11.1777732631482;\n Sat, 02 May 2026 07:37:11 -0700 (PDT)","by 2002:a05:7301:38a8:b0:2e2:d94d:6186 with SMTP id\n 5a478bee46e88-2efb94ab893mr1215038eec.11.1777732630869;\n Sat, 02 May 2026 07:37:10 -0700 (PDT)"],"Message-ID":"<7077ed1c-ab5f-4d86-983d-ec9613e10b89@oss.qualcomm.com>","Date":"Sat, 2 May 2026 08:37:09 -0600","MIME-Version":"1.0","User-Agent":"Mozilla Thunderbird","Subject":"Re: [PUSHED] match: Fix `(A>>bool) EQ 0 -> (unsigned)A LE bool`\n pattern for vector types [PR125139]","To":"Andrew Pinski , gcc-patches@gcc.gnu.org","References":"<20260502013607.252154-1-andrew.pinski@oss.qualcomm.com>","Content-Language":"en-US","From":"Jeffrey Law ","In-Reply-To":"<20260502013607.252154-1-andrew.pinski@oss.qualcomm.com>","Content-Type":"text/plain; charset=UTF-8; format=flowed","Content-Transfer-Encoding":"7bit","X-Proofpoint-Spam-Details-Enc":"AW1haW4tMjYwNTAyMDE0NiBTYWx0ZWRfX9IPA2o2QzoCO\n xIhg0WIJCpg0nvqJ+88Akcx+ShU0i8+xkFT1okDIuUP0TcJhN2ZI6uXSCm+hfSXBZAyMJflOqCv\n e+uOuguRidGEYhXe2lv8yJPUEDTucZA4eB6ZgL032afOGyloYmfIGQ2TUJi9cG3uLXGwJOAxV1I\n l5Im+BHKQ7h8lHvolO33Zt1RodjqG4r9fm1mBTA5gTKuTyFEjbeYIw9zCdmV2+YMy6P7YS+DpLA\n 42Jy4MQGh3tdLENK4qEFQ3s5MyTiyt7YTh+nEdfSLw4GhxFurmUs4Ze9w4LbmovlbzFq5Zx56iK\n 2d52ohPHKegPPEvLyae+0XdrC3sZNPrfFPnngxcmSKWiVwinIIJ0+D3cahMJcxV0bglIGk8BL3J\n mAMfGEUhboqXceZcfGQzl57PJLRdbobSN7LMOFcVgB0Tp9IhkIbgVPs2easd+KueW9WoCe67Be0\n 8cndKEwQEPsrHklCZcA==","X-Authority-Analysis":"v=2.4 cv=Wa48rUhX c=1 sm=1 tr=0 ts=69f60c18 cx=c_pps\n a=wEP8DlPgTf/vqF+yE6f9lg==:117 a=asGLMfRmzhnGNxaIYohjRg==:17\n a=IkcTkHD0fZMA:10 a=NGcC8JguVDcA:10 a=s4-Qcg_JpJYA:10\n a=VkNPw1HP01LnGYTKEx00:22 a=u7WPNUs3qKkmUXheDGA7:22 a=DJpcGTmdVt4CTyJn9g5Z:22\n a=ce8eR4MahCuUeicYnCsA:9 a=QEXdDO2ut3YA:10 a=bBxd6f-gb0O0v-kibOvt:22","X-Proofpoint-ORIG-GUID":"IW2VrNLh71kFuPMGlxsf_Xs20AscnFAu","X-Proofpoint-GUID":"IW2VrNLh71kFuPMGlxsf_Xs20AscnFAu","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-02_03,2026-04-30_02,2025-10-01_01","X-Proofpoint-Spam-Details":"rule=outbound_notspam policy=outbound score=0\n lowpriorityscore=0 adultscore=0 clxscore=1015 impostorscore=0 suspectscore=0\n bulkscore=0 phishscore=0 spamscore=0 malwarescore=0 priorityscore=1501\n classifier=typeunknown authscore=0 authtc= authcc= route=outbound adjust=0\n reason=mlx scancount=1 engine=8.22.0-2604200000 definitions=main-2605020146","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"}}]