From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-410446-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 52377 invoked by alias); 17 Oct 2015 10:27:58 -0000
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-patches.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
Received: (qmail 52366 invoked by uid 89); 17 Oct 2015 10:27:57 -0000
Authentication-Results: sourceware.org; auth=none
X-Virus-Found: No
X-Spam-SWARE-Status: No, score=-2.1 required=5.0 tests=AWL,BAYES_00,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=ham version=3.3.2
X-HELO: mail-wi0-f173.google.com
Received: from mail-wi0-f173.google.com (HELO mail-wi0-f173.google.com) (209.85.212.173) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-GCM-SHA256 encrypted) ESMTPS; Sat, 17 Oct 2015 10:27:56 +0000
Received: by wicfv8 with SMTP id fv8so20280100wic.0        for <gcc-patches@gcc.gnu.org>; Sat, 17 Oct 2015 03:27:53 -0700 (PDT)
X-Received: by 10.194.80.71 with SMTP id p7mr21445720wjx.83.1445077673598;        Sat, 17 Oct 2015 03:27:53 -0700 (PDT)
Received: from android-4c5a376a18c0e957.fritz.box (p4FE9DE9D.dip0.t-ipconnect.de. [79.233.222.157])        by smtp.gmail.com with ESMTPSA id bh5sm27639635wjb.42.2015.10.17.03.27.52        (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);        Sat, 17 Oct 2015 03:27:52 -0700 (PDT)
User-Agent: K-9 Mail for Android
In-Reply-To: <6178124.DYpozsCQOi@polaris>
References: <20151014162944.GE16672@kam.mff.cuni.cz> <3370546.VBkdrdfpOC@polaris> <561AF610-CD06-42B2-838B-5130691978CC@gmail.com> <6178124.DYpozsCQOi@polaris>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Content-Type: text/plain; charset=UTF-8
Subject: Re: Add VIEW_CONVERT_EXPR to operand_equal_p
From: Richard Biener <richard.guenther@gmail.com>
Date: Sat, 17 Oct 2015 15:17:00 -0000
To: Eric Botcazou <ebotcazou@adacore.com>
CC: gcc-patches@gcc.gnu.org,Jan Hubicka <hubicka@ucw.cz>
Message-ID: <6561C1C3-366A-411C-BAEE-65E1C233BA16@gmail.com>
X-IsSubscribed: yes
X-SW-Source: 2015-10/txt/msg01667.txt.bz2

On October 17, 2015 11:26:43 AM GMT+02:00, Eric Botcazou <ebotcazou@adacore.com> wrote:
>> Well, it would (I think) ICE on assigning a packed variant to a
>non-packed
>> variant of a strict that happens to get a non-BLKmode when not
>packed.
>
>Is "it" GIMPLE here?  My sentence was not very clear, I meant that I
>don't see 
>why GIMPLE would have to care about whether there is a VCE or not in
>the IL.

Huh, I thought your question was about the mode check in useless_type_conversion_p.

>And AFAIK nobody answered the question: what do we gain by making this
>change?
>So far I have only seen breakages, suspicious fixes and code
>duplication...

Honza wants the structural equality predicate (operand_equal_p) complete (optimistically) for GIMPLE.

Richard.