Bugs and Optimizations

[Mark DePristo]

I am working on a new Scheme -> JVM compiler and are benchmarking our
system against many popular Scheme systems, including Kawa.  I have
encountered several problems with Kawa when compiling the Gabriel
Scheme benchmarks distributed by William Clinger, available at 

http://www.cs.indiana.edu/scheme-repository/code.misc.html

Specifically, Kawa 1.6.66 blows up on the following procedure:

(define (run)
  (let loop ((i 0))
    (if (< i 1000)
    (begin (deriv '(+ (* 3 x x) (* a x x) (* b x) 5))
           (deriv '(+ (* 3 x x) (* a x x) (* b x) 5))
	          (deriv '(+ (* 3 x x) (* a x x) (* b x) 5))
		         (deriv '(+ (* 3 x x) (* a x x) (* b x) 5))
			        (deriv '(+ (* 3 x x) (* a x x) (* b x) 
5))
	       (loop (+ i 1)))
	       #t)))

using the 1.2.2 JVM from Sun under linux with the javacomp JIT.   I'd
like to include Kawa 1.6.66 in my benchmarking results, but I need
this to compile first. 

-- 
"You better run all day 
 and run all night 
 And keep your dirty feelings deep inside 
 And if you take your girlfriend out tonight 
 You better park the car well out of sight 
 'Cos if they catch you in the backseat 
 trying to pick her locks 
 They're gonna send you back to mother 
 in a cardboard box 
 You better run" -- Run like Hell (Pink Floyd)

--------------------------------------
 Mark DePristo, AMRG Group
 Northwestern University
 m-depristo@nwu.edu
 http://www.cs.nwu.edu/~mdepristo/
--------------------------------------