patch to java/verify.c

Mon Dec 3 15:46:00 GMT 2001

I checked the attached patch into the trunk. The patches have
been sitting in my source tree for a while. Both came from work
on Kawa.
I think the patch dealing with subroutine (jsr) nesting came
from a bug while I was implementing XQuery, the draft XML query
language from W3C (see http://www.gnu.org/software/kawa/query/).
XQuery has 'for' loops that are similar to SQL's 'select'.
I compile the body of the 'for' loop into a jsr/ret subroutine.
(I can't just inline it because sometimes there are multiple places
where the code can execute the body, due to other optimizations.)
This may be the first interesting case where Java bytecodes can
express something useful that you you can't express in Java source
without substantial convolution or overhead. (I'd be curious to
see what a JVM disassembler does with it!)
-- 
	--Per Bothner
per@bothner.com http://www.bothner.com/per/
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: verify.patch
URL: <http://gcc.gnu.org/pipermail/java/attachments/20011203/fc51d154/attachment.ksh>