Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!world!iecc!compilers-sender
From: eggert@twinsun.com (Paul Eggert)
Newsgroups: comp.compilers
Subject: testing register allocation
Keywords: debug, optimize, registers
Message-ID: <9101160510.AA04261@twinsun.com>
Date: 16 Jan 91 05:10:53 GMT
Sender: compilers-sender@iecc.cambridge.ma.us
Reply-To: eggert@twinsun.com (Paul Eggert)
Organization: Compilers Central
Lines: 14
Approved: compilers@iecc.cambridge.ma.us

Hanan Samet implemented a register allocation tester that interfaced to two
Lisp-to-PDP-10 compilers as part of his PhD research way back in the mid
1970s.  His tester was more general (and less efficient) than just a register
allocation tester: it tested every part of code generation and optimization,
including things like common subexpression elimination, changing calling
sequence conventions, replacement of recursion by iteration, and even many
hand-optimizations.  Here's a reference:

	Hanan Samet, Proving the Correctness of Heuristically Optimized Code,
	CACM 21, 7 (July 1978), 570-582.
[From eggert@twinsun.com (Paul Eggert)]
-- 
Send compilers articles to compilers@iecc.cambridge.ma.us or
{ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.