From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 119544 invoked by alias); 30 Aug 2019 08:54:00 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 119394 invoked by uid 89); 30 Aug 2019 08:54:00 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-12.6 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_NONE,SPF_HELO_PASS,SPF_PASS autolearn=ham version=3.3.1 spammy=H*f:sk:ri68srb, H*i:sk:ri68srb X-HELO: NAM03-BY2-obe.outbound.protection.outlook.com Received: from mail-eopbgr780098.outbound.protection.outlook.com (HELO NAM03-BY2-obe.outbound.protection.outlook.com) (40.107.78.98) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Fri, 30 Aug 2019 08:53:58 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=AIxQg3EHBX9ZpZFx4r7M+HpFXCotlopW/uXlwt1t5Cv4I09TiUG0qzR5iPxVFwBa+yMxo0s0+OLm0M4tpZTLThFBwTKO+DoA2eMQMpUNajG+MKWYaT7/rwimYAFu36BycxA8wHPkZNa+qGNS1ZY+/F9Bff0e+IkRkp/HTbYZtYNK8LunKphG4e39FA72ITDG19Mwf3BYNvtl2tcIm3NMPDuI1uCdvyNcDAKVDZPnEYFCW2mtRNajbDNjqgfsSobiHZTL0JaZ9hnL638gv19awQpN68l760XhABN89BRmJ5SRHDQCdBRDzWU3d5oV9JdaHCOaQO7OrR01ql0/hby4OA== 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-SenderADCheck; bh=x0hFLmd3bZwBiVIkNZz6g/2Tks83A52LtRPpDhhS2M8=; b=n6EXS8ccEpXQ6OwIQYlcgLJ3+pBxtFxNZYX8xnuzK8snL0/QBkxz4Tgg3Dd3iWV17QovczK94uGwJ8tf4p/1MwEUT5GmwHmcCK+M9yRGVnd2G/jahU9scyimjoJuUjN8pW627DvvBjRuDWRBpTX5DpeQi8gtCGU+LxsYiZeH5o5bPabHsQM1MeZyq8/VXrCZ+jHQzmH1AVRnGUA+KwKja8/PIdPhj6z7Wpvd5odCwnSbWw70pdmNsF5nKI/D/BJ8wu9p8ZV5JaKhlF1ylvybPrywZFfLIEMCxzBgMlgH67YeGoA6f+XTqQiTwVqv3bwGYCaB9QDLJ2CRMhomzxyvKQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=os.amperecomputing.com; dmarc=pass action=none header.from=os.amperecomputing.com; dkim=pass header.d=os.amperecomputing.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=os.amperecomputing.com; s=selector2; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=x0hFLmd3bZwBiVIkNZz6g/2Tks83A52LtRPpDhhS2M8=; b=Aw96oYYhBXaNOU+60b5rWwKKHiguNYtBv+6RitPLIrNNuqiiU4Y0zpInxyi+qBEXJSiAe1+C++KhHXId4y0Vflbja+BJXDKRMrb8HFEt4hnctLfPAhu8rvsie//MZentDPuam0L80BQ/l49d3G6Ch+ZyCjDZHx9zBIRg0jWRof8= Received: from BYAPR01MB4869.prod.exchangelabs.com (20.177.228.18) by BYAPR01MB4582.prod.exchangelabs.com (20.177.229.216) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2220.19; Fri, 30 Aug 2019 08:53:55 +0000 Received: from BYAPR01MB4869.prod.exchangelabs.com ([fe80::60eb:f69d:f5b6:cc27]) by BYAPR01MB4869.prod.exchangelabs.com ([fe80::60eb:f69d:f5b6:cc27%2]) with mapi id 15.20.2199.021; Fri, 30 Aug 2019 08:53:55 +0000 From: Feng Xue OS To: Martin Jambor , "gcc-patches@gcc.gnu.org" , Jan Hubicka Subject: Re: [PATCH] Generalized predicate/condition for parameter reference in IPA (PR ipa/91088) Date: Fri, 30 Aug 2019 09:02:00 -0000 Message-ID: References: , In-Reply-To: authentication-results: spf=none (sender IP is ) smtp.mailfrom=fxue@os.amperecomputing.com; x-ms-oob-tlc-oobclassifiers: OLM:7691; received-spf: None (protection.outlook.com: os.amperecomputing.com does not designate permitted sender hosts) x-ms-exchange-senderadcheck: 1 x-ms-exchange-transport-forked: True Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: 3hVGQ0gWUEUBf/IYiOfuf3ZsgB4WA7qDK0Ozl/hYdnQWKS8IzyGTd64b/RxG6e61jNKBBK2+3qfRd2HimjzNE7wZNA7MsPJ3SoVEYVfjM6M= X-SW-Source: 2019-08/txt/msg02048.txt.bz2 > I was merely suggesting a better comment describing the function you are > introducing. Oh. I know. Good wording.=20 > Thinking about it a bit more, I think you simply do not want to ever > push the extra VIEW_CONVERT_EXPR to the vector and in > evaluate_conditions_for_known_args always do a fold_convert to the > desired type (similarly like we do today). Yes. It is, but at cost of creating an extra memory slot. Feng