From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 68280 invoked by alias); 18 Oct 2015 11:10:44 -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 68271 invoked by uid 89); 18 Oct 2015 11:10:43 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.7 required=5.0 tests=AWL,BAYES_00,KAM_LAZY_DOMAIN_SECURITY,RCVD_IN_DNSWL_LOW autolearn=no version=3.3.2 X-HELO: smtp.eu.adacore.com Received: from mel.act-europe.fr (HELO smtp.eu.adacore.com) (194.98.77.210) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-GCM-SHA384 encrypted) ESMTPS; Sun, 18 Oct 2015 11:10:42 +0000 Received: from localhost (localhost [127.0.0.1]) by filtered-smtp.eu.adacore.com (Postfix) with ESMTP id D516F27B9882; Sun, 18 Oct 2015 13:10:39 +0200 (CEST) Received: from smtp.eu.adacore.com ([127.0.0.1]) by localhost (smtp.eu.adacore.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id NDcMIexb3msW; Sun, 18 Oct 2015 13:10:39 +0200 (CEST) Received: from polaris.localnet (bon31-6-88-161-99-133.fbx.proxad.net [88.161.99.133]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.eu.adacore.com (Postfix) with ESMTPSA id AE8DC27B9881; Sun, 18 Oct 2015 13:10:39 +0200 (CEST) From: Eric Botcazou To: gcc-patches@gcc.gnu.org Cc: Jan Hubicka , Richard Biener Subject: Re: Add VIEW_CONVERT_EXPR to operand_equal_p Date: Sun, 18 Oct 2015 12:57:00 -0000 Message-ID: <1833908.my5suBVC6X@polaris> User-Agent: KMail/4.14.9 (Linux/3.16.7-24-desktop; KDE/4.14.9; x86_64; ; ) In-Reply-To: <20151017165252.GJ5527@kam.mff.cuni.cz> References: <20151014162944.GE16672@kam.mff.cuni.cz> <6561C1C3-366A-411C-BAEE-65E1C233BA16@gmail.com> <20151017165252.GJ5527@kam.mff.cuni.cz> MIME-Version: 1.0 Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="us-ascii" X-SW-Source: 2015-10/txt/msg01680.txt.bz2 > I was only tracking one isse I hit: Fortran/C interoperability nees LTO to > produce same TYPE_CANONICAl for signed and unsigned version of size_t. > Doing so broke useless_type_conversion because it used TYPE_CANONICAL. We > discussed the topic on the GNU Cauldron and decided that it is cleaner to > drop TYPE_CANONICAL from useless_type_conversion because it does not really > belong there. OK, thanks for the explanation. > That is only change I plan into the area. The decision to drop comparsion of > TYPE_MODE from the aggregate path was decision of the discussion about this > particular patch and I do not really insist on it. > > Having fewer VCE expressions in the code is not a bad thing, but I do not > really see it as an important change. I am sorry for the breakage in move > expansion that I hoped to not be as important. I am willing to continue > fixing the fallout (and be more cureful about it - obviously I originally > underestimated the issue). I am also happy with simply adding back the mode > checking and drop the changes we did to expr.c so far. I agree on the fewer VCE expressions goal (and I have an upcoming gigi change to that effect) but some of them are essentially mandated by the RTL level and, since GENERIC & GIMPLE are ultimately lowered to RTL, they need to take that into account IMO. So, if the mode change is not really necessary for the rest of the work, I'd restore the mode check (and this only affects Ada in practice since apparently only the Ada compiler fiddles with the type mode). -- Eric Botcazou