Subject: WIL Java benchmarks
From: Craig Chambers (chambers@cs.washington.edu)
Date: Wed Mar 07 2001 - 12:43:11 PST
I translated all our standard Java benchmarks to WIL. The results are in
/projects/cecil/WIL-src/Java/* directories. I also have been running the latest
Whirlwind exec to typecheck and compile all these programs with optimization.
This has uncovered some bugs. The results for the benchmarks that have been
examined:
*) Cassowary: OK
*) Espresso: OK
*) JavaCup: OK
*) Javac and Javadoc: both quit with a rep-check error during compilation (not
typechecking, which succeeded) when compiling
sun.tools.javac.BatchParser.class.wil.
*) Pizza: encounters a name resolution error when typechecking
pizza.compiler.Win32.class.wil. (This is because pizza needs to be compiled
against a more recent JDK than 1.0.2.; it's trying to call a method in
java.lang.System that's not defined in 1.0.2.) Later, during compilation,
crashes during the combined constant-prop/unreachable code elim pass when
compiling pizza.v36.Main.class.wil; this second problem may be caused by the
first error, and not be a real bug in its own right. (Although if not, we
should figure out how to ensure that we don't try to compile code that contains
type errors that can break later compilation.)
-- Craig
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Wed Mar 07 2001 - 12:44:04 PST