[armedbear-devel] [armedbear-cvs] r12620 - trunk/abcl/src/org/armedbear/lisp
Tobias C. Rittweiler
tcr at freebits.de
Fri May 7 16:59:42 UTC 2010
Erik Huelsmann <ehuels at gmail.com> writes:
> > For a semi-outsider: When does compilation fail where interpretation
> > would succeed?
> In case of compiler bugs. It's relatively difficult to generate
> correct Java byte code: in the ticket #89 example: a statement left a
> value on the stack which wasn't going to be used ever after. The code
> would have run correctly in all cases, however, the byte code verifier
> found that another code path left fewer arguments on the stack before
> jumping to a common follow-up path. The excess value on the stack
> would have been cleared upon function-return.
> The same code would be interpreted without problems.
> I hope that answers your question. If not, don't hesitate to ask!
I think some kind of random code generator is / was part of
ansi-tests. At least, P.F.Dietz wrote one. It was used to shake out
compiler bugs in an early stage of SBCL.
Have you tried that?
More information about the armedbear-devel