From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 18472 invoked by alias); 30 Jan 2002 21:06:12 -0000 Mailing-List: contact rhug-rhats-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Post: List-Help: , Sender: rhug-rhats-owner@sources.redhat.com Received: (qmail 18410 invoked from network); 30 Jan 2002 21:06:08 -0000 Received: from unknown (HELO gash2.peakpeak.com) (207.174.178.17) by sources.redhat.com with SMTP; 30 Jan 2002 21:06:08 -0000 Received: from creche.cygnus.com (ta0199.peakpeak.com [204.144.244.199]) by gash2.peakpeak.com (8.9.3/8.9.3) with ESMTP id OAA04834; Wed, 30 Jan 2002 14:05:59 -0700 Received: (from tromey@localhost) by creche.cygnus.com (8.9.3/8.9.3) id OAA28004; Wed, 30 Jan 2002 14:25:16 -0700 To: Per Bothner Cc: rhug-rhats@sources.redhat.com Subject: Re: jasmin References: <87bsfb7dve.fsf@creche.redhat.com> <3C585D12.2050806@bothner.com> From: Tom Tromey Reply-To: tromey@redhat.com X-Attribution: Tom X-Zippy: .. bleakness.... desolation.... plastic forks... Date: Wed, 30 Jan 2002 13:06:00 -0000 In-Reply-To: Per Bothner's message of "Wed, 30 Jan 2002 12:52:34 -0800" Message-ID: <871yg77cqr.fsf@creche.redhat.com> X-Mailer: Gnus v5.7/Emacs 20.5 X-SW-Source: 2002-01/txt/msg00012.txt.bz2 >>>>> "Per" == Per Bothner writes: Tom> I've imported Jasmin into rhug. Jasmin is a bytecode assembler. I'm Tom> using it for writing test code, in Mauve, for the libgcj bytecode Tom> verifier. Per> Bad-byte-code tests should IMO be run though both the Per> compile-time verifier and the run-time verifier. I agree. In fact, I've run the tests (all two of them) through `java', `gcj --syntax--only', and `gij'. One that I think ought to pass (an obscure case involving jsr-without-ret) doesn't verify with gcj; I'll submit a PR at some point. Tom