From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gdb-patches-return-53324-listarch-gdb-patches=sources.redhat.com@sourceware.org>
Received: (qmail 18485 invoked by alias); 15 Jan 2008 17:23:47 -0000
Received: (qmail 18477 invoked by uid 22791); 15 Jan 2008 17:23:46 -0000
X-Spam-Check-By: sourceware.org
Received: from mail.codesourcery.com (HELO mail.codesourcery.com) (65.74.133.4)     by sourceware.org (qpsmtpd/0.31) with ESMTP; Tue, 15 Jan 2008 17:23:15 +0000
Received: (qmail 23436 invoked from network); 15 Jan 2008 17:23:12 -0000
Received: from unknown (HELO localhost) (jimb@127.0.0.2)   by mail.codesourcery.com with ESMTPA; 15 Jan 2008 17:23:12 -0000
To: Mark Kettenis <mark.kettenis@xs4all.nl>
Cc: bauerman@br.ibm.com,  gdb-patches@sourceware.org
Subject: Re: [RFA] Fix float argument passing in inferior function calls for 	ppc64
References: <1200400434.3158.64.camel@localhost.localdomain> 	<200801151443.m0FEhxN3021953@brahms.sibelius.xs4all.nl>
From: Jim Blandy <jimb@codesourcery.com>
Date: Tue, 15 Jan 2008 17:23:00 -0000
In-Reply-To: <200801151443.m0FEhxN3021953@brahms.sibelius.xs4all.nl> (Mark Kettenis's message of "Tue, 15 Jan 2008 15:43:59 +0100 (CET)")
Message-ID: <m3hchfoven.fsf@codesourcery.com>
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-IsSubscribed: yes
Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <gdb-patches.sourceware.org>
List-Subscribe: <mailto:gdb-patches-subscribe@sourceware.org>
List-Archive: <http://sourceware.org/ml/gdb-patches/>
List-Post: <mailto:gdb-patches@sourceware.org>
List-Help: <mailto:gdb-patches-help@sourceware.org>, <http://sourceware.org/ml/#faqs>
Sender: gdb-patches-owner@sourceware.org
X-SW-Source: 2008-01/txt/msg00356.txt.bz2


Have you folks ever seen this paper?

    http://www.eecs.harvard.edu/~nr/pubs/staged-abstract.html

    We present staged allocation, a technique for specifying calling
    conventions by composing tiny allocators called stages. A
    specification written using staged allocation has a precise, formal
    semantics, and it can be executed directly inside a
    compiler. Specifications of nine standard C calling conventions range
    in size from 15 to 30 lines each. An implementation of staged
    allocation takes about 250 lines of ML or 650 lines of C++. Each
    specification can be used not only to help a compiler implement the
    calling convention but also to generate a test suite.

It seems like an interpreter for this language would take very little
effort to implement in GDB, and could save quite a bit of effort.