From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 99493 invoked by alias); 7 Jan 2019 22:31:43 -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 99381 invoked by uid 89); 7 Jan 2019 22:31:31 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=ham version=3.3.2 spammy=australia, IBM, ibm, Australia X-HELO: mail-pl1-f195.google.com Received: from mail-pl1-f195.google.com (HELO mail-pl1-f195.google.com) (209.85.214.195) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 07 Jan 2019 22:31:30 +0000 Received: by mail-pl1-f195.google.com with SMTP id p8so836357plo.2 for ; Mon, 07 Jan 2019 14:31:30 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:subject:message-id:references:mime-version :content-disposition:in-reply-to:user-agent; bh=BJHMGAjH+VQLRVGXM8TZojg4bdJMYvVlJ68JJLPePdg=; b=j8T224GL4bWuiDemmoYetB+BN4NiWpJRjZ2LLDKxulAow3XY5NCzBD/Ic1J8oJ9Twf U49gqljto9qobaS2UW3s8U6MIF1aqQYEK/CA8H31h37IGPqK98TpK4ah9L46cqYuGJuK CWiDCY4Kj2LyDRrRphiyKWZ6Xq2bEn3ROqPNPtg+3YI0CMLxRCNq8Jdso3zkF9b2+p22 iEfka1a+xxP4J94FMc0RBIKKFHzbhv/AWn0Ojg/c+THJwtoHBA5IkDpQmhJ3uN3hobXf hvKVJKWHeESFg2BaiwsZRQFDCuAvT9cvepteo9csioCnXX9XD9VQw4Cp3JrjESdttQwU PMkg== Return-Path: Received: from bubble.grove.modra.org ([58.175.241.133]) by smtp.gmail.com with ESMTPSA id e128sm99807576pfe.67.2019.01.07.14.31.27 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 07 Jan 2019 14:31:27 -0800 (PST) Received: by bubble.grove.modra.org (Postfix, from userid 1000) id EBEB28059A; Tue, 8 Jan 2019 09:01:23 +1030 (ACDT) Date: Mon, 07 Jan 2019 22:31:00 -0000 From: Alan Modra To: gcc-patches@gcc.gnu.org, richard.sandiford@arm.com Subject: Re: [PATCH] genattrtab bit-rot, and if_then_else in values Message-ID: <20190107223123.GK3170@bubble.grove.modra.org> References: <20190103092154.GZ30978@bubble.grove.modra.org> <87a7khsyjz.fsf@arm.com> <20190103143637.GA3170@bubble.grove.modra.org> <87lg41r7nb.fsf@arm.com> <87h8epr2ao.fsf@arm.com> <20190104001952.GB3170@bubble.grove.modra.org> <87imz4pqf8.fsf@arm.com> <20190106223632.GF3170@bubble.grove.modra.org> <87imz0mzwh.fsf@arm.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <87imz0mzwh.fsf@arm.com> User-Agent: Mutt/1.9.4 (2018-02-28) X-IsSubscribed: yes X-SW-Source: 2019-01/txt/msg00349.txt.bz2 On Mon, Jan 07, 2019 at 12:10:38PM +0000, Richard Sandiford wrote: > Alan Modra writes: > > +/* Given an attribute value expression, return the maximum value that > > + might be evaluated assuming all conditionals are independent. > > + Return INT_MAX if the value can't be calculated by this function. */ > > Not sure about "assuming all conditionals are independent". All three > functions should be conservatively correct without any assumptions. True. I'll drop that phrase. The functions aren't even guaranteed to give an exactly correct result if they contain any conditions.. > OK without that part if you agree. -- Alan Modra Australia Development Lab, IBM