projects / cacao.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58ad6c7) | patch
* src/vm/jit/verify/typecheck.c (verify_fieldaccess): New function.
authoredwin <none@none>
Thu, 12 Oct 2006 14:02:10 +0000 (14:02 +0000)
committeredwin <none@none>
Thu, 12 Oct 2006 14:02:10 +0000 (14:02 +0000)
commitc787c07e2a70d477539612e95aab01cf237917e7
tree50483ac7b674463396010fc9b6d850c3d83e70bbtree | snapshot
parent58ad6c7ace83b1ce8cb542b7a548eb734776beb1commit | diff
* src/vm/jit/verify/typecheck.c (verify_fieldaccess): New function.
(verify_basic_block): Moved field verification into a separate
function.

* src/vm/jit/verify/typecheck-fields.inc: Removed opcode-dependant
stuff. Some code for the stackbased verifier is checked in, but not
used, yet.
src/vm/jit/verify/typecheck-fields.inc diff | blob | history
src/vm/jit/verify/typecheck.c diff | blob | history
inofficial http://www.cacaojvm.org/ git mirror