From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:38923) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UunKK-0007tF-GZ for qemu-devel@nongnu.org; Thu, 04 Jul 2013 13:28:19 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1UunKI-0006bL-3o for qemu-devel@nongnu.org; Thu, 04 Jul 2013 13:28:16 -0400 Received: from mail-pd0-x229.google.com ([2607:f8b0:400e:c02::229]:56496) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UunKH-0006b8-Sq for qemu-devel@nongnu.org; Thu, 04 Jul 2013 13:28:14 -0400 Received: by mail-pd0-f169.google.com with SMTP id y10so1277730pdj.14 for ; Thu, 04 Jul 2013 10:28:13 -0700 (PDT) Sender: Richard Henderson Message-ID: <51D5B0A9.9040206@twiddle.net> Date: Thu, 04 Jul 2013 10:28:09 -0700 From: Richard Henderson MIME-Version: 1.0 References: <1372886968-17497-1-git-send-email-rth@twiddle.net> <1372886968-17497-7-git-send-email-rth@twiddle.net> In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: Re: [Qemu-devel] [PATCH v3 06/14] tcg: Allow non-constant control macros List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Peter Maydell Cc: aliguori@us.ibm.com, claudio.fontana@huawei.com, qemu-devel@nongnu.org, afaerber@suse.de On 07/04/2013 03:53 AM, Peter Maydell wrote: > On 3 July 2013 22:29, Richard Henderson wrote: >> This allows TCG_TARGET_HAS_* to be a variable rather than a constant, >> which allows easier support for differing ISA levels for the host. > > The effect of this is that TCG_OPF_NOT_PRESENT means "if set, > op is definitely not present; if not set, op might or might > not be present", right? Which is OK because it's just a debug > guard/sanity check. (That might be worth noting in a comment > I guess.) Well, if not set, an entry must be present in the operands table. E.g. for arm division, the { INDEX_op_div_i32, "r", "r", "r" } entry is always there, even if TCG_TARGET_HAS_div_i32 evaluates to false at runtime. The entry must be there Just In Case the expression might be true. r~