Hi Rob, hi Tim --- gonzo <[EMAIL PROTECTED]> wrote: > Hi all. > > in code-analyze.[ch], the methods are currently > entitles "verifyMethod", > "verifyBasicBlock", "tidyVerifyMethod", etc., and > these are called from > intrp/machine.c, jit/machine.c, and jit3/machine.c > to perform code > analysis before compilation (from intrp i think they > are actually expected > to verify the soundness of the bytecode, which will > be totally unecessary > once a full link-time verifier is added). the > methods that are called for > actual link-time verification are verify2 and > verify3 in verify.c. > > to avoid confusing the compiler, in my working copy > of kaffe i've renamed > the methods in code-analyze.[ch] analyzeMethod, > analyzeBasicBlock, etc., > and every time i upgrade to a newer version of CVS i > have to patch the > names.
Sounds o.k. to me to rename the methods if they don't perform verification at all. But before I check it in, I'd like to see class-analyze.[ch] from JanosVM merged into the kaffe CVS tree. There are two main diffs: CIF_* stuff, which is used in jit3 and powerpc jit and memory management changes, i.e. moving from KMALLOC to gc_malloc. Tim, should I merge it in as it is, and pull the jit3 changes in as well, plus the powerpc jitter, or leave the memory management stuff out, etc.? cheers, dalibor topic __________________________________________________ Do you Yahoo!? Yahoo! Mail Plus - Powerful. Affordable. Sign up now. http://mailplus.yahoo.com _______________________________________________ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe
