From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 14436 invoked by alias); 9 Sep 2009 08:02:17 -0000 Received: (qmail 14237 invoked by uid 22791); 9 Sep 2009 08:02:15 -0000 X-SWARE-Spam-Status: No, hits=0.3 required=5.0 tests=AWL,BAYES_00,DNS_FROM_RFC_BOGUSMX,J_CHICKENPOX_43,J_CHICKENPOX_63 X-Spam-Check-By: sourceware.org Received: from sebabeach.org (HELO sebabeach.org) (64.165.110.50) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Wed, 09 Sep 2009 08:02:11 +0000 Received: by sebabeach.org (Postfix, from userid 500) id C97866E3D7; Wed, 9 Sep 2009 01:02:09 -0700 (PDT) From: Doug Evans To: cgen@sourceware.org Subject: new error checking Message-Id: <20090909080209.C97866E3D7@sebabeach.org> Date: Wed, 09 Sep 2009 08:02:00 -0000 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: 2009-q3/txt/msg00095.txt.bz2 Hi. I checked in the following patch which adds some error checking. All current ports pass, but heads up. Over time we need to add more and more checks. Ideally we should always run them, but I wonder if we need an option to turn them off/on. 2009-09-09 Doug Evans * ifield.scm (ifld-beyond-base?): Remove args base-bitsize, total-bitsize. All callers updated. * insn.scm (): Rename member ifld-values to /insn-value. New member /insn-base-value. (insn-base-value): New function. * mach.scm (/sanity-check-insns): New function. (arch-analyze-insns!): Call it.