From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 4967 invoked by alias); 21 Jul 2011 19:29:32 -0000 Received: (qmail 4959 invoked by uid 22791); 21 Jul 2011 19:29:31 -0000 X-SWARE-Spam-Status: No, hits=-2.4 required=5.0 tests=AWL,BAYES_00,RP_MATCHES_RCVD X-Spam-Check-By: sourceware.org Received: from mail.codesourcery.com (HELO mail.codesourcery.com) (38.113.113.100) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 21 Jul 2011 19:29:16 +0000 Received: (qmail 3356 invoked from network); 21 Jul 2011 19:29:15 -0000 Received: from unknown (HELO digraph.polyomino.org.uk) (joseph@127.0.0.2) by mail.codesourcery.com with ESMTPA; 21 Jul 2011 19:29:15 -0000 Received: from jsm28 (helo=localhost) by digraph.polyomino.org.uk with local-esmtp (Exim 4.72) (envelope-from ) id 1Qjyvp-0005RJ-HW; Thu, 21 Jul 2011 19:29:13 +0000 Date: Thu, 21 Jul 2011 19:51:00 -0000 From: "Joseph S. Myers" To: Richard Guenther cc: Andrew Stubbs , gcc-patches@gcc.gnu.org, patches@linaro.org Subject: Re: [PATCH (2/7)] Widening multiplies by more than one mode In-Reply-To: Message-ID: References: <4E034EF2.3070503@codesourcery.com> <4E03500D.4050205@codesourcery.com> <4E1C18DF.7050205@codesourcery.com> 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: 2011-07/txt/msg01859.txt.bz2 On Tue, 12 Jul 2011, Richard Guenther wrote: > (**) We really ought to forbid any arithmetic on types that have non-mode > precision and only allow conversions to/from such types. Arithmetic on such types is a perfectly reasonable notion to have in language-independent code and carry out language-independent optimizations on. There may well be a case for lowering such arithmetic earlier than the present point at which it's lowered (expand), but it isn't obvious that gimplification is the right point for that lowering either. -- Joseph S. Myers joseph@codesourcery.com