2014-06-18 Aleksey Demakov * jit/jit-value.c (jit_value_get_param): add range check for param argument (thanks Niklas Koep). 2014-03-11 Niklas Koep * doc/Makefile.am, doc/libjit.texi: Include docs from jit-compile.c. 2014-01-21 John Perkins * doc/libjit.texi: Fix makeinfo problem with newer texinfo. 2014-01-20 Ben Noordhuis * jit/jit-thread.c (_jit_thread_init): Fix Windows-only race condition. 2013-10-17 Aleksey Demakov * README, doc/libjit.texi: Update info on obtaining libjit sources. 2013-08-13 Chetan Reddy * jit/jit-memory-cache.c (_jit_cache_start_function): If there is no room left for a cache node on the current page then let restart with a new page rather than giving up on it. 2013-03-04 Aleksey Demakov * jit/jit-memory-cache.c (_jit_cache_extend): the function now returns a value (thanks Alexey Galakhov ). * include/jit/jit-memory.h, jit/jit-internal.h, jit/jit-memory.c: * jit/jit-memory-cache.c: add jit_function_info_t typedef and use it in the memory manager interface for more clarity (the idea is taken from Alexey Galakhov's proposal but done in a weaker form, without type safety). 2013-02-27 Aleksey Demakov * jit/jit-dump.c (jit_dump_function): fix error finding function end address (thanks Alexey Galakhov for spotting). * jit/Makefile.am, jit/jit-apply-alpha.h, jit/jit-apply-alpha.c * jit/jit-gen-alpha.h, jit/jit-rules-alpha.h, jit/jit-rules-alpha.c * jit/jit-rules-alpha.ins: Remove all alpha related files from the distro. The files are still in the repo in the attic dir. 2013-02-26 Aleksey Demakov * configure.ac, jit/jit-opcodes.ops, jit/jit-interp-opcode.ops * Makefile.am, jit/Makefile.am, include/jit/Makefile.am: Move ops files from the config to jit dir, remove the config dir. * configure.ac: Use build-aux dir for autoconf files. Update the mailing list address. 2012-11-06 Aleksey Demakov * dpas/dpas-scope.c (dpas_scope_destroy): Fix a memory leak in dpas. * include/jit/jit-memory.h, jit/jit-internal.h, jit/jit-memory.c * jit-cache.c: restore ability to allocate memory for recompiled functions. 2012-11-05 Aleksey Demakov * jitplus/jit-plus-function.cpp (create): free function signature. * tutorial/t3.c, tutorial/t3.c: free function signature. 2012-10-30 Aleksey Demakov * tutorial/t1.c, tutorial/t2.c: free function signature. * jit/jit-block.c (delete_block): fix memory leak. * jit/jit-memory-cache.c: rename jit-cache.c 2012-10-20 Aleksey Demakov * include/jit/jit-memory.h, jit/jit-internal.h, jit/jit-memory.c * jit-cache.c: get back to the scheme where function start and end addresses are kept by the memory manager, not in jit_function_t. 2012-10-16 Aleksey Demakov * include/jit/jit-memory.h: add file that defines pluggable memory manager interface. * jit-internal.h, jit/jit-memory.c: add a number of _jit_memory_* pluggable memory wrapper functions. Replace with these wrappers all _jit_cache_* calls. * jit/jit-cache.c (jit_default_memory_manager): add function that gets memory mamnager plugin interface. * jit/jit-cache.h: remove file. * include/jit/jit-context.h: * jit/jit-context.c (jit_context_set_memory_manager): add function. 2012-10-12 Aleksey Demakov * include/jit/jit-util.h, jit/jit-alloc.c (jit_malloc_exec) (jit_free_exec, jit_flush_exec, jit_exec_page_size): remove functions from public API. * jit/jit-internal.h, jit/jit-alloc.c (_jit_malloc_exec) (_jit_free_exec, _jit_flush_exec): make these functions internal. * jit/jit-util.c: new file, move here all public util functions from jit/jit-alloc.c, jit/jit-memory.c, jit/jit-string.c. 2012-10-08 Aleksey Demakov * jit/jit-cache.c, jit/jit-cache.c(_jit_cache_alloc_trampoline) (_jit_cache_free_trampoline, _jit_cache_alloc_closure) (_jit_cache_free_closure): add functions. * jit/jit-function.c (jit_function_create, _jit_function_destroy): use trampoline alloc/free functions. * jit/jit-apply.c, include/jit/jit-init.h (jit_get_closure_size) (jit_get_closure_alignment, jit_get_trampoline_size) (jit_get_trampoline_alignment): add functions. * jit/jit-apply.c (jit_closures_supported): for consistency rename function to jit_supports_closures. 2012-10-07 Aleksey Demakov * jit/jit-function.c (jit_function_create, _jit_function_destroy): * jit/jit-cache.h, jit/jit-cache.c (_jit_cache_alloc_function) (_jit_cache_free_function): allocate and free jit_function structs within cache. 2012-10-04 Aleksey Demakov * jit/jit-cache.h, jit/jit-cache.c (_jit_cache_start_function): remove the restart_count argument. * jit/jit-cache.h, jit/jit-cache.c (_jit_cache_extend): add function to allocate more cache space. * jit/jit-cache.c (_jit_cache_alloc_data): let be called outside function generation context. 2012-07-29 Aleksey Demakov * jit/jit-cache.h, jit/jit-cache.c (_jit_cache_start_function) (_jit_cache_end_function, _jit_cache_get_code_break) (_jit_cache_set_code_break, _jit_cache_get_code_limit) (_jit_cache_alloc_data): new API for function allocation. * jit/jit-cache.h, jit/jit-cache.c (_jit_cache_is_full) (_jit_cache_start_method, _jit_cache_end_method) (_jit_cache_alloc, _jit_cache_check_space): remove. * jit/jit-cache.h, jit/jit-rules.h: remove jit_cache_posn struct. Store the cache position data in jit_gencode struct. * jit/jit-rules.h, jit/jit-rules.c: (_jit_gen_check_space) (_jit_gen_alloc): add. * jit/jit-cache.h, jit/jit-cache.c (_jit_cache_get_function): rename from _jit_cache_get_method. 2012-02-11 Aleksey Demakov * jit/jit-cache.h, jit/jit-cache.c (_jit_cache_end_method): add result argument that indicates if the code genration will need to be restarted. * jit/jit-cache.h, jit/jit-cache.c (jit_cache_mark_full): remove macro and replace it with direct jit_cache_posn access where appropriate. * jit/jit-cache.h, jit/jit-cache.c (jit_cache_get_posn): likewise. * jit/jit-cache.h, jit/jit-rules-interp.c (jit_cache_native): move macro to where it only used. * jit/jit-cache.h, jit/jit-cache.c: remove other unused stuff. 2012-01-22 Klaus Treichel * config/jit-opcodes.ops: Move declaration of obsolete opcodes to the separate include file jit-opcode-compat.h and include this new file instead. * include/jit/jit-opcode-compat.h: add new include file for obsolete opcodes. * include/jit/Makefile.am: add jit-opcode-compat.h to the include sources. 2012-01-21 Aleksey Demakov * jit/jit-rules.h (struct jit_gencode): add offset_encoder field to encode bytecode offsets with jit_varints. * jit/jit-internal.h (struct _jit_function): move fields cookie, start, end here from jit_cache_method; add bytecode_offset field to encode bytecode offsets with jit_varints. * jit/jit-compile.c (mark_offset, _jit_function_get_bytecode): add functions that use jit_varints for bytecode offset compression. * jit/jit-cache.h, jit/jit-cache.c (_jit_cache_get_method): remove cookie argument. * jit/jit-cache.h, jit/jit-cache.c (_jit_cache_mark_bytecode) (_jit_cache_set_cookie, _jit_cache_get_start_method) (_jit_cache_get_end_method, _jit_cache_get_native) (_jit_cache_get_bytecode, _jit_cache_get_size): remove functions, get rid of bytecode offset compression and method region machinary. * jit/jit-dump.c, jit/jit-function.c, jit/jit-rules-interp.c * jit/jit-except.c, jit/jit-unwind.c: adjust where appropriate for cache API change. 2011-12-18 Aleksey Demakov * jit/Makefile.am: * jit/jit-varint.h, jit/jit-varint.c: add new files for varaible length int encoding with algorithm similar but not identical to one currently used in jit-cache.c. The new algorithm in certain cases better compresses unsigned ints. 2011-09-30 Aleksey Demakov * jit/jit-cache.h, jit/jit-cache.c (_jit_cache_new_region): function removed. 2011-09-03 Aleksey Demakov * jit/jit-cache.h, jit/jit-cache.c (_jit_cache_get_method_list): function removed. 2011-07-27 Aleksey Demakov * jit/jit-config.h: added new file as central location for all platform config macros deduced from ./configure and cpp. * jit/Makefile.am: add jit-config.h. * include/jit/jit-context.h, jit/jit-context.c (jit_context_supports_threads): removed. * include/jit/jit-init.h, jit/jit-init.c (jit_supports_threads): added function to replace jit_context_supports_threads. * include/jit/jit-init.h, jit/jit-init.c (jit_supports_virtual_memory): added new function to check if the jit supports virtual memory routines. * include/jit/jit-vmem.h, jit/jit-vmem.c (jit_vmem_init) (jit_vmem_page_size, jit_vmem_round_up, jit_vmem_round_down) (jit_vmem_reserve, jit_vmem_reserve_committed, jit_vmem_release) (jit_vmem_commit, jit_vmem_decommit, jit_vmem_protect): added new files with virtual memory routines. * include/jit/Makefile.am, include/jit/jit.h: add jit-vmem.h * jit/Makefile.am: add jit-vmem.c * jit/jit-init.c (jit_init): call jit_vmem_init(). 2011-07-10 Aleksey Demakov * jit/jit-reg-alloc.c (choose_output_register, _jit_regs_assign): fix handling of explicitely assigned registers. * jit/jit-rules-x86.c (shift_reg): remove function. * jit/jit-rules-x86.ins (JIT_OP_ISHL, JIT_OP_ISHR, JIT_OP_ISHR_UN): rewrite rules with explicit assignment to "ecx" register, don't use shift_reg() function. 2011-07-02 Aleksey Demakov * jit/jit-compile.c (compile_block): amend debug info 2010-11-28 Klaus Treichel * config/jit-opcodes.ops: Set the destination value type for the address_of_label opcode. * jit/jit-dump.c (jit_dump_insn): Print the destination value for the address_of_label opcode. 2010-11-07 Klaus Treichel * jit/jit-cache.h: Fix comment for _jit_cache_get_end_method. 2010-10-24 Klaus Treichel * jit/jit-reg-alloc.c (_jit_regs_alloc_global): Set in_global_register on global register assignment. 2010-10-04 Klaus Treichel * jit/jit-internal.h: Add missing typedef in the declaration of the _jit_intrinsic_signature enumaeration. (Really Noah Lavine) 2010-09-21 Klaus Treichel * config/jit-opcodes.ops: Add definitions for the opcode's intrinsics. * jit/Makefile.am: Add jit-opcode-apply.c to the sources. * jit/jit-internal.h (enum _jit_intrinsic_signature): Declare the various intrinsic signatures. (struct _jit_intrinsic_info): Declare structure to hold the intrinsic information for an opcode. * jit/jit-opcode-apply.c: Add support for constant folding. * tools/gen-ops-parset.y, tools/gen-ops-scanner.l: Add support for generating the opcode intrinsic table. 2010-09-12 Klaus Treichel * config/jit-opcodes.ops: Remove the *eq_inv and *ne_inv float compare a branch opcodes because they behave exactly the same as the corresponding opcodes without the _INV suffix. Add macros to map the removed opcodes to their counterparts without the _INV suffix. * jit/jit-insn.c (jit_insn_to_not_bool): Replace the mappings to *EQ_INV and *NE_INV by mappings to *EQ and *NE. Remove the mappings for *EQ_INV and *NE_INV. (jit_insn_branch_if): likwise (jit_insn_branch_if_not): likewise * jit/jit-interp.c (_jit_run_function): Remove handling of the *EQ_INV and *NE_INV opcodes. * jt/jit-rules-interp.c (_jit_gen_insn): Remove the *EQ_INV and *NE_INV cases. * jit/jit-rules-x86-64.ins.c: Remove handling of the *EQ_INV and *NE_INV opcodes. 2010-08-10 Klaus Treichel * config/jit-opcodes.ops: Fix arg1 for the address_of opcode. 2010-08-09 Klaus Treichel * jit/jit-gen-x86-64.h: Add macros for the cvttss2si and cvttsd2si instructions. * jit-rules-x86-64.ins (JIT_OP_FLOAT32_TO_INT, JIT_OP_FLOAT32_TO_UINT, JIT_OP_FLOAT32_TO_LONG, JIT_OP_INT_TO_FLOAT32, JIT_OP_UINT_TO_FLOAT32, JIT_OP_LONG_TO_FLOAT32, JIT_OP_FLOAT64_TO_FLOAT32, JIT_OP_FLOAT64_TO_INT, JIT_OP_FLOAT64_TO_UINT, JIT_OP_FLOAT64_TO_LONG, JIT_OP_INT_TO_FLOAT64, JIT_OP_UINT_TO_FLOAT64, JIT_OP_LONG_TO_FLOAT64, JIT_OP_FLOAT32_TO_FLOAT64: Add support for these new opcodes. 2010-08-08 Klaus Treichel * jit/jit-rules-x86.ins (JIT_OP_FLOAT32_TO_INT, JIT_OP_FLOAT64_TO_INT, JIT_OP_FLOAT32_TO_LONG, JIT_OP_FLOAT64_TO_LONG, JIT_OP_INT_TO_FLOAT32, JIT_OP_INT_TO_FLOAT64, JIT_OP_UINT_TO_FLOAT32, JIT_OP_UINT_TO_FLOAT64, JIT_OP_LONG_TO_FLOAT32, JIT_OP_LONG_TO_FLOAT64, JIT_OP_ULONG_TO_FLOAT32, JIT_OP_ULONG_TO_FLOAT64, JIT_OP_FLOAT64_TO_FLOAT32, JIT_OP_FLOAT32_TO_FLOAT64: Add support for these new opcodes. * tests/math.pas: Add tests for integer/float conversions. 2010-08-07 Klaus Treichel * config/jit-opcodes.ops: Add opcodes for direct conversions from and to 32-bit and 64-bit floatingpoint values. * jit/jit-interp.c (_jit_run_function): Add support for the new opcodes. * jit/jit-insn.c: Add the new opcodes to the convert_intrinsics table. (jit_insn_convert): Use the new opcodes for conversions from and to 32-bit and 64-bit floatingpoint values. 2010-08-06 Klaus Treichel * configure.ac: Add checks for the rint, round and trunc c library functions. * config/jit-opcodes.ops: (ftrunc, dtrunc, nftrunc): Add opcode definitions for the new trunc instruction. * dpas/dpas-builtin.c: Add new Trunc builtin. * include/jit/jit-insn.c (jit_insn_trunc): Add prototype. * include/jit/jit-intrinsic.h (jit_float32_trunc, jit_float64_trunc, jit_nfloat_trunc): Add prototypes. * jit/jit-insn.c (jit_insn_trunc): Add new float rounding function. Refine comments for the rounding functions. * jit/jit-interp.c (_jit_run_function): Add support for the new trunc opcodes. * jit/jit-intrinsic.c: Nove float rounding intrinsics to one block and refine conmments. (jit_float32_rint): Use rintf or rint if available. (jit_float64_rint): Use rint if available. (jit_nfloat_rint): Use rintl if available. (jit_float32_round): Use roundf or round if available. (jit_float64_round): Use round if available. (jit_nfloat_round): Use roundl if available. (jit_float32_trunc, jit_float64_trunc, jit_nfloat_trunc): Add new rounding intrinsics for rounding float values towards zero. * jit/jit-symbol.c: Add the new intrinsics jit_float32_trunc, jit_float64_trunc and jit_nfloat_trunc to the symbol table. * tests/math.pas: Add tests for the new trunc insn. * include/jit/jit-plus.h: Add jit_function insn_trunc member. * jitplus/jit-plus-function.cpp (insn_trunc): Implement wrapper for the new trunc insn. 2010-08-04 Klaus Treichel * include/jit/Makefile.am: Don't include jit-arch.h in the distribution. * tools/gen-apply.c: Include a local copy of jit-arch.h instead of the one in the include dir because that one is not yet present in the build process. * tools/Makefile.am: Create a local symbolic link jit-arch.h to the arch specific header in the include dir. 2010-08-03 Klaus Treichel * Makefile.am: Add config to the subdirectories. * configure.ac: Add config/Makefile the the makefiles to generate. * include/jit/Makefile.am: Add jit-opcode.h to BUILT_SOURCES and DISTCLEANFILES. Add the rule to generate jit-opcodes.h. * include/jit/jit-opcode.h: Delete because it will be generated. * jit/Makefile.am: Add jit-opcode.c, jit-interp-opcode.c and jit-interp-opcode.h to BUILT_SOURCES. Add jit-interp-opcode.c and jit-interp-opcode.h to libjit_la_SOURCES. Add rules to generate jit-opcode.c, jit-interp-opcode.c and jit-interp-opcode.h. Adjust rule to generate jit-interp-labels.h. * jit/jit-dump.c: Remove the extern declaration of the interpreter opcode table. * jit/jit-interp.h: Replace the opcode declaration by including the generated file. * jit/jit-opcode.c: Delete because its generated now. * jit/jit-interp.c: Adjust names of interpreter specific opcodes. * jit/jit-rules-interp.c: Likewise. * jit/mklabel.sh: Adjust for opcode name change of interpreter specific opcodes. * tools/.gitignore: Add new built files. * tools/Makefile.am: Add rules to build gen-ops. * tools/gen-ops-parser.y, tools/gen-ops-scanner.l: Add opcode table generator. * config/Makefile.am: Added * config/jit-opcodes.ops: Add definition source of the bastic libjit opcodes. * config/jit-interp-opcodes.ops: Add definition source of the interpreter specific libjit opcodes. * include/jit/.gitignore, jit/.gitignore: Add new built files to the ignore list. 2010-05-31 Aleksey Demakov * jit/jit-block.c: allow empty block branch optimization for blocks used both in branch insns and in address-of insns. Branch labels are split from address-of labels and become eligible for optimization while the address-of labels stay with the original block. 2010-05-22 Aleksey Demakov * jit/jit-apply-x86-64.h (JIT_MEMCPY): fix build for MacOS X. 2010-05-15 Klaus Treichel * jit/jit-instrinsic.c ((jit_float32_to_int, jit_float32_to_uint, jit_float32_to_long, jit_float32_to_ulong, jit_float32_to_int_ovf, jit_float32_to_uint_ovf, jit_float32_to_long_ovf, jit_float32_to_ulong_ovf, jit_float64_to_int, jit_float64_to_uint, jit_float64_to_long, jit_float64_to_ulong, jit_float64_to_int_ovf, jit_float64_to_uint_ovf, jit_float64_to_long_ovf, jit_float64_to_ulong_ovf, jit_int_to_float32, jit_int_to_float64, jit_uint_to_float32, jit_uint_to_float64, jit_long_to_float32, jit_long_to_float64, jit_ulong_to_float32, jit_ulong_to_float64, jit_float32_to_float64, jit_float64_to_float32): Add intrinsics for direct conversion from float32 and float64 to the various integer types and float32 to float64 and vice versa. * include/jit/jit-intrinsic.h: Add the prototypes for the new intrinsics. * jit/jit-symbol.c: Add the new intrinsics to the symbol table. * jit/jit-value.c (jit_constant_convert): Use the new intrinsics in constant conversions. * jit/jit-block.c (jit_block_get_next_label): Fix comment for texinfo. * tools/gen-apply.c: Fix strict-alias-rules in returning struct tests. 2010-05-08 Klaus Treichel * jit/jit-block.c (_jit_block_clean_cfg): Don't merge an empty block if the block's address was used. 2010-01-24 Klaus Treichel * jit/jit-insn.c (jit_insn_branch_if, jit_insn_branch_if_not): Fix accesses to possibly freed memory. 2009-12-09 Aleksey Demakov * jit/jit-block.c (_jit_block_record_label): bail out on previously assigned label. * jit/jit-block.c (merge_empty): fix label merging. * jit/jit-internal.h, jit/jit-insn.c (jit_insn_address_of_label) * jit/jit-block.c (_jit_block_record_label_flags): flag labels that are taken address of. * jit/jit-block.c (eliminate_unreachable, _jit_block_clean_cfg): do not optimize away blocks with labels flagged as being taken address of. 2009-11-01 Aleksey Demakov * jit/jit-block.c (_jit_block_clean_cfg): implement the "combine" part of cleanup algorithm. 2009-10-31 Klaus Treichel * jit/jit-compile.c (_JIT_RESULT_TO_OBJECT, _JIT_RESULT_FROM_OBJECT): Fix compiler warnings on systems where sizeof(int) != sizeof(void *) * jit/jit-rules-x86-64.c (fixup_alloca): Added to handle alloca fixups with param area enabled. (_jit_gen_epilog): Generate the epilog differenty if the stackpointer was changed during code generation with param area enabled. * jit/jit-rules-x86-64.h: Add the alloca_fixups to the extra_gen_state. * jit/jit-rules-x86-64.ins: Add support for JIT_OP_ALLOCA. (alloca support based on a patch from Peter Lobsinger, thanks) 2009-10-30 Aleksey Demakov * include/jit/jit-function.h, jit/jit-function.c (jit_function_labels_equal): add function that checks if two labels belong to the same basic block. * jit/jit-reg-alloc.h, jit/jit-reg-alloc.c (_jit_regs_clear_all_outgoing): add function. * jit/jit-compile.c (compile_block): use _jit_regs_clear_all_outgoing after each function call. * include/jit/jit-except.h (JIT_RESULT_CACHE_FULL): add result code. * jit/jit-cache.h, jit/jit-cache.c (_jit_cache_check_space): add function to check the available cache space. * jit/jit-compile.c: use internal exception to handle the cache full condition. * jit/jit-reg-alloc.h, jit/jit-reg-alloc.c, jit/jit-rules-alpha.c, * jit/jit-rules-arm.c, jit/jit-rules-interp.c, jit/jit-rules-x86.c, * jit/jit-rules-x86-64.c, tools/gen-rules-parser.y: use internal exceptions to signal the cache full condition and other codegen errors. * jit/jit-reg-alloc.h, jit/jit-reg-alloc.c (_jit_regs_inst_ptr) (_jit_regs_end): remove functions. 2009-10-13 Gopal V * jit/jit-insn.c (jit_insn_branch_if_not,jit_insn_branch_if): Redo last patch to use the branch instructions, but without removing the actual compare step (Aleksey's suggestion). 2009-10-09 Gopal V * jit/jit-insn.c (jit_insn_branch_if_not,jit_insn_branch_if): Remove the premature optimization of compare & branch operations (thanks Klaus). 2009-08-04 Aleksey Demakov * jit/jit-block.c (_jit_block_clean_cfg): avoid jump tables while cleaning branches (thanks Fredrik Ehnbom). 2009-06-10 Aleksey Demakov * jit/jit-rules-x86.ins (JIT_OP_BR_LFALSE): add opcode rule. 2009-06-10 Michele Tartara * jit/jit-rules-x86.ins (JIT_OP_BR_LTRUE): add opcode rule. 2009-06-05 Aleksey Demakov * jit/jit-compile.c (jit_function_compile) (jit_function_compile_entry, jit_function_setup_entry) (_jit_function_compile_on_demand): new file, move all compile functions here from jit-function.c. * jit/jit-compile.c (jit_compile, jit_compile_entry): add new functions that do exactly the same as jit_function_compile and jit_function_compile_entry but return JIT_RESULT_ error code. * jit/jit-compile.c (jit_optimize): add function to optimize IR. * include/jit/jit-function.h: add optimization level constants JIT_OPTLEVEL_NONE and JIT_OPTLEVEL_NORMAL. * jit/jit-function.c (jit_function_create) set JIT_OPTLEVEL_NORMAL optimization level by default. * jit/jit-function.c (jit_function_get_max_optimization_level): return JIT_OPTLEVEL_NORMAL. * jit/jit-internal.h (struct _jit_function): add is_optimized field to _jit_function struct. * jit/jit-compile.c (compile): catch internal exceptions. * jit/jit-block.c: use internal exceptions instead of return codes for CFG error handling. 2009-05-10 Aleksey Demakov * include/jit/jit-except.h (JIT_RESULT_UNDEFINED_LABEL): * jit/jit-except.c (jit_exception_builtin): add new builtin exception. * jit/jit-internal.h (struct _jit_label_info): add srtuct. (struct _jit_builder): replace label_blocks with label_info. * jit/jit-block.c (_jit_block_record_label): * jit/jit-dump.c (jit_dump_function): * jit/jit-insn.c (jit_insn_label): allow more than one label per basic block. * include/jit/jit-block.h: * jit/jit-block.c (jit_block_get_next_label): add function. 2009-05-09 Aleksey Demakov * jit/jit-internal.h, jit/jit-block.c, jit/jit-insn.c, * jit/jit-function.c: allocate insns as individual array for each basic block instead of using common per-function pool. * jit/jit-internal.h, jit/jit-block.c: keep useless basic blocks in the deleted_blocks list instead of freeing them immediately as these blocks still may be referenced from elsewhere, for instance, from jit_value_t structs. * jit/jit-internal.h, jit/jit-block.c (_jit_block_is_final): add function to check if the given block is the last one. * jit/jit-rules-alpha.c, jit/jit-rules-arm.c, jit/jit-rules-x86.c, * jit/jit-rules-x86-64.c (jump_to_epilog): use _jit_block_is_final. 2009-04-29 Aleksey Demakov * jit/jit-block.c (_jit_block_build_cfg, _jit_block_clean_cfg): add functions to build and clean control flow graph. * jit/jit-block.c, jit-live.c (_jit_block_peephole_branch): remove function superseded by jit_block_clean_cfg(). * jit/jit-internal.h, jit/jit-block.c: * jit/jit-function.c, jit/jit-insn.c: add control flow graph edges to basic blocks, streamline basic block handling. * jit/jit-block.c (jit_block_get_label): return jit_label_undefined instead of zero on error. * jit/jit-insn.c (jit_insn_call_finally): create a new block after JIT_OP_CALL_FINALLY. * jit/Makefile.am (libjit_la_SOURCES): remove jit-cfg.[ch]. 2009-04-24 Michele Tartara * jit/jit-gen-arm.h (arm_mov_reg_float): fix typo. * jit/jit-rules-arm.c (_jit_gen_load_value): fix load logic. 2009-04-22 Aleksey Demakov * jit/jit-insn.c (jit_insn_call, jit_insn_call_indirect) (jit_insn_call_indirect_vtable, jit_insn_call_native): don't end basic block before a function call, rather end it after the call if the call may throw some exception. * jit/jit-function.c (compile_block): spill all registers before calls. 2009-04-21 Aleksey Demakov * jit/jit-dump.c (jit_dump_insn): fix "call_finally" dump. 2009-04-16 Michele Tartara * jit/jit-rules-arm.c: ARM backend fixes. 2009-04-16 Aleksey Demakov * jit/jit-reg-alloc.c (set_regdesc_flags): fix bug reported by jan@wedesoft.de. 2009-04-05 Michele Tartara * jit/jit-type.c (perform_layout): let struct alignment be greater than alignment of every indvidual field. 2009-03-28 Aleksey Demakov * jit/jit-rules.h (jit_reg_name, jit_reg_flags, jit_reg_code); add convenience macros for register info access. * jit/jit-rules.h, jit/jit-rules-interp.c, jit/jit-rules-x86.c, * jit/jit-rules-arm.c (_jit_reg_get_pair, jit_reg_get_pair): add function and macro for finding register pair. * jit/jit-reg-alloc.c: replace use of _jit_regs_needs_long_pair with jit_reg_get_pair(). * jit/jit-reg-alloc.h, jit/jit-reg-alloc.c (_jit_regs_get_cpu) (_jit_regs_needs_long_pair): remove unused functions. 2009-03-25 Michele Tartara * jit/jit-gen-arm.h (arm_alu_cc_reg): fix a typo. * jit/jit-rules-arm.ins (JIT_OP_IDIV): support negative dividends. 2009-03-24 Aleksey Demakov * jit/jit-rules.h (jit_reg_other_reg): add macro. * jit/jit-reg-alloc.c: replace OTHER_REG with jit_reg_other_reg. * jit/jit-rules-x86.c (_jit_gen_load_value): use jit_reg_other_reg. * jit/jit-rules-arm.c (_jit_gen_load_value) (_jit_gen_load_value_struct): use jit_reg_other_reg. 2009-03-23 Aleksey Demakov * jit/jit-rules-arm.ins: minor cleanup. 2009-03-23 Michele Tartara * jit/jit-gen-arm.h: add more ARM codegen macros including VFP support. * jit/jit-rules-arm.ins: restore ARM FPA rules, implement IDIV and fix MEMSET opcodes. * jit/jit-rules-arm.h, jit/jit-rules-arm.c: more ARM code. * jit/jit-reg-alloc.c (_jit_regs_commit): fix typo. 2009-02-07 Aleksey Demakov * gen-sel-parser.y, gen-sel-scanner.l: remove obsolete files. * tools/Makefile.am: remove gen-sel target. * jit/jit-apply-arm.h (jit_builtin_apply): fix bug and optimize. 2009-02-06 Klaus Treichel * jit/jit-apply-x86.h: Add @PLT to the definition of JIT_MEMCPY to prevent set TEXTREL flags in the shared library. 2009-02-06 Michele Tartara * jit/jit-rules.h: define JIT_BACKEND_ARM on ARM. * tools/gen-apply.c: define PLATFORM_IS_ARM on ARM. * include/jit/jit-arch-arm.h: add ARM arch header. * jit/Makefile.am, jit/jit-rules-arm.ins, jit/jit-rules-arm.sel: replace obsolete .sel file for ARM with .ins file. * jit/jit-apply-arm.h: define jit_indirector_size, jit_should_pad, override jit_builtin_apply. * jit/jit-apply-arm.c (_jit_create_indirector, _jit_pad_buffer): add functions. * jit/jit-apply-func.h: for each jit_builtin_* macro add individual check if it's already defined. 2009-01-30 Peter Fristedt Kirill Kononenko * tools/gen-apply.c (run_detect_struct_##n): Work around a bug in gcc-4.3 with optimization level 2 and Debian Lenny. Make 'jit_nint stack[1]' volatile. 2009-01-01 Klaus Treichel * jit/jit-rules-x86-64.ins (JIT_OP_NFLOAT_TO_FLOAT32, JIT_OP_NFLOAT_TO_FLOAT64): Add rules for the case that the destination value is in the stack frame. (JIT_OP_BR_ILT, JIT_OP_BR_ILE, JIT_OP_BR_IGT, JIT_OP_BR_IGE): Handle the comparision with a constant 0 with a test opcode instead of a cmp. (JIT_OP_ISIGN, JIT_OP_LSIGN): Add handling of the integer sign opcodes. 2008-12-21 Aleksey Demakov * jit/jit-dump.c (jit_dump_function): dump undefined labels as such rather than generating new labels for them. 2008-12-12 Aleksey Demakov * jitruby/*: add Paul Brannan's ruby-libjit. 2008-12-11 Juan Jesus Garcia de Soria * jit/jit-insn.c (jit_insn_call_native): extend small int return values to full ints as native calls sometimes return garbage in MSB of the return register. 2008-12-11 Aleksey Demakov * configure.ac: bump version to 0.1.3 2008-12-10 Klaus Treichel * jit/jit-rules-x86-64.c (x86_64_call_code): Load %rax with 8 before doing the call for calls to variadic functions. * jit/jit-rules-x86-64.ins (JIT_OP_CALL_INDIRECT, JIT_OP_CALL_VTABLE_PTR): likewise. 2008-12-10 Aleksey Demakov * configure.ac: bump version to 0.1.2 * NEWS: update news for the 0.1.2 release 2008-11-23 Arto Bendiken * jit/jit-apply-x86.h, tools/gen-apply.c, tools/gen-apply-macosx.h: Mac OS X compatibility fixes. 2008-11-04 Klaus Treichel * jit/jit-apply-x86-64.h (jit_builtin_apply): Use r11 for calling the function and pass the constant 8 in rax for the number of SSE registers used to pass values for variadic functions. * jit/jit-rules-x86-64.c (_spill_reg): Spill values with sizes less than 4 as jit_type_int on the stack. 2008-10-12 Aleksey Demakov * jit/jit-unwind.c: fix typos. * jit/jit-interp.c (_jit_run_function): adjust exception_pc if exception is generated by a previous instruction. 2008-10-05 Aleksey Demakov * jit/jit-interp.c (_jit_run_function): fix implementation of the JIT_OP_TRUNC_INT and JIT_OP_TRUNC_UINT opcodes in interpreter. * jit/jit-rules-interp.c (_jit_gen_insn): add support of the JIT_OP_INCOMING_REG opcode, interpreter needs it for exception handling. 2008-08-07 Klaus Treichel * jit/jit-apply.c jit/jit-insn.c, jit/jit-interp.c, tools/gen-apply.c: Include stdlib.h if available to pick up the declaration of alloca on NetBSD. 2008-07-26 Klaus Treichel * jit/jit-rules-x86-64.c (xmm_cmp_reg_imm, xmm_cmp_setcc_reg_imm, xmm_cmp_brcc_reg_imm): Add functions to handle compares with an immediate value. * jit/jit-rules-x86-64.ins: Add rules for an immediate value for JIT_OP_FEQ, ..., JIT_OP_DEQ, ... and the float32 and float64 conditional branch opcodes. 2008-07-19 Klaus Treichel * dpas/dpas-parser.y (handle_boolean_binary): Add macro for binary operators returning a boolean value. (handle_compare_binary): Use handle_boolean_binary instead of handle_binary for non pointer compares. Set the result type to dpas_type_boolean instead of the common type for pointer compares. * tests/cond.pas: Add float compare tests where nan values are involved. Add compare tests for the *_inv opcodes. Add the same tests using branches for all float compare opcodes. * jit/jit-rules-x86-64.c (xmm_setcc, xmm_cmp_setcc_reg_reg, xmm_brcc, xmm_cmp_brcc_reg_reg, xmm_cmp_brcc_reg_membase): Add functions to handle float compares with consideration of nan values. * jit/jit-rules-x66-64.ins: Rewrite the float32 and float64 compare and branch rules using the new functions in jit-rules-x86-64.c. Add the corresponding *_inv rules. 2008-07-06 Klaus Treichel * jit/jit-rules-x86-64.ins: Replace the check if an immediate value is a signed 32bit value by using an if clause the new imms32 clause. Flag rules for branch opcodes with the branch option and add the commutative option where appropriate. 2008-07-06 Juan Jesus Garcia de Soria * jit/jit-reg-alloc.c (choose_input_order): take into account global registers to see if it is suitable to exchange input values. This fixes a problem that took place when a commutative op is applied to a value that resides in a global register and is both the dest and the second source value of the op. 2008-05-30 Aleksey Demakov * include/jit/jit-common.h: remove unused jit_function_compiled_t type. * include/jit/jit-except.h, include/jit/jit-common.h: move JIT_NO_OFFSET from jit-except.h to jit-common.h. * include/jit/jit-unwind.h, jit/jit-unwind.c: new files. * include/jit/jit.h, include/jit/Makefile.am: add jit-unwind.h. * jit/Makefile.am: add jit-unwind.c. * jit/jit-except.c (jit_exception_get_stack_trace): re-implement using unwind routines. 2008-05-28 Juan Jesus Garcia de Soria * jit/jit-alloc.c (jit_free_exec): fix VirtualFree arguments. * jit/jit-function.c (_jit_function_destroy): free signature on the function destruction. 2008-05-27 Aleksey Demakov * jit/jit-internal.h (jit_builder_t): * jit/jit-insn.c (initialize_setjmp_block): remove longjmp_label field as useless. 2008-05-26 Klaus Treichel * tools/gen-rules-parser.y, tools/gen-rules-scanner.l: Add the imms32 and immu32 keywords for 32bit signed and unsigned immediate values. * tools/gen-apply.c: Add support for apply return structs where different float types are at different offsets in the return struct. * jit/jit-apply.c (closure_handler): Handle return of different float types with different macros. * jit/jit-apply-x86.h (jit_builtin_return_float): Adjust macro to the new apply return struct layout. Add the new jit_builtin_return_double and jit_builtin_return_nfloat macros. Fix jit_builtin_return_float macro for MS cl. * jit/jit-apply-x86-64.h (jit_builtin_return_float): Adjust macro to the new apply return struct layout. Add the new jit_builtin_return_double and jit_builtin_return_nfloat macros. * jit/jit-apply-func.h: Add the new jit_builtin_return_double, jit_builtin_return_nfloat and jit_builtin_return_long macros. 2008-05-26 Juan Jesus Garcia de Soria * include/jit/jit-defs.h.in: define JIT_EXPORT_DATA macro to support win32 DLL symbol import/export idiosyncrasy. On non-win32 this macro is simply "extern". * include/jit/jit-type.h, include/jit/jit-opcode.h: replace "extern" with JIT_EXPORT_DATA in data declaration. 2008-05-24 Klaus Treichel * jit/jit-rules-x86-64.c (_jit_gen_prolog, _jit_gen_epilog): Add support for the param area. (_jit_setup_call_stack): Define this function only if not using the param area. (_jit_create_call_setup_insns): Call _jit_fix_call_stack with and without usage of the param area. (_jit_create_call_return_insns): Declare the locals abi and current_param only if built without support of the param area to avoid compiler warnings. * jit/jit-rules-x86-64.ins: Add the support of the JIT_OP_SET_PARAM_* opcodes for param area support. * jit/jit-rules-x86-64.h: Define JIT_USE_PARAM_AREA and do some code cleanup and reformatting. 2008-05-23 Juan Jesus Garcia de Soria * jit/jit-alloc.c (jit_malloc_exec, jit_free_exec): on win32 use VirtualAlloc and VirtualFree to allocate/free executable memory. 2008-05-23 Klaus Treichel * dpas/dpas-scanner.l, tools/gen-rules-scanner.l, tools/gen-sel-scanner.l: Define YY_NO_UNISTD_H if unistd.h is not available to prevent flex from including unistd.h. * include/jit/jit-arch-x86.h, include/jit/jit-arch-x86.h: Fix the definition of _JIT_ARCH_GET_CURRENT_FRAME for MS cl. Use a temporary value for ebp/rbp because cl doesn't like arguments like f->x in the __asm statements. * jit/jit-rules-x86.ins: Move declaration of patch to the start of the block in JIT_OP_ULONG_TO_NFLOAT to be ANSI C compliant. 2008-05-21 Aleksey Demakov * include/jit/jit-walk.h (jit_get_next_frame_address): use JIT_ARCH_GET_NEXT_FRAME if defined, use gcc syntax only if defined __GNUC__. 2008-05-12 Klaus Treichel * jit/jit-apply-x86-64.h: Include jit/jit-common.h instead of jit-internal.h to get the definition of the libjit types. 2008-05-08 Aleksey Demakov * jit/jit-rules-x86.ins: * jit/jit-rules-x86-64.ins: * jit/jit-function.c (compile_block): let register allocator see JIT_OP_INCOMING_REG and JIT_OP_RETURN_REG instructions so it can free unused values on these instructions rather than on the block end. * jit/jit-reg-alloc.c (_jit_regs_set_incoming): it is not possible to correctly spill the old register value at this point so do not attempt this and do not promise this. 2008-05-04 Klaus Treichel * jit/jit-reg-alloc.c (_jit_regs_set_outgoing): Set the outgoing register inhibited regardless if the value was already in the register or not. * jit/jit-insn.c (jit_insn_check_null): Emit the check only if the value to check is no nint constant != 0. 2008-04-22 Aleksey Demakov * configure.in: update to modern autoconf, rename to configure.ac. * configure.ac: renamed from configure.in. 2008-04-20 Klaus Treichel * tests/Makefile.am: Add cond.pas to the tests. * tests/math.pas: Add tests for more opcodes and execute existing tests for more types. * tests/cond.pas: Add tests for conditions. 2008-04-20 Aleksey Demakov * jit/jit-rules-x86.ins: fix the sign opcode for longs (based on a patch from Klaus) and slightly modify it for ints. * jit/jit-insn.c: some code cleanup: (jit_insn_neg, jit_insn_abs, jit_insn_sign): for these unary ops replace common_binary() with more basic function calls that should suffice. (jit_insn_is_nan, jit_insn_is_finite, jit_insn_is_inf): return false for non-floating point values and do not use common_binary() as well. 2008-04-19 Klaus Treichel * jit/jit-insn.c (jit_insn_sign): the dest value of the sign insn has to be int regardless of the argument type. 2008-04-13 Klaus Treichel * include/jit/Makefile.am: * include/jit/jit-arch-x86-64.h: new file with x86-64 architecture specific macros for stack frame inspection. * configure.in: check for x86-64 arch, add -fno-omit-frame-pointer flag. * include/jit/jit-walk.h: use _JIT_ARCH_GET_RETURN_ADDRESS and _JIT_ARCH_GET_CURRENT_RETURN if available. * jit/jit-gen-x86-64.h: Add additional macros for saving and restoring the fpu controlword and the mxcsr register. Add additional SSE conversion macros. Add SSE compare macros. Add macros for the SSE bit operations on packed values. Add macros for SSE sqrt and rounding. Add macros for fpu rounding. * jit/jit-rules-x86-64.c: Add the dreg register class and functions to handle rounding and SSE bit opcodes on packed values. * jit/jit-rules-x86-64.ins: Add INT_TO_NFLOAT, LONG_TO_NFLOAT, FLOAT32_TO_NFLOAT, FLOAT64_TO_NFLOAT. Rewrite NFLOAT_TO_INT and NFLOAT_TO_LONG to use the new functions in jit-rules-x86-64.c. Add handling of ABS, NEG and float compares. 2008-03-31 Klaus Treichel * jit/jit-rules-x86.ins: Fix the sign opcode for integers and the constant case for longs. 2008-03-30 Klaus Treichel * jit/jit-gen-x86-64.h: Add macros for the test, imul, cdw/cdq/cqo and cmov instructions. * jit/jit-intrinsic.c (jit_int_sign, jit_long_sign): Return 1 for values greater than 0 instead of 0. * jit/jit-rules-x84-64.ins: Add IMUL, IDIV, IDIV_UN, IREM, IREM_UN, LMUL, LDIV, LDIV_UN, LREM and LREM_UN opcodes. Replace the compares with zero done with or with test instructions. 2008-03-29 Klaus Treichel * jit/jit-rules-x86.ins: Fix signed division of negative values by a constant positive power of two. 2008-03-29 Klaus Treichel * jit/jit-apply.c, tools/gen-apply.c: changes to apply needed for x86-64 support. 2008-03-25 Aleksey Demakov * jit/jit-interp.c (jit_function_apply_vararg): fix return code if exception is thrown. 2008-03-24 Klaus Treichel * jit/jit-function.c (cleanup_on_restart): Reset the epilog_fixup. * jit/jit-apply-x86-64.c: Move parameter passing handling from jit-rules-x86-64.c to this file because they are needed by apply too. * jit/jit-apply-x86-64.h: Add declarations needed for parameter passing. * jit/jit-gen-x86-64.h: Add macros for shift opcodes, register exchanges and moves from general purpose register to xmm register and vice versa. * jit/jit-rules-x86-64.c: Move parameter handling to jit-apply.x86-64.c. Add handling of structs in _jit_gen_load_value and _spill_reg. Fix more parameter passing issues. * jit/jit-rules-x86-64.ins: Do some cleanup. Add casts to jit_nint when checking for valid ranges. Add integer and long shift opcodes. Add memset opcode. 2008-03-04 Klaus Treichel * jit/Makefile.am: Add jit-rules-x86-64.inc to CLEANFILES to fix make distcheck. 2008-03-03 Aleksey Demakov * jit/jit-cache.h, jit/jit-cache.c, jit/jit-function.c (compile): modify cache algorithm to allow a method to occupy more than one cache page. * include/jit/jit-context.h: add JIT_OPTION_CACHE_MAX_PAGE_FACTOR option. * jit/jit-context.c (_jit_context_get_cache): use that option. 2008-03-02 Klaus Treichel * jit/jit-apply-x86-64.h: define the sizes for indirector and redirector. * jit/jit-apply-x86-64.c: do either a memory indirect, RIP relative or register relative jump in the redirector whatever is appropriate for the address location in _jit_create_indirector. * jit/jit-gen-x86-64.h: add lots of additional code generation macros and fix some bugs. * jit/jit-insn.c: don't mark the current block dead after throwing an exception in jit_insn_call_intrinsic because this is handled in jit_insn_call_native if the flag JIT_CALL_NORETURN is specified. * jit/Makefile.am: Add the new files jit-rules-x86-64.c, jit-rules-x86-64.h and jit-rules-x86-64.ins to the sources. * jit/jit-rules.h: add the native backend for X86_64. * jit/jit-rules-x86-64.c, jit/jit-rules-x86-64.h, jit/jit-rules-x86-64.ins: add the first native code generation for X86_64. * jit/jit-value.c: create a nint constant for long/ulong types in jit_value_create_constant on 64bit archs. 2008-02-29 Aleksey Demakov * include/jit/jit-plus.h, jitplus/jit-plus-jump-table.cpp: * jitplus/jit-plus-function.cpp, jitplus/Makefile.am: add jit_jump_table class and jit_function::insn_jump_table method, add jit-plus-jump-table.cpp file, move jit_build_exception class from jit-plus-function.cpp to jit-plus.h. 2008-02-26 Aleksey Demakov * use LGPL 2.1 for all the rest - dpas, tools, tests, and doc. 2008-02-06 Aleksey Demakov * auto_gen.sh: by popular demand restore this file although it only does "autoreconf -i -f" now. * tools/gen-rules-parser.y: update license and copyright notices. 2008-01-30 Klaus Treichel * jit/Makefile.am: Fix typo in my last commit. 2008-01-29 Klaus Treichel * jit/jit-apply-x86-64.h: Fix the macros jit_builtin_return_int and jit_builtin_return_float. * jit/jit-apply-x86-64.c: Add closure support for x86_64. * jit/jit-gen-x86-64.h: Add first codegeneration macros for x86_64. * jit/Makefile.am: Add the two new files to the libjit sources. 2008-01-26 Aleksey Demakov * auto_gen.sh: remove, use "autoreconf -i -f" instead (thanks Dalibor for the hint). * INSTALL, config.guess, config.sub, install-sh, missing: remove from CVS, these files are automatically generated by autoreconf. * mkinstalldirs: remove, this file is obsolete. 2008-01-25 Aleksey Demakov * include/*, jit/*, jitplus/*, jitdynamic/*: use LGPL 2.1. * doc/libjit.texi: remove "Why GPL?" chapter. 2008-01-22 Aleksey Demakov * COPYING.LESSER: add LGPL v2.1 file. * jit/*.c, jitplus/*.cpp, jitdynamic/*.c: fix texinfo markup for parameters. 2008-01-21 Dalibor Topic * jit/Makefile.am (libjit_la_SOURCES): add mising jit-rules-interp.h file. 2008-01-16 Klaus Treichel * jit/jit-gen-x86.h: Use the supplied base register instead of register no. 5 (EBP) in x86_memindex_emit for displacements greater than x86_int8 (<-128 or >127). 2008-01-04 Klaus Treichel * jit/jit-opcode.c: Add the nint argument to the return_small_struct and flush_small_struct opcodes. 2008-01-03 Klaus Treichel * jit/jit-opcode.c: Add the nint argument to the copy_struct opcode. * jit/jit-rules-interp.c (_jit_gen_start_block): Fix fixups for interpreter. 2007-12-31 Klaus Treichel * jit/jit-apply-x86-64.h: Swap source and destination for the call of jit_memcpy in jit_builtin_apply so that they are in the correct order. 2007-12-28 Aleksey Demakov * jit/jit-interp.c: fix JIT_OP_LCMP_UN opcode. 2007-12-28 Klaus Treichel * jit/jit-interp.c: Fix the opcodes JIT_OP_LADD, JIT_OP_ISHL, JIT_OP_LSHR_UN, JIT_OP_ICMP_UN, JIT_OP_LCMP and JIT_OP_LCMP_UN in the intpreter backend. 2007-12-24 Aleksey Demakov * jit/jit-gen-x86.h (x86_alu_reg16_imm): add macro. * jit/jit-rules-x86.ins: add JIT_OP_NFLOAT_TO_INT and JIT_OP_NFLOAT_TO_LONG rules. 2007-12-21 Aleksey Demakov * jit/jit-internal.h, jit/jit-context.c, jit/jit-function.c: * jit/jit-interp.c: use on-demand driver for interpreter but skip indirector/redirector stuff for it. 2007-12-20 Aleksey Demakov * include/jit/jit-plus.h: add jit_context::build_start() and jit_context::build_end() methods. * include/jit/jit-function.h, jit/jit-function.c (jit_function_recompile): remove. * include/jit/jit-plus.h, jitplus/jit-plus-function.cpp (jit_function::recompile): remove. * tutorial/t3.c, tutorial/t4.cpp: recompile manually instead of using removed recompile functions. * doc/libjit.texi: update tutorial. 2007-12-16 Klaus Treichel * configure.in: Add support for multi os archs (like x86_64). Put the libraries in the correct directories so that 32- and 64-bit code doesn't get mixed up. * jit/jit-apply-x86-64.h: Add some information about the clobber list to jit_builtin_apply and add r10 and r11 to the clobber list because they are not preserved by the callee and we call arbitrary functions here. * jit/jit-internal.h: Cast _JIT_ALIGN_TO_TYPE to jit_nuint instead of unsigned because jit_nuint is guaranteed to have the size of a pointer. This fixes compiler warnings on x86_64 too. 2007-11-27 Aleksey Demakov * jit/jit-rules-x86.c (_jit_gen_load_value): fix compiler warnings. 2007-11-17 Aleksey Demakov * jit/jit-insn.c (jit_insn_mark_offset): do not start new block on the bytecode mark. If a mark goes just after another mark then replace the old mark rather than add the new. * jit/jit-cache.c (_jit_cache_get_bytecode) (_jit_cache_get_native): fix offset for the last bytecode mark. 2007-11-13 Aleksey Demakov * tools/Makefile.am (noinst_HEADERS): add gen-apply-macosx.h 2007-11-08 Aleksey Demakov * include/jit/jit-plus.h, jitplus/jit-plus-function.cpp (new_label): add c++ wrapper for jit_function_reserve_label. * include/jit/jit-plus.h (clear_recompilable): fix a typo. 2007-10-07 Aleksey Demakov * jit/jit-rules-x86.ins (JIT_OP_JUMP_TABLE): fix jump table code generation. * include/jit/jit-function.h: * jit/jit-function.c (jit_function_reserve_label): add new function to create labels for jump tables. 2007-06-11 Aleksey Demakov * jit/jit-insn.c (accumulate_relative_offset): remove. * jit/jit-insn.c (find_base_insn, jit_insn_load_relative) (jit_insn_store_relative, jit_insn_add_relative): add find_base_insn function that should finally optimize relative instructions correctly. 2007-06-10 Aleksey Demakov * tools/gen-rules-parser.y (gensel_output_clauses): alter selection logic so that "reg" rules are chosen over "local" in case the value is used again in the same basic block. * jit/jit-rules-x86.ins: tweak COPY rules for bytes, shorts, and ints. * jit/jit-live.c (forward_propagation, backward_propagation) (is_copy_insn): do not perform copy propagation if JIT_OP_COPY_INT is used for byte and short values. 2007-05-28 Aleksey Demakov * jit/jit-live.c (forward_propagation, backward_propagation): do not optimize addressable and volatile values. 2007-05-28 Aleksey Demakov * jit/jit-live.c (_jit_function_compute_liveness) (forward_propagation, backward_propagation): add simple copy propagation that works only within basic blocks. * jit/jit-value.c (jit_value_ref): do not set the live flag here as this is done in jit-live.c now. 2007-05-26 Klaus Treichel * jit/jit-intrinsic.c: Fix conversion from ulong to nfloat for values greater that jit_max_long. 2007-05-26 Aleksey Demakov * jit/jit-insn.c (jit_insn_store): remove incorrect optimization that eliminates intermediate value without knowledge of its later use. 2007-04-04 Aleksey Demakov * jit/jit-reg-alloc.c (commit_output_value): fix compilation for archs without register stack (thanks Klaus). 2007-03-04 Aleksey Demakov * configure.in: update working version to "0.1.1". 2007-03-03 Aleksey Demakov * include/jit/Makefile.am: add jit-arch.h to BUILT_SOURCES. * doc/Makefile.am: add extract-docs.sh, mkhtml.sh, mkpdf.sh to EXTRA_DIST. * configure.in: bump version to 0.1.0. * NEWS: update news for the 0.1.0 release. 2007-02-25 Aleksey Demakov * jit/jit-reg-alloc.c (adjust_assignment, _jit_regs_gen): the ops that have dest value on x87 stack but have no x87 input values need the dest register to be adjusted after spilling too. (is_register_occupied, clobbers_register): undo is_register_occupied logic introduced 2007-02-12. 2007-02-14 Aleksey Demakov * jit/jit-function.c (compile_block): check if cache is full and exit if so. 2007-02-13 Aleksey Demakov * doc/texinfo.tex: remove an ancient file version from the tree. automake --add-missing as well as auto_gen.sh add an up-to-date version of it. * jit/jit-insn.c, jit/jit-rules-interp.c: * jitplus/jit-plus-value.cpp, jitplus/jit-plus-function.cpp: fix texinfo comments. 2007-02-12 Aleksey Demakov * jit/jit-dump.c (jit_dump_function): flush the output stream upon dumping the function. * jit/jit-function.c (cleanup_on_restart, reset_value): add new functions to clean up the compilation state on restart. (compile): replace the code that did cleanup on restart with a call to cleanup_on_restart() which does this job more thoroughly. * jit/jit-reg-alloc.h, jit/jit-reg-alloc.c: remove _jit_regs_abort() function as the new cleanup-on-restart code makes it superflows. * jit/jit-reg-alloc.c (is_register_occupied): add new function; (clobbers_register, spill_clobbered_register, _jit_regs_gen): fix a problem that shows up with the new cleanup method. * tools/gen-rules-parser.y (gensel_output_clauses): the conditions for the local and frame patterns are changed. If the value is used before it is defined then both in_frame and in_register flags are clear. This situation is perfectly valid if there is a backward branch form a point after the definition to a point before the use. So if the value is not a constant and it is not in a register assume that it is on the stack even if the in_frame flag is not set. 2007-02-10 Klaus Treichel * jit/jit-function.c: Use the on-demand compilation driver in jit_function_apply too. Return the functions' entry point if the function is allready compiled in jit_function_compile_entry. 2007-02-04 Aleksey Demakov * include/jit/jit-common.h, include/jit/jit-context.h, * include/jit/jit-function.h, jit/jit-internal.h, jit/jit-context.c, * jit/jit-function.c: provide for user defined on-demand compilation driver and delayed function entry point setup. 2007-01-28 Aleksey Demakov * jit/jit-reg-alloc.c (_jit_regs_gen, set_regdesc_flags): fix bugs introduced 2006-12-30 with loading registers for ternary ops and handling input register thrash. 2007-01-26 Aleksey Demakov * include/jit/jit-arch-x86.h (_JIT_ARCH_GET_CURRENT_FRAME): tweak gcc version of the macro. * jit/jit-apply-x86.c (_jit_create_redirector): redirector does not use stack frame so remove frame set up and restore instructions. 2007-01-23 Aleksey Demakov * jit/jit-internal.h, jit/jit-function.c: remove the closure_entry field from jit_function_t. Find this value on the fly in jit_function_to_closure() and jit_function_to_vtable_pointer() to be equal either to entry_point or indirector fields. * jit/jit-rules-alpha.ins, jit/jit-rules-x86.ins: use jit_function_to_closure() instead of the closure_entry field. 2007-01-17 Aleksey Demakov * jit/jit-reg-alloc.h, jit/jit-reg-alloc.c: complete special x87 arithmetic support, for other x87 instructions reverse the order of arguments on the stack. * jit/jit-rules-x86.ins: take advantage of regalloc's x87 arithmetic support. Also do not clobber the entire x87 stack for atan, sin, and cos rules. 2007-01-12 Heiko Weiss * jit/jit-function.c: Fix a typo in jit_function_from_vtable_pointer which breaks the build if libjit is built in interpreter mode. 2007-01-04 Thomas Cort * jit/jit-rules-alpha.c: register class should not include FIXED registers. * .cvsignore, tools/.cvsignore, tutorial/.cvsignore: updated the .cvsignore files to ignore some generated files. 2007-01-03 Thomas Cort * jit/jit-rules-alpha.c: initialize alpha register classes. Fix signed-ness warnings. 2007-01-02 Aleksey Demakov * jit/jit-rules-x86.ins: add JIT_OP_IMIN_UN rule (based on the patch #5540 by Kirill Kononenko). * jit/jit-reg-alloc.c (set_regdesc_value, set_regdesc_register) (choose_output_register): handle EARLY_CLOBBER flag for dest value. 2006-12-30 Aleksey Demakov * jit/jit-reg-class.c, jit/jit-reg-class.h, jit/Makefile.am: add register classes. * jit/jit-rules-x86.c (_jit_init_backend): initialize x86 register classes. * jit/jit-reg-alloc.h, jit/jit-reg-alloc.c: specify register class for each value and scratch register. Clean up interface. * tools/gen-rules-scanner.l, tools/gen-rules-parser.y: add register class declaration; "reg", "lreg", "freg" are not keywords anymore. "scratch" requires register class specification. "clobber" accepts register class which means all registers in the class are clobbered. Remove "only", "spill_before", "unary", and "binary" keywords. Replace "unary_note" and "binary_note" with "note". Also replace "unary_branch" and "binary_branch" with "branch". * jit/jit-rules-alpha.ins, jit/jit-rules-x86.ins: update according to the new rule syntax. 2006-12-20 Aleksey Demakov * jit/jit-thread.h, jit/jit-thread.c: add _jit_global_lock mutex. * jit/jit-init.c (jit_init): make sure that initialization is done only once. 2006-12-17 Klaus Treichel * include/jit/jit-function.h, jit/jit-function.c: Add the function jit_function_from_vtable_pointer to convert a vtable pointer back to the jit_function_t. 2006-11-29 Aleksey Demakov * jit/jit-reg-alloc.c (save_value): fix bug freeing stack register that is not on the stack top. 2006-11-27 Kirill Kononenko * jit/jit-rules-x86.c (throw_builtin): * jit/jit-rules-x86.ins (JIT_OP_THROW, JIT_OP_LOAD_PC): directly use the inst variable to get current PC value for the position-dependent code case (patch #5503). 2006-11-27 Aleksey Demakov * include/jit/jit-context.h: add JIT_OPTION_POSITION_INDEPENDENT option. * jit/jit-internal.h (struct _jit_builder): add position_independent field. * jit/jit-function.c (_jit_function_ensure_builder): initialize position_independent field. * jit/jit-rules-x86.c (throw_builtin): * jit/jit-rules-x86.ins (JIT_OP_ADDRESS_OF_LABEL, JIT_OP_JUMP_TABLE) (JIT_OP_THROW, JIT_OP_LOAD_PC): add position_independent check and stub missing cases. 2006-11-26 Kirill Kononenko * jit/jit-rules-x86.ins: if JIT_USE_SIGNALS is defined do not emit explicit division by zero check (patch #5278). 2006-11-26 Aleksey Demakov * jit/jit-reg-alloc.c (choose_output_register): fix global register use cost computation. * jit/jit-rules-x86.ins: mark as commutative JIT_OP_IADD, JIT_OP_IMUL, JIT_OP_LADD, JIT_OP_IAND, JIT_OP_IOR, JIT_OP_IXOR, JIT_OP_LAND, JIT_OP_LOR, JIT_OP_XOR rules. 2006-11-25 Aleksey Demakov * jit/jit-reg-alloc.c (exch_stack_top, free_value): fix freeing stack registers. 2006-11-25 Kirill Kononenko * jit/jit-rules-x86.ins: add JIT_OP_ISIGN and JIT_OP_LSIGN rules (patch #5533), optimize JIT_OP_LNEG rule (patch #5555). [with some modifications by Aleksey Demakov.] 2006-11-11 Aleksey Demakov * jit/jit-rules-x86.ins: add JIT_OP_IABS and JIT_OP_LABS rules. 2006-11-04 Aleksey Demakov * jit/jit-rules-x86.ins: make comparison opcodes use three-address patterns. 2006-11-01 Aleksey Demakov * jit/jit-reg-alloc.c (commit_input_value, commit_output_value): do not increment/decrement the top of the register stack in case of fp-value coalescing. 2006-10-23 Aleksey Demakov * jit/jit-rules-x86.ins: JIT_OP_EXPAND_INT and JIT_OP_EXPAND_UINT rules were broken for local byte or short values. Fixed by removing the local pattern altogether as the reg pattern produces the same code but without the bug. 2006-10-18 Aleksey Demakov * jit/jit-reg-alloc.c (clobbers_register, bind_value): enable coalescing of the destination value of a copy operation with the source value in a single register. * jit/jit-rules-x86.ins: tag COPY rules with the "copy" keyword and change patterns of TRUNC rules to have a separate destination register. 2006-10-16 Aleksey Demakov * jit/jit-interp.h, jit/jit-interp.c (_jit_run_function): * jit/jit-opcode.c, jit/jit-rules-interp.c (_jit_gen_insn): Repair struct handling broken since the last interpreter reorganization, remove unused interpreter opcodes. * jit/jit-rules-interp.c (_jit_gen_start_block): check if the fixup position is before the cache end. This prevents segmentation fault when the end of cache block is reached and jit_function_compile() attempts to generate more code (it checks for the cache end way too late). 2006-10-14 Aleksey Demakov * jit/jit-rules-interp.c (_jit_create_call_return_insns): fix return code in case of no return value or struct returned via pointer (this is just like 2006-02-20 fix for x86). * jit/jit-cfg.c (create_value_entry): an uninitialized value was used (thanks Klaus for spotting). 2006-10-02 Klaus Treichel * jit/jit-intrinsic.c: Fix a copy bug in jit_ulong_mul (replace - by *). 2006-09-25 Aleksey Demakov * include/jit/jit-arch-x86.h, include/jit/jit-arch-generic.h: add headers for architecture-specific definitions. (_JIT_ARCH_GET_CURRENT_FRAME): add macro to find the stack frame pointer. * include/jit/Makefile.am: create jit-arch.h as a symlink to one of the jit-arch-*.h files depending on the JIT_ARCH value. * configure.in: set JIT_ARCH according to the system architecture. * include/jit/jit-walk.h (jit_get_current_frame): * jit/jit-walk.c (jit_get_starting_frame): * tools/gen-apply.c (find_return_offset, detect_frame_offsets): use _JIT_ARCH_GET_CURRENT_FRAME macro if available. This resolves the problem with gcc 4.1.* where __builtin_frame_address() function is broken (thanks Klaus for identifing the problem). 2006-09-15 Radek Polak * include/jit/jit-insn.h, jit/jit-insn.c, jit/jit-debugger.c: new instruction jit_insn_mark_breakpoint_variable. 2006-09-14 Aleksey Demakov * jit/jit-reg-alloc.h, jit/jit-reg-alloc.c: remove "old" register allocation code. * configure.in: remove --enable-new-reg-alloc option. * jit/jit-rules-x86.ins: simplify JIT_OP_RETURN_LONG rule, lift code from load_small_struct() function to JIT_OP_RETURN_SMALL_STRUCT rule. * jit/jit-rules-x86.c: remove load_small_struct() function. 2006-09-09 Aleksey Demakov * jit/jit-reg-alloc.h, jit/jit-reg-alloc.c: * tools/gen-rules-parser.y: add _JIT_REGS_CLOBBER_STACK flag and use it in the code generated for "only" rules instead of the explicit stack top check followed by the _jit_regs_spill_all() call. 2006-09-02 Aleksey Demakov * jit/jit-interp.c (_jit_run_function): * jit/jit-rules-interp.c (_jit_gen_insn): remove last traces of register allocation from the interpreter. 2006-08-31 Klaus Treichel * configure.in: Replace the deprecated AM_PROG_LIBTOOL with the current AC_PROG_LIBTOOL. * jitdynamic/Makefile.am, jitplus/Makefile.am: Add -no-undefined to the LDFLAGS to enable building cygwin/mingw dlls. 2006-08-31 Aleksey Demakov * tools/gen-rules-scanner.l, tools/gen-rules-parser.y: add "frame" keyword that is just like "local" but forces the value out from the register into the stack frame. * jit/jit-rules-x86.ins: rewrite JIT_OP_COPY_STORE_BYTE, JIT_OP_ADDRESS_OF, and JIT_OP_COPY_STORE_SHORT rules using the "frame" keyword. * jit/Makefile.am, jit/jit-rules-x86.c: remove all references to jit-rules-x86.sel and jit-rules-x86.slc. * jit/jit-rules-x86.c: remove mov_memindex_reg_byte() and widen_byte() functions. 2006-08-30 Aleksey Demakov * jit/jit-interp.h, jit/jit-interp.c, jit/jit-opcode.c, jit/jit-rules-interp.h, jit/jit-rules-interp.c: major change in the internal interpreter instruction set. Now the stack is used only for function arguments. There are three pseudo-registers used instead of the stack for operands. One is used for the destination value, two others are used for the source values. The destination register is spilled after each instruction. This scheme obviates the need for register allocation for the interpreter backend. * jit/jit-function.c (jit_function_compile, compile_block): do not make register allocator calls if JIT_BACKEND_INTERP is defined. 2006-08-29 Aleksey Demakov * jit/jit-function.c (jit_function_from_pc): fix problem with wrong exception handler address for interpreter. * jit/jit-insn.c (jit_insn_return, jit_insn_return_ptr): do not pop the setjmp context for the interpreter backend because it takes care of this by itself. * jit/jit-rules.h, jit/jit-rules-alpha.c, jit/jit-rules-arm.c, * jit/jit-rules-interp.c, jit/jit-rules-x86.c, jit/jit-reg-alloc.c: move part of the _jit_gen_exch_top() functionality into a separate _jit_gen_move_top() function. * include/jit/jit-opcode.h: * jit/jit-opcode.c: add JIT_OPCODE_IS_JUMP_TABLE flag to mark the JIT_OP_JUMP_TABLE opcode. * jit/jit-dump.c (jit_dump_insn, dump_interp_code): add jump table dumping. 2006-08-28 Klaus Treichel * dpas/Makefile.am, jit/Makefile.am, tests/Makefile.am: Add missing sources to fix creation of tarballs (make dist). 2006-08-25 Yan Burman * jitdynamic/jit-cpp-mangle.c (mangle_type_gcc3): fix typo in is_unsigned usage (patch #5324) 2006-08-23 Thomas Cort * jit/jit-apply-alpha.c jit/jit-apply-alpha.h: Fix jit_redirector_size. alpha_call is 6 instructions, not 1. 5 to load the addr, 1 to call. * jit/jit-gen-alpha.h: add macros for fp sign copy and arithmetic. * jit/jit-rules-alpha.c: remove TODO() from unused functions. 2006-08-23 Aleksey Demakov * jit/jit-internal.h (struct _jit_function): change the type of redirector and indirector fields from char array to pointer. * jit/jit-function.c (jit_function_create): allocate the redirector and indirector buffers in the code cache. Call jit_flush_exec on these buffers. This fixes problems on alpha and some x86 linux distros. [This one is based on the initial solution suggested by Kirill Kononenko ]. * jit/jit-rules-x86.c (_jit_gen_redirector): ifdef out as this function is not used with the x86 backend. * jit/jit-reg-alloc.c: improve handling of three-address op codes. Now the dest register may re-use one of the input registers while previously it was always assigned to a separate register. Also restructure the code that will be used for better selection of x87 instructions (this code was not used before and still is not but this is about to change). * jit/jit-rules-x86.ins: rewrite all LOAD_RELATIVE and LOAD_ELEMENT ops for x86 as three-address. Adjust IREM ops so that they work correctly together with the latest allocator changes. 2006-08-22 Klaus Treichel * jit/jit-alloc.c: Use mmap and munmap to allocate executable memory where available because memory allocated with malloc is not executable on some archs/distros. 2006-08-21 Thomas Cort * jit/jit-rules-alpha.c jit/jit-gen-alpha.h: Add macros for int to fp and fp to int conversions. Use _jit_pad_bufer. 2006-08-20 Thomas Cort * jit/jit-apply-alpha.c jit/jit-apply-alpha.h jit/jit-rules-alpha.h jit/jit-rules-alpha.ins jit/jit-rules-alpha.c jit/jit-gen-alpha.h: Remove unnecessary code from the prolog, epilog, redirector, and closure. Implement > and >= opcodes for signed and unsigned values. 2006-08-19 Aleksey Demakov * jit/jit-reg-alloc.c (set_regdesc_flags): fix a problem with the clobber flag being ignored. The problem was introduced by the patch from 2006-06-17. 2006-08-15 Thomas Cort * jit/jit-rules-alpha.c jit/jit-rules-alpha.h jit/jit-rules-alpha.ins Add a TODO() macro to print unimplemented warnings. Fix some casting warnings. Implement _jit_gen_redirector(...). Fix JIT_CDECL_WORD_REG_PARAMS to use the correct parameter registers. Add some stack push and pop instructions. 2006-08-15 Kirill Kononenko * configure.in: add --enable-signals option; * jit/Makefile.am: add jit/jit-signal.c; * jit/jit-signal.c, jit/jit-internal.h: add _jit_signal_init(); * jit/jit-init.c: call _jit_signal_init() if JIT_USE_SIGNALS is defined. (patch #5278.) 2006-08-11 Thomas Cort * jit/jit-rules-alpha.c jit/jit-rules-alpha.ins Properly handle fixups on alpha. Implement JIT_OP_CALL_EXTERNAL for alpha. 2006-07-29 Aleksey Demakov * jit/jit-reg-alloc.c (use_cheapest_register): allow a register that contains an input value to be used as a scratch register. The input value in this case is copied to another register. This resolves the problem with JIT_OP_IREM rule that failed to allocate a scratch reg in a very specific case (all EBX, ESI, EDI regs are used as global, dividend is initially in ECX and copied to EAX:EDX pair where x86 idiv expects it to be). * jit/jit-reg-alloc.c (set_regdesc_flags): fix a bug. 2006-07-23 Thomas Cort * jit/jit-apply-alpha.c jit/jit-apply-alpha.h jit/jit-apply-func.h jit/jit-gen-alpha.h jit/jit-rules-alpha.c jit/jit-rules-alpha.h jit/jit-rules-alpha.ins Implement the redirector for alpha. Continue to implement more functions in jit/jit-rules-alpha.c. 2006-07-15 Thomas Cort * jit/jit-apply-alpha.c jit/jit-gen-alpha.h jit/jit-rules-alpha.h jit/jit-rules-alpha.c: Implement closure for alpha. Use jsr instead of bsr in alpha_call. Clean up prolog and epilog generation for alpha to be more readable. 2006-07-13 Thomas Cort * jit/jit-gen-alpha.h jit/jit-rules-alpha.c jit/jit-rules-alpha.h: Added trap barrier macro alpha_trapb. Implemented _jit_gen_prolog and _jit_gen_epilog for alpha. 2006-07-12 Aleksey Demakov * jit/jit-insn.c (jit_insn_move_blocks_to_start): fix problem with wrong order of blocks that were moved from the position just after the init_block and with disappearance of blocks after the empty init_block. 2006-07-12 Thomas Cort * README.alpha jit/Makefile.am jit/jit-apply-alpha.c jit/jit-apply-alpha.h jit/jit-elf-defs.h jit/jit-gen-alpha.h jit/jit-rules-alpha.c jit/jit-rules-alpha.h jit/jit-rules-alpha.ins /jit/jit-rules.h: Initial import of the code for the alpha port. 2006-07-06 Aleksey Demakov * jit/jit-rules-x86.ins: fix division by power of two. 2006-07-05 Aleksey Demakov * configure.in: make new register allocator the default. * jit/jit-reg-alloc.c (is_register_alive, compute_spill_cost): fix problem with destroying the end register of a long pair. 2006-07-03 Aleksey Demakov * jit/jit-rules-x86.ins: add JIT_OP_LOW_WORD, JIT_OP_EXPAND_INT, JIT_OP_EXPAND_UINT, JIT_OP_INT_TO_NFLOAT, JIT_OP_UINT_TO_NFLOAT, JIT_OP_LONG_TO_NFLOAT, JIT_OP_ULONG_TO_NFLOAT and rewrite JIT_OP_TRUNC_SBYTE, JIT_OP_TRUNC_UBYTE, JIT_OP_LOAD_PC rules. * jit/jit-rules-x86.c (_jit_opcode_is_supported): include .inc file instead of .slc if USE_NEW_REG_ALLOC is defined. 2006-06-28 Aleksey Demakov * tools/gen-rules-parser.y (gensel_output_code): * jit/jit-rules-x86.ins: use $1 for dest register instead of $0 for consistency. 2006-06-27 Aleksey Demakov * jit/jit-insn.c (accumulate_relative_offset): add function that accumulates JIT_OP_ADD_RELATIVE offsets. (jit_insn_store_relative, jit_insn_load_relative) (jit_insn_add_relative): use accumulate_relative_offset() instead of previous_relative() to find the offset from the original address and do not replace the accumulated instructions with JIT_OP_NOP as it was before. The old approach is problematic because it is unknown at this point if the values we accumulated are dead or they will be used by instructions added later. The dead code elimination pass removes unused values just as well but with enough knowledge to be safe. The new code also does not move JIT_OP_ADDRESS_OF towards the relative instructions that uses the address. Supposedly such move may be used by the code generator as a hint. However currently the code generator does not use such a hint. The old code is kept for reference #ifdefed out. 2006-06-17 Aleksey Demakov * jit/jit-reg-alloc.h, jit/jit-reg-alloc.c: implement support of the JIT_REGS_FREE_DEST flag for 3-argument instructions. Tweak reg alloc API. * tools/gen-rules-parser.y: adjust for reg alloc API changes. Use '$0' pattern element to refer to destination register in 3-argument instructions. * jit/jit-rules-x86.ins: rewrite JIT_OP_IDIV, JIT_OP_IDIV_UN, JIT_OP_IREM, JIT_OP_IREM_UN, JIT_OP_ADDRESS_OF_LABEL, JIT_OP_LOAD_RELATIVE_FLOAT32, JIT_OP_LOAD_RELATIVE_FLOAT32, JIT_OP_LOAD_RELATIVE_NFLOAT, JIT_OP_LOAD_ELEMENT_FLOAT32, JIT_OP_LOAD_ELEMENT_FLOAT64, JIT_OP_LOAD_ELEMENT_NFLOAT rules. 2006-06-16 Aleksey Demakov * jit/jit-rules-x86.sel, jit/jit-rules-x86.ins: fix JIT_OP_IDIV and JIT_OP_IREM rules for the divisor value of -1. 2006-06-09 Aleksey Demakov * jit/jit-rules-x86.ins: rewrite JIT_OP_STORE_RELATIVE_BYTE, JIT_OP_STORE_RELATIVE_SHORT, JIT_OP_STORE_RELATIVE_LONG, JIT_OP_STORE_RELATIVE_FLOAT32, JIT_OP_STORE_RELATIVE_FLOAT64, JIT_OP_STORE_RELATIVE_NFLOAT, JIT_OP_STORE_ELEMENT_LONG, JIT_OP_STORE_ELEMENT_NFLOAT rules to use regular pattern syntax instead of manual. 2006-06-03 Aleksey Demakov * jit/jit-rules-x86.ins: remove _jit_regs_free_reg() call from JIT_OP_RETURN_FLOAT32, JIT_OP_PUSH_FLOAT32, JIT_OP_RETURN_FLOAT64, JIT_OP_RETURN_NFLOAT, JIT_OP_PUSH_FLOAT64, and JIT_OP_PUSH_NFLOAT rules. With new ``gen-rules'' tool it frees wrong register and the right register is anyway freed automatically by the new allocator. * jit/jit-reg-alloc.h, jit/jit-reg-alloc.c (_jit_regs_abort): add function to unbind values from registers if the code generation failed. This is required because new allocator may temporary bind constants to registers and if neither _jit_regs_commit() nor _jit_regs_abort() is called the constant value will be left in inconsistent state. The problem shows up when the end of a cache block has been reached and the compilation is restarted with a new block. * jit/jit-reg-alloc.c (_jit_regs_begin, _jit_regs_end): add convenience functions. * tools/gen-rules-parser.y (gensel_output_clauses): make generated code more readable by using _jit_regs_begin() and _jit_regs_end() where appropriate. * jit/jit-reg-alloc.c: allow to load the second part of a register pair to a global register. This is because x86 long arithmetics use 4 registers at once: EAX:EDX and ECX:EBX. At the same time EBX is the global register candidate. If the instruction clobbers the global register, the new allocator automatically pushes it on the stack before and pops after the instruction. * jit/jit-function.c (compile_block): modify trace messages. 2006-05-28 Klaus Treichel * jit/jit-insn.c: Add a code_label in initialize_setjmp_block just before the end_label that is moved with the block to the start of the function as jump target to the code. Otherwise other blocks moved to the start after this block will never be executed. 2006-05-27 Aleksey Demakov * jit/jit-reg-alloc.c (free_value, save_value): the value that has a global register and is also associated with a local register needs to be unbound from the local one. * jit/jit-reg-alloc.c (compute_spill_cost): assume that the spill cost for clean values is not zero. This keeps them in registers as long as there are free registers and thus reduces the number of loads. 2006-05-25 Aleksey Demakov * jit/jit-reg-alloc.c (use_cheapest_register): fix cost calculation again for 'spill_before' rules. The last patch did not work for values stored in global registers. Now both global and non-global values should be copied to EAX. 2006-05-25 Aleksey Demakov * jit/jit-reg-alloc.c (use_cheapest_register): fix cost calculation that sometimes caused overlooking free registers. This was a serious problem as there are some 'spill_before' rules that assume that the allocator will always choose EAX as the first free register. 2006-05-21 Aleksey Demakov * jit/jit-reg-alloc.h: add _JIT_REGS_FREE_DEST flag to be used in cases when the destination register is independent of any input register. * tools/gen-rules-parser.y: allow specification of independent destination register with '=reg' pattern syntax. (But the allocator does not yet handle this.) 2006-05-20 Aleksey Demakov * jit/jit-rules-x86.c (_jit_gen_exch_top): fix computation of stack register index. * jit/jit-reg-alloc.c (_jit_regs_assign): micro optimization by changing nesting order of for and if statements. 2006-05-19 Aleksey Demakov * jit-reg-alloc.h, jit/jit-reg-alloc.c: determine if input values need to be saved and evicted from registers to stack frame at the _jit_regs_assign() time. Uniformly save input values that need to in _jit_regs_gen(), do not save them in _jit_regs_commit(). This simplifies handling of stack registers. Remove initial_stack_top, exchanges, num_exchages fields from the _jit_regs_t struct. Add save and kill bit fields to the _jit_regdesc_t struct. Refactor and clean up code. 2006-05-10 Aleksey Demakov * jit/jit-reg-alloc.c (use_cheapest_register): check if the other part of a register pair clobbers global registers. * jit/jit-reg-alloc.c (exch_stack_top): run value exchange loop for all values in both registers. * jit/jit-reg-alloc.h, jit/jit-reg-alloc.c: delete on_stack field from the _jit_regdesc_t struct. * jit/jit-reg-alloc.c (_jit_regs_gen): handle instructions that have both stack and flat registers. * jit/jit-reg-alloc.c (spill_value): spilling an input value remember if we do register exchanges for other values. * jit/jit-reg-alloc.c: set touched registers more accurately. 2006-05-08 Aleksey Demakov * jit/jit-reg-alloc.c (commit_input_value, commit_output_value): fix extra spills introduced at 2006-05-05. * jit/jit-rules-x86.c (_jit_gen_spill_top): add missing jit_cache_end_output(). 2006-05-05 Aleksey Demakov * jit/jit-reg-alloc.h, jit/jit-reg-alloc.c: fix spilling and many problems with stack registers. 2006-05-04 Radek Polak * jit/jit-dump.c (dump_object_code): Now can dump to any stream not just stdout and stderr. 2006-05-01 Aleksey Demakov * jit/jit-rules-x86.sel, jit/jit-rules-x86.ins: fix problem with spilling dest register in JIT_OP_ADDRESS_OF rule. * jit/jit-rules-x86.ins: rewrite JIT_OP_STORE_RELATIVE_INT rule. 2006-04-23 Aleksey Demakov * jit/jit-reg-alloc.h, jit/jit-reg-alloc.c: register allocator now supports register sets that constrain the register assignment. * tools/gen-rules-parser.y: extend grammar to support register sets. Fix bugs. * jit/jit-rules-x86.ins: take advantage of new register allocator for JIT_OP_MEMORY, JIT_OP_MEMOVE, JIT_OP_MEMESET rules. 2006-04-20 Aleksey Demakov * tools/gen-rules-parser.y: fix generation of `if' pattern code. 2006-04-19 Aleksey Demakov * jit/jit-rules-x86.c (_jit_gen_load_value): fix compiler warning. * tools/gen-rules-parser.y (gensel_output_clauses): fix generation of clobber and scratch code. * tools/gen-rules-scanner.l, tools/gen-rules-parser.y: add `any' keyword. 2006-04-18 Aleksey Demakov * jit/jit-rules-x86.ins: add instruction selection rules for new register allocator. * jit/Makefile.am: build new instruction selection rules. * configure.in: add --enable-new-reg-alloc option. 2006-04-14 Aleksey Demakov * jit/jit-reg-alloc.h, jit/jit-reg-alloc.c: new register allocator improved and extended to support stack registers. * jit/jit-internal.h (struct _jit_builder): * jit/jit-function.c (compile_block, jit_function_compile): add some tracing. * jit/jit-rules.h: * jit/jit-rules-arm.c: * jit/jit-rules-interp.c: * jit/jit-rules-x86.c: add _jit_gen_exch_top and _jit_gen_spill_top functions used by new allocator to handle stack registers. Add reg argument to _jit_gen_spill_global and_jit_gen_load_global functions. 2006-04-11 Aleksey Demakov * jit/jit-insn.c (jit_insn_start_catcher): initialize thrown_exception (the problem was found by Klaus). 2006-04-08 Aleksey Demakov * jit/jit-opcode.c: add jump table into jit_opcodes array. * tools/gen-rules-parser.y: extend pattern syntax to allow mark registers as clobbered. Fix bugs. 2006-04-07 Klaus Treichel * jit/jit-internal.h (struct _jit_function): add indirector field. * jit/jit-function.c (jit_function_compile, jit_function_create): use indirector. * jit/jit-apply-x86.h: define jit_indirector_size. * jit/jit-apply-func.h, jit/jit-apply-x86.c (_jit_create_indirector): add function that emits indirector code. 2006-04-07 Aleksey Demakov * jit/jit-insn.c (create_call_setup_insns): zero struct_return in case of tail calls (the problem was found by Klaus). 2006-04-03 Aleksey Demakov * tools/gen-rules-scanner.l: * tools/gen-rules-parser.y: add `reversible', `x87arith', and `copy' keywords. Fix bugs. 2006-03-23 Klaus Treichel * jit/jitc-except.c: Walk the stack to build the stack trace in jit_exception_get_stack_trace when the frame is not broken. 2006-03-23 Aleksey Demakov * tools/Makefile.am: * tools/gen-rules-parser.y, tools/gen-rules-scanner.l: add "gen-rules" tool that is similar to "gen-sel" but uses new register allocator. 2006-03-12 Klaus Treichel * jit/jit-insn.c: Pop the setjump context on return from functions with a catcher. 2006-03-11 Kirill Kononenko * jit/jit-insn.c (create_call_setup_insn): fix tail calls, work if the called function is not the callee function (thanks klausT for finding the bug). 2006-02-27 Aleksey Demakov * jit/jit-insn.c (jit_insn_convert): fix int->uint and uint->int conversion. 2006-02-26 Aleksey Demakov * jit/jit-rules-x86.sel: fix JIT_OP_STORE_RELATIVE_LONG. * jit/jit-gen-x86.h (x86_pop_mem, x86_pop_membase): fix opcode -- it was 0x87 (xchg) instead of 0x8f (pop). 2006-02-24 Aleksey Demakov * jit/jit-insn.c (jit_insn_address_of_label): fix a typo. * jit/jit-rules-x86.sel: fix JIT_OP_ADDRESS_OF_LABEL rule. 2006-02-20 Aleksey Demakov * jit/jit-rules-x86.c (_jit_create_call_return_insns): fix return code in case of no return value or struct returned via pointer. 2006-02-19 Aleksey Demakov * jit/jit-reg-alloc.h: * jit/jit-reg-alloc.c: Initial version of new local register allocator. * jit/jit-rules.h: * jit/jit-rules-arm.c (_jit_gen_spill_global): * jit/jit-rules-interp.c (_jit_gen_spill_global): * jit/jit-rules-x86.c (_jit_gen_spill_global): add function for spilling global registers. Used by the new allocator. Only x86 version is really implemented. 2006-02-13 Aleksey Demakov * jit/jit-internal.h (struct _jit_value): add index field. * jit/jit-value.c (alloc_value): initialize index field; * jit/Makefile.am (libjit_la_SOURCES): add jit-bitset.c and jit-cfg.c. 2006-02-12 Aleksey Demakov * jit/jit-rules-x86.sel: fix JIT_OP_CALL_FINALLY. 2006-02-10 Aleksey Demakov * jit/jit-bitset.c: * jit/jit-bitset.h: * jit/jit-cfg.c: * jit/jit-cfg.h: initial code drop for a more precise liveness analysis based on control flow graph. 2006-02-04 Aleksey Demakov * jit/jit-rules-x86.sel: fix a typo in JIT_OP_JUMP_TABLE. 2006-01-30 Aleksey Demakov * jit/jit-rules-x86.c (_jit_gen_load_value): optimize loading of zero constants. Allow to move a value from one register to another. 2006-01-15 Rhys Weatherley * configure.in, NEWS: update version for the "0.0.6" release. * configure.in: updating working version to "0.0.7". 2006-01-14 Aleksey Demakov * tools/gen-sel-parser.y: spilling a register which is the first part of a register pair spill the other part too. * jit/jit-reg-alloc.c (free_register_for_value): * jit/jit-rules-x86.sel: if a register is the second part of a register pair do not consider it free. 2006-01-13 Aleksey Demakov * jit/jit-insn.c: fix all descriptors of intrinsic functions that return an exception code to have return_type equal to _jit_type_int_def. * jit/jit-dump.c (dump_object_code): fix object file extension. 2006-01-11 Aleksey Demakov * jit/jit-gen-x86.h (x86_jump_memindex): add macro for indirect jumps. * jit/jit-internal.h, jit/jit-function.c, jiy/jit-rules-x86.c: add fixup_absolute_list field to _jit_block struct for fixing up absolute address references to a block. * include/jit/jit-opcode.h, include/jit/jit-insn.h, jit/jit-insn.c (jit_insn_jump_table), jit/jit-rules-x86.sel, jit/jit-rules-interp.c (_jit_gen_insn), jit/jit-interp.c (_jit_run_function): add JIT_OP_JUMP_TABLE opcode. 2006-01-08 Aleksey Demakov * jit/jit-apply-x86.h (jit_builtin_return_int): change definition to dereference the return_buf argument and use leal instead of movl. This fixes builds with gcc 4.0.2. 2005-12-28 Aleksey Demakov * jit/jit-rules-x86.sel: implement JIT_OP_MEMMOVE rule. Get rid of compiler warnings in JIT_OP_MEMSET. 2005-12-24 Avinash Atreya * dpas/dpas-parser.y: implement array expressions (committed by Aleksey Demakov, jit_insn_throw replaced with throw_builtin_exception) 2005-12-24 Aleksey Demakov * include/jit/jit-except.h, jit/jit-except.c (jit_exception_builtin): add JIT_RESULT_OUT_OF_BOUNDS builtin exception type code. * dpas/dpas-parser.y (throw_builtin_exception): add static function that makes jit_exception_builtin call. * jit/jit-cache.c (_jit_cache_get_start_method): add function that for an address in cache returns the start address of the block that contains it. * jit/jit-except.c (jit_stack_trace_get_offset): use _jit_cache_get_start_method function instead of cache_start field. * jit/jit-internal.h, jit/jit-function.c (jit_function_compile): remove cache_start field to the jit_function struct. 2005-12-22 Aleksey Demakov * jit/jit-rules-x86.sel: implement JIT_OP_MEMSET and JIT_OP_MEMCPY rules optimized for small constant size blocks. 2005-12-20 Aleksey Demakov * jit/jit-gen-x86.h (x86_fld_memindex, x86_fld80_memindex) (x86_fst_memindex, x86_fst80_memindex): add floating point load and store macros with memindex addressing. * jit/jit-rules-x86.sel: optimize floating point element load and store rules. Fix potential register allocation problems. 2005-12-18 Aleksey Demakov * jit/jit-internal.h, jit/jit-function.c (jit_function_compile): Add cache_start field to the jit_function struct, set it to the start of the function code cache. * jit/jit-except.c (jit_stack_trace_get_offset): implement the function. 2005-12-15 Aleksey Demakov * jit/jit-insn.c (jit_insn_address_of): return null if the value is constant. 2005-12-15 Avinash Atreya * jit/jit-insn.c: Store constants to a temporary to obtain address of constant values (Gopal). 2005-12-13 Aleksey Demakov * configure.in: Added --enable-long-double option that forces jit_nfloat to be long double. * jit/jit-apply-x86.h (jit_builtin_apply, jit_builtin_return_float): In gcc/Win32 and gcc/non-Win32 versions of the macros check the size of jit_nfloat and use fstpl/fldl or fstpt/fldt instructions accordingly. * tools/gen-apply.c (detect_float_return): On x86 only the first 10 bytes of 12 byte long doubles are significant and are used for comparison. 2005-12-12 Aleksey Demakov * jit/jit-dump.c (dump_object_code): in order to make dump work on cygwin call "as" and "objdump" in two separate system() calls because it looks like the ';' separator between commands does not work there. Also on Win32 use TMP and TEMP environment variables as the tmp directory names and fallback to "c:/tmp". * jit/jit-gen-x86.h (jit_assert): change the macro definition to resolve problems introduced at 2005-12-10. 2005-12-10 Aleksey Demakov * jit/jit-gen-x86.h: Merged changes from the latest Mono project's version of this file. * jit/jit-rules-x86.sel: Done the following rules: JIT_OP_LOAD_ELEMENT_FLOAT32, JIT_OP_LOAD_ELEMENT_FLOAT64, JIT_OP_LOAD_ELEMENT_NFLOAT, JIT_OP_STORE_ELEMENT_LONG, JIT_OP_STORE_ELEMENT_FLOAT32, JIT_OP_STORE_ELEMENT_FLOAT64, JIT_OP_STORE_ELEMENT_NFLOAT. 2005-11-19 Klaus Treichel * jit/apply-x86-64.h: Change definition of JIT_MEMCPY from "jit_memcpy" to "jit_memcpy@PLT" to fix the build of a shared library for x86_64. 2004-11-18 Rhys Weatherley * include/jit/jit-opcode.h, jit/jit-dump.c, jit/jit-insn.c, jit/jit-interp.c, jit/jit-opcode.c, jit/jit-rules-interp.c, jit/jit-rules-x86.sel: implement tail calls properly. 2004-11-05 Evin Robertson * jit/jit-insn.c (jit_insn_store): use the destination type to determine the store opcode, not the source value type. 2004-11-02 Evin Robertson * jit/jit-function.c (jit_function_compile): clear block addresses and fixup lists if we need to restart on a new cache page (minor alterations by Rhys). * jit/jit-function.c (jit_function_apply_vararg): return 0 when a sub-function throws an exception, not 1. 2004-10-31 Rhys Weatherley * jit/jit-rules-x86.sel: handle the special case of constant destination pointers in "store_relative" instructions, because otherwise the register allocator gets confused. 2004-10-29 Peter Lund * doc/libjit.3: fix manpage formatting issues. (patch attached to bug #10779, Gopal). 2004-10-28 Rhys Weatherley * configure.in, jit/jit-debugger.c, jit/jit-thread.c, jit/jit-thread.h: implement some of the locking code for the debugging API. 2004-10-12 Evin Robertson * jit/jit-rules-x86.c (output_branch): correct the offset when outputting a long-form backward branch. * tests/Makefile.am, tests/loop.pas: test case for the long-form backward branch bug. 2004-10-06 Rhys Weatherley * doc/Makefile.am, doc/libjit.texi, include/jit/Makefile.am, include/jit/jit-common.h, include/jit/jit-context.h, include/jit/jit-debugger.h, include/jit/jit-except.h, include/jit/jit-function.h, include/jit/jit.h, jit/Makefile.am, jit/jit-context.c, jit/jit-debug.c, jit/jit-debugger.c, jit/jit-insn.c, jit/jit-internal.h, jit/jit-interp.c: redesign the debugger API so that it contains functions like "add breakpoint", "run", "step", etc that more closely resemble what a front end debugger will want to have, shifting the implementation burden off the front end. 2004-10-04 Rhys Weatherley * include/jit/jit-function.h, include/jit/jit-insn.h, include/jit/jit-opcode.h, include/jit/jit-plus.h, jit/jit-function.c, jit/jit-insn.c, jit/jit-internal.h, jit/jit-interp.c, jit/jit-opcode.c, jit/jit-rules-interp.c, jit/jit-rules-arm.sel, jit/jit-rules-x86.sel, jitplus/jit-plus-function.cpp: add instructions and function API's for supporting debug line numbers and breakpoints. * doc/Makefile.am, doc/libjit.texi, include/jit/jit-context.h, include/jit/jit-insn.h, include/jit/jit-opcode.h, include/jit/jit-plus.h, jit/Makefile.am, jit/jit-context.c, jit/jit-debug.c, jit/jit-function.c, jit/jit-insn.c, jit/jit-internal.h, jit/jit-interp.c, jit/jit-opcode.c, jit/jit-rules-arm.sel, jit/jit-rules-interp.c, jit/jit-rules-x86.sel, jitplus/jit-plus-function.cpp: clean up the breakpoint API and implement debug hooks for the interpreter. * jit/jit-insn.c, jit/jit-rules-arm.sel, jit/jit-rules-x86.sel: use a common helper function for performing debug hook tests on native platforms, to avoid the need to implement breakpoint testing individually in every native back end. 2004-09-10 Rhys Weatherley * jit/jit-rules-x86.sel: pointer-relative loads and stores for structures in the x86 back end. 2004-09-09 Rhys Weatherley * jit/jit-rules-x86.c, jit/jit-rules-x86.sel: add some support for structure copying to the x86 back end. 2004-09-06 Rhys Weatherley * jit/jit-rules-interp.c: the pointer value for indirect and vtable calls was being pushed onto the stack twice. 2004-09-05 Norbert Bollow * samples/hellovm.c: add a sample program that demonstrates a simple VM based on libjit (committed by Rhys). 2004-08-30 Rhys Weatherley * jit-rules-x86.sel: fix x86 code generation for floating-point return instructions. 2004-08-16 Rhys Weatherley * jit/jit-cpuid-x86.c (cpuid_query): use %ebx in a way that doesn't confuse PIC mode in some versions of gcc (bug #10022). 2004-08-13 Rhys Weatherley * include/jit/jit-insn.h, include/jit/jit-opcode.h, include/jit/jit-plus.h, jit/jit-insn.c, jit/jit-internal.h, jit/jit-interp.h, jit/jit-opcode.c, jit/jit-rules-interp.c, jitplus/jit-plus-function.cpp: re-implement the "push_return_area_ptr" patch so as to avoid wasting stack space in functions with more than one native function call. 2004-08-12 Rhys Weatherley * jit/jit-rules-interp.c: account for the extra value that is added to the stack by the "push_return_area_ptr" instruction. 2004-08-08 Rhys Weatherley * configure.in, NEWS: update version for the "0.0.4" release. * configure.in: updating working version to "0.0.5". 2004-08-05 Rhys Weatherley * doc/Makefile.am, doc/README, doc/libjit.texi, jit/jit-dump.c, jit/jit-insn.c: documentation updates. * dpas/Makefile.am, tools/Makefile.am: support for parallel builds. 2004-08-04 Rhys Weatherley * jit/jit-opcode.c: fix the operand types for "call_vtable_ptr". 2004-06-25 Rhys Weatherley * tools/gen-apply.c: fix a crash in gen-apply under x86-64. * jit/jit-apply-func.h, jit/jit-apply-x86-64.h, tools/gen-apply.c: write an x86-64 assembly version of "__builtin_apply", because the version inside gcc has an unusable register ordering. 2004-06-24 Rhys Weatherley * jit/jit-reg-alloc.c, jit/jit-rules-arm.h, jit/jit-rules-interp.c, jit/jit-rules-interp.h, jit/jit-rules-x86.h, jit/jit-rules.h: use separate JIT_REG_xxx flags for float32, float64, and nfloat because some platforms need to put these values in different types of registers (e.g. x86-64). 2004-06-22 Rhys Weatherley * jit/jit-insn.c: properly set the "may_throw" flag for opcodes that throw exceptions and which are also supported by the back end. 2004-06-21 Rhys Weatherley * jit/jit-rules-x86.c, jit/jit-rules-x86.sel: move the code for loading/storing small structures into a central location. 2004-06-18 Rhys Weatherley * jit/jit-dump.c, jit/jit-reg-alloc.c, jit/jit-rules-arm.c, jit/jit-rules-arm.h, jit/jit-rules-x86.c, jit/jit-rules-x86.h, jit/jit-rules-x86.sel, jit/jit-rules.c, jit/jit-rules.h, tests/param.pas: rewrite the x86 and ARM parameter handling routines to centralise the code and fix several bugs; add new tests for fastcall and stdcall conventions. 2004-06-17 Rhys Weatherley * jit/jit-reg-alloc.c (_jit_regs_set_outgoing): pass 64-bit "fastcall" parameters in ECX:EDX, not in ECX:EBX. * tools/gen-apply.c: allow floating-point values to be passed in "fastcall" registers. 2004-06-16 Rhys Weatherley * tools/gen-sel-parser.y: add a missing semi-colon. 2004-06-14 Rhys Weatherley * dpas/dpas-internal.h, dpas/dpas-parser.y, dpas/dpas-scanner.l, jit/jit-rules-x86.c, jit/jit-rules-x86.sel, tests/Makefile.am, tests/param.pas, tools/gen-apply.c: add some test cases for parameter passing; fix fastcall/stdcall conventions for x86. * jit/jit-rules-arm.h, jit/jit-rules-arm.sel, jit/jit-rules-x86.h, jit/jit-rules-x86.sel, tools/gen-sel-parser.y: enable register allocation for 64-bit values under x86 and ARM; expand some 64-bit opcodes in the instruction selectors. 2004-06-12 Rhys Weatherley * jit/jit-insn.c, jit/jit-rules-x86.c, jit/jit-rules-x86.sel: implement or stub missing x86 instruction selection rules. * include/jit/jit-insn.h, include/jit/jit-opcode.h, include/jit/jit-plus.h, jit/jit-function.c, jit/jit-insn.c, jit/jit-interp.c, jit/jit-opcode.c, jit/jit-rules-interp.c, jitplus/jit-plus-function.cpp: add the "outgoing_frame_posn" instruction, to support tail calls. 2004-06-11 Rhys Weatherley * doc/libjit.texi, jit/jit-insn.c, jit/jit-internal.h, jit/jit-reg-alloc.c, jit/jit-rules-arm.c, jit/jit-rules-arm.sel, jit/jit-rules-interp.c, jit/jit-rules-x86.c, jit/jit-rules-x86.sel, jit/jit-rules.h, jit/jit-value.c, tutorial/Makefile.am, tutorial/t2.c, tutorial/t5.c: implement tail calls from a function to itself. * jit/jit-function.c, jit/jit-reg-alloc.c, jit/jit-rules-arm.c, jit/jit-rules-interp.c, jit/jit-rules-x86.c, jit/jit-rules.h: implement global register allocation for parameters in stack slots. * jit/jit-rules-x86.c, jit/jit-rules-x86.sel, jit/jit-rules.h: optimize the x86 function epilog when we are certain that the stack height doesn't change between entry and exit (i.e. the function is a leaf and there are no alloca's). 2004-06-10 Rhys Weatherley * jit/jit-apply-arm.c, jit/jit-gen-arm.c, jit/jit-gen-arm.h, jit/jit-rules-arm.c, jit/jit-rules-arm.h, jit/jit-rules-arm.sel, tools/gen-sel-parser.y: redesign the ARM code generation macros so that they have stronger protection against buffer overruns. * jit/jit-rules-arm.sel: flush the constant pool after unconditional branches, to try to minimize the probability that the pool will be flushed in the middle of a loop body. * jit/jit-dump.c: dump the hex address of external functions, to aid with debugging native disassembly dumps. * include/jit/jit-insn.h, include/jit/jit-opcode.h, include/jit/jit-plus.h, jit/jit-insn.c, jit/jit-internal.h, jit/jit-interp.c, jit/jit-opcode.c, jit/jit-rules-arm.c, jit/jit-rules-arm.sel, jitplus/jit-plus-function.cpp: add support for outgoing parameter areas, which should reduce the overhead of function calls that involve stacked arguments on non-x86 platforms; use parameter areas in the ARM back end. * include/jit/jit-plus.h, include/jit/jit-value.h, jit/jit-insn.c, jit/jit-internal.h, jit/jit-reg-alloc.c, jit/jit-rules-x86.c, jit/jit-value.c: don't over-allocate x86 stack frames if EBX, ESI, and EDI don't need to be saved; don't perform global register allocation on stacked parameters because it confuses the register spill logic. * jit/jit-reg-alloc.c (_jit_regs_load_value): avoid unnecessary spills if a temporary value won't be used again in the current block. 2004-06-09 Rhys Weatherley * jit/jit-rules-arm.c (flush_constants): update the instruction location after flushing the constant table. * jit/jit-gen-arm.h: fix some bugs in the encoding of floating-point load and store instructions. * jit/jit-gen-arm.c (_arm_alu_reg_imm): forgot to update the instruction pointer when loading the immediate value. * jit/jit-gen-arm.c: optimize the use of rotated immediate values. * jit/jit-rules-arm.c (_jit_gen_load_value): use ARM register pairs properly for "long" and "float64" values. 2004-06-08 Rhys Weatherley * jit/Makefile.am, jit/jit-cpuid-x86.c, jit/jit-cpuid-x86.h: add an API for querying the x86 "cpuid" information. * include/jit/jit-opcode.h, jit/jit-interp.c, jit/jit-opcode.c: remove obsolete opcodes which violate "_jit_load_opcode"'s rules. * jit/jit-reg-alloc.c, jit/jit-rules-x86.c, jit/jit-rules-x86.sel: more x86 instruction selection rules. * jit/jit-reg-alloc.c (_jit_regs_set_outgoing): implement missing function. * jit/jit-gen-arm.h (arm_call): use a more efficient form of call for offsets beyond the simple target range. * jit/jit-rules-arm.sel, tools/gen-sel-parser.y, tools/gen-sel-scanner.l: introduce conditional rules into "gen-sel" so that we can disable certain rules on ARM platforms that lack floating-point support. * jit/jit-rules-arm.c (_jit_gen_spill_reg): spill properly to global registers for ARM. * jit/jit-reg-alloc.c, jit/jit-rules-arm.c, jit/jit-rules-arm.sel, jit/jit-rules-x86.sel: minor register assignment bugs. * jit/jit-rules-arm.c: ARM parameters cannot be split between registers and the stack. * jit/jit-gen-arm.c, jit/jit-gen-arm.h, jit/jit-rules-arm.c, jit/jit-rules-arm.h, jit/jit-rules-arm.sel: implement a constant pool for ARM, which gets complicated constants out of the main stream of execution. 2004-06-08 Miroslaw Dobrzanski-Neumann * jit/jit-alloc.c: fix ROUND_END_PTR so that it adds the size after casting to jit_nuint. 2004-06-07 Thong Nguyen * configure.in, jit/jit-insn.c: add "_setjmp" to the list of names to try to work around the "setjmp" macro (needed for Win32). 2004-06-07 Rhys Weatherley * tools/gen-apply.c: gen-apply fixes for Alpha platforms. * jit/jit-interp.c: alignment problem with "push_const_float32" on 64-bit platforms. * jit/jit-intrinsic.c: work around a SIGFPE for sqrt(-1) on Alpha; it should return NaN instead. * jit/jit-value.c: fix a warning. * configure.in, jit/jit-insn.c: use "sigsetjmp" instead of "setjmp", because "setjmp" may be a macro on some systems. * jit-gen-arm.h: add floating-point instruction macros. * jit/jit-gen-arm.h, jit/jit-rules-arm.c, jit/jit-rules-arm.h, jit/jit-rules-arm.sel: expand floating-point instructions for ARM. * jit/jit-rules-x86.c: fix misnaming of jit_type_get_abi, jit_abi_stdcall, and jit_abi_fastcall. * tools/gen-apply-macosx.h, tools/gen-apply.c: bypass the auto-detection logic in gen-apply under MacOSX because it doesn't work with Apple's version of gcc. * tools/gen-apply.c: gen-apply fix for ia64. * jit/jit-alloc.c (jit_flush_exec): warning fix for ia64. 2004-06-06 Miroslaw Dobrzanski-Neumann * jit/jit-alloc.c (jit_flush_exec): flush cache lines properly if the start is not on a line boundary. 2004-06-06 Rhys Weatherley * jit/jit-reg-alloc.c, jit/jit-reg-alloc.h, jit/jit-rules-arm.c, jit/jit-rules-arm.sel, jit/jit-rules-x86.c, jit/jit-rules-x86.sel: add some more instructions to the ARM back end; split some x86 back end code out into common code for ARM to use as well. 2004-06-02 Rhys Weatherley * jit/jit-function.c, jit/jit-insn.c, jit/jit-internal.h, jit/jit-reg-alloc.c, jit/jit-reg-alloc.h, jit/jit-rules-arm.c, jit/jit-rules-arm.h, jit/jit-rules-interp.c, jit/jit-rules-interp.h, jit/jit-rules-x86.c, jit/jit-rules-x86.h, jit/jit-rules.h, jit/jit-value.c, tools/gen-sel-parser.y: implement a simple global register allocation policy, based on usage counts. * jit/jit-reg-alloc.c (_jit_regs_load_value): if a value is in a global register and it is not going to be destroyed by an instruction, then use the global register as the operand. * jit/jit-insn.c: recognise "t = a op b; a = t" and turn it into "a = a op b" to make it easier for back ends to recognise special idioms such as increments and decrements. 2004-06-01 Rhys Weatherley * jit/jit-cache.c, jit/jit-elf-read.c, tools/gen-apply.c: fix some gcc 3.x compile warnings. * jit/jit-rules-arm.c, jit/jit-rules-arm.sel: more instruction selection rules for ARM. * configure.in, jit/jit-rules.h: enable the x86 back end by default on platforms where it makes sense, and add the option "--enable-interpreter" to "configure". 2004-05-31 Rhys Weatherley * jit/jit-rules-x86.sel: optimize multiplications for x86. * jit/jit-rules-x86.c, jit/jit-rules-x86.sel, tools/gen-sel-parser.y, tools/gen-sel-scanner.l: inline and optimize divisions for x86. * jit/jit-rules-x86.sel: throw exceptions correctly for "check_null". 2004-05-30 Rhys Weatherley * doc/libjit.texi: clarify the text that describes LLVM, at the request of Chris Lattner, LLVM's author. * jit/jit-insn.c (jit_insn_convert): use intrinsic functions for conversions when the back end doesn't support the opcode. * jit/jit-rules-x86.sel, tools/gen-sel-parser.y, tools/gen-sel-scanner.l: improve instruction selection for floating-point "push" operations. * include/jit/jit-insn.h, jit/jit-insn.c, jit/jit-internal.h, jit/jit-rules-x86.c: add "jit_insn_defer_pop_stack" and "jit_insn_flush_defer_pop", to defer the popping of function call arguments as long as possible. * jit/jit-rules-x86.sel: fix a cpu vs non-cpu register problem in the floating-point "push" operations for x86. 2004-05-29 Rhys Weatherley * jit/jit-insn.c, jit/jit-reg-alloc.c, jit/jit-reg-alloc.h, jit/jit-rules-x86.c, jit/jit-rules-x86.sel: continue the x86 back end; particularly byte/short stores. * jit/jit-rules-x86.sel: stub out JIT_OP_RETURN_REG, which doesn't need any special handling for x86. 2004-05-27 Rhys Weatherley * tools/gen-apply.c: split "detect_struct_conventions" up a bit more to (hopefully) prevent problems under MacOSX; fix a bug in the generation of "jit_apply_builder_align_regs" that affected ARM and PPC systems. * dpas/dpas-types.c (dpas_type_identical): treat "float64" and "nfloat" as identical on platforms whose "long double" type is the same as "double". * jit/jit-rules-x86.c, jit/jit-rules-x86.sel, tools/gen-sel-parser.y, tools/gen-sel-scanner.l: relative loads and stores for x86. 2004-05-26 Rhys Weatherley * jit/jit-insn.c, jit/jit-rules-x86.c, jit/jit-rules-x86.sel, jit/jit-rules.h, tools/gen-sel-parser.y: fix some compile issues in the x86 native back end. * jit/jit-function.c, jit/jit-rules-x86.c, jit/jit-rules-x86.sel, tools/gen-sel-parser.y: more bug fixes for the x86 back end. * include/jit/jit-insn.h, include/jit/jit-plus.h, jit/jit-insn.c, jitplus/jit-plus-function.cpp: add "jit_insn_new_block" to simplify creating a new block that doesn't have an explicit label. * dpas/dpas-parser.y, include/jit/jit-block.h, jit/jit-block.c, jit/jit-insn.c: add "jit_block_current_is_dead" to simplify testing if the last block is reachable or not, taking empty trailing blocks into account. * jit/jit-rules-x86.c, jit/jit-rules-x86.sel, tools/gen-sel-parser.y, tools/gen-sel-scanner.l: more selection cases for the x86 back end. * jit/Makefile.am, jit/jit-gen-arm.h, jit/jit-rules-arm.c, jit/jit-rules-arm.sel: add the beginnings of the instruction selector for ARM. 2004-05-25 Rhys Weatherley * tools/.cvsignore, tools/Makefile.am, tools/gen-sel-parser.y, tools/gen-sel-scanner.l: add the "gen-sel" program to the tree, to assist with building native instruction selectors. * jit/.cvsignore, jit/Makefile.am, jit/jit-rules-x86.c, jit/jit-rules-x86.sel, tools/gen-sel-parser.y: check in the initial instruction selector for x86 (incomplete). * jit/jit-rules-x86.sel, tools/gen-sel-parser.y, tools/gen-sel-scanner.l: selectors for branch instructions. * jit/jit-rules-x86.sel: selectors for call instructions. 2004-05-24 Rhys Weatherley * include/jit/jit-insn.h, include/jit/jit-opcode.h, jit/jit-block.c, jit/jit-dump.c, jit/jit-except.c, jit/jit-function.c, jit/jit-insn.c, jit/jit-internal.h, jit/jit-interp.c, jit/jit-interp.h, jit/jit-opcode.c, jit/jit-rules-arm.c, jit/jit-rules-interp.c, jit/jit-rules-x86.c, jit/jit-rules.h, jit/jit-setjmp.h: rewrite the exception region routines to make them easier to use from CLI and JVM style systems. * jit/jit-rules-interp.c (_jit_gen_start_block): set the address of the exception handler for interpreted code. * include/jit/jit-plus.h, jitplus/jit-plus-function.cpp: add missing functions to the C++ API. 2004-05-22 Rhys Weatherley * jit/jit-block.c (_jit_block_peephole_branch): don't allow conditional branches to cross an exception context boundary, because doing so will violate "finally" semantics. * dpas/dpas-parser.y, include/jit/jit-insn.h, jit/jit-function.c, jit/jit-insn.c, jit/jit-internal.h: rename "jit_insn_move_blocks" to "jit_insn_move_blocks_to_end" and add a new function "jit_insn_move_blocks_to_start" for creating initialization code. * include/jit/jit-opcode.h, jit/jit-except.c, jit/jit-function.c, jit/jit-insn.c, jit/jit-internal.h, jit/jit-interp.c, jit/jit-opcode.c, jit/jit-setjmp.h: modify the function call logic to use "setjmp" with native back ends. 2004-05-21 Rhys Weatherley * jit/jit-gen-arm.c, jit/jit-gen-arm.h: modify the ARM codegen macros so that they can be used for branch elimination. * include/jit/jit-except.h, jit/jit-except.cpp, jit/jit-function.c, jit/jit-insn.c, jit/jit-internal.h, jit/jit-interp.cpp, jit/jit-interp.h, jit/jit-setjmp.h: redesign the exception handling mechanism to use "setjmp" rather than C++ exceptions. * configure.in, doc/Makefile.am, doc/libjit.texi, dpas/Makefile.am, jit/Makefile.am, jit/jit-except.c, jit/jit-except.cpp, jit/jit-interp.c, jit/jit-interp.cpp, jitdynamic/Makefile.am: remove the last remaining C++ code from libjit.so so that it is now a pure C library. * include/jit/jit-insn.h, include/jit/jit-opcode.h, include/jit/jit-plus.h, jit/jit-insn.c, jit/jit-interp.c, jit/jit-opcode.c, jitplus/jit-plus-function.cpp: add the "jit_insn_alloca" instruction. * configure.in, jit/.cvsignore, jit/Makefile.am, jit/jit-interp.c, jit/mklabel.sh: use computed goto's in the interpreter if supported by the underlying compiler. 2004-05-20 Rhys Weatherley * include/jit/jit-value.h, jit/jit-insn.c, jit/jit-value.c: convert constant conditional branches such as "if true goto L" into unconditional branches. * jit/jit-block.c, jit/jit-internal.h, jit/jit-live.c, jit/jit-rules-interp.c: perform peephole optimization of branches to branches before live variable analysis, so that the back ends don't need to worry about jump threading. * jit/jit-block.c, jit/jit-live.c: treat dead blocks as empty when peepholing branches to the next block. 2004-05-15 Rhys Weatherley * tools/gen-apply.c: fix a macro generation bug for Win32 systems. * jit/jit-reg-alloc.c: fix a compile bug. 2004-05-14 Rhys Weatherley * include/jit/Makefile.am, include/jit/jit-objmodel-private.h, include/jit/jit-objmodel.h, include/jit/jit.h, jit/Makefile.am, jit/jit-objmodel.c: put some infrastructure in place to support pluggable object models. 2004-05-13 Rhys Weatherley * dpas/dpas-parser.y, dpas/dpas-types.c, dpas/dpas-types.h: put some infrastructure (incomplete) in place to support array index expressions. * configure.in, NEWS: update version for the "0.0.2" release. * configure.in: updating working version to "0.0.3". 2004-05-12 Rhys Weatherley * jitdynamic/Makefile.am, jitplus/Makefile.am: use both .libs and non.libs versions of the so paths, because some versions of libtool add .libs implicitly and others don't. * dpas/dpas-builtin.c, dpas/dpas-parser.y, dpas/dpas-types.c, dpas/dpas-types.h: add the "SameType" and "SameShape" builtins, to assist with unit testing type coercions. * dpas/dpas-parser.y (IfTail): fix a bug that caused the "then" case of an "if" to fall through to the "else". * dpas/dpas-parser.y: resolve ea-based lvalues in operators. * include/jit/jit-defs.h.in: incorrect values for jit_max_int and jit_max_long. * dpas/dpas-scanner.l (dpas_parse_hex): ignore the 'H' on the end of a hexadecimal constant. * Makefile.am, configure.in, tests/.cvsignore, tests/Makefile.am, tests/coerce.pas: check in some initial infrastructure for the dpas-based test suite. * jit/jit-type.c (jit_type_promote_int): promote ubyte and ushort to uint, not int. * jit/jit-insn.c, tests/coerce.pas: more coercion test cases and fixes. * dpas/dpas-builtin.c, jit/jit-dump.c, jit/jit-value.c: add builtins for mathematical operations. * dpas/dpas-parser.y, jit/jit-interp.cpp, tests/Makefile.am, tests/math.pas: test cases and bug fixes for mathematical operations. * dpas/dpas-main.c, include/jit/jit-context.h, jit/jit-context.c, jit/jit-insn.c, tests/Makefile.am: add the "--dont-fold" option to Dynamic Pascal, so that we can run the test cases without folding. * tests/README: add a README file to describe how to write test cases. 2004-05-11 Rhys Weatherley * include/jit/jit-insn.h, jit/jit-insn.c, jit/jit-interp.cpp, jit/jit-interp.h, jit/jit-opcode.c, jit/jit-rules-interp.c: round out the function call handling opcodes for the interpreter. * jit/jit-rules-interp.c, jit/jit-rules-interp.h: implement the exception-handling opcodes for the interpreter. * dpas/dpas-parser.y, dpas/dpas-scope.c, dpas/dpas-scope.h: fix a bug that caused global variables in Dynamic Pascal to be incorrectly allocated as locals. * jit/jit-reg-alloc.c (_jit_regs_load_to_top_two): handle the case where the second value is on the stack but not the first. * dpas/dpas-parser.y, dpas/dpas-types.c, dpas/dpas-types.h: report errors for unimplemented expressions and statements, so that users are not "surprised" when things silently fail. * .cvsignore, auto_gen.sh, configure.in, doc/.cvsignore, dpas/.cvsignore, dpas/Makefile.am, include/.cvsignore, jit/.cvsignore, jit/Makefile.am, jitdynamic/.cvsignore, jitdynamic/Makefile.am, jitplus/.cvsignore, jitplus/Makefile.am, tools/.cvsignore, tutorial/.cvsignore, tutorial/Makefile.am: modify the autoconf/automake build system to use libtool. 2004-05-10 Rhys Weatherley * jit/jit-reg-alloc.c, jit/jit-reg-alloc.h, jit/jit-rules-interp.c: interpreter code conversion for relative pointer and copy opcodes; fix some bugs in stack-based register allocation. * dpas/dpas-parser.y, dpas/dpas-types.c, dpas/dpas-types.h: loading and storing record fields in Dynamic Pascal. * dpas/dpas-builtin.c: implement the "New" and "Dispose" builtins. 2004-05-08 Rhys Weatherley * jit/jit-cache.c, jit/jit-cache.h, jit/jit-dump.c, jit/jit-interp.h, jit/jit-rules-interp.c: add "_jit_cache_get_end_method", to allow the end of a method's code to be located without explicit marking. * configure.in, include/jit/jit-util.h, jit/jit-string.c: remove the locale-sensitive string comparison routines because they aren't used in libjit, and front ends will normally have their own functions for this purpose. * Makefile.am, configure.in, doc/Makefile.am, doc/libjit.texi, include/jit/Makefile.am, include/jit/jit-dynamic.h, include/jit/jit-util.h, jit/Makefile.am, jit/jit-dynlib.c, jit/jit-mangle.c, jitdynamic/.cvsignore, jitdynamic/Makefile.am, jitdynamic/jit-cpp-mangle.c, jitdynamic/jit-dynlib.c: move the dynlib and C++ name mangling routines into a separate "jitdynamic" library, which will handle all of the cross-language naming and dynamic invocation logic. * include/jit/jit-type.h, jit/jit-internal.h, jit/jit-type.c, jitdynamic/jit-cpp-mangle.c: move the "JIT_TYPE_xxx" constants into the public headers and add "jit_type_get_kind" so that front end code can classify types quickly. * jit/jit-dump.c: use "objdump" to dump compiled native code. 2004-05-07 Rhys Weatherley * dpas/dpas-function.c, dpas/dpas-internal.h, dpas/dpas-main.c, dpas/dpas-parser.y, jit/jit-interp.cpp, jit/jit-interp.h, jit/jit-opcode.c, jit/jit-rules-interp.c: execute the "main" method once a Dynamic Pascal program has been compiled; fix some calling convention problems with "call_external". * dpas/dpas-builtin.c, dpas/dpas-scanner.l: add the "Flush" and "Terminate" builtins; fix a small bug in string scanning. * include/jit/jit-elf.h, jit/Makefile.am, jit/jit-context.c, jit/jit-elf-read.c, jit/jit-internal.h, jit/jit-symbol.c: implement symbol relocations for the ELF binary reader. * dpas/dpas-parser.y: code generation for "for" loops. 2004-05-06 Rhys Weatherley * dpas/Makefile.am, dpas/dpas-builtin.c, dpas/dpas-function.c, dpas/dpas-internal.h, dpas/dpas-main.c, dpas/dpas-parser.y, dpas/dpas-scope.c, dpas/dpas-scope.h, dpas/dpas-semantics.h, dpas/dpas-types.c, dpas/dpas-types.h, include/jit/jit-block.h, include/jit/jit-insn.h, include/jit/jit-plus.h, jit/jit-block.c, jit/jit-dump.c, jit/jit-function.c, jit/jit-insn.c, jit/jit-interp.cpp, jit/jit-opcode.c, jit/jit-rules-arm.c, jit/jit-rules-interp.c, jit/jit-rules-x86.c, jit/jit-type.c, jit/jit-value.c, jitplus/jit-plus-function.cpp: get basic compilation working in Dynamic Pascal. 2004-05-03 Rhys Weatherley * tools/gen-apply.c: improve the maintainability of the apply macros. * include/jit/jit-block.h, include/jit/jit-context.h, include/jit/jit-dump.h, include/jit/jit-elf.h, include/jit/jit-init.h, include/jit/jit-meta.h, include/jit/jit-type.h, include/jit/jit-util.h, jit/jit-type.c, jit/jit-value.c: add more instances of JIT_NOTHROW to the headers; add some special meta tags for types. * include/jit/jit-type.h, jit/jit-type.c: tag the system-dependent types so that they can be distinguished from the fixed-sized types when it is necessary to do so. * jit/Makefile.am, jit/jit-mangle.c: add the beginnings of a C++ name mangler, to help with extracting C++ symbols from dynamic shared libraries. * doc/Makefile.am, doc/libjit.texi, doc/mangling_rules.txt, include/jit/jit-type.h, include/jit/jit-util.h, jit/jit-mangle.c, jit/jit-type.c: continue the implementation of the C++ name mangling routines. 2004-05-01 Rhys Weatherley * jit/jit-apply-x86.c, jit/jit-rules-x86.c, tools/gen-apply.c: fix function prolog and epilog handling for structure returns under x86/cdecl. * configure.in: set the initial working version to 0.0.1. * jit/jit-rules-x86.c: implement x86 code generation for some of the basic operators. * include/jit/jit-insn.h, include/jit/jit-opcode.h, include/jit/jit-plus.h, jit/jit-insn.c, jit/jit-interp.cpp, jit/jit-opcode.c, jit/jit-reg-alloc.c, jit/jit-reg-alloc.h, jit/jit-rules-interp.c, jitplus/jit-plus-function.cpp: add array access instructions. * tools/gen-apply.c: clean up the builder/parser macros and detect padding of the floating-point registers. 2004-04-30 Rhys Weatherley * include/jit/jit-function.h, include/jit/jit-insn.h, include/jit/jit-opcode.h, include/jit/jit-plus.h, jit/jit-except.cpp, jit/jit-function.c, jit/jit-insn.c, jit/jit-internal.h, jit/jit-interp.cpp, jit/jit-interp.h, jit/jit-opcode.c, jit/jit-rules-arm.c, jit/jit-rules-interp.c, jit/jit-rules-x86.c, jit/jit-rules.h, jitplus/jit-plus-function.cpp: put some infrastructure in place to support "try"-related instructions. * dpas/dpas-parser.y, dpas/dpas-scope.h, dpas/dpas-semantics.h: introduce effective address based l-values into dpas. 2004-04-27 Rhys Weatherley * jit/jit-dump.c, jit/jit-reg-alloc.c: fix a register stack bug in "_jit_regs_set_value"; add some more debug code. * include/jit/jit-opcode.h, jit/jit-insn.c, jit/jit-internal.h, jit/jit-interp.cpp, jit/jit-opcode.c: wrap function calls with code to set up and remove exception frame information. * jit/jit-function.c, jit/jit-insn.c, jit/jit-internal.h: intuit "nothrow" and "noreturn" flags for compiled functions. * include/jit/jit-insn.h, include/jit/jit-plus.h, jit/jit-insn.c, jitplus/jit-plus-function.cpp: add "jit_insn_throw", "jit_insn_rethrow", and "jit_insn_get_call_stack" to assist with throwing exceptions. * include/jit/jit-insn.h, jit/jit-block.c, jit/jit-insn.c, jit/jit-internal.h: add some instructions for managing "try" blocks. * include/jit/jit-opcode.h, jit/jit-block.c, jit/jit-insn.c, jit/jit-internal.h, jit/jit-opcode.c: more work on "try" blocks. 2004-04-26 Rhys Weatherley * jit/jit-reg-alloc.c, jit/jit-reg-alloc.h: add functions to assist with register allocation on stack-based architectures. * jit/jit-rules-interp.c: implement "_jit_gen_load_value" for the interpreter backend. * jit/jit-interp.cpp, jit/jit-interp.h: fix some opcode names that should be prefixed with "JIT_OP". * jit/jit-function.c, jit/jit-internal.h, jit/jit-reg-alloc.c, jit/jit-reg-alloc.h, jit/jit-rules-arm.c, jit/jit-rules-interp.c, jit/jit-rules-interp.h, jit/jit-rules-x86.c, jit/jit-rules.h: interpreter back end code generation for binary, unary, and branch opcodes. * doc/libjit.texi, jit/jit-rules-interp.c: fix the Texinfo section markers in the "Porting" chapter. * jit/jit-rules-interp.c: code generation for interpreter return's. * include/jit/jit-except.h, include/jit/jit-function.h, include/jit/jit-plus.h, jit/jit-except.cpp, jit/jit-function.c, jit/jit-interp.cpp, jit/jit-interp.h, jit/jit-rules-interp.c, jitplus/jit-plus-function.cpp: implement "jit_function_apply" and "jit_function_apply_vararg" for the interpreter back end. * jitplus/jit-plus-function.cpp: initialization errors in the C++ binding. * jit/jit-function.c, jit/jit-insn.c, jit/jit-interp.cpp, jit/jit-rules-interp.c: work on code generation for function calls. * doc/libjit.texi, include/jit/jit-insn.h, include/jit/jit-plus.h, jit/jit-insn.c, jitplus/jit-plus-function.cpp, tutorial/t2.c: add a "flags" parmeter to "jit_insn_call" and friends, so that "nothrow", "noreturn", and "tail" options can be supplied. * jit/jit-dump.c, jit/jit-interp.cpp, jit/jit-interp.h, jit/jit-opcode.c, jit/jit-rules-interp.c: dump the translated native code from "jit_dump_function" are compilation. * jit/jit-interp.cpp, jit/jit-rules-interp.c: argument variable offsets should in item units, not byte units. * jit/jit-insn.c, jit/jit-reg-alloc.c, jit/jit-reg-alloc.h, jit/jit-rules-interp.c: improve register allocation in stacks. 2004-04-25 Rhys Weatherley * jit/jit-apply-func.h, jit/jit-apply-x86.c, jit/jit-apply-x86.h, jit/jit-cache.c: use CPU-specifc padding for aligning code areas with NOP's, for greater runtime efficiency. * include/jit/jit-elf.h, jit/Makefile.am, jit/jit-elf-write.c: add the skeleton of the ELF writing routines. * jit/jit-interp.cpp: modify VM_BR_TARGET so that it is PIC-friendly. 2004-04-24 Rhys Weatherley * */*: Initial public release. Most of the skeleton code is in place.