From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mx0b-0031df01.pphosted.com (mx0b-0031df01.pphosted.com [205.220.180.131]) by sourceware.org (Postfix) with ESMTPS id 65D4B3858D39 for ; Tue, 9 Apr 2024 21:02:04 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 65D4B3858D39 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=quicinc.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=quicinc.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 65D4B3858D39 Authentication-Results: server2.sourceware.org; arc=pass smtp.remote-ip=205.220.180.131 ARC-Seal: i=2; a=rsa-sha256; d=sourceware.org; s=key; t=1712696526; cv=pass; b=XG03wj3UTuOPS/GDgn37QjGGHY9RNkxwjSGT/QkJSQSDbHxG2s+ajFedPh4Q3WCNhgQdNisXIeOF0PifL+FZQOH/aopOME/4KBPJQNTpkRGCJGNq/14eRd5lAjky0lvM2zuNx/4SNJYDLIo20cbb3c/WwfhSsiY2hMJyfpOmLM8= ARC-Message-Signature: i=2; a=rsa-sha256; d=sourceware.org; s=key; t=1712696526; c=relaxed/simple; bh=ASgqdP0A4lhJyfthcO4akzm5nalrt0xxXexvbOWL6xw=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=h3aV73jX1mkzYu+Wr4oV/5th1f1bUcQ9xLyodXkS4jpTSOdgs2jwqvLOx/gabvbIA/GPiUaBm0YpleEp4jUTBGCrHd0LGokjtpUcnvorziGz1oESfknHjDLFdNfO9/JUiOt33LSQifCOGGTx45B+J7Tx+nPBendiHJDrJ8rID74= ARC-Authentication-Results: i=2; server2.sourceware.org Received: from pps.filterd (m0279872.ppops.net [127.0.0.1]) by mx0a-0031df01.pphosted.com (8.17.1.24/8.17.1.24) with ESMTP id 439KJTTf026291; Tue, 9 Apr 2024 21:02:04 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=quicinc.com; h= from:to:subject:date:message-id:content-type :content-transfer-encoding:mime-version; s=qcppdkim1; bh=ASgqdP0 A4lhJyfthcO4akzm5nalrt0xxXexvbOWL6xw=; b=H3MYkomEIkqDAI3KI1Jrs8f HAcrqUFDmzqOzLad/YLJMs1JN3XROYz8zQi7B/uxzoTVUY7pNnM2U2BsAMFmqLMn 8/zHD0fD37FDlhYG1tFLcdMGUamN5veGiUY/ilBV5XsEoXtuz8Bbk3zZIN9kxkZ5 iZ5fGzhGc8TAlXIBGpMaFUE++YRgCqtAQEVU0WUQ9kj8+NYOiYXtm1VxUFrHprp3 oKD2QDMSZHWdJl7VaxG5cW6RK/JeFBylrjVcokQHuu8MqUrwAT8XDDDPskMMzvgf gDN5C1xmzMPQriJEsYTFlvu4ABKVY0tLs/xTpEOkwSnrTM7eH9GfiC4AT9aviUQ= = Received: from nam12-dm6-obe.outbound.protection.outlook.com (mail-dm6nam12lp2169.outbound.protection.outlook.com [104.47.59.169]) by mx0a-0031df01.pphosted.com (PPS) with ESMTPS id 3xdaw1rb44-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Tue, 09 Apr 2024 21:02:03 +0000 (GMT) ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=fsUod2Ok6xUGs0PKwA6EO3fWoaa3lTfSRe6wiE+EL4y6p5I7YWzdjEr4WrLb0IecafvJ0wMamlqrTBVuOsnqfY7kbq+3eau27YqfLYSh9xCNmkohbdu6yei7oTQWCuxXCbkvjPXMyPwwTWGdDNm4hpV/aD/lx3c9caD/pBIzX2rtdw8X1hCVwwg+wLHpLQrMprfo+Yvbhw3vXGL9JUhI5EaiZLY9zo3oNjY8JbTTYcYhxvOGmMPemD+TDqYvi1eRsaZW6SDF10Ue4KX6YqtuFurVWx1w82+aZ8GOKhVxG7V+6XCr68+JB7ktdhHvsWu8BX5HVUqMueksxHrUVRipfA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=ASgqdP0A4lhJyfthcO4akzm5nalrt0xxXexvbOWL6xw=; b=F1fLa0VYVQUwmmkBRQ97nvoLBmycGSpXMRdsqZvU7Eu1fYGfkS2mNSgErKEuvthYhJVygKVw7UDl4TBRmFfxioVtF9xI7mDkUmP2WoGv5sPEybjbfHqWHWRUEyH4FvGdwDS5XthlzNavr30fx7ubRMN+cNmtTPIISCQZHXRNLgJlZIj5AgSskJoy9YEq+Sa6bIxkJjdRElWNBwNQZZJn+KhvuVdZ0iQyxAzGzxpBvRb1JgZ/oI3IHNUtUf2LNcVdB493jdGgWDaKhqdAEgn7t9AjrGkF7pKvZFlm86qaEUq0F9Kme+a3Kujg2F/H9OwOpux9TpgDJvBIb/KOWQiiLw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=quicinc.com; dmarc=pass action=none header.from=quicinc.com; dkim=pass header.d=quicinc.com; arc=none Received: from DM6PR02MB4058.namprd02.prod.outlook.com (2603:10b6:5:9f::19) by SJ0PR02MB8816.namprd02.prod.outlook.com (2603:10b6:a03:3de::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.46; Tue, 9 Apr 2024 21:02:00 +0000 Received: from DM6PR02MB4058.namprd02.prod.outlook.com ([fe80::d14:4e0d:7af:617b]) by DM6PR02MB4058.namprd02.prod.outlook.com ([fe80::d14:4e0d:7af:617b%6]) with mapi id 15.20.7409.053; Tue, 9 Apr 2024 21:02:00 +0000 From: "Andrew Pinski (QUIC)" To: "gcc@gcc.gnu.org" , Richard Biener Subject: COND_EXPR (?:) and its first operand in gimple Thread-Topic: COND_EXPR (?:) and its first operand in gimple Thread-Index: AdqKwRUYj2Lro3ePRLGQf3kSknjgpQ== Date: Tue, 9 Apr 2024 21:02:00 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-messagesentrepresentingtype: 1 x-ms-publictraffictype: Email x-ms-traffictypediagnostic: DM6PR02MB4058:EE_|SJ0PR02MB8816:EE_ x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: kzhi/QQjaIfEG5ECa98jtRDJRKD1cdtCPHFr3jXw7O3OKsMJIS4K4FW+hwOp99mV4fjQruKCJgh2oAzVnks4hLKMLObBARr9xhkpTZ80oMQvtAl9pwuT81aJWTuBdMraPX21Nlqenx+3c1HX/Ph4bb5Ohuv6FSZ/IP9+E1FyAt8ImsuYoUj3GDn+bsBzz+il0Fa4MQUTTQJud/JL09OeVaX/ruSH9PEiraF8cUieitqq9Hg7KlvgUy15M3GPL4w8LywrZlY93lBS3rsPrC9Ryj/gNLko6CU6mSxrf2oSJh1jNPeAmiZbJR4IYYVW9i7nokc3khVGrA5NvqNlesvlHVldIwzFW2pXb6r2M0+pSFg3R2yu2maRy5B6iRLPfQwN7k36Td5cNq/qk0GeF9jI7a9rL2hittJXBs1Q+rE9XSGPQw3M/SNq85iD1wElmJYCwhiMQkvJK1g9x7y8tnIzzk5ww6SSMc/63h59n37I/SU1WkhV/fxRmaw3ZIvao7WA+aW8yVgAzrtibzLwn7Rj2PaAC/kXcNyAb/EVafmf+Mavvns45QyDCWpYrBaiSc7f8KymQQmrO6OLJSDUoMSEPpT4BnbnA/EKrbNi22i/J2g2z/ZYitpkdGtlcTq1g/9aeSR4ZF56PBMXVeADxereRHOGOtHxuU7tVAHjNF65pas= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:DM6PR02MB4058.namprd02.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230031)(376005)(1800799015)(366007);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?EnwpQ4BWwNryRxxqNijNF1wrq1r3uDRcmmvH8Sp9V3waBJ9WBeD91U3C4v79?= =?us-ascii?Q?RBblH1hmOLzglAWsyY6OKuO8NXrVNtMmj2vpLN9kakSELLB6Q+T4zsQhWNRq?= =?us-ascii?Q?QIzfORPPQReBKtpFa7dapEL8OzqQKG3fpWBgKwGDFpSnE34QmokLpzGv8f6q?= =?us-ascii?Q?aBjZR6xlhmd5OcHzUEzsF4swJvPd89Pdx8Ip97GD0kIjQZM1Q0+7qsuz499r?= =?us-ascii?Q?KMjxxqHHw5mOZmSI8SI7eX5kXTWGOu4cQhRi0Nb0+xi1xbs0qPok9vNTypaw?= =?us-ascii?Q?WPvBGFRriewAQm5Kxra/K0DbvA90MtJ3Fywj1aibfiA5oOy3AALqfYXUWDi0?= =?us-ascii?Q?Pkyef/3tQQaOKaPviWjURGbnnl9Y6qFNaYEFVcq84+QzM/rO7+Tsigce79Wy?= =?us-ascii?Q?suC8XJhMEjuTp7Z1xRbXyGWOZX5hmS2+AnkaZZr303Y9pYSJjDsudBUL3kOr?= =?us-ascii?Q?GmCFf9XoJEyWja7kTQ2HDrSjkRvznJ7RSqJdmyPPpzLY86IWcHSbHQaCAxYF?= =?us-ascii?Q?DoPIjtKUafz1f6Nwh9cSw/TSGwhukpV1FSyZjMBi0+7+f9N6c43BdTA9W+96?= =?us-ascii?Q?NsQi14+GR3mWfSH8BSVzRHk8AWe4+zpZAFiTyd+IboO7vkjM9VNbVFAUeXxc?= =?us-ascii?Q?X1GyTPaBkXeAoOV7SmY1cKJBmy68Z08EaDt/b4KeJV6D4QIcjG/iwiDiAwKX?= =?us-ascii?Q?Fkuc/lMnTUDEEDISsgt2oDQnQaKmX7rDtm2c5bC4sBbKO5UlFyZakQ2BwXXo?= =?us-ascii?Q?mLVF6gxTwPm1a+zMBiAGT52/GDoMbxpWbNTnqIU2j5NeVZbrM80pfEyFVHTZ?= =?us-ascii?Q?V27/1qlzy09lKrhuLk0OPsY3ySCEKkFuWnPEs0mYbV4n1JoAOV2nRV0okf6C?= =?us-ascii?Q?2bacA+idVz1CI48Vsx0pYPVk8hHATXvbJgYFvFPotf1R2PgcBDgGmltFiVVP?= =?us-ascii?Q?EKSO1UbIloG6zgdhxVGWzGTQHj705nycovPlQhc3I8NkbbcDHBgamDwXS99Z?= =?us-ascii?Q?r7x3jJE6i6n38LwCjkQjy06v081APrHQdDyPFeu7LIacaNskFL508pynWnvD?= =?us-ascii?Q?9i1ubbTK9TVN7xC2vTkDN+pzicvGIKKVpB0lnlNfSrdK6xJFw0y+tDsemy2a?= =?us-ascii?Q?AczvaA6f494UCZpyHD8Ue5ncP0L/GIg3Y43oZtLZdk8RhbnO2RV/U4Bplh0N?= =?us-ascii?Q?d1ZsRXE2FJ6DqHYRYh6jlR6uVLsoJ17r1Zi+8FRxhlQghlq/aJvJglEMPAVY?= =?us-ascii?Q?ZcJZaLD2HpbKgal0qo30RcSRsOjwkBW5LI4l0ZCJSBSNFjuhz+7KWeniYpdw?= =?us-ascii?Q?tHqnITmZD19eD6SwehCv+mp1n8QmF+KnJjf76gGRF5SSuAJrehzxfKqZMPBj?= =?us-ascii?Q?fnHTV/X7PRDL3x72LUcy30IPhejYmtOCpAurx6pmFhJNODS6gSBVbQMyFj9D?= =?us-ascii?Q?qWUEd/rT0Cb04EWeq7I2RPokiG/bgbaL1ENQvQ4H9e+5QXu0jJb5U/oEN0Ps?= =?us-ascii?Q?QzLyWQgRHLv9G+ksVDDtmempHEWbrlNrBq3tVLzn9g5bZAyxP5gnsIIlUZcR?= =?us-ascii?Q?vc/kY/nvY6RSTxY4wz0=3D?= Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: 5P9utD9DFo4+cnKRw5NtLHZlXrdM716cAAOM4zD82ldNsAuNXDhxsD2q4fVvUShc5DHi3yQQeCynrJK1/eqnqp0lnS7Gi73xEce9belpdQgf8SIBdOLwLHOlw8TtwUGV0PMGppRh39NruxPajV3TIu1NfTl18TOo4MsPmYUyyGpfFBz9zI4qRzoNMl+sFNHCCact3tzi+tKdVFO0XK5Dk0RoqsrD8b2xPbSespqCAELhetcPOXQKU2TFvZtCE3uDLVAB8gWYVYOoidHv10qVTKjqwVzZi9htFpXx+3O80E6MUrnoWvB0CyYUH5b9ZnOwbxw6Z+IRHbFEZYSGfg+fxhYp0YRcKsVfYryvGcGsTY6co67Oo77qA6jkhO48TY6GNQnLA//LEAuQVFc60yOEylqfQ+1Bag2io9knUV9u/pHr4ZKOZaNhB+I4AtntZJKqB4j2zfrc6x8IjCVaDqyfrDJ9Jp8s9FumypCRvdKsqM8geZsCaavKXU3nadaCfxofLIv1q0MaeTIaLLvsJjbsQNoI5ZHhhEFfrG/+WFbWM4OiOYo6o/fl9bkNzRNh8PLlW5aFkb8uzU7FhALNEA7/7it15FQG1HJCvaN9NHRYJfgTE/iK9B0KKn9JUVWnlJTG X-OriginatorOrg: quicinc.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: DM6PR02MB4058.namprd02.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 17fc28bb-770a-4229-6f06-08dc58d84cf3 X-MS-Exchange-CrossTenant-originalarrivaltime: 09 Apr 2024 21:02:00.6695 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 98e9ba89-e1a1-4e38-9007-8bdabc25de1d X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: NzuW9OWdR7uXEplqgOiAUKa7yncrXEnBAmd76AQoLLLxuQ9ZcX9bMXnBzie9gW/FNRkAny9Nc4s0oc82RaOQbw== X-MS-Exchange-Transport-CrossTenantHeadersStamped: SJ0PR02MB8816 X-Proofpoint-ORIG-GUID: s3DbdMUHYsvuBU5vzKB63Kb6L3m1cIOb X-Proofpoint-GUID: s3DbdMUHYsvuBU5vzKB63Kb6L3m1cIOb X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.272,Aquarius:18.0.1011,Hydra:6.0.619,FMLib:17.11.176.26 definitions=2024-04-09_12,2024-04-09_01,2023-05-22_02 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 mlxscore=0 spamscore=0 bulkscore=0 mlxlogscore=792 adultscore=0 phishscore=0 lowpriorityscore=0 priorityscore=1501 malwarescore=0 impostorscore=0 suspectscore=0 clxscore=1011 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.19.0-2404010003 definitions=main-2404090141 X-Spam-Status: No, score=-6.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,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 List-Id: While looking into PR 114666, I noticed that we don't verify COND_EXPR's fi= rst operand. In most of my recent patches to match.pd, I was assuming that = it would be a boolean (or a type which would contain [0,1]) but this PR shows we could end up with an 1-bit signed integer in th= ere. We could fix most of the match patterns which assume we would get a boolean= like type or we could fix the patterns which would create this. Both are not hard to do but it would be useful for GCC 15 at least to add a= verifier if we decide the type should not be a signed 1bit integer. Thoughts? Thanks, Andrew PS sorry about the duplicated emails, I had a typo in the email address.