From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 13434 invoked by alias); 24 Jan 2011 14:59:33 -0000 Received: (qmail 13425 invoked by uid 22791); 24 Jan 2011 14:59:32 -0000 X-SWARE-Spam-Status: No, hits=-1.5 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_NONE X-Spam-Check-By: sourceware.org Received: from claranetfr-outbound-smtp01.mail.eu.clara.net (HELO claranetfr-outbound-smtp01.mail.eu.clara.net) (195.8.64.50) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Mon, 24 Jan 2011 14:59:26 +0000 Received: from 116.140.74-86.rev.gaoland.net ([86.74.140.116]:35162 helo=[192.168.0.100]) by relay01.mail.eu.clara.net (smtp-vh.fr.clara.net [213.253.3.41]:1725) with esmtpa (authdaemon_plain:jean-marc.saffroy@joguin.com) id 1PhNt4-000568-5b (return-path ); Mon, 24 Jan 2011 14:59:22 +0000 Message-ID: <4D3D93C9.9010605@joguin.com> Date: Mon, 24 Jan 2011 14:59:00 -0000 From: Jean-Marc Saffroy User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.13) Gecko/20101208 Thunderbird/3.1.7 MIME-Version: 1.0 To: Nathan Froyd CC: cgen@sourceware.org Subject: Re: insn semantics required? References: <20110124142354.GE6247@codesourcery.com> In-Reply-To: <20110124142354.GE6247@codesourcery.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-IsSubscribed: yes Mailing-List: contact cgen-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: cgen-owner@sourceware.org X-SW-Source: 2011-q1/txt/msg00003.txt.bz2 Hi Nathan, On 01/24/2011 03:23 PM, Nathan Froyd wrote: > I've been looking through the documentation and couldn't determine > conclusively whether defining the semantics of an insn is required. Is > it? The syntax requires that you define something, although I think "()" will do if you don't built a simulator. Otherwise, as you noted, a simple "(nop)" will definitely be sufficient. > Auto-magically defining a simulator seems less useful in this day > and age, but an auto-generated assembler and disassembler seems quite > useful. It really depends if you have a platform available for testing. A simulator (auto-generated or not) is very convenient to run the gcc test suite for regression testing. Cheers, JM