From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 23774 invoked by alias); 12 Jan 2007 13:16:54 -0000 Received: (qmail 23765 invoked by uid 22791); 12 Jan 2007 13:16:53 -0000 X-Spam-Check-By: sourceware.org Received: from mail.codesourcery.com (HELO mail.codesourcery.com) (65.74.133.4) by sourceware.org (qpsmtpd/0.31) with ESMTP; Fri, 12 Jan 2007 13:16:47 +0000 Received: (qmail 2752 invoked from network); 12 Jan 2007 13:16:46 -0000 Received: from unknown (HELO digraph.polyomino.org.uk) (joseph@127.0.0.2) by mail.codesourcery.com with ESMTPA; 12 Jan 2007 13:16:46 -0000 Received: from jsm28 (helo=localhost) by digraph.polyomino.org.uk with local-esmtp (Exim 4.63) (envelope-from ) id 1H5MGz-0000wE-CR; Fri, 12 Jan 2007 13:16:45 +0000 Date: Fri, 12 Jan 2007 13:16:00 -0000 From: "Joseph S. Myers" To: Paolo Bonzini cc: gcc patches Subject: Re: Stricter implicit conversions between vectors, revised patch In-Reply-To: <45A746DC.3050201@lu.unisi.ch> Message-ID: References: <458ABCF8.3020504@codesourcery.com> <458BB0B6.6000200@lu.unisi.ch> <458BB4C5.3030000@codesourcery.com> <458BDF2B.9030208@codesourcery.com> <458D7960.1040604@codesourcery.com> <459C2B60.8040706@codesourcery.com> <45A746DC.3050201@lu.unisi.ch> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII 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 X-SW-Source: 2007-01/txt/msg01078.txt.bz2 On Fri, 12 Jan 2007, Paolo Bonzini wrote: > Joseph S. Myers wrote: > > The vector conversions changes broke the handling of opaque types. These > > are always meant to be convertible to/from other types of the same size, > > whether or not being lax (see the SPE PIM, which defines an opaque type and > > lots of non-opaque types), but not to/from types of different sizes. This > > showed up in spe.h failing to compile. (PowerPC is the only target defining > > the hook to have opaque types at all.) > > At one point, I had a patch to remove the hook at all, and instead use a bit > in the vector type itself. Would you be interested in me reviving it? Depends on whether there's a spare bit available in vector types, but this seems reasonable in principle. -- Joseph S. Myers joseph@codesourcery.com