* src/vm/jit/jit.c (jit_renumber_basicblocks): New function.
(jit_check_basicblock_numbers): Likewise.
(jit_init): Removed obsolete variable `i`.

* src/vm/jit/jit.h (jit_renumber_basicblocks): New function.
(jit_check_basicblock_numbers): Likewise.

* src/native/jni.c (_Jv_JNI_DetachCurrentThread): Made
--disable-threads-safe.

* tests/regression/jasmin/Makefile.am: Added new tests.

* src/vm/jit/verify/icmds.c: Check basic types of instance for field
access.
* src/vm/jit/verify/typecheck-fields.inc: Check basic type of value.

* src/vm/jit/verify/typecheck-stackbased-gen.inc: Regenerated.
* src/vm/jit/verify/typecheck-variablesbased-gen.inc: Likewise.

* src/vm/jit/verify/typecheck.c (verify_fieldaccess): Define
VERIFY_ERROR for the include file.

* src/vm/jit/verify/typecheck-stackbased.c (VERIFY_ERROR): Fixed
macro.

* tests/regression/jasmin/test_verify_fail_putfieldconst_basic_type_instance.j,
tests/regression/jasmin/test_verify_fail_getfield_basic_type_instance.j,
tests/regression/jasmin/test_verify_fail_putfield_basic_type_value.j,
tests/regression/jasmin/test_verify_fail_putstatic_basic_type_value.j,
tests/regression/jasmin/test_verify_fail_putfieldconst_basic_type_value.j,
tests/regression/jasmin/test_verify_fail_getfield_basic_type_value.j,
tests/regression/jasmin/test_verify_fail_putfield_basic_type_instance.j,
tests/regression/jasmin/test_verify_fail_putfield_basic_type_lookup.j,
tests/regression/jasmin/test_verify_fail_getfield_basic_type_lookup.j,
tests/regression/jasmin/test_verify_fail_putstaticconst_basic_type_value.j:
New tests.

* tests/regression/jasmin/runtest: Look for specified ICMDs in -sia
output.

* src/vm/jit/powerpc64/md.c (md_get_method_patch_address): Fixed
 comments.

* src/vm/jit/powerpc64/codegen.c: Added credits.

* src/vm/jit/powerpc64/asmpart.S (asm_handle_nat_exception): Fixed
 exception handling code. Added credits.

* src/vm/jit/verify/typecheck-fields.inc: Re-activate stack overflow
checking.

* src/vm/jit/verify/typecheck-common.h (verifier_state): Added field
`stackceiling`.

* src/vm/jit/verify/typecheck-stackbased.c (CHECK_STACK_DEPTH):
Cleaned up.
(CHECK_STACK_SPACE): Cleaned up.
(typecheck_stackbased_verify_fieldaccess): Check for stack overflow.
(typecheck_stackbased): Moved stackceiling into state.

* src/vm/jit/codegen-common.c (codegen_reg_of_var): Removed `inline`
declaration. The crappy IRIX compiler does not create a global symbol
otherwise.

* src/vm/jit/verify/typecheck.c (verify_basic_block): Use generated
code.

* src/vm/jit/verify/typecheck-stackbased-gen.inc: New file, GENERATED!
* src/vm/jit/verify/typecheck-variablesbased-gen.inc: Likewise.

* src/vm/jit/verify/typecheck.h (typecheck_stackbased): Added.

* src/vm/jit/verify/Makefile.am: Added source files for both generated
verifiers.

* src/vm/jit/jit.c (jit_compile_intern): Call the stack-based verifier
for the interpreter.

* src/vm/vm.c (vm_create): Re-enable verification fot the interpreter.

* src/vm/jit/verify/generate.pl: Clearly mark generated code.

* src/vm/jit/icmdtable.inc: Documented prettily.

* src/vm/jit/jit.h (op_data): Removed.
(stackreq): Moved to a more logical place.

* src/vm/jit/jit.c (op_data): Removed.
(jit_init): Removed code initializing op_data.

* src/vm/jit/optimizing/lifetimes.c (LifeOutAtStatement): Use
icmd_table.
* src/vm/jit/optimizing/ssa.c (dead_code_elimination): Likewise.

* src/vm/jit/jit.h (icmd_table): Added.
(icmd_names): Removed.

* src/vm/jit/jit.c (icmd_table): Added.
(icmd_names): Removed.

* src/vm/jit/show.c (show_icmd): Use icmd_table.
* src/vm/jit/optimizing/ssa.c (dead_code_elimination): Likewise.

* src/vm/resolve.c: Removed obsolete debug prints.

* src/vm/jit/jit.h: Added DF_ constants for ICMD table.
Added CF_ constants.
Added ICMDTABLE_ constants.
(icmdtable_entry_t): New struct.

* src/vm/jit/icmdtable.inc: New file. Not used, yet.
* src/vm/jit/Makefile.am: Added new file.

* src/vm/jit/verify/generate.pl: Omit comma at end of ICMD table.

* src/vm/jit/verify/typecheck-stackbased.c: New file. Not used, yet.
* src/vm/jit/verify/icmds.c: New file.
* src/vm/jit/verify/generate.pl: New file.

* src/vm/jit/verify/typecheck-invoke.inc: Added copyright notice.
* src/vm/jit/verify/typecheck-fields.inc: Likewise.
* src/vm/jit/verify/typecheck-builtins.inc: Likewise.
* src/vm/jit/verify/typecheck-common.c: Likewise.
* src/vm/jit/verify/typecheck-common.h: Likewise.

* src/vm/jit/verify/typeinfo.c (typevector_store): Remove obsolete
assertion.

* src/vm/jit/stack.c (stack_analyse): Set iptr->dst for CHECKNULL.

* src/vm/builtin.c (builtin_isanysubclass): Bugfix for the case that
`sub` is an interface and `super` is a class. The function returned
random values in this case, since it used the <= 0 base value of the
interface class to perform the subclass check. The only case in which
an interface can be a subclass of a non-interface `super` is when
`super` is java.lang.Object, so we check explicitly for this case.
This fixes a bug with BeanShell-2.0b4.

(builtin_isanysubclass_vftbl): Likewise.

* src/vm/jit/stack.c (stack_check_invars): Bugfix: Only set flags to
BBTYPECHECK_REACHED if the block has already been analysed.

(stack_check_invars_from_outvars): Likewise.

* src/vm/jit/cfg.c (cfg_build): Check for EXH basic blocks in
fall-through case.

* tests/regression/jasmin/runtest: Added timeout capability.

* src/vm/jit/verify/typecheck-common.h (typecheck_print_statistics):
Added prototype.
(typecheck_jsr_t): New struct.
(typecheck_jsr_caller_t): Likewise.
(verifier_state): Added fields for stackbased verifier.

* src/vm/jit/verify/typecheck-common.c: Made debugging and statistics
symbols global.
* src/vm/jit/verify/typecheck-common.h: Likewise.

* src/vm/jit/verify/typecheck-invoke.inc: Added code variants for the
stackbased verifier. Not used, yet.
* src/vm/jit/verify/typecheck-builtins.inc: Likewise.

* src/vm/jit/verify/typecheck-common.c: Include headers.
* src/vm/jit/verify/typecheck-common.h: Cleanup.

* src/vm/jit/verify/typecheck.c (ISBUILTIN): Removed.
* src/vm/jit/verify/typecheck-builtins.inc (ISBUILTIN): Added.

* src/vm/jit/powerpc64/codegen.c (codegen): Adopt locals
and regoff changes.

* src/vm/jit/verify/typecheck.c (verify_invocation): Prepared for
addeding the stackbased verifier. No functional change, yet.
(verify_builtin): Likewise.

* src/vm/jit/verify/typecheck-common.c,
src/vm/jit/verify/typecheck-common.h (typecheck_init_flags): Added
minflags argument.

* src/vm/jit/verify/typecheck.c (typecheck): Call typecheck_init_flags
with minflags set to BBFINISHED.

* 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/mips/linux/md-os.c (thread_restartcriticalsection): Added
uClibc support.

* src/vm/jit/mips/linux/md-os.c (md_signal_handler_sigsegv): Added
uClibc support.

* src/vm/jit/verify/typecheck.c: Moved <assert.h> include to the right
place. Moved some code to typecheck-common.[ch].

* src/vm/jit/verify/typecheck-common.c: New file.
* src/vm/jit/verify/typecheck-common.h: New file.

* src/vm/jit/verify/Makefile.am: Added new source files.

* src/vm/jit/verify/typecheck-builtins.inc: Removed redundant
`return true`. Moved declaration of `av`.

* src/vm/jit/verify/typecheck-invoke.inc: Use invokestatic where
possible. Added a comment.

* src/vm/jit/verify/typecheck-invoke.inc: Indent log messages to make
them more readable.

* src/vm/jit/verify/typecheck.c (verify_invocation): Define jd and dv
before including the function body.

* src/vm/jit/verify/typecheck-invoke.inc: Removed definitions of jd
and dv. Small cleanup.

* src/vm/jit/verify/typecheck.c (verify_builtin): Define jd and dv
before including the function body.

* src/vm/jit/verify/typecheck-builtins.inc: Removed definitions
of jd and dv.

* src/vm/jit/verify/typecheck.c (verify_invocation): Moved body to a
separate file in order to prepare comitting the stackbased verifier.
(verify_builtin): Likewise.
(verify_generic_builtin): Likewise, no integrated in verify_builtin.
(verify_basic_block): Moved field instruction verification to a
separate file.

* src/vm/jit/verify/typecheck-invoke.inc: New file.
* src/vm/jit/verify/typecheck-fields.inc: New file.
* src/vm/jit/verify/typecheck-builtins.inc: New file.

* src/vm/jit/verify/Makefile.am: Added new source files.

* src/cacaoh/headers.c (typeinfo_print_short): Stub added.

* src/vm/jit/verify/typeinfo.c (typeinfo_init_component): Fixed for
the case that srcarray == dst. (The mergedlist was overwritten with
NULL in this case.)

* src/vm/resolve.c, src/vm/resolve.h
(resolve_method_param_type_checks_stackbased): New function.
(resolve_constrain_unresolved_method_params_stackbased): Likewise.

* tests/regression/jasmin/test_verify_fail_athrow_wrong_reftype_unresolved.j:
New test.

* tests/regression/jasmin/test_verify_fail_athrow_wrong_reftype.j:
New test.

* tests/regression/jasmin/Makefile.am: Added new tests.

* tests/regression/jasmin/test_verify_fail_areturn_wrong_reftype.j:
New test.

* tests/regression/jasmin/test_verify_fail_invoke_return_basic_type.j:
New test.

* tests/regression/jasmin/test_verify_fail_ireturn_wrong_type.j: New
test.

* tests/regression/jasmin/Makefile.am: Added new tests.

* tests/regression/jasmin/test_verify_fail_handler_bad_local.j: new
test.

* tests/regression/jasmin/Makefile.am: Added new test.

* tests/regression/jasmin/test_verify_fail_jsr_recursion_terminates.j:
Added expected error.

* tests/regression/jasmin/test_verify_fail_jsr_recursion.j: Likewise.

* tests/regression/jasmin/test_verify_ok_jsr_improper_nesting.j: New
test.

* tests/regression/jasmin/test_verify_fail_jsr_multiple_returns.j: New
test.

* tests/regression/jasmin/Makefile.am: Added new tests.

* tests/regression/jasmin/test_verify_fail_jsr_recursion_terminates.j:
New test.

* tests/regression/jasmin/Makefile.am: Added new test.

* tests/regression/jasmin/test_verify_fail_jsr_recursion.j: New test.

* tests/regression/jasmin/Makefile.am: Added new test.

* src/vm/resolve.c, src/vm/resolve.h (constrain_unresolved_method):
Split into two new functions.

(resolve_constrain_unresolved_method_instance): New function.
(resolve_constrain_unresolved_method_params): Likewise.

* src/vm/jit/verify/typecheck.c (verify_invocation): Use new
functions.

* src/vm/resolve.c (resolve_method_type_checks): Split up into
two new functions.

(resolve_method_instance_type_checks): New function.

(resolve_method_param_type_checks): New function.

* src/vm/resolve.h (resolve_method_type_checks): Removed.
(resolve_method_instance_type_checks): New function.
(resolve_method_param_type_checks): New function.

* src/vm/jit/verify/typecheck.c (verify_invocation): Call
resolve_method_instance_type_checks and
resolve_method_param_type_checks.

* src/vm/resolve.c (resolve_method_verifier_checks): Removed unused
variable. Removed unclear assertion.

* src/vm/resolve.c (resolve_method_verifier_checks): Removed unused
arguments.

(resolve_method): Changed arguments to resolve_method_verifier_checks.

* src/vm/resolve.h (resolve_method_verifier_checks): Removed unused
arguments.

* src/vm/jit/verify/typecheck.c (verify_invocation): Changed
arguments to resolve_method_verifier_checks.

* src/vm/resolve.c (resolve_method_verifier_checks): Factored out
parameter type checks into a separate function.

(resolve_method_type_checks): New function.

* src/vm/resolve.h (resolve_method_type_checks): New function.

* src/vm/jit/verify/typecheck.c (verify_invocation): Call
resolve_method_type_checks.

* src/vm/resolve.c (resolve_method_verifier_checks): Factored out
loading constraints into a separate function.

(resolve_method_loading_constraints): New function.

(resolve_method): Call resolve_method_loading_constraints.

* src/vm/resolve.h (resolve_method_loading_constraints): New function.

* src/vm/jit/verify/typecheck.c (verify_invocation): Call
resolve_method_loading_constraints.

* src/vm/resolve.c (resolve_method_lazy): Removed dependence on
instruction format. Do not perform verifier checks. (Caller will
do these.)

(create_unresolved_method): Renamed to
resolve_create_unresolved_method. Changed arguments.

* src/vm/resolve.h (create_unresolved_method): Renamed to
resolve_create_unresolved_method. Changed arguments.

(resolve_method_lazy): Changed arguments.

(resolve_method_verifier_checks): Export.

* src/vm/jit/verify/typecheck.c (verify_invocation): Adapted
to changed resolve functions. Call resolve_method_verifier_checks.
Do promotion from INVOKEVIRTUAL to INVOKESPECIAL here.

* src/vm/jit/parse.c (parse): Adapted to changed resolve functions.
Do promotion from INVOKEVIRTUAL to INVOKESPECIAL here.

* src/vm/resolve.c (resolve_field_verifier_checks): Removed dependence
on instruction format.

(resolve_field_lazy): Pass field reference, instead of instruction.
Do not perform verification checks here. (Caller will do them.)

(resolve_field): Adapted to changed resolve_field_verifier_checks.

(create_unresolved_field): Renamed to resolve_create_unresolved_field.

(constrain_unresolved_field): Renamed to
resolve_constrain_unresolved_field. Removed dependence on instruction
format.

* src/vm/resolve.h (create_unresolved_field): Renamed to
resolve_create_unresolved_field.

(resolve_field_lazy): Changed arguments.

(resolve_field_verifier_checks): Export.

(constrain_unresolved_field): Renamed to
resolve_constrain_unresolved_field. Changed arguments.

* src/vm/jit/verify/typecheck.c (typecheck): Moved instruction set
dependent parts of resolve functions into typecheck.

* src/vm/jit/parse.c (resolve_field_lazy): Changed arguments.
(create_unresolved_field): Renamed.

* test/regression/jasmin/test_verify_ok_jsr_subroutine_loops_to_start.j:
New test.

* test/regression/jasmin/test.j: Small cleanup.

* test/regression/jasmin/Makefile.am: Added new test.

* src/vm/jit/stack.c: Verify that subroutines are not merged.
(SBRSTART): New macro.
(COPY_VAL_AND_TYPE_VAR): New macro, propagate SBRSTART.
(COPY_VAL_AND_TYPE): Use COPY_VAL_AND_TYPE_VAR.
(stack_create_invars): Cleaned up, use COPY_VAL_AND_TYPE_VAR.
(stack_create_invars_from_outvars): Use COPY_VAL_AND_TYPE_VAR.
(stack_check_invars): Check against merging of subroutines. Wrapped
verifier checks in #if defined(ENABLE_VERIFIER).
(stack_check_invars_from_outvars): Likewise.
(stack_reanalyse_block): Wrapped verifier checks in
#if defined(ENABLE_VERIFIER).
(stack_analyse): Prepare a real variable for the handler stack.
Implemented re-analysing of blocks. Set SBRSTART for JSR.

* src/vm/jit/parse.c (parse): Reserve extra variables needed by
stack_analyse.

* src/vm/global.h (STACK_EXTRA_VARS): New macro.

* src/vm/jit/show.c (show_basicblock): Removed extra newline.

* tests/regression/jasmin/test_verify_fail_jsr_merge_subroutines_via_stack.j:
New test.

* tests/regression/jasmin/Makefile.am: Added new test.

* src/vm/jit/cfg.c (cfg_build): Fixed a bug causing infinite loops.

* src/vm/jit/parse.c (parse): Always add a NOP at block ends. This is
needed by the JSR elimination in stack.c.

* tests/regression/jasmin/test_verify_fail_jsr_merge_subroutines.j:
New test.

* tests/regression/jasmin/Makefile.am: Added new test.

* tests/regression/jasmin/test_verify_fail_jsr_polymorphic_pop.j:
New test.

* tests/regression/jasmin/Makefile.am: Added new test.

* src/vm/jit/stack.c (stack_check_invars): Fixed bug exposed by the
new test.
(stack_check_invars_from_outvars): Likewise.

* tests/regression/jasmin/test_verify_fail_jsr_called_with_different_stackdepths.j:
New test.
* tests/regression/jasmin/Makefile.am: Added new test.

* src/vm/jit/stack.c (GET_NEW_VAR): Fixed macro argument.

(SET_TEMPVAR): Call new function stack_change_to_tempvar.

(stack_change_to_tempvar): New function.

(stack_analyse): Mark pass-through stackslots of INVOKEs instead of
resetting them to TEMPVARs.

* src/vm/jit/jit.h (PASSTHROUGH): New flag.

* src/vm/jit/allocator/simplereg.c: Implemented REG_INDEX for
architectures with address register file.

* src/vm/jit/allocator/simplereg.c
(simplereg_allocate_locals_leafmethod): Fixed declaration after code.

* src/vm/jit/allocator/simplereg.c (simplereg_allocate_interface):
Copy all flags except SAVEDVAR when reusing an interface slot.

* src/vm/jit/allocator/simplereg.c: Cleaned up memory slot allocation.

* src/vm/jit/allocator/simplereg.c (simplereg_allocate_interfaces): Fixed
indentation.

* src/vm/jit/allocator/simplereg.c (simplereg_allocate_temporaries):
Minor cleanup, use SIMPLEREG_REG_INDEX.

* src/vm/jit/allocator/simplereg.c: Reuse interface registers in blocks
that don't need them. Abstracted out the free register stacks with
macros. Major code cleanup.

* src/vm/jit/allocator/simplereg.h (reg_make_statistics): Renamed to
simplereg_make_statistics.

* src/vm/jit/reg.h (registerdata): Added fields `adrusedinout`,
`intusedinout`, `fltusedinout`, and `regisoutvar`.

* src/vm/jit/jit.c (simplereg_make_statistics): Renamed to
simplereg_make_statistics.

* src/vm/jit/jit.h (SAVEDTMP): Renamed to SAVREG.
(TMPARG): Renamed to ARGREG.
(STCOPY): Removed.
(STKEEP): Removed.

* src/vm/jit/stack.c (stack_analyse): Do not set argintreguse to
a value > INT_ARG_CNT, as this breaks some new code that will
later be committed to simplereg.c, and does not make sense, anyway.

* src/vm/jit/intrp/Makefile.am (Changes): Added my name.

* src/vm/jit/show.h (show_variable): Made global.
(show_variable_array): Likewise.

* src/vm/jit/show.c (show_variable): Likewise.
(show_variable_array): Likewise.

* src/threads/native/threads.c (threads_attach_current_thread): Rename
left-over `t` to `thread` in interpreter code.

* src/vm/jit/codegen-common.c: Include vm/jit/intrp/intrp.h to prevent
a warning.

* src/vm/jit/intrp/intrp.h: Added missing prototypes.

* src/vm/jit/intrp/engine.c: Comment unused variable `ca1`.

* src/vm/jit/intrp/java.vmg: Mark the variables `currentsp` as
MAYBE_UNUSED.

* src/vm/jit/intrp/intrp.h: Cleaned up. Defined missing prototypes.

* src/vm/jit/intrp/java.vmg: Defined "afi" type prefix.

* src/vm/jit/intrp/peephole.c: Include interpreter files using < >
instead of " ", so they are only searched for in the include path.
This avoids using the wrong include files when compiling in a
buildir.

* src/vm/jit/intrp/codegen.c: Likewise.
* src/vm/jit/intrp/engine.c: Likewise.
* src/vm/jit/intrp/disasm.c: Likewise.
* src/vm/jit/intrp/dynamic-super.c: Likewise.

* src/vm/jit/intrp/vmgenx: Fixed to work with builddir, and cleaned
up.

* src/vm/jit/intrp/Makefile.am: Fixed dependencies for builddir.

* src/vm/jit/intrp/engine.c (Changes): Added my name.
(vim boilerplate): Added.

* src/native/jni.c (jni_attach_current_thread): New help function.
(_Jv_JNI_AttachCurrentThread): Use helper function.
(_Jv_JNI_AttachCurrentThreadAsDaemon): Likewise.
(_Jv_JNI_DetachCurrentThread): Implemented.

* src/threads/native/threads.c (method_thread_init)
(method_threadgroup_add_: Made static.
(threads_init): Code rearranged.
(threads_startup_thread): Removed thread detach code and call
threads_detach_thread.
(threads_detach_thread): New function.

* src/threads/native/threads.h (threads_detach_thread): Added.

* src/vm/utf8.c (utf_removeThread, utf_java_lang_Thread__V): Added.
(utf8_init): Initialize new strings.
* src/vm/utf8.h (utf_removeThread, utf_java_lang_Thread__V): Added.

* src/vm/vm.c (vm_create): Turn off the verifier for -Xint.

* src/vm/jit/intrp/asmpart.c (intrp_asm_handle_exception): Style fix.

* src/vm/jit/intrp/codegen.c (codegen): Save synchronized object in
a special stackslot and use it for monitorexit.

* src/vm/jit/intrp/asmpart.c (intrp_asm_handle_exception): When
unwinding a synchronized method, exit the monitor.

* src/vm/jit/intrp/codegen.c (codegen): Reserve an extra stackslot in
synchronized methods.
(intrp_createcompilerstub): Likewise.
(intrp_createnativestub): Use stackframesize for clarity.

* src/vm/jit/intrp/codegen.c (codegen): Separate stackframesize from
the number of local variables.
(intrp_createcompilerstub): Likewise.

* src/vm/jit/intrp/engine.c (MAXLOCALS): Changed to FRAMESIZE.

* src/vm/jit/intrp/java.vmg (INVOKEVIRTUAL): Use FRAMESIZE.
(INVOKESTATIC): Likewise.
(INVOKESPECIAL): Likewise.
(INVOKEINTERFACE): Likewise.

* src/native/jni.c (jni_init_localref_table): New function.
(AttachCurrentThread): Implemented.
(JNI_CreateJavaVM): Use jni_init_localref_table.

* src/threads/native/threads.c (method_thread_init)
(method_threadgroup_add): New global variables.
(threads_init): Store methods resolved in global variables.
(threads_attach_current_thread): New function.

* src/threads/native/threads.h (MIN_PRIORITY, NORM_PRIORITY)
(MAX_PRIORITY): Defined.
(threads_attach_current_thread): New function.

* src/vm/jit/intrp/java.vmg (TRACECALL): Implemented for 32-bit
architectures.

* src/vm/jit/intrp/codegen.c (codegen): Fix off-by-one error in len
tests of optimizations.

* src/vm/jit/show.c (show_icmd): Show constant operand of IFxx, and
IF_Lxx.

* src/vm/jit/show.c (show_basicblock): Fixed deadcode check.

* src/vm/jit/intrp/asmpart.c (intrp_asm_handle_exception): Clear
global_sp.

* src/vm/jit/powerpc/emit.c (emit_verbosecall_enter): Darwin build
fixes.

* src/vm/jit/intrp/asmpart.c (intrp_asm_handle_exception): Fixed for
catch-all handlers.

* src/vm/jit/show.c (show_method): Adapted to interpreter.
(show_basicblock): Likewise.

* src/vm/jit/intrp/disass.c (intrp_disassinstr): Write disassembly to
stdout.
(intrp_disassemble): Likewise.

* tests/regression/jctest.java: Also test division/remainder with
constant divisor 1.

* tests/regression/jctest.output: Updated test output.

* src/vm/jit/intrp/codegen.c (codegen): Don't ?DIVPOW2 with value 1.
The optimization produces the wrong result in this case.

* src/vm/jit/intrp/codegen.c (codegen): Implemented IDIVPOW2 and
LDIVPOW2 optimizations.