1 2021-04-03 Marc Nieper-Wißkirchen <marc@nieper-wisskirchen.de>
3 * check/Makefile.am: Add test for the live instruction.
4 * check/live.ok: New file.
5 * check/live.tst: New file.
6 * doc/body.texi: Add documentation for the live instruction and
7 for jit_get_reg/jit_get_unreg. Fix menu entries.
8 * include/lightning.h.in (jit_get_reg, jit_unget_reg): Expose the
9 macros in the public header file.
10 * include/lightning/jit_private.h (jit_get_reg, jit_unget_reg):
11 Remove the macros from the private header file.
13 2021-04-03 Marc Nieper-Wißkirchen <marc@nieper-wisskirchen.de>
15 * Makefile.am, check/Makefile.am, doc/Makefile.am,
16 lib/Makefile.am: Include $(top_builddir)/include in include paths
17 for the autoconf-generated header file lightning.h.
19 2021-04-03 Marc Nieper-Wißkirchen <marc@nieper-wisskirchen.de>
21 * doc/.gitignore: Add version.texi to list of ignored files.
22 * doc/version.texi: Remove file from version control.
24 2020-18-04 Paulo Andrade <pcpa@gnu.org>
26 * lib/jit_x86-cpu.c, lib/jit_x86.c: Implement %rip relative
27 calls and jumps on x86_64. Currently very conservative, assuming
28 a jit block can be larger than 2G, so, if a jump or call is in
29 the same jit generation, but target is unknown, use an indirect
30 branch (could have an option to assume a jit code block is
31 never larger than 2G). Also a deoptimization is that now does
32 not always generate ip relative jmpi; previously implicitly
33 assumed jmpi would never be larger than 2G. Overall still an
36 2020-23-01 Paulo Andrade <pcpa@gnu.org>
38 * lib/lightning.c: Add a proper fix to the condition of considering
39 a register dead at entry of a block when it modifies the register
40 !after! a branch to a target where it is live.
41 The correction is just to split blocks on branches. It uses an
42 extra label per branch, but makes following the code simpler and
43 avoid costly searches.
45 2020-22-01 Paulo Andrade <pcpa@gnu.org>
47 * lib/lightning.c: Correct a special condition of a register
48 only assigned in a block, and incorrectly marked as dead before
49 a jump where the register is live.
51 2019-10-04 Paulo Andrade <pcpa@gnu.org>
53 * check/lightning.c, include/lightning/jit_private.h,
54 include/lightning/jit_x86.h, lib/jit_x86-cpu.c, lib/jit_x86-sz.c,
55 lib/jit_x86.c: Correct issues with MinGW64 that defines _WIN32
56 and needs long long for jit_word_t.
58 2019-09-16 Paulo Andrade <pcpa@gnu.org>
60 * lib/lightning.c: Do not add registers that are never modified
61 to the set of registers to scan for live range, what might
62 consume a lot of cpu time, doing nothing.
64 2019-09-16 Marc Nieper-Wißkirchen <marc@nieper-wisskirchen.de>
66 * include/lightning/jit_x86.h, lib/jit_x86.c: Correct x86_64
67 backend, made %r12 a callee-save register as dictated by the
70 2019-09-16 Paulo Andrade <pcpa@gnu.org>
72 * Makefile.am: Do not force CFLAGS for the get_jit_size target.
73 * check/lightning.c: Drop __ppc__ check.
74 * include/lightning.h.in: Drop __ppc__ check. Add new
75 jit_flag_vararg flag, for special case in powerpc 32 bit using
76 the SYSV abi, and need to pass an extra argument during code
78 * include/lightning/jit_ppc.c: Drop __ppc_ check. Remove the
79 ABI_ELFv2 macro, as it now directly checks for the _CALL_ELF
80 value when/if appropriate.
81 * include/lightning/jit_private.h: Drop __ppc_ check. Check for
82 _CALL_AIXDESC to define extra data to handle function
84 * lib/jit_ppc-cpu.c: Update to check for _CALL_SYSV; assume
85 !_CALL_SYSV == (_CALL_AIX || _CALL_LINUX). Significant code
86 rework for the SYSV abi.
87 * lib/jit_ppc-sz.c: Update for the SYSV abi.
88 * lib/jit_ppc.c: Update for the SYSV abi. Add matching va_list
89 type. Drop __ppc__ check.
90 * lib/jit_size.c: Drop __ppc_ check.
91 * lib/lightning.c: Drop __ppc__ check. Add proper check for
92 __powerpc__ and _CALL_AIXDESC to manage function descriptors.
93 * lib/size.c: Update to drop __pppc_ check and SYSV abi.
95 2019-08-30 Paulo Andrade <pcpa@gnu.org>
97 * lib/jit_mips-cpu.c: Use JALR to get the same effect as JR, as
98 in mips32r6 JR generates an illegal instruction. Thanks to
99 Bruno Haible for providing a patch and the information, reported at
100 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=925129
103 2019-08-29 Marc Nieper-Wißkirchen <marc@nieper-wisskirchen.de>
105 * include/lightning/jit_private.h: Move definition of offsetof
106 from the public header file here.
108 * configure.ac, include/Makefile.am, include/lightning.h,
109 include/lightning.h.in: Generate lightning.h from lightning.in.h
110 and remove the dependence on config.h from the public header file.
112 2019-06-04 Paulo Andrade <pcpa@gnu.org>
114 * include/lightning/jit_riscv.h, lib/jit_riscv-cpu.c,
115 lib/jit_riscv-fpu.c, lib/jit_riscv-sz.c, lib/jit_riscv.c:
116 Implement riscv port. Only 64 bit Linux supported. Built on
119 * check/all.tst, check/float.tst, configure.ac, include/lightning.h,
120 include/lightning/Makefile.am, include/lightning/jit_private.h,
121 lib/Makefile.am, lib/jit_disasm.c, lib/jit_size.c, lib/lightning.c:
122 Minor updates for the new riscv port.
124 2019-06-04 Paulo Andrade <pcpa@gnu.org>
126 * lib/jit_alpha.c lib/jit_ia64.c lib/jit_mips.c lib/jit_sparc.c:
127 Correct assertion of _jitc->regarg after emiting an instruction.
128 jit_carry may be set, but not an argument to the current instruction.
130 2019-06-01 Paulo Andrade <pcpa@gnu.org>
132 * lib/lightning.c: Correct assertion on jit_unget_reg when the
133 argument is jit_carry, and jit_carry was not used in the
136 2019-06-01 Paulo Andrade <pcpa@gnu.org>
138 * include/lightning/jit_private.h: Remove no longer need
139 setmask field of jit_block_t and blockmask from jit_compiler_t.
141 * lib/lightning.c: Rework of register live and unknown state
142 information during jit generation. It no longer recurses nor
143 do dangerous bit unset of registers in unknown state. The
144 only pitfall known, that must be taken care now is that jmpr
145 (or jmpi to not a jit node) is treated as a function call, as
146 otherwise it would need to consider all registers live, and
147 spill/reload during all jit generation.
149 2018-12-28 Paulo Andrade <pcpa@gnu.org>
151 * lib/jit_disasm.c: Release bfd handle. Thanks for patch to
152 Marc Nieper-Wißkirchen.
154 2018-08-30 Paulo Andrade <pcpa@gnu.org>
156 * lib/jit_disasm.c: Add hints to select hppa disassembler.
158 * lib/jit_hppa-cpu.c: Correct address of vastart when all
159 argument registers were used as non vararg arguments.
161 * lib/jit_hppa-fpu.c: Disable load/store of rv,ix,rb where
162 rv is the value, ix is an register or integer offset and rb
163 is a base register. These should be better tested, as they do
164 not work on all environments (fail on qemu-hppa).
166 2018-04-20 Paulo Andrade <pcpa@gnu.org>
168 * include/lightning/jit_private.h: Add new register classes to
169 flag float registers and double only registers, required for sparc64
170 where only low 32 bit fpr registers can be used for single precision
172 Add new 128 bit jit_regset_t type for sparc64 register set.
174 * include/lightning/jit_sparc.h, lib/jit_sparc-cpu.c, lib/jit_sparc-fpu.c,
175 lib/jit_sparc-sz.c, lib/jit_sparc.c: Update for 64 bits sparc.
177 * lib/lightning.c: Update for new jit_regset_t required for sparc64.
179 2018-02-26 Paulo Andrade <pcpa@gnu.org>
181 * check/lightning.c, include/lightning.h: Add the new jit_va_push
182 interface. That should be called when passing a va_list to a C
183 function. This is required because on Alpha a va_list is passed
184 by value, and lightning does not know about data types, so, cannot
185 understand it is pushing a va_list as argument.
187 * lib/jit_names.c, lib/lightning.c: Minor changes for the new
190 * check/cva_list.c: Update only test case using jit_va_push, to
191 pass a va_list to a C function.
193 doc/body.texi: Better documentation of the varargs interface.
195 * jit_alpha.c, jit_alpha-cpu.c: Update to properly push a
196 C va_list and correctly calculate varargs offset.
198 * lib/jit_aarch64-sz.c, lib/jit_aarch64.c, lib/jit_alpha-sz.c,
199 lib/jit_arm-sz.c, lib/jit_arm.c, lib/jit_hppa-sz.c, lib/jit_hppa.c,
200 lib/jit_ia64-sz.c, lib/jit_ia64.c, lib/jit_mips-sz.c, lib/jit_mips.c,
201 lib/jit_ppc-sz.c, lib/jit_ppc.c, lib/jit_s390-sz.c, lib/jit_s390.c,
202 lib/jit_sparc-sz.c, lib/jit_sparc.c, lib/jit_x86-sz.c, lib/jit_x86.c:
203 Update for the new jit_va_push interface.
205 2018-02-22 Paulo Andrade <pcpa@gnu.org>
207 * lib/jit_alpha-cpu.c: Always set t12 to the address of the
208 current function, to properly work on all systems. Previously
209 the shortcut did only work on Tru64. For Linux and glibc the
212 2018-02-22 Paulo Andrade <pcpa@gnu.org>
214 * lib/jit_aarch64.c, lib/jit_alpha.c, lib/jit_arm.c,
215 lib/jit_mips.c, lib/jit_ppc.c, lib/jit_sparc.c, lib/jit_x86.c:
216 Correct wrong logic in usage of jit_live in jit_retr. The
217 problem is that if a temporary is required during epilog,
218 the return register might be allocated, so, jit_live must always
221 2018-01-31 Paulo Andrade <pcpa@gnu.org>
223 * lib/lightning.c: Avoid deep recursions when computing live
226 2018-01-31 Paulo Andrade <pcpa@gnu.org>
228 * lib/jit_mips-cpu.c: Correct frame size and varargs
229 initialization for the n32 abi.
230 * lib/jit_mips.c, lib/jit_mips-fpu.c: Correct 32 bit abis
233 2017-09-13 Paulo Andrade <pcpa@gnu.org>
235 * configure.ac: Add check for binutils 2.29 prototype to the
236 disassembler function.
237 * lib/jit_disasm.c: Adapt for binutils 2.29 change.
239 2017-06-09 Paulo Andrade <pcpa@gnu.org>
241 * include/lightning/jit_private.h, lib/lightning.c: Add a
242 second pass from start when computing register live ranges.
243 This should be used temporarily, and is required for certain
244 loop constructs, with several consecutive blocks not referencing
247 2016-05-05 Paulo Andrade <pcpa@gnu.org>
249 * lib/lightning.c: Correct wrong movr simplification,
250 remove no longer needed code to set return registers live
251 and update live register set when reaching a label boundary,
252 but do not descend if the block has been already visited.
253 The later need some tuning for complex code generation, where
254 it will still have issues.
256 2015-11-30 Paulo Andrade <pcpa@gnu.org>
258 * doc/body.texi: Change documentation to no longer say
259 it is a variant of the Fibonacci sequence, and document
260 a proper implementation.
261 Thanks to Jon Arintok for pointing out that the Fibonacci
262 sequence generation was incorrect. It was documented, but
265 * check/fib.tst, check/fib.ok, check/bp.tst, check/bp.ok,
266 doc/ifib.c, doc/rbif.c: Implement a proper Fibonacci
267 sequence implementation.
269 2015-07-03 Paulo Andrade <pcpa@gnu.org>
271 * lib/jit_mips-cpu.c: Correct definition of htonr_ul.
272 Correct prolog/epilog/va* routines to work on o64 abi.
274 * lib/jit_mips-fpu.c: Correct load of double literal
275 argument when not using a data buffer.
276 Remove alignment correction in vaarg_d if using the
279 * lib/jit_mips.c: Correct code to allow creating variadic
280 jit functions when using the new mips abi.
282 * lib/jit_rewind.c: Minor adjust for rewind when using
283 the new mips abi, if there are varargs arguments in
286 2015-06-06 Paulo Andrade <pcpa@gnu.org>
288 * lib/jit_ia64-cpu.c: Search backward for the last output
289 register used, otherwise would stop too early if a float
290 argument used the slot.
291 Correct offset of first va_list argument, and use proper
294 * lib/jit_ia64-fpu.c: Add new functions to move a gpr
295 to a fpr register, to counterpart the ones that move a
296 fpr to a gpr. These are required to properly implement
297 jit_getarg*_{f,d} on complex prototypes, or variadic
300 * lib/jit_ia64-sz.c: Update for support to jit variadic
303 * lib/jit_ia64.c: Implement proper abi for variadic
306 2015-06-04 Paulo Andrade <pcpa@gnu.org>
308 * lib/jit_rewind.c: New file implementing generic functions
309 to "rewind", or rewrite IR code sequences.
311 * include/lightning.h: Add several new codes, that previously
312 were a function call, that would synthesize the operation.
313 Now, there is a code for the operation, and a new flag to
314 know an operation is synthesized.
316 * include/lightning/jit_private.h: Add several new macros to
317 help construct synthesized IR code sequences.
319 * lib/Makefile.am: Update for lib/jit_rewind.c.
321 * lib/jit_disasm.c: Update for a small rework on jit_node_t,
322 so that --enable-devel-disassembler does not need a change
323 in the layout of jit_node_t.
325 * lib/jit_names.c: Update for the new codes.
327 * lib/jit_print.c: Update to print more readable output, and
328 flag synthesized IR code sequences.
330 * lib/jit_aarch64-sz.c, lib/jit_aarch64.c,
331 lib/jit_arm-sz.c, lib/jit_arm.c, lib/jit_x86-sz.c,
332 lib/jit_x86.c: Update for new synthesized IR code sequences.
334 * lib/jit_ppc-cpu.c, lib/jit_ppc-fpu., lib/jit_ppc-sz.c,
335 lib/jit_ppc.c, lib/jit_mips-cpu.c, lib/jit_mips-fpu.c,
336 lib/jit_mips-sz.c, lib/jit_mips.c, lib/jit_s390-fpu.c,
337 lib/jit_s390-sz.c, lib/jit_s390.c: Update for new synthesized
338 IR code sequences and correct bugs in the initial varargs
339 implementation support.
341 * lib/jit_alpha-sz.c, lib/jit_alpha.c, lib/jit_hppa-sz.c,
342 lib/jit_hppa.c, lib/jit_ia64-sz.c, lib/jit_ia64.c,
343 lib/jit_sparc-sz.c, lib/jit_sparc.c: Add generic, untested
344 support for the new synthesized IR code sequences. Known
345 most likely broken right now, and should be corrected once
346 access to these hosts is available.
348 * lib/lightning.c: Update for new IR codes, and add support
349 for not yet existing instructions that change third argument.
351 * size.c: Change to use different tables for LE and BE PowerPC.
352 Correct a wrong endif for x32.
354 2015-05-25 Paulo Andrade <pcpa@gnu.org>
356 * check/cva_list.c: New file implementing a test to ensure
357 the value returned by jit_va_start is a valid C va_list.
359 * check/va_list.ok: New simple helper file, as now the
360 va_list.tst test is enabled.
362 * check/va_list.tst: Rewritten for an extensive variadic
365 * check/Makefile.am: Update for the new tests.
367 * lib/jit_arm-cpu.c, lib/jit_arm-swf.c, lib/jit_arm-vfp.c,
368 lib/jit_arm.c: Correct broken software float in a previous
369 commit. Note that the hard float abi implementation is known
370 broken at this time, for special cases involving variadic
371 functions, and should be corrected next.
373 lib/jit_x86-cpu.c, lib/jit_x86-sz.c, lib/jit_x86.c: Correct
374 the jit_va_list_t semantics to match C va_list.
376 2015-05-24 Paulo Andrade <pcpa@gnu.org>
378 * lib/Makefile.am: Bump library major. This is a preparation
379 for a rework that was due for quite some time, but that is
380 now required to properly implement variadic jit functions.
381 The rework is mainly required to know at prolog parsing, if
382 a function is variadic or not. This will benefit a few
383 backends, and is mandatory for the hard float arm abi.
384 The rework was already planned for quite some time, to
385 be able to use a variable stack framesize, and for leaf
386 functions optimization where applicable.
387 The change will be source compatible, but will change
388 some internals, and jit_code_t values, as some new will
390 The only behavior change is that, jit_arg_register_p may
391 change return value on hard float arm abi, if called before
392 or after jit_ellipsis. Common sense anyway, would say to
393 make that call after jit_ellipsis, but documentation
394 should be updated for it.
396 2015-05-24 Paulo Andrade <pcpa@gnu.org>
398 * lib/jit_aarch64-fpu.c, lib/jit_aarch64.c: Correct base
399 aarch64 varargs code.
401 2015-05-24 Paulo Andrade <pcpa@gnu.org>
403 * check/lightning.c: Clearly run check if clang is the system
406 2015-05-20 Paulo Andrade <pcpa@gnu.org>
408 * lib/jit_sparc-cpu.c, lib/jit_sparc-fpu.c, lib/jit_sparc.c:
409 Add base support to jit vararg functions to the sparc backend.
411 2015-05-20 Paulo Andrade <pcpa@gnu.org>
413 * lib/jit_alpha-cpu.c, lib/jit_alpha-fpu.c, lib/jit_alpha.c:
414 Add base support to jit vararg functions to the alpha backend.
416 2015-05-19 Paulo Andrade <pcpa@gnu.org>
418 * lib/jit_hppa-cpu.c, lib/jit_hppa-fpu.c, lib/jit_hppa.c:
419 Add base support to jit vararg functions to the hppa backend.
421 2015-05-10 Paulo Andrade <pcpa@gnu.org>
423 * lib/jit_ia64-cpu.c, lib/jit_ia64-fpu.c, lib/jit_ia64.c:
424 Add base support to jit vararg functions to the ia64 backend.
426 2015-05-10 Paulo Andrade <pcpa@gnu.org>
428 * lib/jit_ia64-fpu.c, lib/jit_ia64.c: Correct movi_d_w
429 and movi_f_w implementation to work when not using a
430 data buffer. This causes the check varargs.tst to
431 work when passing "-d" to the lightning test tool.
433 2015-05-10 Paulo Andrade <pcpa@gnu.org>
435 * lib/jit_ia64.c: Implement inline assembly cache flush,
436 required on multiprocessor systems.
438 2015-05-06 Paulo Andrade <pcpa@gnu.org>
440 * lib/jit_mips-cpu.c, lib/jit_mips-fpu.c, lib/jit_mips.c:
441 Add base support to jit vararg functions to the mips backend.
442 Currently only supported on the o32 abi, until access to a
443 n32 system is arranged.
445 2015-05-05 Paulo Andrade <pcpa@gnu.org>
447 * lib/jit_ppc-cpu.c, lib/jit_ppc-fpu.c, lib/jit_ppc.c:
448 Add base support to jit vararg functions to the PowerPC backend.
450 2015-05-02 Paulo Andrade <pcpa@gnu.org>
452 * lib/jit_s390-cpu.c, lib/jit_s390-fpu.c, lib/jit_s390.c:
453 Add base support to jit vararg functions to the s390 backend.
455 2015-05-01 Paulo Andrade <pcpa@gnu.org>
457 * lib/jit_arm-cpu.c, lib/jit_arm-swf.c, lib/jit_arm-vfp.c,
458 lib/jit_arm.c: Add base support to jit vararg
459 functions to the arm backend.
461 2015-04-30 Paulo Andrade <pcpa@gnu.org>
463 * lib/jit_aarch64-cpu.c, lib/jit_aarch64-fpu.c,
464 lib/jit_aarch64.c: Add base support to jit vararg
465 functions to the aarch64 backend.
467 2015-04-27 Paulo Andrade <pcpa@gnu.org>
469 * include/lightning.h, include/lightning/jit_private.h,
470 lib/jit_names.c, lib/lightning.c: Add initial support
471 for the new jit_va_start, jit_va_arg, jit_va_arg_d, and
472 jit_va_end interfaces. The jit_va_start call is supposed
473 to return a va_list compatible pointer, but not yet
474 decided if it will be "declared" stdarg compatible,
475 as for now only x86 support has been added (and should
476 be compatible), but issues may arise on other backends.
478 * check/lightning.c: Add wrappers to call the new jit_va_*
481 * lib/jit_x86-cpu.c, lib/jit_x86.c: Implement the new
484 * lib/jit_x86-sz.c: Add fields, but not yet fully updated,
485 as this is an intermediate commit.
487 * lib/jit_aarch64-sz.c, lib/jit_aarch64.c,
488 lib/jit_alpha-sz.c, lib/jit_alpha.c,
489 lib/jit_arm-sz.c, lib/jit_arm.c,
490 lib/jit_hppa-sz.c, lib/jit_hppa.c,
491 lib/jit_ia64-sz.c, lib/jit_ia64.c,
492 lib/jit_mips-sz.c, lib/jit_mips.c,
493 lib/jit_ppc-sz.c, lib/jit_ppc.c,
494 lib/jit_s390-sz.c, lib/jit_s390.c,
495 lib/jit_sparc-sz.c, lib/jit_sparc.c: Prepare for the
496 new jit_va_* interfaces. Not yet implemented, and will
497 cause an assertion if used.
499 * check/va_list.tst: Simple early test case, that works
500 on x86_64, x32, ix86, cygwin, and cygwin64.
502 2015-02-17 Paulo Andrade <pcpa@gnu.org>
504 * include/lightning.h, include/lightning/jit_private.h,
505 lib/jit_aarch64-cpu.c, lib/jit_aarch64.c,
506 lib/jit_alpha-cpu.c, lib/jit_alpha.c,
507 lib/jit_arm-cpu.c, lib/jit_arm.c,
508 lib/jit_hppa-cpu.c, lib/jit_hppa.c,
509 lib/jit_ia64-cpu.c, lib/jit_ia64.c,
510 lib/jit_mips-cpu.c, lib/jit_mips.c,
511 lib/jit_ppc-cpu.c, lib/jit_ppc.c,
512 lib/jit_s390-cpu.c, lib/jit_s390.c,
513 lib/jit_sparc-cpu.c, lib/jit_sparc.c,
514 lib/jit_x86-cpu.c, lib/jit_x86.c: Implement the new
515 jit_allocar(offs, size) interface, that receives
516 two integer registers arguments, allocates space
517 dynamically in the stack, returns the offset in
518 the first argument, and uses the second argument
519 for the size in bytes of the memory to be allocated.
521 * check/allocar.ok, check/allocar.tst: New files
522 implementing test cases for the new jit_allocar
525 * check/Makefile.am, check/lightning.c: Update for
526 the new test case and interface.
528 * doc/body.texi: Add documentation of the new
531 2015-02-17 Paulo Andrade <pcpa@gnu.org>
533 * include/lightning/jit_x86.h, lib/jit_x86-cpu.c,
534 lib/jit_x86-x87.c: No longer make st(7) available.
535 Need to keep one x87 slots empty to avoid exceptions.
536 This has the side effect of no longer needing the
537 hackish emms instruction before a function call.
539 2015-02-16 Paulo Andrade <pcpa@gnu.org>
541 * lib/lightning.c: Remove the jit_regno_patch bitfield
542 register fields before actual emit, as it is only really
543 used before emit, otherwise, on special conditions it
544 may consider live registers as dead during code emit.
546 2015-02-15 Paulo Andrade <pcpa@gnu.org>
548 * lib/jit_x86-cpu.c, lib/jit_x86-sse.c, lib/jit_x86-x87.c:
549 Correct encoding of ldxr* stxr* in the x32 abi. If the
550 displacement register is negative, it would generate
551 a 64 bit instruction with a 32 bit unsigned displacement.
553 * check/ranger.tst, check/ranger.ok: New files, implementing
554 a test case for negative loads and stores. This is range.tst
555 converted to use registers instead of immediate offsets.
557 check/Makefile.am: Update for the new test case.
559 2015-02-07 Paulo Andrade <pcpa@gnu.org>
561 * lib/jit_size.c: Preventively use at least 144 bytes
562 if JIT_INSTR_MAX is less than it. The logic is not
563 guaranteed to be 100% precise, it is mostly heuristics
564 to allocate a buffer with as close as possible size,
565 but a wrong value may cause code generation to write
566 past the end of the buffer.
568 2015-02-03 Paulo Andrade <pcpa@gnu.org>
570 * lib/lightning.c: Correct the reason the bug in
571 simplify_stxi was not triggered before, it was due to
572 incorrectly resetting the value->code field, what was
573 causing it to never properly optimize:
576 when Rb0 == Rb1, Rt0 == Rt1 and Im0 == Im1
577 There was another possible issue, that has been also
578 addressed in this commit, that would be the case of
579 Rbn == Rtn, where no redundancy removal is possible.
581 2015-02-03 Paulo Andrade <pcpa@gnu.org>
583 * lib/lightning.c: Correct wrong check in simplify_stxi.
584 The test was incorrectly comparing the target register
585 and the displacement offset. This was a time bomb bug,
586 that would trigger in code like:
589 if Rb0 == Rb1 && Rt0 == Rt1 && Im0 == Rt1, that is,
590 the wrong check was Im0 == Rt1, instead of the supposed
591 Im0 == Imm1 (that was what the code mean't to do). It
592 was removing the second stxi assuming it was redundantly
593 generated; as that is not uncommon pattern on
594 translators generating jit.
596 2015-02-02 Paulo Andrade <pcpa@gnu.org>
598 * configure.ac, include/lightning/jit_private.h,
599 lib/jit_aarch64.c, lib/jit_alpha.c, lib/jit_arm.c,
600 lib/jit_disasm.c, lib/jit_hppa.c, lib/jit_ia64.c,
601 lib/jit_mips.c, lib/jit_ppc.c, lib/jit_print.c,
602 lib/jit_s390.c, lib/jit_sparc.c, lib/jit_x86.c: Add a new
603 --enable-devel-disassembler option, that should be used
604 during development, or lightning debug. This option
605 intermixes previous jit_print and jit_disassemble
606 output, making it easier to visualize what lightning
607 call was used, and what code was generated.
609 2015-01-31 Paulo Andrade <pcpa@gnu.org>
611 * lib/jit_arm-cpu.c, lib/jit_arm.c: Only limit to 24 bit
612 displacement non conditional jump in the same jit_state_t.
614 2015-01-19 Paulo Andrade <pcpa@gnu.org>
616 * doc/body.texi: Reorder documentation, making jit_frame
617 and jit_tramp the lightning response to the need of
618 trampolines, continuations and tail call optimizations.
619 A pseudo code example of a factorial function was added.
620 Also added a section for description of the available
623 * doc/fact.c: New file, implementing a simple example of
624 a translation of a trivial, recursive, tail call optimization
625 into lightning calls. This is the conversion to functional C
626 code of the example in doc/body.texi.
628 * doc/Makefile.am: Update for the next test case.
630 2015-01-17 Paulo Andrade <pcpa@gnu.org>
632 * include/lightning.h, lib/jit_aarch64.c,
633 lib/jit_alpha.c, lib/jit_arm-vfp.c, lib/jit_arm.c,
634 lib/jit_hppa.c, lib/jit_ia64.c, lib/jit_mips.c,
635 lib/jit_ppc.c, lib/jit_s390.c, lib/jit_sparc.c,
636 lib/jit_x86.c: Add the new jit_arg_register_p predicate.
637 The predicate is expected to be used to know if an
638 argument is in a register, what would need special
639 handling if code that can overwrite non callee save
640 registers is executed.
642 * check/carg.c: New test case to check consistency and
643 expected usage of jit_arg_register_p.
645 * check/Makefile.am: Update for new test case.
647 2015-01-17 Paulo Andrade <pcpa@gnu.org>
649 * include/lightning/jit_aarch64.h,
650 include/lightning/jit_alpha.h,
651 include/lightning/jit_arm.h,
652 include/lightning/jit_hppa.h,
653 include/lightning/jit_mips.h,
654 include/lightning/jit_ppc.h,
655 include/lightning/jit_s390.h,
656 include/lightning/jit_sparc.h,
657 include/lightning/jit_x86.h,
658 lib/jit_aarch64.c, lib/jit_alpha.c,
659 lib/jit_arm.c, lib/jit_hppa.c,
660 lib/jit_ia64.c, lib/jit_mips.c,
661 lib/jit_ppc.c, lib/jit_s390.c,
662 lib/jit_sparc.c, lib/jit_x86.c: Remove jit_arg_reg_p and
663 jit_arg_f_reg_p from a public header, and define it only
664 on port specific files where an integer offset is used
665 to qualify an argument identifier. Exported code expects
666 an opaque pointer (but of jit_node_t* type) to "qualify"
667 an argument identifier.
668 This patch, and the code review/simplification done during
669 it also corrected some bugs:
670 o Inconsistent jit_arg_d value of double argument after 3
671 integer arguments in arm for jit_functions; tested, C
672 functions were being properly called.
673 o Inconsistent use of getarg_{f,d} and putarg*_{f,d} on
674 s390 (32-bit) that happened to not have a proper test
675 case, as it would only happen for jit functions, and
676 tested, called C functions had proper arguments.
677 o Corrected a "last minute" correction that did not go
678 to the committed version, and would not compile on hppa,
679 due to bad _jit_putargi_d prototype definition.
681 2015-01-17 Paulo Andrade <pcpa@gnu.org>
683 * doc/body.texi: Correct wrong/outdated information for
684 hton*, pusharg* and ret*, and add missing documentation
685 for rsb*, qmul*, qdvi* and putarg*.
687 2015-01-15 Paulo Andrade <pcpa@gnu.org>
689 * configure.ac, lib/jit_disasm.c: Rewrite workaround
690 to apparent problem to initialize powerpc disassembler.
692 2015-01-15 Paulo Andrade <pcpa@gnu.org>
694 * include/lightning.h, lib/jit_aarch64.c,
695 lib/jit_alpha.c, lib/jit_arm.c, lib/jit_hppa.c,
696 lib/jit_ia64.c, lib/jit_mips.c, lib/jit_ppc.c,
697 lib/jit_s390.c, lib/jit_sparc.c, lib/jit_x86.c:
698 Implement jit_putarg*. It works as a mix of jit_getarg*
699 and jit_pusharg*, in the way that the first argument is
700 a register or immediate, and the second is a pointer
701 returned by jit_arg*. The use of the interface is to change
702 values of arguments to the current jit function.
704 * check/put.ok, check/put.tst: New test cases exercising
705 the new jit_putarg* interface.
707 * check/Makefile.am, check/lightning.c: Update for the
708 new test case and interface.
710 2015-01-08 Paulo Andrade <pcpa@gnu.org>
712 * include/lightning/jit_s390.h, lib/jit_s390-cpu.c,
713 lib/jit_s390-fpu.c, lib/jit_s390-sz.c, lib/jit_s390.c:
714 Renamed s390x* files to s390*.
716 * check/float.tst, check/lightning.c, configure.ac,
717 include/lightning.h, include/lightning/Makefile.am,
718 lib/Makefile.am, lib/jit_s390.c, lib/jit_size.c,
719 lib/lightning.c: Update for renamed files.
721 2015-01-08 Paulo Andrade <pcpa@gnu.org>
723 * include/lightning.h, include/lightning/jit_private.h,
724 include/lightning/jit_s390x.h, lib/jit_disasm.c,
725 lib/jit_s390x-cpu.c, lib/jit_s390x-fpu.c, lib/jit_s390x-sz.c,
726 lib/jit_s390x.c, lib/jit_size.c, lib/lightning.c:
727 Add support for generating jit for s390 32 bit. This change
728 also removed %f15 from the list of temporaries fpr registers;
729 it was not being used, but if were, it would corrupt the
730 stack frame because the spill address would overwrite grp
733 2014-12-26 Paulo Andrade <pcpa@gnu.org>
735 * lib/jit_ppc-cpu.c, lib/jit_ppc.c: Correct some endianess issues
736 on the powerpc le backend.
738 2014-12-26 Paulo Andrade <pcpa@gnu.org>
740 * lib/jit_ppc-cpu.c: Add mcrxr instruction emulation,
741 as this instruction has been phased out, and should be
742 implemented as a kernel trap.
744 2014-12-26 Paulo Andrade <pcpa@gnu.org>
746 * lib/jit_arm.c: Better check for need to flush constants
747 before the pool being no longer reachable.
749 2014-12-25 Paulo Andrade <pcpa@gnu.org>
751 * include/lightning.h: Split jit_htonr in the new 3 interfaces
752 jit_htonr_us, jit_htonr_ui and jit_htonr_ul, the later only
753 available on 64 bit. The plain/untyped jit_htonr macro call
754 maps to the wordsize one.
755 * lib/jit_aarch64-cpu.c, lib/jit_aarch64-sz.c, lib/jit_aarch64.c,
756 lib/jit_alpha-cpu.c, lib/jit_alpha-sz.c, lib/jit_alpha.c,
757 lib/jit_arm-cpu.c, lib/jit_arm-sz.c, lib/jit_arm.c,
758 lib/jit_hppa-cpu.c, lib/jit_hppa-sz.c, lib/jit_hppa.c,
759 lib/jit_ia64-cpu.c, lib/jit_ia64-sz.c, lib/jit_ia64.c,
760 lib/jit_mips-cpu.c, lib/jit_mips-sz.c, lib/jit_mips.c,
761 lib/jit_ppc-cpu.c, lib/jit_ppc-sz.c, lib/jit_ppc.c,
762 lib/jit_s390x-cpu.c, lib/jit_s390x-sz.c, lib/jit_s390x.c,
763 lib/jit_sparc-cpu.c, lib/jit_sparc-sz.c, lib/jit_sparc.c,
764 lib/jit_x86-cpu.c, lib/jit_x86-sz.c, lib/jit_x86.c:
765 Update backends for the new jit_htonr*.
766 * check/lightning.c, lib/jit_names.c, lib/lightning.c:
767 Update for the new jit_htonr* interfaces.
768 * check/Makefile.am: Update for new test cases.
769 * check/hton.ok, check/hton.tst: New test cases.
771 2014-12-24 Paulo Andrade <pcpa@gnu.org>
773 * include/lightning/jit_private.h, include/lightning/jit_x86.h,
774 lib/jit_disasm.c, lib/jit_x86-cpu.c, lib/jit_x86-sse.c,
775 lib/jit_x86-sz.c, lib/jit_x86-x87.c, lib/jit_x86.c,
776 size.c: Implement support for the x32 abi. Built and
777 tested on Gentoo default/linux/amd64/13.0/x32 profile.
779 2014-12-24 Paulo Andrade <pcpa@gnu.org>
781 * lib/jit_names.c: Add missing rsbi_f and rsbi_d strings.
783 2014-12-21 Paulo Andrade <pcpa@gnu.org>
785 * lib/jit_arm.c: Call __clear_cache for every page.
786 This should only be required for older boards or
787 toolchain setup, but has been reported to be required
788 for lightning at some point.
790 2014-12-21 Paulo Andrade <pcpa@gnu.org>
792 * lib/jit_arm.c: Correct check to guard overflow of index
793 of constants from program counter.
795 2014-11-24 Paulo Andrade <pcpa@gnu.org>
797 * lib/lightning.c: Remove an optimization to calee save
798 registers that may incorrectly remove a jit_movr under
801 2014-11-20 Paulo Andrade <pcpa@gnu.org>
803 * include/lightning/jit_ppc.h, lib/jit_ppc-cpu.c,
804 lib/jit_ppc.c: Add initial powerpc le support.
806 2014-11-20 Paulo Andrade <pcpa@gnu.org>
808 * lib/jit_disasm.c: Change thumb or arm disassemble based on
809 jit code before disassembly.
811 * lib/jit_arm-cpu.c: Correct reversed arguments to LDRD and
812 STRD instructions, and correct checking for support of those.
814 * lib/jit_arm-swf.c: Correct wrong use of LDRD and STRD and
815 only use those if the register is even.
817 * check/check.arm.swf.sh, check/check.arm4.swf.sh: New files
818 to test LDRD and STRD, as well as the alternate code path
819 when those are not available, in the .arm4. test case.
821 * check/Makefile.am: Update for the new test cases.
823 2014-11-08 Paulo Andrade <pcpa@gnu.org>
825 * include/lightning/jit_private.h, lib/jit_aarch64.c,
826 lib/jit_alpha.c, lib/jit_arm.c, lib/jit_hppa.c,
827 lib/jit_ia64.c, lib/jit_mips.c, lib/jit_ppc.c,
828 lib/jit_s390x.c, lib/jit_sparc.c, lib/jit_x86.c:
829 Implement a private jit_flush call, that flushes
830 the cache, if applicable, aligning down to the
831 previous and up to the next page boundary.
833 2014-11-08 Paulo Andrade <pcpa@gnu.org>
835 * check/ctramp.c: New file. It just repeats the test
836 of tramp.tst, but using two jit_state_t, what should
837 test possible issues with two contexts, and also validate
838 jit_tramp works on backends with function descriptions.
840 * check/Makefile.am: Update for new test case.
842 2014-11-03 Paulo Andrade <pcpa@gnu.org>
844 * include/lightning/jit_mips.h: Do not make the t9 register
845 JIT_R11 (or JIT_R7 for n32 or n64 abi) available. Previously
846 it cause problems if one expects it to not be changed in a
847 function call. For example, calling a jit function, where it
848 really does not need to be changed.
850 2014-10-26 Paulo Andrade <pcpa@gnu.org>
852 * lib/jit_aarch64.c, lib/jit_alpha.c, lib/jit_arm.c,
853 lib/jit_hppa.c, lib/jit_ia64.c, lib/jit_mips.c, lib/jit_ppc.c,
854 lib/jit_s390x.c, lib/jit_sparc.c, lib/jit_x86.c: Add an
855 assertion to all code generation "drivers" to ensure
856 _jitc->regarg is empty or in an expected state, after
857 translation of a lightning instruction to native code.
858 This change was a brute force test to find out other cases
859 of a temporary not being release (like was happening with
860 _bmsi and _bmci on x86), but no other case was found,
861 after running make check, with assertions enabled, on all
864 2014-10-26 Paulo Andrade <pcpa@gnu.org>
866 * lib/jit_x86-cpu.c: Correct a register allocation leak in
869 2014-10-25 Paulo Andrade <pcpa@gnu.org>
871 * lib/jit_disasm.c: Do not cause an fatal error if init_jit
872 fails in the jit_init_debug call.
874 2014-10-24 Paulo Andrade <pcpa@gnu.org>
876 * lib/jit_ia64.c, lib/jit_ppc.c: Correct handling of function
877 descriptor when first prolog is a jit_tramp prolog. The
878 test case was using the same jit_context_t, so was not
879 triggering this condition.
881 * lib/jit_ppc-cpu.c: Properly handle jump displacements that
882 do not fit on 24 powerpc. This required changing from previous
883 "mtlr reg, blr" to "mtctr reg, bctr" to properly handle
884 the logic to "hide" function descriptors, but that would
885 also be required as the proper jit_jmpr when/if implementing
886 optimizations to leaf functions (was working with blr because
887 it is saved/reloaded in prolog/epilog).
889 2014-10-21 Paulo Andrade <pcpa@gnu.org>
891 * include/lightning.h, lib/lightning.c: Add three predicates
892 to query information about labels. jit_forward_p(label)
893 will return non zero if the label is "forward", that is
894 need a call to jit_link(label), jit_indirect_p(label)
895 that returns non zero if the label was created with the
896 jit_indirect() call, and jit_target_p(label) that will
897 return non zero if there is at least one jump patched
898 to land at that label.
900 2014-10-18 Paulo Andrade <pcpa@gnu.org>
902 * check/range.ok, check/range.tst: New test case designed
903 to catch incorrect code generation, usually due to incorrect
904 test of immediate size. The test checks a large amount of
905 encodings in "power of two" boundaries. This test exorcises
906 a significant amount of code paths that was previously not
909 * check/Makefile.am: Add range test to make check target.
911 * lib/jit_aarch64-cpu.c: Correct wrong address calculation
912 for stxi_c, stxi_s, stxi_i and stxi_l when the offset is
915 * lib/jit_mips-fpu.c: Correct wrong size test to check if
916 an immediate can be encoded in a float or double store.
918 * lib/jit_s390x-cpu.c: Correct inverted encoding to stxi_s
919 when the offset cannot be encoded, and fallbacks to an
920 alternate encoding in 2 instructions.
922 2014-10-17 Paulo Andrade <pcpa@gnu.org>
924 * check/alu_rsb.ok, check/alu_rsb.tst: New files implementing
927 * check/Makefile.am, check/lightning.c, include/lightning.h,
928 lib/jit_aarch64-cpu.c, lib/jit_aarch64-fpu.c, lib/jit_aarch64-sz.c,
929 lib/jit_aarch64.c, lib/jit_alpha-cpu.c, lib/jit_alpha-fpu.c,
930 lib/jit_alpha-sz.c, lib/jit_alpha.c, lib/jit_arm-cpu.c,
931 lib/jit_arm-swf.c, lib/jit_arm-sz.c, lib/jit_arm-vfp.c,
932 lib/jit_arm.c, lib/jit_hppa-cpu.c, lib/jit_hppa-fpu.c,
933 lib/jit_hppa-sz.c, lib/jit_hppa.c, lib/jit_ia64-cpu.c,
934 lib/jit_ia64-fpu.c, lib/jit_ia64-sz.c, lib/jit_ia64.c,
935 lib/jit_mips-cpu.c, lib/jit_mips-fpu.c, lib/jit_mips-sz.c,
936 lib/jit_mips.c, lib/jit_names.c, lib/jit_ppc-cpu.c,
937 lib/jit_ppc-fpu.c, lib/jit_ppc-sz.c, lib/jit_ppc.c,
938 lib/jit_s390x-cpu.c, lib/jit_s390x-fpu.c, lib/jit_s390x-sz.c,
939 lib/jit_s390x.c, lib/jit_sparc-cpu.c, lib/jit_sparc-fpu.c,
940 lib/jit_sparc-sz.c, lib/jit_sparc.c, lib/jit_x86-cpu.c,
941 lib/jit_x86-sse.c, lib/jit_x86-sz.c, lib/jit_x86-x87.c,
942 lib/jit_x86.c, lib/lightning.c: Implement jit_rsb*. This
943 was a missing lightning 1.x interface, that on most
944 backends is synthesized, but on a few backends (hppa and ia64),
945 it can generate better code as on those there is, or the
946 only instruction with an immediate is in "rsb" format
949 2014-10-17 Paulo Andrade <pcpa@gnu.org>
951 * lib/jit_names.c: New file with single definition of string
952 representation of lightning IR codes.
954 * size.c: Modified to append the code name in a C comment
955 after the maximum instruction size.
957 * lib/jit_print.c: Minor change to not duplicate jit_names.c
960 * lib/jit_aarch64-sz.c, lib/jit_alpha-sz.c, lib/jit_arm-sz.c,
961 lib/jit_hppa-sz.c, lib/jit_ia64-sz.c, lib/jit_mips-sz.c,
962 lib/jit_ppc-sz.c, lib/jit_s390x-sz.c, lib/jit_sparc-sz.c,
963 lib/jit_x86-sz.c: Rewritten to add string representation of
964 IR codes in a C comment.
966 2014-10-14 Paulo Andrade <pcpa@gnu.org>
968 * lib/jit_aarch64-cpu.c, lib/jit_alpha-cpu.c, lib/jit_arm-cpu.c,
969 lib/jit_hppa-cpu.c, lib/jit_mips-cpu.c, lib/jit_ppc-cpu.c,
970 lib/jit_sparc-cpu.c: Implement or correct the internal
971 nop(count) call that receives an argument that tells the
972 modulo bytes to align the code for the next instruction.
974 * include/lightning.h, lib/lightning.c, lib/jit_aarch64.c,
975 lib/jit_alpha.c, lib/jit_arm.c, lib/jit_hppa.c, lib/jit_ia64.c,
976 lib/jit_mips.c, lib/jit_ppc.c, lib/jit_s390x.c, lib/jit_sparc.c,
977 lib/jit_x86.c: Implement the new jit_align() call that receive
978 an argument, that tells the modulo, in bytes, to align the
979 next instruction. In most backends the only value that makes
980 a difference is a value that matches sizeof(void*), as all
981 other values usually are already automatically aligned in
982 labels, but not guaranteed to be aligned at word size bytes.
984 * check/align.ok, check/align.tst: New files, implementing
985 a simple test for the new jit_align() interface.
987 * check/Makefile.am, check/lightning.c, lib/jit_aarch64-sz.c,
988 lib/jit_alpha-sz.c, lib/jit_arm-sz.c, lib/jit_hppa-sz.c,
989 lib/jit_ia64-sz.c, lib/jit_mips-sz.c, lib/jit_ppc-sz.c,
990 lib/jit_print.c, lib/jit_s390x-sz.c, lib/jit_sparc-sz.c,
991 lib/jit_x86-sz.c: Update for the new jit_code_align code and
992 the jit_align() interface.
994 2014-10-13 Paulo Andrade <pcpa@gnu.org>
996 * include/lightning.h, lib/jit_size.c, size.c: Use a
997 symbolic value for the last IR code.
999 2014-10-12 Paulo Andrade <pcpa@gnu.org>
1001 * include/lightning.h, include/lightning/jit_private.h,
1002 lib/jit_aarch64-cpu.c, lib/jit_alpha-cpu.c, lib/jit_arm-cpu.c,
1003 lib/jit_hppa-cpu.c, lib/jit_ia64-cpu.c, lib/jit_mips-cpu.c,
1004 lib/jit_ppc-cpu.c, lib/jit_s390x-cpu.c, lib/jit_sparc-cpu.c,
1005 lib/jit_x86-cpu.c, lib/lightning.c: Implement the new
1006 jit_frame and jit_tramp interfaces, that allow writing
1007 trampoline like calls, where a single dispatcher jit buffer
1008 is written, and later other jit buffers are created, with
1009 the same stack frame layout as the dispatcher. This is the
1010 logic that GNU Smalltalk used in lightning 1.x, and is required
1011 to make a sane port for lighting 2.x.
1013 * jit_ia64-cpu.c: Implement support for jit_frame and jit_tramp,
1014 and also correct wrong encoding for B4 instructions, that
1015 implement jmpr, as well as correct reverse logic in _jmpr,
1016 that was moving the branch register to the jump register,
1018 Also, if a stack frame is to be assumed, always assume it may
1019 call a function with up to 8 arguments, regardless of the
1020 hint frame argument.
1022 * lib/jit_arm.c: Add a new must_align_p() interface to ensure
1023 function prologs are always aligned. This condition was
1024 previously always true, somewhat by accident, but with
1025 jit_tramp it is not guaranteed.
1027 * jit_ia64-cpu.c: lib/jit_ppc.c: Add minor special handling
1028 required to implement jit_tramp, where a function descriptor
1029 should not be added before a prolog, as jit_tramp means omit
1032 * check/lightning.c: Update test driver for the new interfaces.
1034 * check/Makefile.am, check/tramp.tst, check/tramp.ok: Add
1035 a simple test and example of the jit_frame and jit_tramp
1036 usage implementing a simple Fibonacci function using a
1037 simulation of an interpreter stack and how it would handle
1038 state in language specific variables.
1040 * doc/body.texi: Add documentation for jit_frame and
1043 2014-09-29 Paulo Andrade <pcpa@gnu.org>
1045 * lib/jit_aarch64.c, lib/jit_alpha.c, lib/jit_arm.c,
1046 lib/jit_hppa.c, lib/jit_ia64.c, lib/jit_mips.c,
1047 lib/jit_ppc.c, lib/jit_s390x.c, lib/jit_sparc.c,
1048 lib/jit_x86.c, lib/lightning.c: Allow jit_jmpi on a
1049 target that is not a node. This may lead to hard to
1050 debug code generation, but is a required feature for
1051 certain generators, like the ones that used lightning
1052 1.2x. Note that previously, but not really well
1053 documented, it was instructed to use:
1054 jit_movi(rn, addr); jit_jmpr(rn);
1056 jit_patch_abs(jit_jmpi(), addr);
1059 2014-09-24 Paulo Andrade <pcpa@gnu.org>
1061 * lib/jit_x86-sz.c: Generate information about instruction
1062 lengths for more precise calculation of buffer size on
1063 Windows x64. This change is specially important because
1064 the maximum instruction length is larger than other
1065 systems, what could cause an out of bounds write on
1066 special conditions without this update.
1068 2014-09-24 Paulo Andrade <pcpa@gnu.org>
1070 * check/lightning.c: Add workaround to conflicting global
1071 optind variable in cygwin binutils that have an internal
1072 getopt* implementation.
1074 * lib/jit_x86-cpu.c: Add a simple define ffsl ffs if building
1075 for 32 bit and there is no ffsl function.
1077 2014-09-24 Paulo Andrade <pcpa@gnu.org>
1079 * check/lightning.c: Add a hopefully temporary kludge to not use
1080 sprintf and sscanf returned by dlsym. This is required to pass
1083 * include/lightning/jit_private.h: Use symbolic name for first
1084 integer register argument, as this is different in sysv and
1087 * include/lightning/jit_x86.h: Add conditionals and definitions
1088 for Windows x64 (under __CYGWIN__ preprocessor conditional).
1090 * lib/jit_x86-cpu.c: Correct one instruction encoding bug, that
1091 was working by accident. Only use rax to rdx for some byte
1092 operations to work on compatibility mode (that is, to generate
1093 the proper encoding, instead of actually generating encoding
1094 for high byte registers, e.g. %bh).
1095 Add proper prolog and epilog for windows x64.
1097 * lib/jit_x86-sse.c: Correct a swapped rex prefix for float
1100 * lib/jit_x86.c: Adjust to support Windows x64 abi.
1102 * check/check.x87.nodata.sh: New file, previously used but that
1105 2014-09-07 Paulo Andrade <pcpa@gnu.org>
1107 * lib/lightning.c: Mark all registers advertised as live, as
1108 per jit_callee_save_p as live whenever reaching a jump that
1109 cannot be tracked. This is a rethink of the previous commit,
1110 and is a better approach, otherwise there would not be much
1111 sense on relying on jit_callee_save_p if it could not be
1114 * check/jmpr.tst, check/jmpr.ok: New files implementing a very
1115 simple test case, that would actually cause an assertion on
1116 code before the change to only mark as live when reaching a
1117 jump that could not tracked, the actually advertised as callee
1120 check/Makefile.am: Update for new jmpr test case.
1122 2014-09-01 Paulo Andrade <pcpa@gnu.org>
1124 * lib/lightning.c: Do not mark all registers in unknown state
1125 as live on jit_jmpr, or jit_jmpi to an absolute address. Instead,
1126 treat it as a function call, and only consider JIT_Vn registers
1129 2014-08-29 Paulo Andrade <pcpa@gnu.org>
1131 * doc/body.texi: Add a proper info menu entry for
1134 * doc/version.texi: Regenerate.
1136 2014-08-16 Paulo Andrade <pcpa@gnu.org>
1138 * lib/jit_aarch64-cpu.c, lib/jit_aarch64-fpu.c,
1139 lib/jit_arm-cpu.c, lib/jit_arm-vfp.c,
1140 lib/jit_hppa-cpu.c, lib/jit_hppa-fpu.c,
1141 lib/jit_ia64-cpu.c, lib/jit_ia64-fpu.c,
1142 lib/jit_mips-cpu.c, lib/jit_mips-fpu.c,
1143 lib/jit_ppc-cpu.c, lib/jit_ppc-fpu.c,
1144 lib/jit_s390x-cpu.c, lib/jit_s390x-fpu.c,
1145 lib/jit_s390x.c, lib/jit_sparc-cpu.c,
1146 lib/jit_x86-cpu.c, lib/jit_x86-sse.c,
1147 lib/jit_x86-x87.c: Review generation of all branch
1148 instructions and always adds the jit_class_nospill
1149 bitfield for temporary registers that cannot be spilled
1150 because the reload would be after a conditional jump; the
1151 patch only adds an extra assertion. These conditions do
1152 not happen on documented lightning usage, but can happen
1153 if one uses the not exported jit_get_reg and jit_unget_reg
1154 calls and cause enough register starvation.
1156 2014-08-16 Paulo Andrade <pcpa@gnu.org>
1158 * lib/jit_alpha.c: Correct wrong bitmask of most argument
1159 float register arguments, that were being set as callee
1160 save instead of argument registers class.
1162 2014-08-16 Paulo Andrade <pcpa@gnu.org>
1164 * lib/jit_arm-sz.c: Regenerate table of known maximum
1165 instruction sizes for the software float fallback,
1166 that implements "virtual" float registers in the stack
1167 and operations as calls to libgcc.
1169 * size.c: Correct typo in the generated jit_arm-sz.c file.
1171 2014-08-10 Paulo Andrade <pcpa@gnu.org>
1173 * include/lightning/jit_alpha.h, lib/jit_alpha-cpu.c,
1174 lib/jit_alpha-fpu.c, lib/jit_alpha-sz.c, lib/jit_alpha.c:
1175 New files implementing a lightning Alpha port. Thanks
1176 to Trent Nelson and snakebit.net staff for providing access
1179 * check/float.tst, check/lightning.c, configure.ac,
1180 include/lightning.h, include/lightning/Makefile.am,
1181 include/lightning/jit_private.h, lib/Makefile.am,
1182 lib/jit_disasm.c, lib/jit_size.c, lib/lightning.c:
1183 Minor changes to adapt for the new Alpha port.
1185 2014-08-10 Paulo Andrade <pcpa@gnu.org>
1187 * lib/lightning.c: Always mark JIT_RET and JIT_FRET as
1188 live in a function epilog. This is required because
1189 on some ports a complex sequence, allocating one or more
1190 registers, may be required to jump from a ret* to the
1191 epilog, and the lightning api does not have annotations
1192 to know if a function returns a value, or the type of
1195 2014-08-10 Paulo Andrade <pcpa@gnu.org>
1197 * lib/lightning.c: Change the correct live bitmask of
1198 return registers after a function call in jit_update.
1200 2014-08-10 Paulo Andrade <pcpa@gnu.org>
1202 * lib/lightning.c: Change assertions to have an int
1203 result and correct a bad bit mask assertion.
1205 2014-08-10 Paulo Andrade <pcpa@gnu.org>
1207 * lib/jit_aarch64.c: Correct bad setup for assertion
1208 of consistency before a patch.
1210 2014-08-10 Paulo Andrade <pcpa@gnu.org>
1212 * lib/jit_mips-cpu.c: Correct typo in the jit_bmsr
1213 implementation that was using the wrong test result
1216 2014-07-28 Paulo Andrade <pcpa@gnu.org>
1218 * lib/jit_memory.c: Do not call free on NULL pointers.
1220 * include/lightning/jit_private.h, lib/jit_note.c,
1221 lib/lightning.c: Add a wrapper to memcpy and memmove
1222 to not actually call those functions with a zero size
1223 argument, and likely also a null src or dst.
1225 2014-07-27 Paulo Andrade <pcpa@gnu.org>
1227 * include/lightning/jit_private.h, lib/jit_disasm.c,
1228 lib/lightning.c: Remove the global jit_progname variable.
1229 It was being only used in jit_init_debug, that is called
1230 from init_jit, so, just pass an argument.
1232 2014-07-27 Paulo Andrade <pcpa@gnu.org>
1234 * doc/body.texi: Add note that jit_set_memory_functions
1235 should be called before init_jit, because init_jit
1236 itself may call the memory wrappers.
1238 2014-04-22 Paulo Andrade <pcpa@gnu.org>
1240 * lib/jit_arm.c: Do not get confused with default settings
1241 if /proc is not mounted on Linux specific code path.
1243 2014-04-09 Paulo Andrade <pcpa@gnu.org>
1245 * include/lightning/jit_aarch64.h, include/lightning/jit_arm.h,
1246 include/lightning/jit_hppa.h, include/lightning/jit_ia64.h,
1247 include/lightning/jit_mips.h, include/lightning/jit_ppc.h,
1248 include/lightning/jit_private.h, include/lightning/jit_s390x.h,
1249 include/lightning/jit_sparc.h, include/lightning/jit_x86.h:
1250 Do not add jit_regset_t, JIT_RA0, and JIT_FA0 to the installed
1251 header file. These types and definitions are supposed to be
1252 only used internally.
1254 2014-04-05 Paulo Andrade <pcpa@gnu.org>
1256 * lib/jit_arm-cpu.c: Only adjust stack pointer in prolog if
1257 need stack space, that is, do not emit a nop instruction
1258 subtracting zero from the stack pointer.
1260 2014-04-04 Paulo Andrade <pcpa@gnu.org>
1262 * lib/jit_disasm.c: Correct a crash in the doc/printf example
1263 on arm due to releasing the data_info information in
1264 jit_clear_state. This is a special case for arm only, and
1265 actually, only armv5 or older uses the data_info buffer,
1266 or when forcing arm instruction set mode besides thumb
1269 2014-12-03 Paulo Andrade <pcpa@gnu.org>
1271 * doc/body.texi: Write detailed description and examples for
1272 jit_get_memory_functions, jit_set_memory_functions,
1273 jit_get_code, jit_set_code, jit_get_data and jit_set_data.
1275 2014-12-03 Paulo Andrade <pcpa@gnu.org>
1277 * include/lightning.h, include/lightning/jit_private.h,
1278 lib/lightning.c: Implement the new jit_set_data() interface,
1279 and the new jit_get_data() helper. Like jit_set_code(),
1280 jit_realize() should be called before jit_set_data().
1281 The most common usage should be jit_set_data(JIT_DISABLE_DATA
1282 | JIT_DISABLE_NOTE), to force synthesize any float/double
1283 constant in the stack and not generate any debug information.
1285 * lib/jit_note.c: Minor change to debug note generation as
1286 now it uses an alternate temporary data buffer during constants
1287 and debug generation to accommodate the possibility of the user
1288 setting an alternate data buffer.
1290 * lib/jit_hppa-fpu.c, lib/jit_s390x.c, lib/jit_s390x-cpu.c,
1291 lib/jit_s390x-fpu.c, lib/jit_sparc.c, lib/jit_sparc-fpu.c,
1292 lib/jit_x86-sse.c, lib/jit_x86-x87.c: Implement jit_set_data.
1294 * lib/jit_hppa-sz.c, lib/jit_sparc-sz.c, lib/jit_x86-sz.c,
1295 lib/jit_s390x-sz.c: Update for several instructions that now
1296 have a different maximum length due to jit_set_data.
1298 * lib/jit_mips-fpu.c: Implement jit_set_data, but missing
1299 validation on n32 and n64 abis (and/or big endian).
1301 * lib/jit_mips-sz.c: Update for changes in o32.
1303 * lib/jit_ppc-fpu.c: Implement jit_set_data, but missing
1304 validation on Darwin PPC.
1306 * lib/jit_ppc-sz.c: Update for changes in powerpc 32 and
1309 * lib/jit_ia64-fpu.c: Implement untested jit_set_data.
1311 * TODO: Add note to list ports that were not tested for the
1312 new jit_set_data() feature, due to no longer having access
1315 * check/nodata.c: New file implementing a simple test exercising
1316 several different conditions created by jit_set_data().
1318 * check/check.nodata.sh: New file implementing a wrapper
1319 over the existing *.tst files, that runs all tests without
1320 using a data buffer for constants; only meaningful (and
1321 enabled) on architectures that used to store float/double
1322 constants on a read only data buffer.
1324 * configure.ac, check/Makefile.am: Update for the new test
1327 * check/lightning.c: Implement the new "-d" option that
1328 sets an internal flag to call jit_set_data() disable
1329 constants and debug, that is, using only a pure code
1332 2014-11-03 Paulo Andrade <pcpa@gnu.org>
1334 * include/lightning.h, include/lightning/jit_private.h,
1335 lib/lightning.c: Implement the new jit_set_code() interface,
1336 that allows instructing lightning to use an alternate code
1337 buffer. The new jit_realize() function should be called
1338 before jit_set_code(), and usually call jit_get_code()
1339 to query the amount of bytes expected to be required for
1342 * lib/jit_size.c: Minor update to have less chances of
1343 miscalculating the code buffer by starting the counter
1344 with the size of the longest instruction instead of zero,
1345 as code emit fails if at any moment less than the longest
1346 instruction bytes are available.
1348 * check/setcode.c: New file implementing some basic tests
1349 of the new jit_set_code() interface.
1351 * check/Makefile.am: Update for newer test case.
1353 2014-06-03 Paulo Andrade <pcpa@gnu.org>
1355 * include/lightning.h, lib/lightning.c: Add the new
1356 jit_indirect() call, that returns a special label node,
1357 and tells lightning that the label may be the target of
1360 * doc/body.texi: Document the new jit_indirect() call, and
1361 add examples of different ways to create labels and branches.
1363 2014-23-02 Paulo Andrade <pcpa@gnu.org>
1365 * lib/jit_x86.c: Rewrite previous patch to inline save/restore
1366 because clobbering %ebx in x86 is treated as an error
1367 (jit_x86.c:239:5: error: PIC register clobbered by 'ebx' in 'asm').
1369 2014-19-02 Paulo Andrade <pcpa@gnu.org>
1371 * lib/jit_x86.c: Rewrite incorrect inline assembly that could
1372 truncate a variable in a callee save register. Now it simply
1373 tells gcc that the register is clobbered, instead of using a
1374 *32 bit* swap with a temporary variable. The problem only
1375 happens when compiling with optimization.
1377 2014-19-02 Paulo Andrade <pcpa@gnu.org>
1379 * include/lightning/jit_aarch64.h, include/lightning/jit_arm.h,
1380 include/lightning/jit_hppa.h, include/lightning/jit_ia64.h,
1381 include/lightning/jit_mips.h, include/lightning/jit_ppc.h,
1382 include/lightning/jit_s390x.h, include/lightning/jit_sparc.h,
1383 include/lightning/jit_x86.h: Change jit_regset_t to an
1384 unsigned type, to allow safe right shift.
1386 * lib/lightning.c: Rewrite jit_regset_scan1 to allow easier
1387 compiler optimization.
1389 2013-12-03 Paulo Andrade <pcpa@gnu.org>
1391 * lib/jit_x86-x87.c: Correct wrong optimization when
1392 loading the log(2) constant.
1394 2013-12-03 Paulo Andrade <pcpa@gnu.org>
1396 * lib/jit_x86-cpu.c: Use the emms instruction before
1397 calling any function. This is particularly important
1398 when using c99 complex functions as it can easily
1399 overflow the x87 stack due to the way lightning uses
1400 the x87 stack as a flat register file.
1402 2013-12-02 Paulo Andrade <pcpa@gnu.org>
1404 * lib/jit_x86-x87.c: Correct wrong code generation due
1405 to comparing the base and not the value register with
1408 2013-12-02 Paulo Andrade <pcpa@gnu.org>
1410 * lib/jit_x86-x87.c, lib/jit_x86.c: Use 8 bytes aligned
1411 stack offset for float/double x87 to/from sse move.
1413 2013-11-27 Paulo Andrade <pcpa@gnu.org>
1415 * configure.ac, lib/jit_arm-swf.c, lib/jit_arm.c: Add
1416 changes that should at least allow building lightning
1419 2013-10-08 Paulo Andrade <pcpa@gnu.org>
1421 * lib/jit_ppc-cpu.c: Correct wrong shortcut for ldxi_l with
1422 a zero offset, that was calling ldr_i instead of ldr_l.
1424 2013-10-08 Paulo Andrade <pcpa@gnu.org>
1426 * include/lightning/jit_arm.h, lib/jit_arm-cpu.c: Do not use
1427 by default load/store instructions that map to ldrt/strt.
1428 There is already the long displacement version for positive
1429 offsets, and when using a (shorter) negative offset it does
1430 not map to ldrt/strt. At least on qemu strt may cause
1431 reproducible, but unexpected SIGILL.
1433 2013-10-08 Paulo Andrade <pcpa@gnu.org>
1435 * lib/jit_arm-vfp.c: Correct wrong load/store offset
1436 calculation when the displacement is constant but too
1437 large to use an instruction with an immediate offset.
1439 2013-10-07 Paulo Andrade <pcpa@gnu.org>
1441 * check/self.c: Extend tests to validate jit_callee_save_p
1442 does not cause an assertion on valid arguments, and test
1443 extra registers defined on some backends.
1445 * configure.ac: Do not ignore environment CFLAGS when
1446 checking if need to test runtime configurable options,
1447 like use x87 when sse2 is available, arm instruction set
1448 instead of thumb, etc.
1450 * include/lightning/jit_arm.h: Correct wrong jit_f macro
1453 * include/lightning/jit_ia64.h, include/lightning/jit_ppc.h:
1454 Correct wrong jit_r macro definition.
1456 * lib/jit_x86-x87.c, lib/jit_x86.c: Actually use the
1457 reserved stack space for integer to/from float conversion.
1458 The stack space was also changed to ensure it is 8 bytes
1459 aligned. Also, for Solaris x86 in 32 bit mode, an alternate
1460 truncr_d was implemented because for some reason it is
1461 failing with SIGILL if using the "fisttpl" instructions,
1462 that must be available on p6 or newer, but for the sake of
1463 making all tests pass, implement a 486 or newer sequence
1464 if "sun" is defined.
1466 2013-10-03 Paulo Andrade <pcpa@gnu.org>
1468 * include/lightning/jit_mips.h, lib/jit_mips-cpu.c,
1469 lib/jit_mips-sz.c, lib/jit_mips.c, size: Build and
1470 pass all test cases on Irix big endian mips using
1473 2013-10-02 Paulo Andrade <pcpa@gnu.org>
1475 * include/lightning/jit_mips.h: Add proper mips abi detection.
1477 2013-09-30 Paulo Andrade <pcpa@gnu.org>
1479 * lib/jit_print.c: Do not crash if calling jit_print from
1480 gdb before actually emitting code.
1482 * lib/lightning.c: Correct misplaced check for already
1483 visited blocks on conditional branches, what was preventing
1484 proper merge live bit masks of forward blocks.
1486 2013-09-30 Paulo Andrade <pcpa@gnu.org>
1488 * lib/jit_x86-cpu.c: Correct not properly tested case of using
1489 %r12 as index register, what was causing an invalid assertion.
1490 %r12 is mapped to the "extra" JIT_R3 register, and test cases
1491 only test "standard" lightning registers.
1493 2013-09-28 Paulo Andrade <pcpa@gnu.org>
1495 * lib/jit_ia64.c: Minor change to force collecting the maximum
1496 instruction length in the --enable-devel-get-jit-size build
1497 mode. The actual generated file did not change because the
1498 sampling was large enough that it had already collected proper
1499 information in the previously slightly buggy code (not forcing
1500 a sync of the instructions that could be combined).
1502 2013-09-27 Paulo Andrade <pcpa@gnu.org>
1504 * lib/jit_arm.c: Correct build when disassembler is
1507 2013-09-25 Paulo Andrade <pcpa@gnu.org>
1509 * lib/jit_ia64-cpu.c, lib/jit_ia64-fpu.c: Correct some
1510 off by one range checks (that were only accepting values
1511 one less than the maximum allowed) and an invalid test
1512 condition check that was forcing it to always use
1513 indirect jumps even when reachable with an immediate
1516 2013-09-24 Paulo Andrade <pcpa@gnu.org>
1518 * lib/jit_aarch64-sz.c, lib/jit_arm-sz.c, lib/jit_hppa-sz.c,
1519 lib/jit_ia64-sz.c, lib/jit_mips-sz.c, lib/jit_ppc-sz.c,
1520 lib/jit_s390x-sz.c, lib/jit_size.c, lib/jit_sparc-sz.c,
1521 lib/jit_x86-sz.c: New files implementing static tables
1522 with longest known instructions length generated to match
1523 a lightning instruction. These tables should make it easier
1524 to make it very unlikely to ever miscalculate, or by too
1525 much, the size of a code buffer.
1527 * lib/jit_size.c: New file that aids to either collect
1528 jit code size information, or use the information depending
1531 * size.c: New helper file that parses input for, and create
1532 an initial jit_$arch-sz.c file, that needs some minor edit
1533 for arches with multiple configurations.
1535 * configure.ac, Makefile.am: Add the new, devel mode only
1536 --enable-devel-get-jit-size configure option, that sets
1537 compile time flags to collect jit code size information,
1538 that will be used as input for the "noinst size program".
1540 * lib/jit_aarch64.c, lib/jit_arm.c, lib/jit_disasm.c,
1541 lib/jit_hppa.c, lib/jit_ia64.c, lib/jit_memory.c,
1542 lib/jit_mips.c, lib/jit_ppc.c, lib/jit_s390x.c,
1543 lib/jit_sparc.c, lib/jit_x86.c, lib/lightning.c: Minor
1544 changes for the --enable-devel-get-jit-size build mode,
1545 as well as the "production build mode" with jit code
1548 2013-09-14 Paulo Andrade <pcpa@gnu.org>
1550 * include/lightning.h, lib/lightning.c: Add the new
1551 jit_pointer_p interface, that returns a boolean value
1552 telling if the pointer argument is inside the jit
1553 code buffer. This is useful to avoid the need to add
1554 extra labels and calls to jit_address to figure bounds
1555 of code buffer, and still keep internal data private.
1557 2013-09-13 Paulo Andrade <pcpa@gnu.org>
1559 * include/lightning.h, include/lightning/jit_private.h,
1560 lib/jit_note.c: Change the code argument of jit_get_note
1561 to a jit_pointer_t and make jit_get_note a public interface.
1562 It was intended so since start, as a way to map an offset
1563 in the code to a function name, file name and line number
1566 2013-09-11 Paulo Andrade <pcpa@gnu.org>
1568 * doc/body.texi: Correct reversed arguments in example of
1569 usage in a (possibly) multi threaded, multiple jit_state_t
1572 * include/lightning/jit_arm.h, include/lightning/jit_private.h,
1573 lib/jit_arm-cpu.c, lib/jit_arm.c: Make a previously, non
1574 documented, global state private to the related jit_state_t
1577 2013-09-10 Paulo Andrade <pcpa@gnu.org>
1579 * check/self.c, check/self.ok: New files implementing simple
1580 consistency check assertions. At first validating some macros
1581 that use values from different sources agree.
1583 * check/Makefile.am: Update for the new test case.
1585 * include/lightning.h, lib/lightning.c: Add the new
1586 jit_callee_save_p() call, that is intended to be used when
1587 writing complex code using lightning, so that one does not
1588 need to verify what backend is being used, or have access to
1589 private data, to query if a register is callee save or not;
1590 on several backends the scratch registers are actually callee
1593 * include/lightning/jit_aarch64.h, include/lightning/jit_arm.h,
1594 include/lightning/jit_hppa.h, include/lightning/jit_mips.h,
1595 include/lightning/jit_ppc.h, include/lightning/jit_sparc.h,
1596 include/lightning/jit_x86.h: Add an explicit definition for
1597 JIT_R3-JIT_Rn, JIT_V3-JIT_Vn and JIT_F6-JIT_Fn when applicable.
1598 This allows one to write code based on "#if defined(JIT_XN)"
1599 and therefore, not need to check what is the current backend
1600 or have access to private data structures. This is particularly
1601 useful when writing virtual machines with several specialized,
1604 * lib/jit_ia64.c: Properly flag the callee save general
1605 purpose registers as such, so that jit_callee_save_p() works
1608 2013-09-10 Paulo Andrade <pcpa@gnu.org>
1610 * check/lightning.c, configure.ac: Conditionally use the
1611 code written to workaround a bug in the Hercules emulator,
1612 as isnan and isinf are not available at least on HP-UX ia64.
1614 2013-09-10 Paulo Andrade <pcpa@gnu.org>
1616 * lib/jit_s390x-cpu.c: Spill/reload correct callee save
1619 2013-09-10 Paulo Andrade <pcpa@gnu.org>
1621 * lib/jit_hppa-cpu.c: Correct code to call a function stored
1622 in a register or a patched function address.
1624 2013-09-10 Paulo Andrade <pcpa@gnu.org>
1626 * lib/jit_ia64-cpu.c: Correct incorrect logic when restoring
1627 the value of the "r2" callee save register.
1629 2013-08-29 Paulo Andrade <pcpa@gnu.org>
1631 * lib/jit_arm-cpu.c, lib/jit_arm.c: Correct wrong test and update
1632 of the thumb offset information, when checking if needing to
1633 patch a jump from arm to thumb mode. The problem would happen when
1634 remapping the code buffer, and the new address being lower than
1637 2013-08-26 Paulo Andrade <pcpa@gnu.org>
1639 * configure.ac: Extend FreeBSD test to also handle NetBSD.
1641 * lib/jit_x86-cpu.c: Correct wrongly defined offset type of
1642 ldxi_ui. Problem detected when building on NetBSD.
1644 * lib/lightning.c: Adjust code to handle NetBSD mremap,
1645 where arguments do not match Linux mremap.
1647 2013-08-26 Paulo Andrade <pcpa@gnu.org>
1649 * lib/jit_ppc.c: Correct C sequence point problem miscalculating
1650 the actual function address in a function descriptor. Problem
1651 happens with gcc 4.8.1 at least.
1653 2013-08-11 Paulo Andrade <pcpa@gnu.org>
1655 * lib/jit_s390x-cpu.c: Correct code checking if immediate
1656 fits instruction, but using the negated value.
1658 2013-07-28 Paulo Andrade <pcpa@gnu.org>
1660 * include/lightning/jit_s390x.h, lib/jit_s390x-cpu.c,
1661 lib/jit_s390x-fpu.c, lib/jit_s390x.c: New files
1662 implementing the new s390x port.
1664 * configure.ac, include/lightning.h,
1665 include/lightning/Makefile.am,
1666 include/lightning/jit_private.h,
1667 lib/Makefile.am, lib/jit_disasm.c, lib/lightning.c:
1668 Minor adaptation for the new s390x backend.
1670 * check/float.tst: Update for the s390x result of
1671 truncating +Inf to integer.
1673 * check/qalu_mul.tst: Add extra test cases to better test
1674 high word of signed multiplication as the result is
1675 adjust from unsigned multiplication on s390x.
1677 2013-07-28 Paulo Andrade <pcpa@gnu.org>
1679 * check/lightning.c: Do not assume casting a double NaN or
1680 Inf to float will produce the expected float NaN or Inf.
1681 This is not true at least under s390x.
1683 2013-07-28 Paulo Andrade <pcpa@gnu.org>
1685 * check/check.arm.sh, check/check.sh, check/check.swf.sh,
1686 check/check.x87.sh: Properly check test programs output,
1687 not just rely on the test program self testing the results
1690 2013-07-28 Paulo Andrade <pcpa@gnu.org>
1692 * lib/jit_aarch64.c: Remove unused macros left from cut&paste
1695 2013-07-16 Paulo Andrade <pcpa@gnu.org>
1697 * include/lightning/jit_aarch64.h, lib/jit_aarch64-cpu.c,
1698 lib/jit_aarch64-fpu.c, lib/jit_aarch64.c: New files
1699 implementing the new aarch64 port, as a new architecture,
1700 not as an expansion of the existing armv[4-7] port.
1702 * check/lightning.c: Add aarch64 support and a small
1703 change to recognize character constants as immediate
1706 * check/float.tst: Add aarch64 preprocessor conditionals
1707 to select proper expected value when converting [+-]Inf
1710 * include/lightning/jit_arm.h, lib/jit_arm.c: Minor changes
1711 to better match the new aarch64 files.
1713 * configure.ac, include/lightning.h,
1714 include/lightning/Makefile.am, include/lightning/jit_private.h,
1715 lib/Makefile.am, lib/lightning.c: Minor adjustments
1716 for the aarch64 port.
1718 2013-07-08 Paulo Andrade <pcpa@gnu.org>
1720 * NEWS, THANKS, configure.ac, doc/version.texi: Update for
1721 the 1.99a second alpha release.
1723 2013-06-25 Paulo Andrade <pcpa@gnu.org>
1725 * lib/jit_mips.c: Correct cut&paste error that caused wrong
1726 stack offset calculation for double arguments in stack in
1728 Correct typo in the __LITTLE_ENDIAN macro name, that came
1729 from cut&paste error in the original typo in lib/jit_ppc.c.
1731 * lib/jit_ia64.c, lib/jit_ppc.c: Correct typo in the
1732 __LITTLE_ENDIAN macro name.
1734 2013-06-22 Paulo Andrade <pcpa@gnu.org>
1736 * check/lightning.c, configure.ac, include/lightning.h,
1737 lib/lightning.c: Add tests and quirks to build/detect
1738 and/or work on Irix.
1740 * include/lightning/jit_mips.h, lib/jit_mips-cpu.c,
1741 lib/jit_mips-fpu.c, lib/jit_mips.c: Adapt code to run
1742 in big endian mips, using the n32 abi.
1744 2013-06-18 Paulo Andrade <pcpa@gnu.org>
1746 * include/lightning.h: Minor extra preprocessor testing
1747 to "detect" byte order on x86 solaris, that now builds
1748 and pass all test cases.
1750 2013-06-18 Paulo Andrade <pcpa@gnu.org>
1752 * lib/jit_sparc-cpu.c: Correct compiler warning of value
1753 used before assignment. The usage is bogus as the api
1754 requires always patching jumps, but the random value used
1755 could cause an assertion due to invalid displacement.
1757 * lib/jit_sparc.c: Always load and store double arguments
1758 in stack as 2 float loads or stores, for safety, as unaligned
1759 access is not allowed in Sparc Solaris.
1761 2013-06-14 Paulo Andrade <pcpa@gnu.org>
1763 * configure.ac: Force -mlp64 to CFLAGS on HP-UX ia64 port.
1764 It is the only supported mode, and expects gcc as C compiler.
1766 * include/lightning.h, lib/jit_ia64-cpu.c, lib/jit_ia64.c:
1767 Correct ia64 port to work on HP-UX that runs it in big endian
1770 2013-06-10 Paulo Andrade <pcpa@gnu.org>
1772 * lib/jit_hppa.c: Sanitize the cache synchronization inline
1773 assembly code that was doing twice the work and redundantly
1774 flushing the end address every loop iteration.
1776 2013-06-09 Paulo Andrade <pcpa@gnu.org>
1778 * configure.ac, check/Makefile.am, doc/Makefile.am: Do not
1779 explicitly link to -ldl, but instead autodetect the library
1780 with dlopen, dlsym, etc.
1782 * check/lightning.c: Add workaround to apparently buggy
1783 getopt in HP-UX that sets optind to the wrong index, and
1784 use RTLD_NEXT on HP-UX instead of RTLD_DEFAULT to dlsym
1787 * include/lightning.h: Rework definitions of wordsize and
1788 byte order to detect proper values on HP-UX.
1790 * lib/lightning.c: Minor correction to use MAP_ANONYMOUS
1791 instead of MAP_ANON on HP-UX.
1793 * lib/jit_hppa.c: Float arguments must be passed on integer
1794 registers on HP-UX, not only for varargs functions.
1795 Add code to properly clear instruction cache. This was
1796 not required on Debian hppa port, but may have been working
1799 * lib/jit_hppa-cpu.c: Follow pattern of HP-UX binaries and
1800 use bve,n instead of bv,n to return from functions.
1802 * lib/jit_hppa-fpu.c: For some reason "fst? frX,rX,(rY)" did
1803 not work on the tested computer (HP-UX B.11.23 U 9000/785 HP-UX)
1804 so the code was changed, at first for __hpux only to add the
1805 base and offset register and use the instruction with an
1806 immediate (zero) offset.
1808 2013-06-07 Paulo Andrade <pcpa@gnu.org>
1810 * check/lightning.c, lib/jit_disasm.c, lib/jit_ppc-cpu.c,
1811 lib/jit_ppc-fpu.c, lib/jit_ppc.c, include/lightning.h,
1812 include/lightning/jit_ppc.h, include/lightning/jit_private.h:
1813 Adapt code to work on 32 bit AIX ppc using gcc. Most changes
1814 are basically to adapt the elf64 logic to 32 bit, as it does
1815 not use the same convention of 32 bit Darwin ppc.
1817 * check/stack.tst: Add a fake memcpy function to the test
1818 case if running under AIX, as it is not available to dlsym.
1820 * configure.ac: Check for getopt.h header, not available in
1823 2013-06-01 Paulo Andrade <pcpa@gnu.org>
1825 * include/lightning/jit_hppa.h, lib/jit_hppa-cpu.c,
1826 lib/jit_hppa-fpu.c, lib/jit_hppa.c: New files implementing
1827 the hppa port. Built on Debian Linux PA-RISC 2.0, 32 bit.
1829 * check/float.tst: Add preprocessor for hppa expected
1830 values when converting NaN and +-Inf to an integer.
1832 * check/ldst.inc: Ensure double load/store tests use an
1833 8 byte aligned address by default.
1835 * lib/lightning.c: Correct a bug found during tests in
1836 the new port, where qmul* and qdiv* were not properly
1837 setting one of the result registers as modified in the
1838 function, what would be a problem if the only "write"
1839 usage were the qmul* or qdiv*.
1841 * check/varargs.tst, check/varargs.ok: Add one extra
1842 interleaved integer/double test to validate proper code
1843 generation in the extra case.
1845 * check/lightning.c, configure.ac, include/lightning.h,
1846 include/lightning/Makefile.am,
1847 include/lightning/jit_private.h, lib/Makefile.am,
1848 lib/jit_disasm.c: Update for the hppa port.
1850 2013-04-27 Paulo Andrade <pcpa@gnu.org>
1852 * check/varargs.tst: Correct misplaced .align directive
1853 that was causing the double buffer to not be aligned at
1855 * lib/jit_ia64-cpu.c:
1856 Properly implement abi for excess arguments passed on
1858 Simplify load/store with immediate displacement argument
1860 Simplify some calls to "subi" changing to "addi" with
1861 a negative argument.
1862 Remove some #if 0'ed code, that could be useful in
1863 special conditions, but the most useful one would be
1864 to "optimize" "static" jit functions, but for the sake
1865 of simplicity, jit functions are implemented in a way
1866 that can be passed back to C code as C function pointers.
1867 Add an attribute to prototypes of several unused functions.
1868 These functions are defined for the sake of implementing all
1869 Itanium documented instructions, but a significant amount of
1870 them is not used by lightning.
1871 * lib/jit_ia64-fpu.c: Simplify load/store with zero immediate
1872 displacement and add unused attribute for functions not used
1873 by lightning, but required to provide macros implementing all
1874 Itanium documented instructions.
1875 * lib/jit_ia64.c: Update for the properly implemented abi
1876 for stack arguments.
1877 * lib/lightning.c: Mark an unused function as such.
1879 2013-04-27 Paulo Andrade <pcpa@gnu.org>
1882 Correct immediate range check of integer comparisons when
1883 inverting arguments.
1884 Correct gei_u that was not decrementing immediate when
1885 inverting arguments.
1886 Correct b?add* and b?sub* that were not properly updating
1887 the result register.
1889 2013-04-27 Paulo Andrade <pcpa@gnu.org>
1891 * lib/jit_ia64-cpu.c: Correct wrong mapping of 2 instructions
1892 in "M-, stop, M-, stop" translation, that was ignoring the
1893 last stop (implemented as a nop I- stop).
1895 * lib/jit_ia64-fpu.c: Properly implement fnorm.s and fnorm.d,
1896 as well as the proper integer to float or double conversion.
1898 2013-04-27 Paulo Andrade <pcpa@gnu.org>
1900 * lib/jit_ia64-cpu.c: Correct bogus implementation of ldr_T
1901 for signed integers, that was using ld1.s, ld2.s and ld4.s.
1902 The ".s" stands for speculative load, not sign extend.
1904 * lib/jit_ia64-fpu.c: Correct bogus implementation of ldxr_T
1905 for float and double. The third (actually, second) argument
1906 is indeed added to the base register, but the base register
1907 is modified. The actual M7 implementation was already correct,
1908 just the ldxr_f and ldxr_d implementation that was kept in
1909 a prototype state, misinterpreting what M7 does.
1911 2013-04-27 Paulo Andrade <pcpa@gnu.org>
1913 * lib/jit_ia64-cpu.c: Correct X2 pattern matching by preventing
1914 it to attempt to require a stop between the L and the X
1915 instruction; that is, check the registers and predicates
1916 before emitting the L instruction, not after.
1918 * lib/jit_ia64-fpu.c: Slightly simplify and correct
1919 divr_f and divrd_d implementation.
1921 * check/lightning.c: Add __ia64__ preprocessor define
1924 * check/alu.inc, check/clobber.tst, check/float.tst: Define
1925 several macros conditionally to __ia64__. This is required
1926 because __ia64__ jit generation can use way too many memory,
1927 due to not implementing instruction reordering to avoid
1928 as much as possible "stops", what causes way too many nops
1929 to be generated, as well as the fact that division and
1930 remainder requires function calls, and float division
1931 requires significant code to implement.
1933 2013-04-27 Paulo Andrade <pcpa@gnu.org>
1935 * include/lightning.h: Add new backend specific movr_w_d,
1936 movr_d_w and movi_d_w codes as helpers to ia64 varargs
1937 functions arguments.
1939 * lib/jit_ia64-cpu.c:
1940 Correct wrong encoding of A5 small integers.
1941 Correct define of "mux" instruction modifiers.
1942 Correct ordering of arguments and predicates of cmp_xy
1943 implementation with immediate arguments; like most other
1944 codes with an immediate, the immediate is the second, not
1947 * lib/jit_ia64-fpu.c: Actual implementation of the code
1948 to move to/from gpr to/from fpr, to implement varargs abi.
1950 * lib/jit_ia64.c: Make fpr argument registers not allocatable
1951 as temporaries, no need for the extra checks when there are
1954 * lib/jit_print.c, lib/lightning.c: Minor updates for the
1955 new movr_w_d, movr_d_w and movi_d_w codes.
1957 2013-04-26 Paulo Andrade <pcpa@gnu.org>
1959 * lib/jit_ia64-cpu.c, lib/jit_ia64-fpu.c: Correct code to
1960 also insert a stop to break an instruction group if a
1961 register is written more than once in the same group.
1962 This may happen if a register is argument and result of
1963 some lightning call (not a real instruction). The most
1964 common case should be code in the pattern:
1968 where "rn" would end up holding "largenum".
1969 But the problem possibly could happen in other circumstances.
1971 2013-04-26 Paulo Andrade <pcpa@gnu.org>
1973 * include/lightning/jit_ia64.h, lib/jit_ia64-cpu.c,
1974 lib/jit_ia64-fpu.c, lib/jit_ia64.c:
1975 Relocate JIT_Rn registers to the local registers, as, like
1976 float registers, div/rem and sqrt are implemented as function
1977 calls, and may overwrite non saved scratch registers.
1978 Change patch_at to receive a jit_code_t instead of a
1979 jit_node_t, so that it is easier to "inline" patches when
1980 some instruction requires complex code to implement, e.g.
1982 Correct arguments to FMA and FMA like instructions that,
1983 due to a cut&paste error were passing the wrong argument
1984 to the related F- implementation function.
1985 Rewrite ltgt to return the proper result if one (or both)
1986 of the arguments is unordered.
1988 2013-04-26 Paulo Andrade <pcpa@gnu.org>
1990 * include/lightning/jit_ia64.h, include/lightning/jit_private.h,
1991 lib/jit_ia64-cpu.c, lib/jit_ia64-fpu.c, lib/jit_ia64.c,
1992 lib/lightning.c: Rework code to detect need of a "stop" to
1993 also handle predicates, as if a predicate is written, it
1994 cannot be read in the same instruction group.
1995 Use a single jit_regset_t variable for all registers when
1996 checking need for a stop (increment value by 128 for
1998 Correct wrong "subi" implementation, as the code executed
1999 is r0=im-r1, not r0=r1-im.
2000 Use standard lightning 6 fpr registers, and rework to
2001 use callee save float registers, that may be spill/reloaded
2002 in prolog/epilog. This is required because some jit
2003 instructions implementations need to call functions; currently
2004 integer div/mod and float sqrt, what may change the value of
2005 scratch float registers.
2006 Rework point of "sync" of branches that need to return a
2007 patch'able address, because the need for a "stop" before a
2008 predicate read causes all branches to be the instruction
2009 in slot 0, as there is no template to "stop" and branch
2010 in the same instruction "bundle".
2012 2013-04-25 Paulo Andrade <pcpa@gnu.org>
2014 * include/lightning/jit_ia64.h, lib/jit_ia64-cpu.c,
2015 lib/jit_ia64-fpu.c, lib/jit_ia64.c: New files implementing
2016 the basic infrastructure of an Itanium port. The code
2017 compiles and can generate jit for basic hello world like
2020 * check/lightning.c, configure.ac, include/lightning.h,
2021 include/lightning/Makefile.am, include/lightning/jit_private.h,
2022 lib/Makefile.am, lib/lightning.c: Update for the Itanium
2025 * lib/jit_mips-cpu.c, lib/jit_mips.c: Correct typo and
2026 make the jit_carry register local to the jit_state_t.
2027 This matches code reviewed in the Itanium port, that
2028 should use the same base logic to handle carry/borrow.
2030 2013-04-10 Paulo Andrade <pcpa@gnu.org>
2032 * include/lightning/jit_private.h, lib/jit_arm.c,
2033 lib/jit_mips-cpu.c, lib/jit_mips.c, lib/jit_ppc-cpu.c,
2034 lib/jit_ppc.c, lib/jit_print.c, lib/jit_sparc-cpu.c,
2035 lib/jit_sparc.c, lib/jit_x86-cpu.c, lib/jit_x86.c,
2036 lib/lightning.c: Change all jit_regset macros to take
2037 a pointer argument, to avoid structure copies when
2038 adding a port to an architecture with more than 64
2041 2013-04-08 Paulo Andrade <pcpa@gnu.org>
2043 * lib/jit_arm.c, lib/jit_ppc.c: Do not rely on __clear_cache
2044 aligning to the next page boundary the end argument. It may
2045 actually truncate it.
2047 2013-03-29 Paulo Andrade <pcpa@gnu.org>
2049 * include/lightning/jit_private.h, lib/jit_arm.c, lib/jit_memory.c,
2050 lib/jit_mips.c, lib/jit_ppc.c, lib/jit_sparc.c, lib/jit_x86.c,
2051 lib/lightning.c: Do not start over jit generation if can grow
2052 the code buffer with mremap without moving the base pointer.
2054 2013-03-29 Paulo Andrade <pcpa@gnu.org>
2056 * lib/jit_memory.c: Implement a simple memory allocation wrapper
2057 to allow overriding calls to malloc/calloc/realloc/free, as well
2058 as ensuring all memory containing pointers is zero or points to
2061 * include/lightning.h, include/lightning/jit_private.h: Definitions
2062 for the memory allocation wrapper.
2064 * lib/Makefile.am: Update for new jit_memory.c file.
2066 * lib/jit_arm.c, lib/jit_disasm.c, lib/jit_mips.c, lib/jit_note.c,
2067 lib/jit_ppc.c, lib/jit_sparc.c, lib/jit_x86.c, lib/lightning.c:
2068 Use the new memory allocation wrapper code.
2070 2013-03-22 Paulo Andrade <pcpa@gnu.org>
2072 * configure.ac, include/lightning/jit_private.h, lib/lightning.c:
2073 Remove dependency on gmp. Only a simple bitmap was required, and
2074 that was not enough reason to force linking to gmp and possible
2075 complications caused by it.
2077 2013-03-10 Paulo Andrade <pcpa@gnu.org>
2079 * include/lightning.h: Add check for __powerpc__ defined
2080 in Linux, while Darwin defines __ppc__.
2082 * include/lightning/jit_ppc.h: Adjust register definitions
2083 for Darwin 32 bit and Linux 64 bit ppc usage and/or ABI.
2085 * include/lightning/jit_private.h: Add proper check for
2086 Linux __powerpc__ and an data definition for an workaround
2087 to properly handle code that starts with a jump to a "main"
2090 * lib/jit_disasm.c: Add extra disassembler initialization
2093 * lib/jit_ppc-cpu.c: Add extra macros and functions, and
2094 correct/adapt previous ones to handle powerpc64.
2096 * lib/jit_ppc-fpu.c: Adapt for 64 bit wordsize. Basically
2097 add conversion from/to int32/int64 and proper handling of
2098 load/store offsets too large for 32 bit.
2100 * lib/jit_ppc.c: Add calls to 64 bit codes and adaptation
2101 for the PowerPC 64 bit Linux ABI.
2103 * lib/jit_arm.c, lib/jit_mips.c, lib/jit_sparc, lib/jit_x86.c,
2104 lib/lightning.c: Correct off by one error when restarting jit
2105 of a function due to finding too late that needs to spill/reload
2106 some register. Problem was found by accident on a very special
2107 condition during PowerPC 64 code adaptation.
2109 2013-03-08 Paulo Andrade <pcpa@gnu.org>
2111 * check/lightning.c: Add missing ppc preprocessor definition.
2113 2013-03-06 Paulo Andrade <pcpa@gnu.org>
2115 * check/float.tst: Comment out the int to negative infinity
2116 test in mips for the moment because not all Loongson agrees
2119 * lib/jit_disasm.c: Add a test instead of an assertion
2120 when loading symbols for disassembly due to a failure with
2121 a simple binutils build in Debian mipsel64.
2123 2013-03-06 Paulo Andrade <pcpa@gnu.org>
2125 * include/lightning/jit_private.h, lib/jit_arm-cpu.c,
2126 lib/jit_arm.c, lib/jit_disasm.c, lib/jit_mips-cpu.c,
2127 lib/jit_mips.c, lib/jit_note.c, lib/jit_ppc-cpu.c,
2128 lib/jit_ppc.c, lib/jit_print.c, lib/jit_sparc-cpu.c,
2129 lib/jit_sparc.c, lib/jit_x86-cpu.c, lib/jit_x86.c,
2130 lib/lightning.c: Add an extra structure for data storage
2131 during jit generation, and release it after generating
2132 jit, to reduce a bit memory usage, and also to make it
2133 easier to understand what data is available during
2136 2013-03-06 Paulo Andrade <pcpa@gnu.org>
2138 * lib/lightning.c: Make data and code buffer readonly.
2140 2013-02-20 Paulo Andrade <pcpa@gnu.org>
2142 * doc/body.texi: Fool proof validate the examples of what
2143 an assembly-language programmer would write and correct the
2144 wrong sparc example.
2146 2013-02-19 Paulo Andrade <pcpa@gnu.org>
2148 * doc/body.texi: Add back the SPARC code generation example.
2150 2013-02-19 Paulo Andrade <pcpa@gnu.org>
2152 * check/lightning.c: Remove state flag to work with partial
2153 sparc port, by just disassembling if there was incomplete
2156 * jit_sparc-cpu.c: Correct wrong range check for immediate
2157 integer constants (off by one bit shift).
2158 Correct macro implementing equivalent "rd %y, rd" assembly.
2159 Implement qmul* and qdiv*.
2161 * jit_sparc.c: Update for qmul* and qdiv* and remove logic
2162 to handle incomplete code generation during sparc port.
2164 2013-02-18 Paulo Andrade <pcpa@gnu.org>
2166 * check/float.tst: Add sparc to list of known NaN and +-Inf
2167 to integer conversion.
2169 * check/lightning.c: Define __sparc__ to preprocessor in
2172 * include/lightning/jit_private.h: Correct wrong definition
2173 of emit_stxi_d, that has lived for a long time, but would
2174 cause problems whenever needing to spill/reload a float
2177 * include/lightning/jit_sparc.h: Can only use %g2,%g3,%g4
2178 for scratch variables, as other "global" registers are
2179 reserved for the system, e.g. libc.
2180 Reorder float register naming to make it easier to
2181 access odd float registers, so that generating code for
2182 pusharg and getarg is easier for the IR.
2184 * lib/jit_mips-cpu.c, lib/jit_ppc-cpu.c: Update to match
2185 new code in jit_sparc-cpu.c. It must call jit_get_reg
2186 with jit_class_nospill if using the register to move
2187 an unconditional branch address to it, as the reload
2188 will not happen (actually could happen in the delay
2191 * lib/jit_sparc-cpu.c: Correct wrong macro definition for
2193 Properly implement div* and implement rem. Div* needs
2194 to use the y register, and rem* needs to be synthesized.
2195 Correct b?sub* macro definitions.
2197 * lib/jit_sparc-fpu.c: Correct reversed float to/from double
2199 Correct wrong jit_get_reg call asking for a gpr and then
2200 using the fpr with that number.
2201 Correct wrong branch displacement computation for
2202 conditional branches.
2204 * lib/jit_sparc.c: Correct getarg_d and pushargi_d implementation.
2205 Add rem* entries to the switch converting IR to machine code.
2207 * lib/lightning.c: Correct a problem detected when adding
2208 the jit_class_nospill flag to jit_get_reg, that was caused
2209 when having a branch to an "epilog" node, what would cause
2210 the code to think all registers in unknown state were live,
2211 while in truth, all registers in unknown state in the
2212 "just after return" point are actually dead.
2214 2013-02-17 Paulo Andrade <pcpa@gnu.org>
2216 * include/lightning/jit_sparc.h, lib/jit_sparc-cpu.c,
2217 lib/jit_sparc-fpu.c, lib/jit_sparc.c: New files implementing
2218 the basic framework of the sparc port.
2220 * configure.ac, include/lightning.h, include/lightning/Makefile.am,
2221 include/lightning/jit_private.h, lib/jit_disasm.c: Update
2222 for the sparc port framework.
2224 * lib/jit_mips.c: Correct reversed retr/reti logic.
2226 * lib/jit_ppc.c: Correct misspelled __LITTLE_ENDIAN.
2228 * lib/lightning.c: Always do byte hashing in hash_data, because
2229 the logic to "compress" strings causes large pointers to not
2230 be guaranteed aligned at 4 byte boundaries.
2231 Update for the sparc port framework.
2233 2013-02-11 Paulo Andrade <pcpa@gnu.org>
2235 * lib/jit_arm.c: Correct jit_pushargi_f in the arm hardfp abi.
2236 Most of the logic uses even numbered register numbers, so that
2237 a float and a double can be used in the same register, but
2238 the abi requires packing the float arguments, so jit_pushargi_f
2239 needs to allocate a temporary register to modify only the
2240 proper register argument (or be very smart to push two
2241 immediate arguments if applicable).
2243 2013-02-11 Paulo Andrade <pcpa@gnu.org>
2245 * include/lightning.h, lib/lightning.c: Implement the new
2246 jit_clear_state and jit_destroy_state calls. jit_clear_state
2247 releases all memory not required during jit_execution; that
2248 is, leaves only the mmap'ed data and code buffers allocated.
2249 jit_destroy_state releases the mmap'ed buffers as well as
2250 the jit_state_t object itself, that holds pointers to the
2251 code and data buffers, as well as annotation pointers (for
2252 disassembly or backtrace) in the data buffer.
2254 * lib/jit_note.c: Correct invalid vector offset access.
2256 * check/ccall.c, check/lightning.c, doc/ifib.c, doc/incr.c,
2257 doc/printf.c, doc/rfib.c, doc/rpn.c: Use the new jit_clear_state
2258 and jit_destroy_state calls, to demonstrate the new code to
2259 release all jit memory.
2261 * doc/body.texi: Add basic documentation and usage description
2262 of jit_clear_state and jit_destroy_state.
2264 2013-02-11 Paulo Andrade <pcpa@gnu.org>
2266 * include/lightning/jit_private.h, lib/jit_note.c, lib/lightning.c:
2267 Store all annotation information in the mmap'ed area reserved for
2268 read only data. This adds code to not allocate memory for jit_note_t
2269 objects, and to relocate jit_line_t objects and its contents after
2270 calculating annotation information. The jit_line_t objects are
2271 relocated because it is not possible to always calculate before
2272 hand data layout because note information may be extended or
2273 redundant entries removed, as well as allowed to be added in
2274 non sequential order.
2275 A bug was also corrected in _jit_set_note, that was causing it
2276 to allocate new jit_line_t objects when not needed. It was still
2277 working correctly, but allocating way more memory than required.
2279 2013-02-05 Paulo Andrade <pcpa@gnu.org>
2281 *include/lightning.h, lib/lightning.c: Add the new jit_live code
2282 to explicitly mark a register as live. It is required to avoid
2283 assuming functions always return a value in the gpr and fpr return
2284 register, and to avoid the need of some very specialized codes
2285 that vary too much from backend to backend, to instruct the
2286 optimization code the return register is live.
2288 * lib/jit_arm.c, lib/jit_mips.c, lib/jit_ppc.c, lib/jit_print.c,
2289 lib/jit_x86.c: Update for the new jit_live code.
2291 * check/ret.ok, check/ret.tst: New files implementing a simple
2292 test case that would previously fail at least in ix86/x86_64.
2294 * check/Makefile.am: Update for new "ret" test case.
2296 2013-02-05 Paulo Andrade <pcpa@gnu.org>
2298 * lib/jit_ppc-cpu.c, lib/jit_ppc.c: Validate and correct
2299 problems in the qmul and qdiv ppc implementation.
2301 2013-02-04 Paulo Andrade <pcpa@gnu.org>
2303 * include/lightning.h, include/lightning/jit_private.h,
2304 lib/jit_arm-cpu.c, lib/jit_arm.c, lib/jit_mips-cpu.c,
2305 lib/jit_mips.c, lib/jit_ppc-cpu.c, lib/jit_ppc.c,
2306 lib/jit_x86-cpu.c, lib/jit_x86.c, lib/lightning.c:
2307 Implement the new qmul and qdiv instructions that return signed
2308 and unsigned lo/hi multiplication result and div/rem division result.
2309 These should be useful for jit translation of code that needs to
2310 know if a multiplication overflows (no branch opcode added) or if
2311 a division is exact (easy check if remainder is zero).
2313 * check/lightning.c, lib/jit_print.c, check/Makefile.am,
2314 check/all.tst: Update for the new qmul and qdiv instructions.
2316 * check/qalu.inc, check/qalu_div.ok, check/qalu_div.tst,
2317 check/qalu_mul.ok, check/qalu_mul.tst: New files implementing
2318 simple test cases for qmul and qdiv.
2320 2013-01-30 Paulo Andrade <pcpa@gnu.org>
2322 * doc/body.texi: Correct "jmpi" description that incorrectly
2323 told it was possible to pass any address as jump target. The
2324 only way to do that is "movi+jmpr".
2326 2013-01-30 Paulo Andrade <pcpa@gnu.org>
2328 * lib/jit_x86-cpu.c: Correct undefined behavior code.
2329 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56143
2331 2013-01-29 Paulo Andrade <pcpa@gnu.org>
2333 * configure.ac: Use AC_CONFIG_HEADERS instead of AC_CONFIG_HEADER
2334 to have HAVE_CONFIG_H defined with latest aclocal.
2336 * include/lightning/jit_private.h, lib/lightning.c: Add new
2337 abstraction to use an heuristic to calculate amount of space
2338 required for jit generation, and code to reallocate buffer if
2339 did miscalculate it.
2341 * lib/jit_arm.c, lib/jit_mips.c, lib/jit_ppc.c, lib/jit_x86.c:
2342 Update to use new code to estimate and resize of required buffer
2345 * lib/jit_x86-cpu.c: Minor cosmetic change to avoid adding a
2346 non required rex prefix when calling a function pointer stored
2349 2013-01-24 Paulo Andrade <pcpa@gnu.org>
2351 * check/Makefile.am: "make debug" target should pass only
2352 the main test tool program as argument for running gdb
2354 * configure.ac: Add the --enable-assertions options.
2356 * doc/Makefile.am, doc/body.texi, doc/lightning.texi:
2357 Major rewrite of the documentation to match the current
2360 * doc/version.texi: Automatic date update.
2362 * doc/ifib.c, doc/incr.c, doc/printf.c, doc/rfib.c, doc/rpn.c:
2363 Implementation of the documentation examples, that are also
2364 compiled during a normal build.
2366 * doc/p-lightning.texi, doc/porting.texi, doc/toc.texi,
2367 doc/u-lightning.texi, doc/using.texi: These files were
2368 renamed in the documentation rewrite, as the documentation
2369 was significantly trimmed due to full removal of the porting
2370 chapters. Better porting documentation should be added but
2371 for the moment it was just removed the documentation not
2372 matching the implementation.
2374 2013-01-18 Paulo Andrade <pcpa@gnu.org>
2376 * lib/jit_note.c: Correct bounds check and wrong code keeping
2377 a pointer that could be changed after a realloc call.
2379 2013-01-18 Paulo Andrade <pcpa@gnu.org>
2381 * check/3to2.tst, check/add.tst, check/allocai.tst, check/bp.tst,
2382 check/call.tst, check/ccall.c, check/clobber.tst, check/divi.tst,
2383 check/fib.tst, check/ldsti.tst, check/ldstr-c.tst, check/ldstr.tst,
2384 check/ldstxi-c.tst, check/ldstxi.tst, check/ldstxr-c.tst,
2385 check/ldstxr.tst, check/lightning.c, check/rpn.tst, check/stack.tst,
2386 check/varargs.tst, include/lightning.h,
2387 include/lightning/jit_private.h, lib/jit_arm.c, lib/jit_disasm.c,
2388 lib/jit_mips.c, lib/jit_note.c, lib/jit_ppc.c, lib/jit_print.c,
2389 lib/jit_x86.c, lib/lightning.c: Extend the "jit_note" abstraction
2390 with the new "jit_name" call, that receives a string argument, and
2391 should usually be called to mark boundaries of functions of code
2392 generating jit (that is, it is not expected that the language
2393 generating jit map its functions to jit functions).
2395 2013-01-17 Paulo Andrade <pcpa@gnu.org>
2397 * check/add.tst, check/allocai.tst, check/bp.tst, check/divi.tst,
2398 check/fib.tst, check/lightning.c, include/lightning/jit_arm.h,
2399 include/lightning/jit_mips.h, include/lightning/jit_ppc.h,
2400 include/lightning/jit_private.h, include/lightning/jit_x86.h:
2401 Make JIT_RET, JIT_FRET and JIT_SP private. These should not be
2402 used in any operations due to frequently having special
2403 constraints (usually JIT_FRET). JIT_FP must be made available
2404 because it must be used as the base register to access stack
2405 space allocated with jit_allocai.
2407 2013-01-14 Paulo Andrade <pcpa@gnu.org>
2409 * include/lightning.h, lib/lightning.c: Add an extra align
2410 argument to the jit_data call (that should be made private),
2411 so that it should not align strings at 8 bytes.
2412 Correct the jit_note call to include the null ending byte
2413 when adding label/note names to the "jit data section".
2415 2013-01-11 Paulo Andrade <pcpa@gnu.org>
2417 * lib/jit_note.c: New file implementing a simple string+integer
2418 annotation, that should be used to map filename and line number
2419 to offsets in the generated jit.
2421 * include/lightning.h, lib/lightning.c: Update for the new
2423 Add an extra mandatory argument to init_jit, that is used
2424 as argument to bfd_openr.
2425 Change from generic void* to char* the argument to jit_note
2426 and add an extra integer argument, to map to filename and
2429 * check/ccall.c, check/lightning.c, include/lightning/jit_private.h,
2430 lib/jit_arm.c, lib/jit_disasm.c, lib/jit_mips.c, lib/jit_ppc.c,
2431 lib/jit_print.c, lib/jit_x86.c: lib/Makefile.am: Update for the
2432 new annotation code.
2434 * configure.ac, check/Makefile.am: Update to work with latest
2437 2013-01-09 Paulo Andrade <pcpa@gnu.org>
2439 * include/lightning.h, lib/jit_arm.c, jit_mips-fpu.c,
2440 lib/jit_mips.c, lib/jit_print.c, lib/jit_x86.c, lib/lightning.c:
2441 Remove the jit_code_getarg_{f,d} and jit_code_pusharg{i,r}_{f,d}
2442 calls, replacing them with the new, internal only, jit_movr_w_f,
2443 jit_mov{r,i}_f_w, jit_movr_ww_d, and jit_mov{i,r}_d_ww, that
2444 better describe the operation being done, and allow removing
2445 the hackish code to detect special conditions for arm when
2446 moving from/to vfp from/to a grp register pair.
2447 Rename jit_code_retval_{f,d} to jit_code_x86_retval_{f,d} as
2448 it is specific to 32 bit x86, and used to move abi return
2449 value in x87 register to a sse register.
2451 2013-01-05 Paulo Andrade <pcpa@gnu.org>
2453 * check/cccall.c, check/ccall.ok: New test case to validate
2454 interleaved calls from/to C code and jit.
2456 * check/Makefile.am: Update for the new ccall test case.
2458 * include/lightning.h, lib/lightning.c: Add the new jit_address
2459 call that returns the real/final address of a "note" in the
2460 generated jit. It requires a jit_node_t as returned by the
2461 jit_note call, and is only valid after calling jit_emit.
2462 Add an intermediate solution to properly handle arm
2463 soft and softfp modes that move a double to an integer register
2464 pair. Currently it just adds extra tests for the condition,
2465 but the proper solution should be to have extra lightning
2466 codes for these conditions, codes which should be only used
2467 by the backends that need it, and merged with the existing
2470 * include/lightning/jit_private.h: Add new jit_state_t flag
2471 to know it finished jit_emit, so that calls to jit_address
2474 * lib/jit_mips.c: Correct abi implementation so that the
2475 new ccall test case pass. Major problem was using
2476 _jit->function.self.arg{i,f} as boolean values, but that
2477 would cause lightning.c:patch_registers() to incorrectly
2478 assume only one register was used as argument when calling
2479 jit_regarg_p(); _jit->function.self.arg{i,f} must be the
2480 number of registers used as arguments (in all backends).
2482 * lib/jit_x86.c: Add workaround, by marking %rax as used,
2483 to a special condition, when running out of registers and the
2484 allocator trying to spill and reload %rax, but %rax was used
2485 as a pointer to a function, what would cause the reload to
2486 destroy the return value. This condition can be better
2487 generalized, but the current solution is good enough.
2489 * include/lightning/jit_ppc.h, lib/jit_ppc-cpu.c, lib/jit_ppc.c:
2490 Rewrite logic to handle arguments, as the original code was
2491 written based on a SysV pdf about the generic powerpc ABI,
2492 what did "invent" a new abi for the previous test cases, but
2493 failed in the new ccall test in Darwin PPC. Now it properly
2494 handles 13 float registers for arguments, as well as proper
2495 computation of stack offsets when running out of registers
2498 2013-01-02 Paulo Andrade <pcpa@gnu.org>
2500 * check/float.tst: Correct test case to match ppc also
2501 converting positive infinity to 0x7fffffff.
2503 * lib/jit_arm-swf.c: Correct typos with double underscores.
2505 * lib/lightning.c: Correct remaining wrong reverse jump logic.
2507 2012-12-29 Paulo Andrade <pcpa@gnu.org>
2509 * lib/lightning.c: Correct both, wrong and confusing logic
2510 to compute the reverse of a jump. Now it properly matches
2511 C semantics for "eq" (==) and "ne" (!=) and correct computation
2512 of reverse of "uneq" as "gt".
2514 * check/branch.tst: Update "ne" float branch check that
2515 previously happened to be wrongly tested with a NaN argument.
2517 2012-12-29 Paulo Andrade <pcpa@gnu.org>
2519 * check/float.ok, check/float.tst: New test cases implementing
2520 extensive validation of float comparison and branch code
2521 generation as well as integer conversion, involving NaN and
2524 * lib/jit_arm-swf.c, lib/jit_x86-sse.c, lib/jit_x86-x87.c:
2525 Correct bugs found by new float test case.
2527 * lib/jit_x86.c: Correct cut&paste error added in commit to
2528 convert jit_arg* return value to a jit_node_t*, that would
2529 cause it to not properly handle double arguments in ix86.
2531 * check/Makefile.am: Update for the new test case.
2533 2012-12-28 Paulo Andrade <pcpa@gnu.org>
2535 * check/lightning.c, include/lightning.h, lib/jit_arm.c,
2536 lib/jit_mips.c, lib/jit_ppc.c, lib/jit_print.c, lib/jit_x86.c,
2537 lib/lightning.c: Change return value of jit_arg{,_f,_d} to
2538 a jit_node_t* object, that should be used as argument to
2539 jit_getarg_{c,uc,s,us,i,ui,l,f,d}. This just requires changing
2540 from jit_int32_t to jit_pointer_t (or jit_node_t*) the "handle"
2541 for the getarg calls, with the benefit that it makes it easy
2542 to implement patching of the stack address of non register
2543 arguments, this way allowing to implement variable size stack
2544 frames if applicable; useful if there are too many registers and
2545 jit functions uses only a few callee save registers.
2547 2012-12-27 Paulo Andrade <pcpa@gnu.org>
2549 * lib/jit_arm.c, lib/jit_mips-cpu.c, lib/jit_mips.c: Correct
2550 regressions when patching jit_calli for a forward function.
2552 * lib/jit_ppc-cpu.c: Correct wrong arguments to ANDI opcode
2553 in jit_getarg_u{c,s} implementation.
2555 2012-12-23 Paulo Andrade <pcpa@gnu.org>
2557 * check/call.ok, check/call.tst: New test cases to validate
2558 simple typed argument and return values in function calls.
2560 * check/lightning.c: Properly handle jit_movi of labels for
2561 backward and forward code labels.
2563 * check/Makefile.am: Update for new test case.
2565 2012-12-23 Paulo Andrade <pcpa@gnu.org>
2567 * check/carry.ok, check/carry.tst: New test case to validate
2568 carry condition handling.
2570 * check/Makefile.am: Update for new test case.
2572 2012-12-22 Paulo Andrade <pcpa@gnu.org>
2574 * lib/jit_ppc-cpu.c, lib/jit_ppc.c: Implement logic for
2575 jit_htonr for big endian, so that ppc (big endian) pass the
2576 new clobber.tst test case.
2578 2012-12-22 Paulo Andrade <pcpa@gnu.org>
2580 * lib/jit_arm.c: Correct use of wrong argument offset
2581 variable in armv7l or float/double argument for varargs
2582 function in armv7hl.
2583 Correct jit_getarg* logic in software float mode to
2584 match expected behavior in other backends, that is, if
2585 a function is not called, it is safe to use a few lightning
2586 calls before a next jit_getarg* call, as done in the test
2587 case check/stack.tst. The proper solution should be to
2588 extend the parser in lib/lightning.c to check if there is
2589 some float operation that will call some (libgcc?) function,
2590 but software float arm should be a very uncommon backend for
2591 lightning, so, just load the already in place arguments
2592 saved to stack, assuming the register argument was clobbered
2593 (what should not be the case most times...).
2595 2012-12-22 Paulo Andrade <pcpa@gnu.org>
2597 * check/clobber.ok, check/clobber.tst: New test case doing
2598 extensive validation tests to ensure registers not used in
2599 a operation are not clobbered.
2601 * check/Makefile.am: Update for new test case.
2603 2012-12-21 Paulo Andrade <pcpa@gnu.org>
2605 * lib/lightning.c: Partially rewrite/revert code to compute
2606 initial register live state at the start of a basic block.
2607 The original logic was corrupted when adding optimizations
2608 to do as few computations as possible in jit_update. The
2609 reglive field must be always a known set of live registers
2610 at the start of a basic block. The value that was incorrect
2611 was the regmask field, that must be the set of registers
2612 that are in unknown state, because they are not known live,
2613 neither set (or possibly not set) in the basic block, and
2614 *must* store the state at the start of the basic block.
2616 2012-12-20 Paulo Andrade <pcpa@gnu.org>
2618 * include/lightning/jit_ppc.h: Correct mismatch of JIT_F{1,5}
2619 with enum codes, that were correct, and returned by jit_f().
2621 * lib/jit_ppc-cpu.c, lib/jit_ppc-fpu.c, lib/jit_ppc.c: Properly
2622 implement and better describe values when generating stack
2625 2012-12-18 Paulo Andrade <pcpa@gnu.org>
2627 * check/stack.ok, check/stack.tst: New files to test data
2628 integrity on a deep chain of stack frames.
2630 * lib/jit_arm.c, lib/jit_arm-cpu.c, lib/jit_mips.c,
2631 lib/jit_mips-cpu.c, lib/jit_ppc.c, lib/jit_ppc-cpu.c,
2632 lib/jit_x86.c, lib/jit_x86-cpu.c: Calculate _jit->function->stack
2633 in the emit stage, otherwise it will calculate it wrong if
2634 need to jit_allocai space to spill registers.
2636 * lib/lightning.c: Correct wrong offset when updating the
2637 "current" jit function pointer in the code that may need to
2638 allocate stack space to spill registers.
2640 * check/lightning.c: Correct off by one data space check.
2642 * check/Makefile.am: Update for new test case.
2644 2012-12-17 Paulo Andrade <pcpa@gnu.org>
2646 * check/fop_abs.ok, check/fop_abs.tst, check/fop_sqrt.ok,
2647 check/fop_sqrt.tst: New files implementing simple test cases
2648 for the extra float operations.
2650 * check/Makefile.am: Update for new test cases.
2652 * check/alu.inc: Add an extra macro to check for unordered
2653 equality on tests where it is expected to use NaN as an
2656 * check/lightning.c: Minor change for proper/common argument
2657 syntax handling ommiting arguments to options.
2659 2012-12-17 Paulo Andrade <pcpa@gnu.org>
2661 * check/Makefile.am: Automatically generate pattern list
2662 of tests with alternate jit generation options. This should
2663 prevent typos and needing to change multiple places after
2666 2012-12-14 Paulo Andrade <pcpa@gnu.org>
2668 * check/lightning.c: Remove the ".cpu name value" syntax,
2669 as it was not able to do proper changes before the jit
2670 internal data structure was initialized. Now it supports
2671 several getopt options to force using different jit
2672 generation options, effectively replacing the previous
2675 * check/run-test: Add simple extra logic to handle differently
2676 named test scripts, used to test things like x87 coprocessor
2677 in ix86, and arm instruction set or software float in armv7l.
2679 * configure.ac: Add some AC_RUN_IFELSE calls to figure at
2680 compile time if can test different code generation options,
2681 and update Makefile generation accordingly.
2683 * check/Makefile.am, lib/jit_arm.c, lib/jit_x86.c: Update to
2684 properly work with the test tool updating the jit_cpu global
2687 * check/check.arm.sh, check/check.swf.sh, check/check.x87.sh:
2688 New wrapper files passing -mthumb=0, mvfp=0 and -mx87=1 to
2689 the test tool, if applicable, so that it can validate alternate
2690 code generation options on test hosts that support them.
2692 2012-12-14 Paulo Andrade <pcpa@gnu.org>
2694 * lib/jit_x86-x87.c, lib/jit_x86.c: Correct test cases in ix86
2695 when using the x87 coprocessor instead of sse2+.
2697 2012-12-14 Paulo Andrade <pcpa@gnu.org>
2699 * include/lightning.h, include/lightning/jit_private.h,
2700 lib/jit_arm.c, lib/jit_mips.c, lib/jit_ppc.c, lib/jit_x86.c,
2701 lib/lightning.c: Make jit_ellipsis implementation not
2702 backend specific. It is not intended to handle va_list
2703 like objects at runtime, as jit_arg* and jit_getarg*
2704 return constant values resolved at parse time, so, effectively
2705 it is not possible to create printf like jit functions, as
2706 there is no va_start, va_arg, va_end, etc, abstraction. This
2707 limitation should be kept for the sake of making new ports
2710 2012-12-14 Paulo Andrade <pcpa@gnu.org>
2712 * include/lightning.h, lib/lightning.c: Add two extra wrapper
2713 functions to avoid need for excess pointer to/from word casts.
2715 * check/lightning.c: Only need for pointer to/from word cast
2716 now is jit_movi, update accordingly.
2718 2012-12-13 Paulo Andrade <pcpa@gnu.org>
2720 * check/varargs.ok, check/varargs.tst: New test cases implementing
2721 simple varargs calls with a large amount of arguments to exercise
2722 excess arguments on stack.
2724 * include/lightning.h: Include config.h if HAVE_CONFIG_H is
2727 * lib/jit_arm.c: Allocate a fpr register, not a gpr one for
2728 temporary when pushing varargs arguments in the stack.
2730 * lib/jit_arm-swf.c: Correct code changing the wrong offset
2731 in jit_absr_d and jit_negr_d in software float.
2733 * lib/jit_mips.c: Correct calculation of offsets of arguments
2736 * lib/jit_ppc.c: Correct bogus logic for "next" offset of arguments
2737 on stack and adjust for fixed offset of stack arguments.
2739 2012-12-12 Paulo Andrade <pcpa@gnu.org>
2741 * include/lightning.h, lib/jit_arm.c, lib/jit_mips.c,
2742 lib/jit_ppc.c, lib/jit_x86.c, lib/lightning.c: Change jit_prepare
2743 to no longer receive an argument. If receiving an argument, it
2744 should be an ABI specifier, not a boolean if varargs or not,
2745 and add the new jit_ellipsis call, to specify where the
2746 ellipsis is in the C prototype of the function being called.
2747 Note that currently it is not supported to define varargs
2748 functions and it will be ignored if calling jit_ellipsis not
2749 in a prepare/finish* block, but this should be addressed.
2751 * check/allocai.tst, check/alu_add.tst, check/alu_and.tst,
2752 check/alu_com.tst, check/alu_div.tst, check/alu_lsh.tst,
2753 check/alu_mul.tst, check/alu_neg.tst, check/alu_or.tst,
2754 check/alu_rem.tst, check/alu_rsh.tst, check/alu_sub.tst,
2755 check/alu_xor.tst, check/alux_add.tst, check/alux_sub.tst,
2756 check/bp.tst, check/branch.tst, check/cvt.tst, check/divi.tst,
2757 check/fib.tst, check/ldsti.tst, check/ldstr-c.tst,
2758 check/ldstr.tst, check/ldstxi-c.tst, check/ldstxi.tst,
2759 check/ldstxr-c.tst, check/ldstxr.tst, check/rpn.tst,
2760 check/lightning.c: Update for the change to jit_prepare and
2761 addition of jit_ellipsis.
2763 2012-12-11 Paulo Andrade <pcpa@gnu.org>
2765 * lib/jit_ppc-cpu.c: Make movr a function that checks arguments
2766 so that other code can safely assume it is a noop if src and dst
2767 are the same register.
2768 Implement rem{r,i}{,_u} as a div{,u}/mul/sub.
2769 Correct ANDIS, ORIS and XORIS calls to cast the argument to
2770 unsigned before the shift to avoid an assertion if the argument
2771 had the topmost bit set.
2772 Implement lshi, rshi and rshi_u as functions to test for a
2773 zero argument, that would otherwise trigger an assertion when
2774 computing the shift value.
2775 Do a simple implementation of bm{s,c}{r,i} with a temporary,
2776 "andr" of arguments and jump based on comparison with zero.
2777 Correct typo in ldxi_c.
2779 * lib/jit_ppc-fpu.c: Correct wrong arguments to FDIV* and STF*.
2781 * lib/jit_ppc.c: Correct wrong check for 6 instead of 8 integer
2782 arguments in registers. If calling a varargs function and
2783 passing a float or double argument, also either store the
2784 value in the stack or in integer registers, as varargs functions
2785 do not fetch it from float registers.
2786 Add "case" for new functions and incorrectly missing ones.
2787 Call libgcc's __clear_cache, that should know what to do
2788 if the hardware needs flushing cache before execution.
2790 * lib/lightning.c: Do a simple/trivial logic in jit_regset_scan1,
2791 that should make it easier for the compiler to optimize it, and
2792 that also corrects the previously wrong code for big endian, and
2793 that was causing problems in ppc due to not saving all callee save
2794 registers as it was not "finding" them in the regset due to the
2795 little endian assumption bug.
2797 2012-12-11 Paulo Andrade <pcpa@gnu.org>
2799 * configure.ac: Only default to using the builtin disassembler
2800 if on GNU/Linux. This should be temporary, due to requiring
2802 Correctly check $target_cpu for powerpc.
2804 * include/lightning/jit_ppc.h: Correctly implement jit_v_num.
2806 * include/lightning/jit_private.h: Declare proper prototype
2807 for jit_init_debug and jit_finish_debug.
2809 * lib/jit_ppc-cpu.c: Remove code to save/restore callee save
2810 float registers, as it is not required since those float
2811 registers are not usable currently.
2812 Change prolog and epilog generation to, at least comparing
2813 code, match what gcc generates in "gcc -O0", but it is still
2814 failing in Darwin PPC, apparently due to the __clear_cache
2815 call not being enough, as frequently it will also fail to
2816 execute, and the code buffer is all zeroes.
2818 * lib/lightning.c: Do not fail in jit_regset_scan1 calls due
2819 to passing 64 as argument on computers with 64 registers.
2821 2012-12-10 Paulo Andrade <pcpa@gnu.org>
2823 * lib/jit_mips-cpu.c: Correct all current test cases.
2824 Call the "xori" not the "XORI" macro for jit_xori implementation,
2825 as the XORI macro handles only 16 bit unsigned values.
2826 Call the "movr" macro, not the "movi" macro in the special
2827 case of adding or subtracting zero.
2828 Use the proper temporary register in the jit_andr implementation.
2830 2012-12-09 Paulo Andrade <pcpa@gnu.org>
2832 * check/alu.inc, check/alu_add.ok, check/alu_add.tst,
2833 check/alu_and.ok, check/alu_and.tst, check/alu_com.ok,
2834 check/alu_com.tst, check/alu_div.ok, check/alu_div.tst,
2835 check/alu_lsh.ok, check/alu_lsh.tst, check/alu_mul.ok,
2836 check/alu_mul.tst, check/alu_neg.ok, check/alu_neg.tst,
2837 check/alu_or.ok, check/alu_or.tst, check/alu_rem.ok,
2838 check/alu_rem.tst, check/alu_rsh.ok, check/alu_rsh.tst,
2839 check/alu_sub.ok, check/alu_sub.tst, check/alu_xor.ok,
2840 check/alu_xor.tst, check/alux_add.ok, check/alux_add.tst,
2841 check/alux_sub.ok, check/alux_sub.tst, check/branch.ok,
2842 check/branch.tst: New test cases for arithmetic and branch
2845 * check/Makefile.am: Update for new test cases.
2847 * include/lightning/jit_private.h: Make the jit_reg_free_p
2848 macro shared by all backends. Previously was added for the
2849 arm backend, but is useful in the x86_64 backend when checking
2850 state of "special purpose register".
2851 Also add the new jit_class_named register class, that must be
2852 or'ed with the register value if calling jit_get_reg expecting
2853 an specific value, because the specific register value may be
2854 zero, that previously was treated as no register requested.
2856 * lib/jit_arm-cpu.c: Correct argument order for T2_MVN.
2858 * lib/jit_arm-swf.c: Call the proper function for double
2859 divide. The "software float" implementation just calls
2862 * lib/jit_arm.c: Return float/double values in the float
2863 register if using the hard float ABI.
2865 * lib/jit_x86-cpu.c: Change the can_sign_extend_int_p macro
2866 to not include -0x80000000L, because there is code that
2867 "abuses" it and thinks it can negate the immediate value
2868 after calling that macro.
2869 Correct implementation of jit_subi that had a wrong code
2870 patch logic doing subtraction with reversed arguments.
2871 Correct REX prefix calculation in the jit_muli implementation.
2872 Correct logic to get/unget %*ax and %*dx registers in divremr
2874 Correct divremi that was using the symbolic, unique %*ax
2875 value in on place (not using the _REGNO name suffix).
2876 Correct cut&paste error causing it to use "xor" instead of
2877 "or" in one code path of the jit_ori implementation.
2878 Correct several flaws when clobbering registers and/or when
2879 one of the arguments was %*cx in the rotshr wrapper function
2880 implementing most shift operations.
2882 * lib/lightning.c: No longer expect that the backend be smart
2883 enough to know what to do when asking for a named register
2884 if that register is already an argument or is live. It fails
2885 if it is an argument, or if register is live, fails if cannot
2887 No longer incorrectly assume that eqr_{f,d} and ltgr_{f,d} are
2888 safe to inverse value tests in jump thread optimization.
2890 2012-12-05 Paulo Andrade <pcpa@gnu.org>
2892 * check/Makefile.am, check/cvt.ok, check/cvt.tst: Add new
2893 "cvt" test case to test conversion from/to int/float types.
2895 * check/lightning.c: Only define truncr_{f,d}_l in 64 bit mode.
2897 * include/lightning.h: Correct typo that caused it to define
2898 jit_truncr_{f,d}_l in 32 bit mode.
2900 * lib/jit_arm-cpu.c: Avoid assertion failure in the signed/unsigned
2901 extend opcodes generation as it shares an interface for 3 argument
2904 * lib/jit_x86-cpu.c: Correct wrong argument passed to
2905 jit_unget_reg in the andi implementation and wrong byte
2906 unsigned extend code generation.
2908 * lib/jit_x86-sse.c: Correct conversion from "word" to float or
2909 double as is dependent on wordsize.
2911 2012-12-05 Paulo Andrade <pcpa@gnu.org>
2913 * check/ldstr-c.ok, check/ldstr-c.tst, check/ldstxi-c.ok,
2914 check/ldstxi-c.tst, check/ldstxr-c.ok, check/ldstxr-c.tst:
2915 New test case files testing load clobbering the base and/or
2918 * check/ldst.inc: New file with common definition for all the
2921 check/Makefile.am, check/ldsti.tst, check/ldstr.tst,
2922 check/ldstxi.tst, check/ldstxr.tst: Update for new common
2923 definitions file and new register clobber ldst tests.
2925 2012-12-05 Paulo Andrade <pcpa@gnu.org>
2927 * lib/jit_mips-fpu.c: Correct wrong register order in stxr_{f,d}
2928 in the mips backend.
2930 2012-12-05 Paulo Andrade <pcpa@gnu.org>
2932 * lib/jit_arm-vfp.c: Correct regression found in armv7l with
2935 2012-12-05 Paulo Andrade <pcpa@gnu.org>
2937 * check/ldstxi.tst, check/ldstxr.tst: Correct wrong argument
2938 order for 32 bit mode tests.
2940 * configure.ac: Correct check for ix86 target_cpu.
2942 2012-12-05 Paulo Andrade <pcpa@gnu.org>
2944 * check/ldstr.ok, check/ldstr.tst, check/ldsti.ok,
2945 check/ldsti.tst, check/ldstxr.ok, check/ldstxr.tst,
2946 check/ldstxi.ok, check/ldstxi.tst:
2947 New test case files exercising a very large amount of
2948 register combinations to verify load/store implementation.
2950 * check/Makefile.am: Update for new test cases.
2952 * lib/jit_x86-cpu.c: Correct wrong argument order when
2953 computing REX prefix for {ld,st}r_T codes;
2955 2012-12-04 Paulo Andrade <pcpa@gnu.org>
2957 * lib/jit_mips-fpu.c, lib/jit_mips.c: Implement missing mips
2958 jit_sqrtr_{f,d} codes.
2960 * check/all.tst, include/lightning.h, lib/jit_print.c: Change
2961 declaration order and call order in all.tst of {add,sub}c and
2962 {add,sub}x. *c must be called before to set the carry and *x
2963 second to use the carry and keep it set. The wrong call order
2964 was causing all.tst to fail in mips, where a register is
2965 allocated to keep a global carry state.
2967 2012-12-04 Paulo Andrade <pcpa@gnu.org>
2969 * include/lightning/jit_mips.h, lib/jit_mips-cpu.c,
2970 lib/jit_mips-fpu.c, lib/jit_mips.c: Correct float/double
2971 argument handling and make the mips backend pass the initial
2974 * include/lightning.h, ib/jit_print.c, lib/lightning.c:
2975 Add extra enum values for argument handling functions that
2976 could not be abstracted to the current codes, that is, when
2977 float values need to move from/to gpr from/to fpr. It would
2978 be more tempting to add such primitives, but they would have
2979 wordsize limitations, and it is not expected to add codes
2980 with one gpr argument for 64 bit and two for 32 bit.
2982 * lib/jit_ppc.c: Check _jit->function before calling jit_epilog()
2983 to avoid a runtime exception.
2985 2012-12-04 Paulo Andrade <pcpa@gnu.org>
2987 * include/lightning/jit_mips.h, lib/jit_mips.c: Update to
2988 make the mips backend compile in a qemu image.
2990 * lib/jit_ppc.c: Minor adaptations to help in having the
2991 ppc backend compilable.
2993 2012-12-03 Paulo Andrade <pcpa@gnu.org>
2995 * configure.ac, include/lightning/jit_private.h, lib/jit_arm-cpu.c,
2996 lib/jit_arm-swf.c, lib/jit_arm.c, check/Makefile.am: Correct
2997 implementation of the arm backend port to build and pass the
2998 current test cases. Tested on armv7 with softfp abi.
3000 * lib/jit_disasm.c: Rename and change prototype of static
3001 disassemble function as in the arm backend it is required
3002 to access state information stored in the jit_state_t object.
3004 * check/3to2.tst, check/add.tst: Correct test case code assuming
3005 JIT_RO and JIT_RET are the same, and even if they are the same,
3006 the logic was incorrect because it must always call jit_retval*
3007 to fetch a function call return before any other instruction.
3008 The arm backend hash a special condition if jit_retval is not
3009 called, because "r0" is not JIT_R0, but is JIT_RET and *also*
3010 the first argument for a called function, so JIT_RET must be
3011 only used as an argument to jit_retval.
3013 2012-12-03 Paulo Andrade <pcpa@gnu.org>
3015 * check/all.tst, check/lightning.c: Only declare or use 64 bit
3016 interfaces on 64 bit builds.
3018 * check/fib.tst: Use simpler logic to not need preprocessor
3019 conditionals for 32 or 64 bit.
3021 * include/lightning.h: Only declare 64 bit macros on a 64 bit
3022 build. Code using lightning must know about wordsize and the
3023 jit generation limitations, also, this way it generates a
3024 compile time failure, not a runtime assertion.
3026 * include/lightning/jit_x86.h: Correct typo in macro name.
3028 * lib/jit_arm.c, lib/jit_arm-cpu.c, lib/jit_mips.c,
3029 lib/jit_mips-cpu.c, lib/jit_ppc.c, lib/jit_ppc-cpu.c,
3030 lib/jit_x86.c, lib/jit_x86-cpu.c: Correct wrong code to get
3031 current jit function pointer.
3033 * lib/lightning.c: Move call to the simplify() optimization
3034 to after register liveness is known. Previous code did work
3035 by accident but now with proper test cases the problem was
3038 * lib/jit_disasm.c: Always cast bfd_vma to long long when
3039 passing it as printf argument.
3041 2012-12-03 Paulo Andrade <pcpa@gnu.org>
3043 * configure.ac, check/Makefile.am, check/check.sh,
3044 doc/Makefile.am, include/lightning/Makefile.am,
3045 lib/Makefile.am: Correct make distcheck.
3047 2012-12-02 Paulo Andrade <pcpa@gnu.org>
3049 * lib/jit_ppc.c: Assign copyright ownership to FSF.
3051 * lib/jit_x86-cpu.c: Correct integer multiplication that was
3052 generating code with reversed register arguments.
3054 * check/rpn.ok, check/rpn.tst: New test case file.
3056 2012-12-02 Paulo Andrade <pcpa@gnu.org>
3058 * lib/jit_x86-cpu.c, lib/jit_x86-sse.c, lib/jit_x86-x87.c:
3059 Actually change copyright owner to FSF as avertised.
3061 * lib/jit_arm-cpu.c, lib/jit_arm-swf.c,
3062 lib/jit_arm-vfp.c, lib/jit_arm.c,
3063 lib/jit_mips-cpu.c, lib/jit_mips-fpu.c, lib/jit_mips.c,
3064 lib/jit_ppc-cpu.c, lib/jit_ppc-fpu.c, lib/jit_ppc.c: New
3065 files implementing initial code different jit backends.
3067 * include/lightning/jit_private.h: Add extra field to the
3068 private jit_patch_t type, required by the arm port.
3070 * lib/Makefile.am: Update for the new backend implementation
3073 2012-12-02 Paulo Andrade <pcpa@gnu.org>
3075 * check/Makefile.am: Add proper "make clean" rule and missing
3076 check.sh to EXTRA_DIST.
3078 2012-12-02 Paulo Andrade <pcpa@gnu.org>
3080 * .gitignore: Update pattern of ignored files.
3082 * check/Makefile.am: Add rule to build liblightning.la dependency
3083 in case of running "make check" before building the library.
3085 2012-12-02 Paulo Andrade <pcpa@gnu.org>
3087 * lightning/Makefile.am, lightning/asm-common.h,
3088 lightning/core-common.h, lightning/fp-common.h,
3089 lightning/funcs-common.h, lightning/i386/Makefile.frag,
3090 lightning/i386/asm-32.h, lightning/i386/asm-64.h,
3091 lightning/i386/asm.h, lightning/i386/core-32.h,
3092 lightning/i386/core-64.h, lightning/i386/core.h,
3093 lightning/i386/fp-32.h, lightning/i386/fp-64.h,
3094 lightning/i386/fp.h, lightning/i386/funcs.h,
3095 lightning/ppc/asm.h, lightning/ppc/core.h,
3096 lightning/ppc/fp.h, lightning/ppc/funcs.h,
3097 lightning/sparc/asm.h, lightning/sparc/core.h,
3098 lightning/sparc/fp.h, lightning/sparc/funcs.h:
3099 Removed. The core logic is used in the new code, and new mips
3100 and arm ports will be added. At first, sparc will not be
3101 supported as it has not yet been ported to the new engine.
3103 2012-12-02 Paulo Andrade <pcpa@gnu.org>
3105 * tests/Makefile.am, tests/3to2.c, tests/3to2.ok, tests/add.c,
3106 tests/add.ok, tests/allocai.c, tests/allocai.ok, tests/bp.c,
3107 tests/bp.ok, tests/divi.c, tests/divi.ok, tests/fib.c, tests/fib.ok,
3108 tests/fibdelay.c, tests/fibdelay.ok, tests/fibit.c, tests/fibit.ok,
3109 tests/funcfp.c, tests/funcfp.ok, tests/incr.c, tests/incr.ok,
3110 tests/ldst.c, tests/ldst.ok, tests/ldxi.c, tests/ldxi.ok,
3111 tests/modi.c, tests/modi.ok, tests/movi.c, tests/movi.ok,
3112 tests/printf.c, tests/printf.ok, tests/printf2.c, tests/printf2.ok,
3113 tests/ret.c, tests/ret.ok, tests/rpn.c, tests/rpn.ok, tests/rpnfp.c,
3114 tests/rpnfp.ok, tests/sete.c, tests/sete.ok, tests/testfp.c,
3115 tests/testfp.ok, tests-run-test: Removed previous test suite, in
3116 favor of a newer one in the check subdirectory.
3118 * check/3to2.ok, check/3to2.tst, check/add.ok, check/add.tst,
3119 check/allocai.ok, check/allocai.tst, check/bp.ok, check/bp.tst,
3120 check/divi.ok, check/divi.tst, check/fib.ok, check/fib.tst:
3121 New sample input for the new test program, loosely matching
3122 several of the previous test cases.
3124 * check/Makefile.am: New test suite makefile.
3126 * check/check.sh, check/run-test: New wrapper files for the
3129 * check/lightning.c: New file. The main driver of the new test
3130 suite, that compiles to a parser of a very simple assembly like
3131 language, generates jit and executes it.
3133 * check/all.tst: New file. A generic debug and sample test file
3134 with a directive to prevent it from being executed, and useful to
3135 read disassembly of all possible instructions, using a fixed set
3138 * include/Makefile.am, include/lightning.h,
3139 include/lightning/Makefile.am, include/lightning/jit_arm.h,
3140 include/lightning/jit_mips.h, include/lightning/jit_ppc.h,
3141 include/lightning/jit_private.h, include/lightning/jit_x86.h,
3142 lib/Makefile.am, lib/jit_disasm.c, lib/jit_print.c,
3143 lib/jit_x86-cpu.c, lib/jit_x86-sse.c, lib/jit_x86-x87.c,
3144 lib/jit_x86.c, lib/lightning.c: New files. These files are
3145 written from scratch, only by <pcpa@gnu.org>, and have now
3146 copyright assignment to the FSF. This is the core of the new
3147 lightning rework. Previously it was integrated in code with
3148 a garbage collector and several custom types like vectors and
3149 hash tables, so this first code merge with lightning converts
3150 that code into a library extracting only the jit bits, and at
3151 first only for x86_64 GNU/Linux.
3153 * lightning.h, m4/lightning.m4: Removed. These are no longer
3154 required in the new lightning code.
3156 .gitignore, Makefile.am, configure.ac: Update for the new
3159 2012-12-02 Paulo Andrade <pcpa@gnu.org>
3160 * .cvsignore: Removed for extra cleanup.
3162 * build-aux: Rename directory to m4.
3164 * m4: Renamed to "default" name and for consistency with merge
3165 with code rework to be imported in lightning.
3167 * .gitignore, configure.ac, Makefile.am, doc/Makefile.am:
3168 Update for build-aux to m4 rename.
3170 2012-12-01 Paulo Andrade <pcpa@gnu.org>
3172 * opcode/Makefile.am, opcode/Makefile.in, opcode/ansidecl.h,
3173 opcode/bfd.h, opcode/dis-asm.h, opcode/dis-buf.c, opcode/disass.c,
3174 opcode/i386-dis.c, opcode/i386.h, opcode/ppc-dis.c, opcode/ppc-opc.c,
3175 opcode/ppc.h, opcode/sparc-dis.c, opcode/sparc-opc.c, opcode/sparc.h,
3176 opcode/sysdep.h: Removed. Do not bundle GNU binutils files.
3178 * aclocal.m4, configure, Makefile.in, config.h.in, doc/Makefile.in,
3179 lightning/Makefile.in, tests/Makefile.in: Removed. Do not maintain
3180 autogenerated files that also generate too much diff noise when
3183 * build-aux/help2man, build-aux/texinfo.tex, build-aux/texi2dvi:
3184 Removed. Buildenvironment must have an up to date version from
3187 * build-aux/config.guess, build-aux/config.sub, build-aux/depcomp,
3188 build-aux/install-sh build-aux/mdate-sh build-aux/missing: Removed.
3189 Do not maintain a copy of automake files in git. Release tarballs
3190 must use an up to date version.
3192 * lightningize.in, doc/lightningize.1: Removed. Do not encourage
3193 bundling lightning in other packages. It should use a system package
3194 or a proper thirdy part subdirectory.
3196 * INSTALL: Removed. Autoreconf removes it and creates a symlink
3197 when regenerating files, so, avoid conflicts in git and let
3198 automake create the symlink.
3200 * .gitignore: Add INSTALL and autogenerated files.
3202 * configure.ac, Makefile.am: Update for removal of opcode subdir,
3203 auto generated files and lightningize.
3205 * tests/Makefile.am, tests/3to2.c, tests/add.c, tests/bp.c,
3206 tests/fib.c, tests/fibdelay.c, tests/fibit.c, tests/funcfp.c,
3207 tests/incr.c, tests/printf.c, tests/rpn.c, tests/rpnfp.c,
3208 tests/sete.c, tests/testfp.c: Update for removal of opcode subdir.
3210 * doc/Makefile.am: Update for removal of lightningize.
3212 * configure.ac, lightning/ppc/funcs.h, lightning/sparc/funcs.h,
3213 lightning/i386/fp.h, lightning/i386/core.h, lightning/i386/asm.h,
3214 tests/3to2.c, tests/add.c, tests/bp.c, tests/fib.c, tests/fibdelay.c,
3215 tests/fibit.c, tests/funcfp.c, tests/incr.c, tests/printf.c,
3216 tests/rpn.c, tests/rpnfp.c, tests/sete.c, tests/testfp.c:
3217 Remove LIGHTNING_CROSS, it is half supported and incomplete.
3219 * tests/3to2.c, tests/funcfp.c, tests/rpnfp.c: Remove preprocessor
3220 check on JIT_FPR. If no hardware registers are available, the backend
3221 must provide an alternative for software float.
3223 * lightning/ppc/core.h, lightning/sparc/core.h, tests/Makefile.am:
3224 Remove JIT_NEED_PUSH_POP. It is absolutely not trivial to implement
3225 properly on some backends due to stack alignment constraints, and
3226 whenever it is required, using jit_allocai and using a properly
3227 aligned stack vector, or a heap buffer, is better.
3229 * tests/push-pop.c, tests/push-pop.ok: Removed due to
3230 JIT_NEED_PUSH_POP no longer available.
3232 2011-02-28 Paolo Bonzini <bonzini@gnu.org>
3234 * lightning/i386/core-64.h: Add jit_add{c,x}{i,r}_l, jit_mulr_{l,ul}_,
3235 fix jit_mul{i,r}_{l,ul}.
3237 2010-08-20 Paolo Bonzini <bonzini@gnu.org>
3239 * lightning/i386/fp-64.h: Return patch address from jit_bXYr_{f,d}.
3240 Reported by Paulo César Pereira de Andrade.
3241 * lightning/ppc/fp.h: Likewise.
3242 * lightning/sparc/fp.h: Implement FP branches.
3244 2010-08-18 Paolo Bonzini <bonzini@gnu.org>
3246 * lightning/i386/fp-64.h: Fix jp in jit_bner_{f,d}.
3248 2010-08-18 Paolo Bonzini <bonzini@gnu.org>
3250 * lightning/i386/fp-32.h: Fix -D_ASM_SAFETY compilation.
3251 Reported by Paulo César Pereira de Andrade.
3253 2010-08-15 Paolo Bonzini <bonzini@gnu.org>
3255 * tests/ldst.c: Update.
3256 * tests/Makefile.am: Use -ffloat-store to compile it.
3258 2010-08-15 Paolo Bonzini <bonzini@gnu.org>
3260 * lightning/i386/core.h (jit_ldr_c, jit_ldxr_c, jit_ldr_s,
3261 jit_ldxr_s): Move...
3262 * lightning/i386/core-32.h: ... here.
3263 * lightning/i386/core-64.h (jit_ldr_c, jit_ldxr_c, jit_ldr_s):
3264 Use movsbq and movswq.
3266 2010-08-10 Paulo César Pereira de Andrade <pcpa@mandriva.com.br>
3268 * lightning/i386/core-32.h (jit_replace): Use MOVLrr, not MOVLir.
3269 (jit_movbrm): Check index register as well.
3270 * lightning/i386/fp-64.h: Add jit_extr_f_d and jit_extr_d_f.
3271 * lightning/fp-common.h: Add jit_extr_f_d and jit_extr_d_f.
3273 2010-07-28 Paolo Bonzini <bonzini@gnu.org>
3275 * tests/Makefile.am: Add ldst test.
3276 * tests/Makefile.in: Regenerate.
3277 * tests/ldst.c: New.
3278 * tests/ldst.ok: New.
3280 2010-07-28 Paolo Bonzini <bonzini@gnu.org>
3282 * THANKS: Add Paulo Cesar Pereira de Andrade.
3283 * doc/porting.texi: Fix ordering of arguments in jit_stxi.
3284 * lightning/i386/core-32.h (jit_replace): Remove cmp argument.
3285 * lightning/i386/fp-64.h (jit_movi_f): Fix.
3287 2010-07-26 Paolo Bonzini <bonzini@gnu.org>
3289 * lightning/i386/core-32.h (jit_replace): Move here (removed
3292 2010-07-19 Paolo Bonzini <bonzini@gnu.org>
3294 * build-aux/lightning.m4: Always set and replace lightning_frag.
3295 * Makefile.in: Regenerate.
3296 * aclocal.m4: Regenerate.
3297 * config.h.in: Regenerate.
3298 * configure: Regenerate.
3299 * doc/Makefile.in: Regenerate.
3300 * doc/lightningize.1: Regenerate.
3301 * doc/version.texi: Regenerate.
3302 * lightning/Makefile.in: Regenerate.
3303 * opcode/Makefile.in: Regenerate.
3304 * tests/Makefile.in: Regenerate.
3306 2009-03-01 Paolo Bonzini <bonzini@gnu.org>
3308 * lightning/i386/core-64.h: Use Mike's macros for x86-64 too.
3309 * lightning/i386/core.h: Remove jit_replace.
3311 2009-02-27 Mike Spivey <mike@comlab.ox.ac.uk>
3313 * lightning/i386/core.h: Rewrite shift-handling macros.
3314 * lightning/fp-common.h: Fix jit_extr_{f_d,d_f}.
3316 2009-02-17 Mike Spivey <mike@comlab.ox.ac.uk>
3318 * lightning/i386/core.h: Fix blunder in operand order.
3320 2009-02-17 Paolo Bonzini <bonzini@gnu.org>
3322 * lightning/i386/fp-32.h: Another fix to jit_fp_btest.
3324 2009-02-17 Paolo Bonzini <bonzini@gnu.org>
3326 * lightning/fp-common.h: Define double branches if missing.
3327 * lightning/i386/asm.h: Define JC and JNC mnemonics.
3328 * lightning/i386/fp-32.h: Fix jit_fp_btest. All reported
3331 2008-10-09 Paolo Bonzini <bonzini@gnu.org>
3333 * lightning/ppc/funcs.h (jit_flush_code): Subtract 1 from end.
3334 Reported by Eli Barzilay and Matthew Flatt.
3336 2008-08-23 Nix <nix@esperi.org.uk>
3338 * lightning/i386/Makefile.frag: fp-32.h and fp-64.h are target files.
3340 2008-07-02 Laurent Michel <ldm@engr.uconn.edu>
3342 * lightning/ppc/funcs.h (jit_flush_code): modified the computation
3343 of start/end. The pointer arithmetic was done without casting. It
3344 prevented compilation with recent gcc versions.
3345 * lightning/ppc/core.h (jit_pushr_i): The offset for the store was
3346 incorrect. Should have been 4 bytes below SP (not above).
3347 * lightning/ppc/core.h (jit_popr_i): The offset for the load was
3348 incorrect. Should have been 0 (not +8).
3350 2008-06-17 Paolo Bonzini <bonzini@gnu.org>
3352 * lightning/i386/asm-64.h: Forward IMULQir to IMULQirr,
3353 fix REXQ order for IMULQirr.
3355 2008-06-17 Paolo Bonzini <bonzini@gnu.org>
3357 * lightning/i386/core.h: Fix _rN vs. _rR.
3359 2008-06-16 Paolo Bonzini <bonzini@gnu.org>
3361 * lightning/i386/core.h: Use jit_save in jit_replace. Move JIT_R
3363 * lightning/i386/core-32.h: ... here; define jit_save so that
3364 the core.h has no effect on the 32-bit backend.
3365 * lightning/i386/core-64.h: Place JIT_R1/JIT_R2 in R10/R11,
3366 place outgoing arguments in the right spot from the beginning,
3367 define jit_save, fix jit_reg8/jit_reg16.
3369 2008-06-15 Paolo Bonzini <bonzini@gnu.org>
3371 * lightning/i386/core-64.h: Rewrite argument passing to
3372 support up to 6 arguments and generate less code.
3374 2008-06-14 Laurent Michel <ldm@thorgal.homelinux.org>
3376 * lightning/i386/core-64.h (jit_movi_l): When the operand is 0,
3377 the XOR should be on a quadword.
3378 * lightning/i386/core-64.h (jit_prolog): Keep 16-byte stack
3380 (jit_ret): Always use LEAVE.
3382 2008-06-13 Laurent Michel <ldm@thorgal.homelinux.org>
3384 * lightning/i386/core-64.h: Add (void) casts for C++ compatibility.
3385 * lightning/i386/asm.h: Likewise.
3387 2008-06-12 Paolo Bonzini <bonzini@gnu.org>
3389 * lightning/i386/core.h: Move JIT_V definition...
3390 * lightning/i386/core-32.h: ... here.
3391 * lightning/i386/core-64.h: ... and here. Avoid dancing between
3392 RSI/RDI and R12/R13, and place JIT_V1/JIT_V2 in R12/R13.
3394 2008-06-11 Paolo Bonzini <bonzini@gnu.org>
3396 * build-aux/lightning.m4: Adjust LIGHTNING_BACKENDS, don't
3397 use suffix support to distinguish i386/x86_64.
3398 * lightning/i386/Makefile.frag: Use LIGHTNING_TARGET_FILES
3399 to distribute *-32.h and *-64.h files now.
3400 * lightning/i386/asm-i386: Moved to...
3401 * lightning/i386/asm.h: Include the appropriate subtarget file.
3402 * lightning/i386/core-i386: Moved to...
3403 * lightning/i386/core.h: Include the appropriate subtarget file.
3404 * lightning/i386/fp.h: New, include the appropriate subtarget file.
3405 * lightning/i386/asm-32: Do not include asm-i386.h.
3406 * lightning/i386/asm-64.h: Likewise.
3407 * lightning/i386/core-32: Do not include core-i386.h.
3408 * lightning/i386/core-64.h: Likewise.
3409 * lightning/Makefile.am: Adjust for renamed files.
3411 * configure.ac: Define LIGHTNING_TARGET here.
3412 * opcode/disass.c: Change list of valid LIGHTNING_TARGET values.
3414 * lightningize.in: Robustify against missing subtarget files.
3416 2008-06-11 Paolo Bonzini <bonzini@gnu.org>
3418 * lightning/i386/core-32.h: Use MOVLir instead of jit_movi_l
3419 to implement jit_movi_p.
3421 2008-06-11 Paolo Bonzini <bonzini@gnu.org>
3423 * lightning/i386/core-32.h: Use separate __APPLE__ and SysV
3424 prolog/ret macros. Subtract 12 bytes in __APPLE__ case to
3425 keep stack aligned, and always use LEAVE in the epilog.
3427 2008-06-11 Paolo Bonzini <bonzini@gnu.org>
3429 * lightning/i386/core-i386.h: Fix C++ incompatibility.
3431 2008-06-10 Laurent Michel <ldm@engr.uconn.edu>
3433 * lightning/i386/core-i386.h: Fix jit_replace8 for
3434 case when one of the operands is _EAX.
3436 2008-05-19 Paolo Bonzini <bonzini@gnu.org>
3438 * tests/run-test: Avoid CRLF issues on mingw.
3440 2008-03-21 Paolo Bonzini <bonzini@gnu.org>
3442 * lightning/i386/core-64.h: Fix jit_{ld,st}{,x}i_{i,l}.
3443 Remove jit_ld{,x}i_ul.
3444 * lightning/core-common.h: Make jit_ld{,x}{i,r}_ul
3445 always a synonym of the _l variant.
3446 * doc/porting.texi: Document this.
3448 2008-03-19 Paolo Bonzini <bonzini@gnu.org>
3450 * lightning/i386/core-64.h: Fix uses of jit_qop_.
3452 2008-03-19 Paolo Bonzini <bonzini@gnu.org>
3454 * lightning/i386/core-64.h: Add boolean operations.
3456 2008-03-19 Paolo Bonzini <bonzini@gnu.org>
3458 * lightning/i386/asm-64.h: Add LEAQmr.
3460 2008-03-19 Paolo Bonzini <bonzini@gnu.org>
3462 * lightning/i386/core-64.h: Misc bugfixes.
3464 2008-03-19 Paolo Bonzini <bonzini@gnu.org>
3466 * lightning/i386/core-i386.c: Remove jit_ldr_i, jit_ldxr_i.
3467 * lightning/i386/core-32.h: Add jit_ldr_i, jit_ldxr_i.
3468 * lightning/i386/core-64.h: Add jit_ld{r,xr,i,xi}_{ui,l,ul};
3469 move jit_ldr_i, jit_ldxr_i, jit_str_l, jit_stxr_l with others.
3471 2008-03-19 Paolo Bonzini <bonzini@gnu.org>
3473 * lightning/asm-common.h: Add _s32P.
3475 2008-03-19 Paolo Bonzini <bonzini@gnu.org>
3477 * lightning/i386/core-64.h: Implement long mul/div/mod.
3479 2008-03-19 Paolo Bonzini <bonzini@gnu.org>
3481 * lightning/i386/asm-i386.h: Cast memory address to long for JCCim.
3483 2008-03-15 Paolo Bonzini <bonzini@gnu.org>
3485 * lightning/asm-common.h: Add underscores around __unused__
3488 2008-03-15 Paolo Bonzini <bonzini@gnu.org>
3490 * lightning/ppc/core.h: Avoid some "value computed is not used"
3492 * lightnings/tests/allocai.c: Silence other warnings.
3494 2008-03-14 Paolo Bonzini <bonzini@gnu.org>
3496 * lightningize.in: Fix some problems (not all).
3498 2008-03-14 Paolo Bonzini <bonzini@gnu.org>
3500 * lightning/i386/core-32.h: Avoid some "value computed is not used"
3501 warnings; reported by Sam Steingold.
3503 2008-03-08 Paolo Bonzini <bonzini@gnu.org>
3505 * lightning/i386/core-32.h: Fix stxr_c(_EAX, _EBX, _ESI).
3507 2008-02-13 Paolo Bonzini <bonzini@gnu.org>
3509 * lightning/i386/asm-32.h: Avoid redefinition of _r1, reported by
3511 * lightning/i386/asm-64.h: Likewise.
3513 2008-02-08 Paolo Bonzini <bonzini@gnu.org>
3515 * lightning/i386/asm-i386.h: Don't define _VOID, reported
3518 2008-02-03 Paolo Bonzini <bonzini@gnu.org>
3520 * build-aux/lightning.m4: Add --with-lightning-prefix option, suggested
3523 2008-01-14 Paolo Bonzini <bonzini@gnu.org>
3525 * lightning/i386/core-64.h: Use CALLsr, not CALLLsr.
3527 2008-01-13 Paolo Bonzini <bonzini@gnu.org>
3529 * lightning/i386/core-i386.h: Move jit_calli and jit_callr...
3530 * lightning/i386/core-32.h: ... here.
3531 * lightning/i386/core-64.h: Redefine them.
3533 2008-01-05 Paolo Bonzini <bonzini@gnu.org>
3535 * lightning/i386/fp-32.h: Fix sub(a,0,a).
3536 * lightning/tests/3to2.c: Add new testcases.
3537 * lightning/tests/3to2.ok: Add new testcases.
3539 2008-01-02 Paolo Bonzini <bonzini@gnu.org>
3541 * lightning/i386/fp-32.h: Fix sub(a,b,a) with a ~= JIT_FPR0.
3542 * lightning/tests/3to2.c: New.
3543 * lightning/tests/3to2.ok: New.
3545 2007-11-07 Paolo Bonzini <bonzini@gnu.org>
3547 * opcode/Makefile.am: Fix AM_CPPFLAGS.
3549 2007-08-12 Paolo Bonzini <bonzini@gnu.org>
3551 * lightning/i386/core-i386.h: Improve encoding of set* instructions.
3552 * lightning/i386/core-64.h: Fix jit_bra_l.
3553 * tests/sete.c: New.
3554 * tests/sete.ok: New.
3556 2007-06-29 Paolo Bonzini <bonzini@gnu.org>
3558 * tests/bp.c: Upgrade to GPL/LGPLv3.
3559 * lightning/i386/asm-32.h: Upgrade to GPL/LGPLv3.
3560 * lightning/i386/asm-64.h: Upgrade to GPL/LGPLv3.
3561 * lightning/i386/core-32.h: Upgrade to GPL/LGPLv3.
3562 * lightning/i386/core-64.h: Upgrade to GPL/LGPLv3.
3563 * lightning/i386/fp-64.h: Upgrade to GPL/LGPLv3.
3564 * lightning/sparc/asm.h: Upgrade to GPL/LGPLv3.
3565 * lightning/sparc/core.h: Upgrade to GPL/LGPLv3.
3566 * lightning/sparc/fp.h: Upgrade to GPL/LGPLv3.
3567 * lightning/sparc/funcs.h: Upgrade to GPL/LGPLv3.
3568 * lightning/i386/asm-i386.h: Upgrade to GPL/LGPLv3.
3569 * lightning/i386/core-i386.h: Upgrade to GPL/LGPLv3.
3570 * lightning/i386/fp-32.h: Upgrade to GPL/LGPLv3.
3571 * lightning/i386/funcs.h: Upgrade to GPL/LGPLv3.
3572 * lightning/ppc/asm.h: Upgrade to GPL/LGPLv3.
3573 * lightning/ppc/core.h: Upgrade to GPL/LGPLv3.
3574 * lightning/ppc/fp.h: Upgrade to GPL/LGPLv3.
3575 * lightning/ppc/funcs.h: Upgrade to GPL/LGPLv3.
3576 * lightning.h: Upgrade to GPL/LGPLv3.
3577 * tests/add.c: Upgrade to GPL/LGPLv3.
3578 * tests/fib.c: Upgrade to GPL/LGPLv3.
3579 * tests/testfp.c: Upgrade to GPL/LGPLv3.
3580 * tests/fibdelay.c: Upgrade to GPL/LGPLv3.
3581 * tests/fibit.c: Upgrade to GPL/LGPLv3.
3582 * tests/funcfp.c: Upgrade to GPL/LGPLv3.
3583 * tests/incr.c: Upgrade to GPL/LGPLv3.
3584 * tests/printf.c: Upgrade to GPL/LGPLv3.
3585 * tests/printf2.c: Upgrade to GPL/LGPLv3.
3586 * tests/rpn.c: Upgrade to GPL/LGPLv3.
3587 * tests/rpnfp.c: Upgrade to GPL/LGPLv3.
3588 * lightning/asm-common.h: Upgrade to GPL/LGPLv3.
3589 * lightning/core-common.h: Upgrade to GPL/LGPLv3.
3590 * lightning/fp-common.h: Upgrade to GPL/LGPLv3.
3591 * lightning/funcs-common.h: Upgrade to GPL/LGPLv3.
3592 * opcode/dis-buf.c: Upgrade to GPL/LGPLv3.
3593 * opcode/disass.c: Upgrade to GPL/LGPLv3.
3594 * opcode/i386-dis.c: Upgrade to GPL/LGPLv3.
3595 * opcode/sparc-dis.c: Upgrade to GPL/LGPLv3.
3596 * opcode/sparc-opc.c: Upgrade to GPL/LGPLv3.
3597 * lightningize.in: Upgrade to GPL/LGPLv3.
3598 * opcode/bfd.h: Upgrade to GPL/LGPLv3.
3599 * opcode/i386.h: Upgrade to GPL/LGPLv3.
3600 * opcode/sparc.h: Upgrade to GPL/LGPLv3.
3602 2007-01-26 Thomas Girard <thomas.g.girard@free.fr>
3604 * lightning/Makefile.am: Add clean-local target.
3606 2006-12-02 Paolo Bonzini <bonzini@gnu.org>
3608 * lightning/i386/asm-i386.h: Add CVTTS?2SIL.
3609 * lightning/i386/asm-64.h: Add CVTTS?2SIQ.
3610 * lightning/i386/fp-64.h: Use it.
3612 * lightning/Makefile.am: Place files in nodist_lightning_HEADERS.
3614 2006-11-23 Paolo Bonzini <bonzini@gnu.org>
3616 * lightning/core-common.h: Add casts in "*i_p" variants.
3617 * lightning/i386/asm-32.h: Add _r1.
3618 * lightning/i386/asm-64.h: Likewise, and add SSE instructions.
3619 * lightning/i386/asm-i386.h: Merge SSE instructions from Gwenole.
3620 Use short form for 16-bit AX instructions. Remove _r1
3621 * lightning/i386/core-64.h: Add FP ABI support in its infancy.
3622 * lightning/i386/core-i386.h: Move jit_arg_f and jit_arg_d...
3623 * lightning/i386/core-32.h: ... and jit_prepare_f and jit_prepare_d...
3624 * lightning/i386/fp-32.h: ... here.
3625 * lightning/i386/fp-64.h: Write the code.
3626 * lightning/sparc/fp.h: Fix jit_extr_{f_d,d_f} register order.
3628 2006-11-22 Paolo Bonzini <bonzini@gnu.org>
3630 * lightning/i386/asm-i386.h: Move x86-64 instructions...
3631 * lightning/i386/asm-64.h: ... here.
3632 * lightning/i386/fp-32.h: Fix bugfixes worked around in froofyJIT.
3634 * lightning/sparc/fp.h: Likewise.
3635 * lightning/ppc/fp.h: Likewise.
3636 * lightning/fp-common.h: Adjust for JIT_FPRET.
3637 * tests/funcfp.c: Adjust for JIT_FPRET.
3638 * tests/rpnfp.c: Adjust for JIT_FPRET.
3640 2006-11-20 Paolo Bonzini <bonzini@gnu.org>
3642 * lightning/i386/asm-i386.h: Add an underscore to macros without
3645 2006-11-20 Paolo Bonzini <bonzini@gnu.org>
3647 * lightning/i386/core-i386.h: Move jit_movip, jit_check8, jit_reg8,
3648 jit_reg16, jit_movbrm...
3649 * lightning/i386/core-32.h: ... here.
3650 * lightning/i386/core-64.h: Redefine them. Fix other bugs.
3652 * tests/printf.c: Do not do a varargs call.
3654 2006-11-20 Paolo Bonzini <bonzini@gnu.org>
3656 * lightning/i386/asm-i386.h: Check in rewrite from Basilisk II.
3657 * lightning/i386/asm-32.h: Adjust.
3658 * lightning/i386/asm-64.h: Adjust.
3659 * lightning/i386/fp-32.h: Adjust.
3661 * lightning/i386/core-32.h: Adjust. Add jit_{ld,ldx,st,stx}i*.
3662 * lightning/i386/core-64.h: Adjust. Add jit_{ld,ldx,st,stx}i*.
3663 * lightning/i386/core-i386.h: Adjust. Remove these patterns.
3665 2006-11-20 Paolo Bonzini <bonzini@gnu.org>
3667 * lightning/i386/asm-i386.h: Merge 64-bit cleanliness changes from
3670 * lightning/i386/asm-64.h: Likewise.
3672 2006-11-20 Paolo Bonzini <bonzini@gnu.org>
3673 Ludovic Courtes <ludo@chbouib.org>
3675 * lightning/i386/core-32.h: Disable jit_push and jit_pop if stack not
3677 * lightning/i386/core-64.h: Disable jit_push and jit_pop if stack not
3679 * lightning/sparc/core.h: Merge final implementation of jit_pushr and
3681 * lightning/ppc/core.h: Fix implementation of jit_pushr and jit_popr to
3682 work (more or less) across function calls.
3684 * tests/push-pop.c, tests/push-pop.ok: New test.
3685 * tests/Makefile.am: Run it.
3687 2006-11-20 Paolo Bonzini <bonzini@gnu.org>
3689 * lightning/asm-common.h: Make 64-bit safe.
3690 * lightning/i386/funcs.h: Make 64-bit safe.
3692 * lightning/i386/asm-64.h: More merge from mzscheme.
3693 * lightning/i386/asm-i386.h: More merge from mzscheme.
3694 * lightning/i386/core-32.h: More merge from mzscheme.
3695 * lightning/i386/core-64.h: More merge from mzscheme.
3696 * lightning/i386/core-i386.h: More merge from mzscheme.
3698 * tests/rpnfp.c, tests/testfp.c, tests/funcfp.c: Skip if no
3699 floating-point support.
3701 2006-11-04 Paolo Bonzini <bonzini@gnu.org>
3703 * tests/rpn.c: Remove pushr/popr.
3705 2006-11-04 Paolo Bonzini <bonzini@gnu.org>
3707 * lightning/ppc/core.h: Implement jit_allocai, define JIT_FP to be R1.
3708 * lightning/ppc/funcs.h: Store frame size into _jitl. Store R1 before
3709 the STMW, so that the offset is unchanged when we patch the STMW.
3710 * lightning/i386/core.h: Define JIT_FP to be EBP.
3711 * lightning/i386/core-32.h: Implement jit_allocai, put LEAVE in the
3712 epilog if jit_allocai was used.
3713 * lightning/i386/core-64.h: Implement jit_allocai, put LEAVE in the
3714 epilog if jit_allocai was used.
3716 2006-11-04 Ludovic Courtes <ludo@chbouib.org>
3718 * lightning/sparc/core.h: Implement jit_allocai.
3719 * tests/allocai.c: New.
3720 * tests/Makefile.am: Point to new tests.
3722 2006-11-03 Paolo Bonzini <bonzini@gnu.org>
3724 * lightning/ppc/core.h: Fix jit_bms using BNE rather than BGT.
3725 "AND." does signed comparisons.
3727 2006-10-31 Paolo Bonzini <bonzini@gnu.org>
3729 * doc/porting.texi: Rename JIT_FP to JIT_AP.
3730 * lightning/core-common.h: Likewise.
3731 * lightning/i386/core-i386.h: Likewise.
3732 * lightning/fp-common.h: Provide default versions of jit_getarg_[fd].
3733 * lightning/i386/fp-32.h: Don't provide jit_getarg_[fd].
3734 * lightning/ppc/fp.h: Likewise.
3736 2006-10-31 Ludovic Courtes <ludo@chbouib.org>
3738 * doc/using.texi (The instruction set): Clarified the use of `JIT_RET' and
3739 documented `jit_retval'.
3740 * tests/ret.c (generate_function_proxy): After `jit_finish', use
3741 `jit_retval_i' to move FUNC's return value into the correct register.
3743 2006-10-31 Paolo Bonzini <bonzini@gnu.org>
3744 Ludovic Courtes <ludo@chbouib.org>
3746 * tests/divi.c, tests/divi.ok, tests/movi.c, tests/movi.ok: New.
3747 * tests/ldxi.c: Ensure large pointer is generated.
3748 * tests/Makefile.am: Point to new tests.
3749 * lightning.h: Include funcs-common.h before funcs.h.
3750 * lightning/sparc/core.h: Fix bugs in modi/divi.
3752 2006-10-30 Paolo Bonzini <bonzini@gnu.org>
3754 * lightning/Makefile.am: Use "ln -sf".
3755 * lightning/core-common.h: Define jit_negr_l if necessary.
3757 2006-10-30 Paolo Bonzini <bonzini@gnu.org>
3759 * lightning/i386/asm.h (MOVS*, MOVZ*): Use correct _r[124] macros.
3761 2006-10-29 Paolo Bonzini <bonzini@gnu.org>
3763 * configure.ac: Use lightning.m4 macros.
3764 * lightning.m4: Refactor to use common code in configure.ac. Move...
3765 * build-aux/lightning.m4: ... here.
3766 * lightningize.in: Support suffixes.
3767 * opcode/disass.in: Adapt to changes in configure.ac.
3769 * lightning/ppc/funcs.h: Use __APPLE__ instead of _CALL_DARWIN.
3770 * lightning/i386/core-32.h: Likewise.
3772 2006-10-26 Paolo Bonzini <bonzini@gnu.org>
3774 * configure.ac: Fix compilation test.
3775 * lightning/Makefile.am: Symlink LIGHTNING_TARGET_FILES in
3776 non-distribution mode.
3777 * lightning/i386/Makefile.frag: Use LIGHTNING_TARGET_FILES.
3779 2006-10-26 Paolo Bonzini <bonzini@gnu.org>
3781 * configure.ac: Subst cpu.
3782 * lightning/core-common.h: Make tests pass on i386.
3783 * lightning/i386/asm-32.h: Make tests pass on i386.
3784 * lightning/i386/asm-64.h: Make tests pass on i386.
3785 * lightning/i386/asm-i386.h: Make tests pass on i386.
3786 * lightning/i386/core-32.h: Make tests pass on i386.
3787 * lightning/i386/core-64.h: Make tests pass on i386.
3788 * lightning/i386/core-i386.h: Make tests pass on i386.
3789 * tests/Makefile.am: Include files from cpu directory.
3791 2006-10-26 Paolo Bonzini <bonzini@gnu.org>
3793 * lightning/i386/asm.h: Move to asm-i386.h
3794 * lightning/i386/asm-32.h: New, from Matthew Flatt.
3795 * lightning/i386/asm-64.h: New, from Matthew Flatt.
3796 * lightning/i386/core.h: Move to core-i386.h
3797 * lightning/i386/core-32.h: New, from Matthew Flatt.
3798 * lightning/i386/core-64.h: New, from Matthew Flatt.
3799 * lightning/i386/fp.h: Move to fp-32.h
3800 * lightning/i386/fp-64.h: New, dummy.
3801 * lightning/i386/Makefile.frag: New.
3802 * lightning/Makefile.am: Support per-target Makefile fragments.
3803 * configure.ac: Support per-target Makefile fragments and CPU suffixes.
3805 2006-10-16 Paolo Bonzini <bonzini@gnu.org>
3807 * lightning/i386/i386.h (jit_flush_code): Fix syntax error. :-(
3809 2006-07-06 Paolo Bonzini <bonzini@gnu.org>
3810 Ludovic Courtes <ludovic.courtes@laas.fr>
3812 * doc/using.texi: Clarify "Using autoconf" section
3813 and rename it to "Bundling lightning"
3814 * lightning.m4: Work also if lightning is not bundled.
3816 2006-07-06 Paolo Bonzini <bonzini@gnu.org>
3817 Ludovic Courtes <ludovic.courtes@laas.fr>
3819 * lightning/ppc/core.h (_jit_mod): Replace with...
3820 (_jit_mod_big, _jit_mod_small): ... these.
3821 (jit_modi_i, jit_modi_ui): Rewrite.
3822 * tests/modi.c, tests/modi.ok: New tests.
3824 2006-05-18 Matthew Flatt <mflatt@cs.utah.edu>
3826 * lightning/i386/asm.h: Fix test for extending the mprotect area
3827 towards lower addresses.
3829 2006-05-16 Bruno Haible <bruno@clisp.org>
3831 * lightning/asm-common.h: Don't use __func__ nor __FUNCTION__ if
3832 not compiling with GNU C.
3834 2006-02-16 Paolo Bonzini <bonzini@gnu.org>
3836 * lightning/ppc/core.h: Fix jit_ldxi_* with big displacement.
3838 2006-01-23 Paolo Bonzini <bonzini@gnu.org>
3840 * configure.ac: Fix comments in config.h.in.
3842 2005-11-25 Paolo Bonzini <bonzini@gnu.org>
3844 * lightning/sparc/fp.h: Fix header comment.
3845 * lightning/ppc/fp.h: Fix header comment.
3847 2005-04-27 Paolo Bonzini <bonzini@gnu.org>
3849 * lightning/i386/asm.h (JCm, JCSm, JNCm, JNCSm): New.
3851 2004-11-26 Paolo Bonzini <bonzini@gnu.org>
3853 * lightning/ppc/funcs.h (_jit_epilog): Remove unused variable.
3855 2004-11-13 Paolo Bonzini <bonzini@gnu.org>
3857 * lightning/i386/funcs.h [__linux__]: Include sys/mman.h.
3859 2004-11-09 Paolo Bonzini <bonzini@gnu.org>
3861 * lightning/sparc/fp.h: Fix fp-to-integer conversions.
3862 * lightning/ppc/testfp.c: Test fp-to-integer conversions
3864 * lightning/ppc/testfp.ok: Adjust for the above.
3866 2004-11-08 Paolo Bonzini <bonzini@gnu.org>
3868 * lightning/ppc/testfp.c: Always flush code before
3871 2004-11-08 Paolo Bonzini <bonzini@gnu.org>
3873 * lightning/ppc/fp.h: Do not clobber f31.
3875 2004-11-08 Paolo Bonzini <bonzini@gnu.org>
3877 * lightning.h: New name of...
3878 * lightning-inst.h: ... this file.
3879 * lightning.h.in: Removed.
3881 * opcodes/disass.c: Include config.h.
3882 * tests/add.c: Include config.h.
3883 * tests/bp.c: Include config.h.
3884 * tests/fib.c: Include config.h.
3885 * tests/fibdelay.c: Include config.h.
3886 * tests/fibit.c: Include config.h.
3887 * tests/funcfp.c: Include config.h.
3888 * tests/incr.c: Include config.h.
3889 * tests/printf.c: Include config.h.
3890 * tests/printf2.c: Include config.h.
3891 * tests/rpn.c: Include config.h.
3892 * tests/rpnfp.c: Include config.h.
3893 * tests/testfp.c: Include config.h.
3895 2004-10-12 Paolo Bonzini <bonzini@gnu.org>
3897 * lightning/i386/fp.h: Fix bugs in conditional branches.
3899 2004-10-10 Paolo Bonzini <bonzini@gnu.org>
3901 * lightning/i386/funcs.h: Fix pasto in jit_flush_code.
3903 2004-10-08 Paolo Bonzini <bonzini@gnu.org>
3905 * lightning/ppc/fp.h: Optimized conditional branches.
3907 2004-09-20 Paolo Bonzini <bonzini@gnu.org>
3909 * lightning/ppc/asm.h: Fix more typos.
3911 2004-09-20 Paolo Bonzini <bonzini@gnu.org>
3913 * lightning/ppc/asm.h: Fix typos, replace `26' with JIT_AUX.
3915 2004-09-20 Paolo Bonzini <bonzini@gnu.org>
3917 * lightning/ppc/fp.h: Added conditional branches.
3919 2004-09-18 Laurent Michel <ldm@thorgal.homelinux.org>
3921 * lightning/ppc/fp.h (jit_unler_d, jit_unltr_d, jit_unger_d,
3922 jit_ungtr_d, jit_ltgt_d, jit_uneq_d): Implemented missing tests
3923 to fully support testfp.
3924 (jit_floorr_d_i, jit_ceilr_d_i, jit_roundr_d_i, jit_truncr_d_i):
3926 * lightning/ppc/asm.h: Added missing opcodes FCTIWZ and MTFSFI.
3927 * lightning/ppc/funcs.h (_jit_prolog): Fixed minor mistake in
3928 the initialization of _jitl.nextarg_geti, relying on the
3929 JIT_AUX macro as well to get the register offset.
3931 2004-09-07 Paolo Bonzini <bonzini@gnu.org>
3933 * lightning/ppc/funcs.h: Fix typo.
3935 2004-09-06 Paolo Bonzini <bonzini@gnu.org>
3937 * tests/funcfp.c: Use %g. Remove C99 variable declarations.
3938 * tests/testfp.c: Don't use __builtin_nan.
3940 * lightning/ppc/core.h: Add three V registers.
3941 * lightning/ppc/funcs.h: Adjust.
3943 * lightning/sparc/core.h: Some fixes related to FP argument passing.
3944 Move R0 to %g2, use %o7 for JIT_BIG2.
3945 * lightning/sparc/fp.h: Some fixes related to FP argument passing.
3947 2004-09-02 Paolo Bonzini <bonzini@gnu.org>
3949 * lightning/sparc/core.h: Add another V register,
3952 2004-07-15 Paolo Bonzini <bonzini@gnu.org>
3954 * lightning/i386/funcs.h: Implement jit_flush_code,
3955 in order to support Fedora's exec-shield.
3957 2004-07-14 Paolo Bonzini <bonzini@gnu.org>
3959 * lightning/core-common.h: Add more jit_extr_*_* macros.
3960 * lightning/doc/using.texi: Be clearer about the order
3961 of arguments in jit_extr_*_*.
3962 * lightning/doc/porting.texi: Add more jit_extr_*_* macros.
3963 * lightning/i386/fp.h: Fix typo in jit_extr_i_d.
3965 2004-07-14 Paolo Bonzini <bonzini@gnu.org>
3967 * lightning/ppc/funcs.h: Adjust offset of LR into
3968 stack frame if running under the Darwin ABI.
3970 2004-07-13 Paolo Bonzini <bonzini@gnu.org>
3972 * lightning/i386/fp.h: Rename jit_exti_d to jit_extr_i_d.
3974 2004-07-13 Paolo Bonzini <bonzini@gnu.org>
3976 * lightning/ppc/core.h: Fix thinko.
3978 * lightning/i386/core.h: Fix jit_lti_ui.
3979 * lightning/core-common.h: Add missing macros.
3981 * lightning/ppc/fp.h: Rename jit_neg_* to jit_negr_*.
3982 * lightning/i386/fp.h: Rename jit_neg_* to jit_negr_*.
3983 * lightning/sparc/fp.h: Rename jit_neg_* to jit_negr_*.
3984 * lightning/fp-common.h: Rename jit_neg_* to jit_negr_*.
3985 * doc/porting.texi: Add undocumented macros.
3987 2004-07-12 Paolo Bonzini <bonzini@gnu.org>
3989 * doc/porting.texi: Add missing macros.
3991 2004-07-12 Paolo Bonzini <bonzini@gnu.org>
3993 * lightning/ppc/funcs.h: Don't generate trampolines.
3994 Separate prolog and epilog generation.
3995 * lightning/ppc/core.h: Generate epilog explicitly.
3996 Don't reserve r31 anymore.
3997 * lightning/core-common.h: Remove call to jit_setup_code.
3999 2004-07-09 Paolo Bonzini <bonzini@gnu.org>
4001 * lightning/lightning.h.in: Avoid preprocessor warnings.
4002 * lightning/lightning-inst.h: Likewise.
4004 * lightning/i386/core.h: Define JIT_R, JIT_R_NUM, JIT_V,
4006 * lightning/ppc/core.h: Likewise.
4007 * lightning/sparc/core.h: Likewise.
4008 * lightning/i386/fp.h: Define JIT_FPR, JIT_FPR_NUM.
4009 * lightning/ppc/fp.h: Likewise.
4010 * lightning/sparc/fp.h: Likewise.
4011 * lightning/core-common.h: Define fixed register names.
4012 * lightning/fp-common.h: Likewise for FP regs.
4014 2004-07-09 Paolo Bonzini <bonzini@gnu.org>
4016 * lightning/ppc/funcs.h: Fix location where return address
4018 * lightning/i386/asm.h: Add a trailing _ to opcodes without
4020 * lightning/i386/core.h: Adjust for the above.
4022 2004-04-15 Paolo Bonzini <bonzini@gnu.org>
4024 * lightning/i386/fp.h: Change "and" to "_and"
4025 to satisfy C++ compilers.
4027 2004-04-14 Paolo Bonzini <bonzini@gnu.org>
4029 * lightning/sparc/fp.h: Use memcpy to implement jit_movi.
4030 * lightning/ppc/fp.h: Use memcpy to implement jit_movi.
4031 Move floating-point opcodes...
4032 * lightning/ppc/asm.h: ... here.
4034 2004-04-14 Paolo Bonzini <bonzini@gnu.org>
4036 * lightning/core-common.h: Add jit_finishr.
4037 * lightning/ppc/core.h: Add jit_callr and jit_finishr.
4038 * lightning/i386/core.h: Add jit_callr.
4039 * lightning/sparc/core.h: Add jit_callr. Fix typo.
4041 2004-04-14 Paolo Bonzini <bonzini@gnu.org>
4043 * lightning/i386/core.h: Fix pasto in jit_b*_ui.
4045 2004-03-30 Laurent Michel
4047 * lightning/ppc: Implement PowerPC floating point
4048 (ChangeLog entry missing).
4050 2004-03-12 Paolo Bonzini <bonzini@gnu.org>
4052 * lightning/fp-common.h: Load/store macros are not the
4053 same for floats and doubles anywhere, but jit_retval may be.
4054 * lightning/i386/asm.h: Fix = mistaken for == in ESCrri.
4055 * lightning/i386/core.h: Fix typo in jit_prepare_[fd].
4056 * lightning/i386/fp.h: Rewritten.
4057 * tests/testfp.c: Add tests for unordered comparisons.
4058 * tests/testfp.ok: Add results.
4060 2004-03-15 Paolo Bonzini <bonzini@gnu.org>
4062 Merge changes from Laurent Michel.
4064 * lightning/asm-common.h: Add _jit_I_noinc.
4065 * lightning/core-common.h: Support jit_init,
4066 jit_setup_code, jit_patch_at. Return patchable IP from
4068 * lightning/funcs-common.h: Provide defaults
4069 for jit_setup_code, jit_start_pfx, jit_end_pfx
4070 * lightning/i386/core.h: Add jit_patch_at, jit_patch_movi.
4071 * lightning/ppc/core.h: Likewise.
4072 * lightning/sparc/core.h: Likewise.
4073 * lightning/ppc/asm.h: Fix generation of branch destination
4074 displacements in _FB and _BB
4075 * lightning/ppc/core.h: Generate trampolines in the user
4077 * lightning/ppc/funcs.h: Add a few casts.
4078 * tests/bc.c: New testcase.
4080 * lightning/i386/asm.h: Wrap into #ifndef LIGHTNING_DEBUG.
4081 * lightning/ppc/asm.h: Wrap into #ifndef LIGHTNING_DEBUG.
4082 * lightning/sparc/asm.h: Wrap into #ifndef LIGHTNING_DEBUG.
4085 2004-03-09 Paolo Bonzini <bonzini@gnu.org>
4087 * lightning/sparc/fp.h: Rewrite. Move macros for
4088 FP code generation...
4089 * lightning/sparc/asm.h: ... here.
4090 * lightning/sparc/core.h: Rename jit_prepare to
4091 jit_prepare_i, jit_retval to jit_retval_i.
4092 * lightning/ppc/core.h: Rename jit_prepare to
4093 jit_prepare_i, jit_retval to jit_retval_i.
4094 * lightning/i386/core.h: Rename jit_prepare to
4095 jit_prepare_i, jit_retval to jit_retval_i.
4096 * lightning/core-common.h: Provide backwards
4097 compatible synonyms for the above.
4098 * lightning/fp-common.h: Rewrite.
4099 * lightning-inst.h: Include fp unconditionally.
4100 * lightning.h.in: Include fp unconditionally.
4101 * tests/Makefile.am: Enable fp tests.
4102 * tests/fib.c: Use jit_retval_i.
4103 * tests/fibit.c: Cast codeBuffer to char *.
4104 * tests/funcfp.c: Use new fp macros.
4105 * tests/printf.c: Use jit_retval_i.
4106 * tests/rpnfp.c: Use new fp macros.
4107 * tests/testfp.c: Use new fp macros.
4109 2004-03-02 Paolo Bonzini <bonzini@gnu.org>
4111 * lightning/i386/core.h: generate correct code when
4112 doing lt/le/ge/etc. on ESI and EDI. Use MOVZX/MOVSX
4114 * lightning/i386/asm.h: Add macros for MOVZX/MOVSX.
4115 Move macros for x87 here, and add many of them.
4116 * lightning/i386/fp.h: Use new macros for x87.
4118 2004-02-06 Paolo Bonzini <bonzini@gnu.org>
4120 * lightning/i386/core.h: avoid generating MOV reg, reg.
4121 * lightning/sparc/core.h: fix several bugs.
4122 * lightning/ppc/core.h: fix several bugs.
4123 * tests/rpn.c: rewritten.
4125 2004-01-08 Paolo Bonzini <bonzini@gnu.org>
4127 * tests/rpnfp.c: new example, suggested by Basile
4129 * tests/rpnfp.ok: new example.
4131 2003-12-12 Paolo Bonzini <bonzini@gnu.org>
4133 * tests/add.c: new test, suggested by Steve Dekorte.
4134 * tests/add.c: new test.
4136 2003-11-14 Paolo Bonzini <bonzini@gnu.org>
4137 John Redford <eirenik@hotmail.com>
4139 * lightning/asm-common.h: change the 'pc' field of _jit to
4140 be a union of various data types, because ISO C99 doesn't
4141 permit using ++ on a = cast. Change the incremented casts of
4142 _jit.pc to be _jit.x.uc_pc, _jit.x.us_pc, etc.
4143 * all files: change all non-cast instances of _jit.pc to be
4145 * lightning/i386/core.h: remove casts from jit_might.
4147 2003-05-25 Paolo Bonzini <bonzini@gnu.org>
4149 * lightning/i386/core.h: use JITSORRY in jit_replace
4150 * lightning/asm-common.h: define JITSORRY
4152 2003-05-14 Paolo Bonzini <bonzini@gnu.org>
4154 * lightning/i386/core.h: fix missing comma in several
4156 * lightning/core-common.h: fix long/unsigned long/pointer
4158 * lightning/ppc/funcs.h: correctly align stack pointer
4160 No changelogs for the assemblers (lightning directory) until 1.0
4162 2003-03-27 Paolo Bonzini <bonzini@gnu.org>
4164 * tests/printf2.c: new test
4166 2001-05-03 Paolo Bonzini <bonzini@gnu.org>
4168 * tests/printf.c: made the message platform independent
4170 2001-01-19 Paolo Bonzini <bonzini@gnu.org>
4172 * configure.in: support cross-assembling
4174 * disass/bfd.h, disass/dis-asm.h, disass/dis-buf.c,
4175 disass/i386-dis.c, disass/i386.h, disass/ppc-dis.c,
4176 disass/ppc.h, disass/ppc-opc.c, disass/sparc-dis.c,
4177 disass/sparc.h, disass/sparc-opc.c: new files, from GDB
4179 * disass/disass.c, disass/Makefile.am: new files
4181 * tests/fib.c, tests/fibit.c, tests/incr.c, tests/printf.c,
4182 tests/rpn.c, tests/testfp.c, tests/Makefile.am: support