deps/lightning/ChangeLog

   1 2021-04-03  Marc Nieper-Wißkirchen  <marc@nieper-wisskirchen.de>
   2
   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.
  12
  13 2021-04-03  Marc Nieper-Wißkirchen  <marc@nieper-wisskirchen.de>
  14
  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.
  18
  19 2021-04-03  Marc Nieper-Wißkirchen  <marc@nieper-wisskirchen.de>
  20
  21         * doc/.gitignore: Add version.texi to list of ignored files.
  22         * doc/version.texi: Remove file from version control.
  23
  24 2020-18-04 Paulo Andrade <pcpa@gnu.org>
  25
  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
  34         optimization.
  35
  36 2020-23-01 Paulo Andrade <pcpa@gnu.org>
  37
  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.
  44
  45 2020-22-01 Paulo Andrade <pcpa@gnu.org>
  46
  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.
  50
  51 2019-10-04 Paulo Andrade <pcpa@gnu.org>
  52
  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.
  57
  58 2019-09-16 Paulo Andrade <pcpa@gnu.org>
  59
  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.
  63
  64 2019-09-16 Marc Nieper-Wißkirchen <marc@nieper-wisskirchen.de>
  65
  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
  68         System V AMD64 ABI.
  69
  70 2019-09-16 Paulo Andrade <pcpa@gnu.org>
  71
  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
  77         generation.
  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
  83         descriptors.
  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.
  94
  95 2019-08-30 Paulo Andrade <pcpa@gnu.org>
  96
  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
 101         * THANKS: update.
 102
 103 2019-08-29 Marc Nieper-Wißkirchen <marc@nieper-wisskirchen.de>
 104
 105         * include/lightning/jit_private.h: Move definition of offsetof
 106         from the public header file here.
 107
 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.
 111
 112 2019-06-04 Paulo Andrade <pcpa@gnu.org>
 113
 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
 117         Fedora 28 image.
 118
 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.
 123
 124 2019-06-04 Paulo Andrade <pcpa@gnu.org>
 125
 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.
 129
 130 2019-06-01 Paulo Andrade <pcpa@gnu.org>
 131
 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
 134         instruction.
 135
 136 2019-06-01 Paulo Andrade <pcpa@gnu.org>
 137
 138         * include/lightning/jit_private.h: Remove no longer need
 139         setmask field of jit_block_t and blockmask from jit_compiler_t.
 140
 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.
 148
 149 2018-12-28 Paulo Andrade <pcpa@gnu.org>
 150
 151         * lib/jit_disasm.c: Release bfd handle. Thanks for patch to
 152         Marc Nieper-Wißkirchen.
 153
 154 2018-08-30 Paulo Andrade <pcpa@gnu.org>
 155
 156         * lib/jit_disasm.c: Add hints to select hppa disassembler.
 157
 158         * lib/jit_hppa-cpu.c: Correct address of vastart when all
 159         argument registers were used as non vararg arguments.
 160
 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).
 165
 166 2018-04-20 Paulo Andrade <pcpa@gnu.org>
 167
 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
 171         operations.
 172         Add new 128 bit jit_regset_t type for sparc64 register set.
 173
 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.
 176
 177         * lib/lightning.c: Update for new jit_regset_t required for sparc64.
 178
 179 2018-02-26 Paulo Andrade <pcpa@gnu.org>
 180
 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.
 186
 187         * lib/jit_names.c, lib/lightning.c: Minor changes for the new
 188         jit_code_va_push.
 189
 190         * check/cva_list.c: Update only test case using jit_va_push, to
 191         pass a va_list to a C function.
 192
 193         doc/body.texi: Better documentation of the varargs interface.
 194
 195         * jit_alpha.c, jit_alpha-cpu.c: Update to properly push a
 196         C va_list and correctly calculate varargs offset.
 197
 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.
 204
 205 2018-02-22 Paulo Andrade <pcpa@gnu.org>
 206
 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
 210         change is required.
 211
 212 2018-02-22 Paulo Andrade <pcpa@gnu.org>
 213
 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
 219         be used.
 220
 221 2018-01-31 Paulo Andrade <pcpa@gnu.org>
 222
 223         * lib/lightning.c: Avoid deep recursions when computing live
 224         register ranges.
 225
 226 2018-01-31 Paulo Andrade <pcpa@gnu.org>
 227
 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
 231         in big-endian.
 232
 233 2017-09-13 Paulo Andrade <pcpa@gnu.org>
 234
 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.
 238
 239 2017-06-09 Paulo Andrade <pcpa@gnu.org>
 240
 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
 245         a live register.
 246
 247 2016-05-05 Paulo Andrade <pcpa@gnu.org>
 248
 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.
 255
 256 2015-11-30 Paulo Andrade <pcpa@gnu.org>
 257
 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
 263         still confusing.
 264
 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.
 268
 269 2015-07-03 Paulo Andrade <pcpa@gnu.org>
 270
 271         * lib/jit_mips-cpu.c: Correct definition of htonr_ul.
 272         Correct prolog/epilog/va* routines to work on o64 abi.
 273
 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
 277         new mips abi.
 278
 279         * lib/jit_mips.c: Correct code to allow creating variadic
 280         jit functions when using the new mips abi.
 281
 282         * lib/jit_rewind.c: Minor adjust for rewind when using
 283         the new mips abi, if there are varargs arguments in
 284         registers.
 285
 286 2015-06-06 Paulo Andrade <pcpa@gnu.org>
 287
 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
 292         va_list abi.
 293
 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
 298         jit functions.
 299
 300         * lib/jit_ia64-sz.c: Update for support to jit variadic
 301         functions.
 302
 303         * lib/jit_ia64.c: Implement proper abi for variadic
 304         jit functions.
 305
 306 2015-06-04 Paulo Andrade <pcpa@gnu.org>
 307
 308         * lib/jit_rewind.c: New file implementing generic functions
 309         to "rewind", or rewrite IR code sequences.
 310
 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.
 315
 316         * include/lightning/jit_private.h: Add several new macros to
 317         help construct synthesized IR code sequences.
 318
 319         * lib/Makefile.am: Update for lib/jit_rewind.c.
 320
 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.
 324
 325         * lib/jit_names.c: Update for the new codes.
 326
 327         * lib/jit_print.c: Update to print more readable output, and
 328         flag synthesized IR code sequences.
 329
 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.
 333
 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.
 340
 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.
 347
 348         * lib/lightning.c: Update for new IR codes, and add support
 349         for not yet existing instructions that change third argument.
 350
 351         * size.c: Change to use different tables for LE and BE PowerPC.
 352         Correct a wrong endif for x32.
 353
 354 2015-05-25 Paulo Andrade <pcpa@gnu.org>
 355
 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.
 358
 359         * check/va_list.ok: New simple helper file, as now the
 360         va_list.tst test is enabled.
 361
 362         * check/va_list.tst: Rewritten for an extensive variadic
 363         jit functions test.
 364
 365         * check/Makefile.am: Update for the new tests.
 366
 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.
 372
 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.
 375
 376 2015-05-24 Paulo Andrade <pcpa@gnu.org>
 377
 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
 389         be added.
 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.
 395
 396 2015-05-24 Paulo Andrade <pcpa@gnu.org>
 397
 398         * lib/jit_aarch64-fpu.c, lib/jit_aarch64.c: Correct base
 399         aarch64 varargs code.
 400
 401 2015-05-24 Paulo Andrade <pcpa@gnu.org>
 402
 403         * check/lightning.c: Clearly run check if clang is the system
 404         compiler.
 405
 406 2015-05-20 Paulo Andrade <pcpa@gnu.org>
 407
 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.
 410
 411 2015-05-20 Paulo Andrade <pcpa@gnu.org>
 412
 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.
 415
 416 2015-05-19 Paulo Andrade <pcpa@gnu.org>
 417
 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.
 420
 421 2015-05-10 Paulo Andrade <pcpa@gnu.org>
 422
 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.
 425
 426 2015-05-10 Paulo Andrade <pcpa@gnu.org>
 427
 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.
 432
 433 2015-05-10 Paulo Andrade <pcpa@gnu.org>
 434
 435         * lib/jit_ia64.c: Implement inline assembly cache flush,
 436         required on multiprocessor systems.
 437
 438 2015-05-06 Paulo Andrade <pcpa@gnu.org>
 439
 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.
 444
 445 2015-05-05 Paulo Andrade <pcpa@gnu.org>
 446
 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.
 449
 450 2015-05-02 Paulo Andrade <pcpa@gnu.org>
 451
 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.
 454
 455 2015-05-01 Paulo Andrade <pcpa@gnu.org>
 456
 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.
 460
 461 2015-04-30 Paulo Andrade <pcpa@gnu.org>
 462
 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.
 466
 467 2015-04-27 Paulo Andrade <pcpa@gnu.org>
 468
 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.
 477
 478         * check/lightning.c: Add wrappers to call the new jit_va_*
 479         interfaces.
 480
 481         * lib/jit_x86-cpu.c, lib/jit_x86.c: Implement the new
 482         jit_va_* for x86.
 483
 484         * lib/jit_x86-sz.c: Add fields, but not yet fully updated,
 485         as this is an intermediate commit.
 486
 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.
 498
 499         * check/va_list.tst: Simple early test case, that works
 500         on x86_64, x32, ix86, cygwin, and cygwin64.
 501
 502 2015-02-17 Paulo Andrade <pcpa@gnu.org>
 503
 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.
 520
 521         * check/allocar.ok, check/allocar.tst: New files
 522         implementing test cases for the new jit_allocar
 523         interface.
 524
 525         * check/Makefile.am, check/lightning.c: Update for
 526         the new test case and interface.
 527
 528         * doc/body.texi: Add documentation of the new
 529         interface.
 530
 531 2015-02-17 Paulo Andrade <pcpa@gnu.org>
 532
 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.
 538
 539 2015-02-16 Paulo Andrade <pcpa@gnu.org>
 540
 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.
 545
 546 2015-02-15 Paulo Andrade <pcpa@gnu.org>
 547
 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.
 552
 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.
 556
 557         check/Makefile.am: Update for the new test case.
 558
 559 2015-02-07 Paulo Andrade <pcpa@gnu.org>
 560
 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.
 567
 568 2015-02-03 Paulo Andrade <pcpa@gnu.org>
 569
 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:
 574                 stxi Im0 Rb0 Rt0
 575                 ldxi Rt1 Rb1 Im1
 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.
 580
 581 2015-02-03 Paulo Andrade <pcpa@gnu.org>
 582
 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:
 587                 stxi Im0 Rb0 Rt0
 588                 stxi Im1 Rb1 Rt1
 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.
 595
 596 2015-02-02 Paulo Andrade <pcpa@gnu.org>
 597
 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.
 608
 609 2015-01-31 Paulo Andrade <pcpa@gnu.org>
 610
 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.
 613
 614 2015-01-19 Paulo Andrade <pcpa@gnu.org>
 615
 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
 621         predicates.
 622
 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.
 627
 628         * doc/Makefile.am: Update for the next test case.
 629
 630 2015-01-17 Paulo Andrade <pcpa@gnu.org>
 631
 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.
 641
 642         * check/carg.c: New test case to check consistency and
 643         expected usage of jit_arg_register_p.
 644
 645         * check/Makefile.am: Update for new test case.
 646
 647 2015-01-17 Paulo Andrade <pcpa@gnu.org>
 648
 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.
 680
 681 2015-01-17 Paulo Andrade <pcpa@gnu.org>
 682
 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*.
 686
 687 2015-01-15 Paulo Andrade <pcpa@gnu.org>
 688
 689         * configure.ac, lib/jit_disasm.c: Rewrite workaround
 690         to apparent problem to initialize powerpc disassembler.
 691
 692 2015-01-15 Paulo Andrade <pcpa@gnu.org>
 693
 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.
 703
 704         * check/put.ok, check/put.tst: New test cases exercising
 705         the new jit_putarg* interface.
 706
 707         * check/Makefile.am, check/lightning.c: Update for the
 708         new test case and interface.
 709
 710 2015-01-08 Paulo Andrade <pcpa@gnu.org>
 711
 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*.
 715
 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.
 720
 721 2015-01-08 Paulo Andrade <pcpa@gnu.org>
 722
 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
 731         offsets.
 732
 733 2014-12-26 Paulo Andrade <pcpa@gnu.org>
 734
 735         * lib/jit_ppc-cpu.c, lib/jit_ppc.c: Correct some endianess issues
 736         on the powerpc le backend.
 737
 738 2014-12-26 Paulo Andrade <pcpa@gnu.org>
 739
 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.
 743
 744 2014-12-26 Paulo Andrade <pcpa@gnu.org>
 745
 746         * lib/jit_arm.c: Better check for need to flush constants
 747         before the pool being no longer reachable.
 748
 749 2014-12-25 Paulo Andrade <pcpa@gnu.org>
 750
 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.
 770
 771 2014-12-24 Paulo Andrade <pcpa@gnu.org>
 772
 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.
 778
 779 2014-12-24 Paulo Andrade <pcpa@gnu.org>
 780
 781         * lib/jit_names.c: Add missing rsbi_f and rsbi_d strings.
 782
 783 2014-12-21 Paulo Andrade <pcpa@gnu.org>
 784
 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.
 789
 790 2014-12-21 Paulo Andrade <pcpa@gnu.org>
 791
 792         * lib/jit_arm.c: Correct check to guard overflow of index
 793         of constants from program counter.
 794
 795 2014-11-24 Paulo Andrade <pcpa@gnu.org>
 796
 797         * lib/lightning.c: Remove an optimization to calee save
 798         registers that may incorrectly remove a jit_movr under
 799         special conditions.
 800
 801 2014-11-20 Paulo Andrade <pcpa@gnu.org>
 802
 803         * include/lightning/jit_ppc.h, lib/jit_ppc-cpu.c,
 804         lib/jit_ppc.c: Add initial powerpc le support.
 805
 806 2014-11-20 Paulo Andrade <pcpa@gnu.org>
 807
 808         * lib/jit_disasm.c: Change thumb or arm disassemble based on
 809         jit code before disassembly.
 810
 811         * lib/jit_arm-cpu.c: Correct reversed arguments to LDRD and
 812         STRD instructions, and correct checking for support of those.
 813
 814         * lib/jit_arm-swf.c: Correct wrong use of LDRD and STRD and
 815         only use those if the register is even.
 816
 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.
 820
 821         * check/Makefile.am: Update for the new test cases.
 822
 823 2014-11-08 Paulo Andrade <pcpa@gnu.org>
 824
 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.
 832
 833 2014-11-08 Paulo Andrade <pcpa@gnu.org>
 834
 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.
 839
 840         * check/Makefile.am: Update for new test case.
 841
 842 2014-11-03 Paulo Andrade <pcpa@gnu.org>
 843
 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.
 849
 850 2014-10-26 Paulo Andrade <pcpa@gnu.org>
 851
 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
 862         backends.
 863
 864 2014-10-26 Paulo Andrade <pcpa@gnu.org>
 865
 866         * lib/jit_x86-cpu.c: Correct a register allocation leak in
 867         _bmsi and _bmci.
 868
 869 2014-10-25 Paulo Andrade <pcpa@gnu.org>
 870
 871         * lib/jit_disasm.c: Do not cause an fatal error if init_jit
 872         fails in the jit_init_debug call.
 873
 874 2014-10-24 Paulo Andrade <pcpa@gnu.org>
 875
 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.
 880
 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).
 888
 889 2014-10-21 Paulo Andrade <pcpa@gnu.org>
 890
 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.
 899
 900 2014-10-18 Paulo Andrade <pcpa@gnu.org>
 901
 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
 907         tested.
 908
 909         * check/Makefile.am: Add range test to make check target.
 910
 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
 913         too large.
 914
 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.
 917
 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.
 921
 922 2014-10-17 Paulo Andrade <pcpa@gnu.org>
 923
 924         * check/alu_rsb.ok, check/alu_rsb.tst: New files implementing
 925         tests for jit_rsb*.
 926
 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
 947         (left operand).
 948
 949 2014-10-17 Paulo Andrade <pcpa@gnu.org>
 950
 951         * lib/jit_names.c: New file with single definition of string
 952         representation of lightning IR codes.
 953
 954         * size.c: Modified to append the code name in a C comment
 955         after the maximum instruction size.
 956
 957         * lib/jit_print.c: Minor change to not duplicate jit_names.c
 958         contents.
 959
 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.
 965
 966 2014-10-14 Paulo Andrade <pcpa@gnu.org>
 967
 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.
 973
 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.
 983
 984         * check/align.ok, check/align.tst: New files, implementing
 985         a simple test for the new jit_align() interface.
 986
 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.
 993
 994 2014-10-13 Paulo Andrade <pcpa@gnu.org>
 995
 996         * include/lightning.h, lib/jit_size.c, size.c: Use a
 997         symbolic value for the last IR code.
 998
 999 2014-10-12 Paulo Andrade <pcpa@gnu.org>
1000
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.
1012
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,
1017         and not vice-versa.
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.
1021
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.
1026
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
1030         prolog.
1031
1032         * check/lightning.c: Update test driver for the new interfaces.
1033
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.
1039
1040         * doc/body.texi: Add documentation for jit_frame and
1041         jit_tramp.
1042
1043 2014-09-29 Paulo Andrade <pcpa@gnu.org>
1044
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);
1055         but now, plain:
1056         jit_patch_abs(jit_jmpi(), addr);
1057         should also work.
1058
1059 2014-09-24 Paulo Andrade <pcpa@gnu.org>
1060
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.
1067
1068 2014-09-24 Paulo Andrade <pcpa@gnu.org>
1069
1070         * check/lightning.c: Add workaround to conflicting global
1071         optind variable in cygwin binutils that have an internal
1072         getopt* implementation.
1073
1074         * lib/jit_x86-cpu.c: Add a simple define ffsl ffs if building
1075         for 32 bit and there is no ffsl function.
1076
1077 2014-09-24 Paulo Andrade <pcpa@gnu.org>
1078
1079         * check/lightning.c: Add a hopefully temporary kludge to not use
1080         sprintf and sscanf returned by dlsym. This is required to pass
1081         the varargs test.
1082
1083         * include/lightning/jit_private.h: Use symbolic name for first
1084         integer register argument, as this is different in sysv and
1085         win64 abi.
1086
1087         * include/lightning/jit_x86.h: Add conditionals and definitions
1088         for Windows x64 (under __CYGWIN__ preprocessor conditional).
1089
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.
1096
1097         * lib/jit_x86-sse.c: Correct a swapped rex prefix for float
1098         operations.
1099
1100         * lib/jit_x86.c: Adjust to support Windows x64 abi.
1101
1102         * check/check.x87.nodata.sh: New file, previously used but that
1103         was missing git.
1104
1105 2014-09-07 Paulo Andrade <pcpa@gnu.org>
1106
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
1112         trusted.
1113
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
1118         save registers.
1119
1120         check/Makefile.am: Update for new jmpr test case.
1121
1122 2014-09-01 Paulo Andrade <pcpa@gnu.org>
1123
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
1127         as possibly live.
1128
1129 2014-08-29 Paulo Andrade <pcpa@gnu.org>
1130
1131         * doc/body.texi: Add a proper info menu entry for
1132         GNU lightning.
1133
1134         * doc/version.texi: Regenerate.
1135
1136 2014-08-16 Paulo Andrade <pcpa@gnu.org>
1137
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.
1155
1156 2014-08-16 Paulo Andrade <pcpa@gnu.org>
1157
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.
1161
1162 2014-08-16 Paulo Andrade <pcpa@gnu.org>
1163
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.
1168
1169         * size.c: Correct typo in the generated jit_arm-sz.c file.
1170
1171 2014-08-10 Paulo Andrade <pcpa@gnu.org>
1172
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
1177         to an Alpha system.
1178
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.
1184
1185 2014-08-10 Paulo Andrade <pcpa@gnu.org>
1186
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
1193         the return value.
1194
1195 2014-08-10 Paulo Andrade <pcpa@gnu.org>
1196
1197         * lib/lightning.c: Change the correct live bitmask of
1198         return registers after a function call in jit_update.
1199
1200 2014-08-10 Paulo Andrade <pcpa@gnu.org>
1201
1202         * lib/lightning.c: Change assertions to have an int
1203         result and correct a bad bit mask assertion.
1204
1205 2014-08-10 Paulo Andrade <pcpa@gnu.org>
1206
1207         * lib/jit_aarch64.c: Correct bad setup for assertion
1208         of consistency before a patch.
1209
1210 2014-08-10 Paulo Andrade <pcpa@gnu.org>
1211
1212         * lib/jit_mips-cpu.c: Correct typo in the jit_bmsr
1213         implementation that was using the wrong test result
1214         register.
1215
1216 2014-07-28 Paulo Andrade <pcpa@gnu.org>
1217
1218         * lib/jit_memory.c: Do not call free on NULL pointers.
1219
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.
1224
1225 2014-07-27 Paulo Andrade <pcpa@gnu.org>
1226
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.
1231
1232 2014-07-27 Paulo Andrade <pcpa@gnu.org>
1233
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.
1237
1238 2014-04-22 Paulo Andrade <pcpa@gnu.org>
1239
1240         * lib/jit_arm.c: Do not get confused with default settings
1241         if /proc is not mounted on Linux specific code path.
1242
1243 2014-04-09 Paulo Andrade <pcpa@gnu.org>
1244
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.
1253
1254 2014-04-05 Paulo Andrade <pcpa@gnu.org>
1255
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.
1259
1260 2014-04-04 Paulo Andrade <pcpa@gnu.org>
1261
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
1267         available.
1268
1269 2014-12-03 Paulo Andrade <pcpa@gnu.org>
1270
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.
1274
1275 2014-12-03 Paulo Andrade <pcpa@gnu.org>
1276
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.
1284
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.
1289
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.
1293
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.
1297
1298         * lib/jit_mips-fpu.c: Implement jit_set_data, but missing
1299         validation on n32 and n64 abis (and/or big endian).
1300
1301         * lib/jit_mips-sz.c: Update for changes in o32.
1302
1303         * lib/jit_ppc-fpu.c: Implement jit_set_data, but missing
1304         validation on Darwin PPC.
1305
1306         * lib/jit_ppc-sz.c: Update for changes in powerpc 32 and
1307         64 bit.
1308
1309         * lib/jit_ia64-fpu.c: Implement untested jit_set_data.
1310
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
1313         to them.
1314
1315         * check/nodata.c: New file implementing a simple test exercising
1316         several different conditions created by jit_set_data().
1317
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.
1323
1324         * configure.ac, check/Makefile.am: Update for the new test
1325         cases.
1326
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
1330         buffer.
1331
1332 2014-11-03 Paulo Andrade <pcpa@gnu.org>
1333
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
1340         the code.
1341
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.
1347
1348         * check/setcode.c: New file implementing some basic tests
1349         of the new jit_set_code() interface.
1350
1351         * check/Makefile.am: Update for newer test case.
1352
1353 2014-06-03 Paulo Andrade <pcpa@gnu.org>
1354
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
1358         an indirect jump.
1359
1360         * doc/body.texi: Document the new jit_indirect() call, and
1361         add examples of different ways to create labels and branches.
1362
1363 2014-23-02 Paulo Andrade <pcpa@gnu.org>
1364
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').
1368
1369 2014-19-02 Paulo Andrade <pcpa@gnu.org>
1370
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.
1376
1377 2014-19-02 Paulo Andrade <pcpa@gnu.org>
1378
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.
1385
1386         * lib/lightning.c: Rewrite jit_regset_scan1 to allow easier
1387         compiler optimization.
1388
1389 2013-12-03 Paulo Andrade <pcpa@gnu.org>
1390
1391         * lib/jit_x86-x87.c: Correct wrong optimization when
1392         loading the log(2) constant.
1393
1394 2013-12-03 Paulo Andrade <pcpa@gnu.org>
1395
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.
1401
1402 2013-12-02 Paulo Andrade <pcpa@gnu.org>
1403
1404         * lib/jit_x86-x87.c: Correct wrong code generation due
1405         to comparing the base and not the value register with
1406         %st(0) in stxi_f.
1407
1408 2013-12-02 Paulo Andrade <pcpa@gnu.org>
1409
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.
1412
1413 2013-11-27 Paulo Andrade <pcpa@gnu.org>
1414
1415         * configure.ac, lib/jit_arm-swf.c, lib/jit_arm.c: Add
1416         changes that should at least allow building lightning
1417         on Apple iOS7.
1418
1419 2013-10-08 Paulo Andrade <pcpa@gnu.org>
1420
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.
1423
1424 2013-10-08 Paulo Andrade <pcpa@gnu.org>
1425
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.
1432
1433 2013-10-08 Paulo Andrade <pcpa@gnu.org>
1434
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.
1438
1439 2013-10-07 Paulo Andrade <pcpa@gnu.org>
1440
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.
1444
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.
1449
1450         * include/lightning/jit_arm.h: Correct wrong jit_f macro
1451         definition.
1452
1453         * include/lightning/jit_ia64.h, include/lightning/jit_ppc.h:
1454         Correct wrong jit_r macro definition.
1455
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.
1465
1466 2013-10-03 Paulo Andrade <pcpa@gnu.org>
1467
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
1471         the 64 bit abi.
1472
1473 2013-10-02 Paulo Andrade <pcpa@gnu.org>
1474
1475         * include/lightning/jit_mips.h: Add proper mips abi detection.
1476
1477 2013-09-30 Paulo Andrade <pcpa@gnu.org>
1478
1479         * lib/jit_print.c: Do not crash if calling jit_print from
1480         gdb before actually emitting code.
1481
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.
1485
1486 2013-09-30 Paulo Andrade <pcpa@gnu.org>
1487
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.
1492
1493 2013-09-28 Paulo Andrade <pcpa@gnu.org>
1494
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).
1501
1502 2013-09-27 Paulo Andrade <pcpa@gnu.org>
1503
1504         * lib/jit_arm.c: Correct build when disassembler is
1505         disabled.
1506
1507 2013-09-25 Paulo Andrade <pcpa@gnu.org>
1508
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
1514         displacement.
1515
1516 2013-09-24 Paulo Andrade <pcpa@gnu.org>
1517
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.
1526
1527         * lib/jit_size.c: New file that aids to either collect
1528         jit code size information, or use the information depending
1529         on build options.
1530
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.
1534
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".
1539
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
1546         size information.
1547
1548 2013-09-14 Paulo Andrade <pcpa@gnu.org>
1549
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.
1556
1557 2013-09-13 Paulo Andrade <pcpa@gnu.org>
1558
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
1564         mapping.
1565
1566 2013-09-11 Paulo Andrade <pcpa@gnu.org>
1567
1568         * doc/body.texi: Correct reversed arguments in example of
1569         usage in a (possibly) multi threaded, multiple jit_state_t
1570         environments.
1571
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
1575         generating code.
1576
1577 2013-09-10 Paulo Andrade <pcpa@gnu.org>
1578
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.
1582
1583         * check/Makefile.am: Update for the new test case.
1584
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
1591         save.
1592
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,
1602         global registers.
1603
1604         * lib/jit_ia64.c: Properly flag the callee save general
1605         purpose registers as such, so that jit_callee_save_p() works
1606         as intended.
1607
1608 2013-09-10 Paulo Andrade <pcpa@gnu.org>
1609
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.
1613
1614 2013-09-10 Paulo Andrade <pcpa@gnu.org>
1615
1616         * lib/jit_s390x-cpu.c: Spill/reload correct callee save
1617         float registers.
1618
1619 2013-09-10 Paulo Andrade <pcpa@gnu.org>
1620
1621         * lib/jit_hppa-cpu.c: Correct code to call a function stored
1622         in a register or a patched function address.
1623
1624 2013-09-10 Paulo Andrade <pcpa@gnu.org>
1625
1626         * lib/jit_ia64-cpu.c: Correct incorrect logic when restoring
1627         the value of the "r2" callee save register.
1628
1629 2013-08-29 Paulo Andrade <pcpa@gnu.org>
1630
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
1635         the previous one.
1636
1637 2013-08-26 Paulo Andrade <pcpa@gnu.org>
1638
1639         * configure.ac: Extend FreeBSD test to also handle NetBSD.
1640
1641         * lib/jit_x86-cpu.c: Correct wrongly defined offset type of
1642         ldxi_ui. Problem detected when building on NetBSD.
1643
1644         * lib/lightning.c: Adjust code to handle NetBSD mremap,
1645         where arguments do not match Linux mremap.
1646
1647 2013-08-26 Paulo Andrade <pcpa@gnu.org>
1648
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.
1652
1653 2013-08-11 Paulo Andrade <pcpa@gnu.org>
1654
1655         * lib/jit_s390x-cpu.c: Correct code checking if immediate
1656         fits instruction, but using the negated value.
1657
1658 2013-07-28 Paulo Andrade <pcpa@gnu.org>
1659
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.
1663
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.
1669
1670         * check/float.tst: Update for the s390x result of
1671         truncating +Inf to integer.
1672
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.
1676
1677 2013-07-28 Paulo Andrade <pcpa@gnu.org>
1678
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.
1682
1683 2013-07-28 Paulo Andrade <pcpa@gnu.org>
1684
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
1688         and not crashing.
1689
1690 2013-07-28 Paulo Andrade <pcpa@gnu.org>
1691
1692         * lib/jit_aarch64.c: Remove unused macros left from cut&paste
1693         of jit_arm.c.
1694
1695 2013-07-16 Paulo Andrade <pcpa@gnu.org>
1696
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.
1701
1702         * check/lightning.c: Add aarch64 support and a small
1703         change to recognize character constants as immediate
1704         values.
1705
1706         * check/float.tst: Add aarch64 preprocessor conditionals
1707         to select proper expected value when converting [+-]Inf
1708         and NaN to integer.
1709
1710         * include/lightning/jit_arm.h, lib/jit_arm.c: Minor changes
1711         to better match the new aarch64 files.
1712
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.
1717
1718 2013-07-08 Paulo Andrade <pcpa@gnu.org>
1719
1720         * NEWS, THANKS, configure.ac, doc/version.texi: Update for
1721         the 1.99a second alpha release.
1722
1723 2013-06-25 Paulo Andrade <pcpa@gnu.org>
1724
1725         * lib/jit_mips.c: Correct cut&paste error that caused wrong
1726         stack offset calculation for double arguments in stack in
1727         the o32 abi.
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.
1730
1731         * lib/jit_ia64.c, lib/jit_ppc.c: Correct typo in the
1732         __LITTLE_ENDIAN macro name.
1733
1734 2013-06-22 Paulo Andrade <pcpa@gnu.org>
1735
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.
1739
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.
1743
1744 2013-06-18 Paulo Andrade <pcpa@gnu.org>
1745
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.
1749
1750 2013-06-18 Paulo Andrade <pcpa@gnu.org>
1751
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.
1756
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.
1760
1761 2013-06-14 Paulo Andrade <pcpa@gnu.org>
1762
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.
1765
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
1768         mode.
1769
1770 2013-06-10 Paulo Andrade <pcpa@gnu.org>
1771
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.
1775
1776 2013-06-09 Paulo Andrade <pcpa@gnu.org>
1777
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.
1781
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
1785         global symbols.
1786
1787         * include/lightning.h: Rework definitions of wordsize and
1788         byte order to detect proper values on HP-UX.
1789
1790         * lib/lightning.c: Minor correction to use MAP_ANONYMOUS
1791         instead of MAP_ANON on HP-UX.
1792
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
1797         by accident.
1798
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.
1801
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.
1807
1808 2013-06-07 Paulo Andrade <pcpa@gnu.org>
1809
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.
1816
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.
1819
1820         * configure.ac: Check for getopt.h header, not available in
1821         AIX.
1822
1823 2013-06-01 Paulo Andrade <pcpa@gnu.org>
1824
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.
1828
1829         * check/float.tst: Add preprocessor for hppa expected
1830         values when converting NaN and +-Inf to an integer.
1831
1832         * check/ldst.inc: Ensure double load/store tests use an
1833         8 byte aligned address by default.
1834
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*.
1840
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.
1844
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.
1849
1850 2013-04-27 Paulo Andrade <pcpa@gnu.org>
1851
1852         * check/varargs.tst: Correct misplaced .align directive
1853         that was causing the double buffer to not be aligned at
1854         8 bytes.
1855         * lib/jit_ia64-cpu.c:
1856           Properly implement abi for excess arguments passed on
1857         stack.
1858           Simplify load/store with immediate displacement argument
1859         with zero value.
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.
1878
1879 2013-04-27 Paulo Andrade <pcpa@gnu.org>
1880
1881         lib/jit_ia64-cpu.c:
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.
1888
1889 2013-04-27 Paulo Andrade <pcpa@gnu.org>
1890
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).
1894
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.
1897
1898 2013-04-27 Paulo Andrade <pcpa@gnu.org>
1899
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.
1903
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.
1910
1911 2013-04-27 Paulo Andrade <pcpa@gnu.org>
1912
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.
1917
1918         * lib/jit_ia64-fpu.c: Slightly simplify and correct
1919         divr_f and divrd_d implementation.
1920
1921         * check/lightning.c: Add __ia64__ preprocessor define
1922         on Itanium.
1923
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.
1932
1933 2013-04-27 Paulo Andrade <pcpa@gnu.org>
1934
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.
1938
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
1945         the third argument.
1946
1947         * lib/jit_ia64-fpu.c: Actual implementation of the code
1948         to move to/from gpr to/from fpr, to implement varargs abi.
1949
1950         * lib/jit_ia64.c: Make fpr argument registers not allocatable
1951         as temporaries, no need for the extra checks when there are
1952         plenty registers.
1953
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.
1956
1957 2013-04-26 Paulo Andrade <pcpa@gnu.org>
1958
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:
1965                 movl rn=largenum
1966                 ...
1967                 mov rn=smallnum
1968         where "rn" would end up holding "largenum".
1969         But the problem possibly could happen in other circumstances.
1970
1971 2013-04-26 Paulo Andrade <pcpa@gnu.org>
1972
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.
1981         uneq and ltgt.
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.
1987
1988 2013-04-26 Paulo Andrade <pcpa@gnu.org>
1989
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
1997         float registers).
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".
2011
2012 2013-04-25 Paulo Andrade <pcpa@gnu.org>
2013
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
2018         functions.
2019
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
2023         port.
2024
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.
2029
2030 2013-04-10 Paulo Andrade <pcpa@gnu.org>
2031
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
2039         registers.
2040
2041 2013-04-08 Paulo Andrade <pcpa@gnu.org>
2042
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.
2046
2047 2013-03-29 Paulo Andrade <pcpa@gnu.org>
2048
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.
2053
2054 2013-03-29 Paulo Andrade <pcpa@gnu.org>
2055
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
2059         allocated memory.
2060
2061         * include/lightning.h, include/lightning/jit_private.h: Definitions
2062         for the memory allocation wrapper.
2063
2064         * lib/Makefile.am: Update for new jit_memory.c file.
2065
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.
2069
2070 2013-03-22 Paulo Andrade <pcpa@gnu.org>
2071
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.
2076
2077 2013-03-10 Paulo Andrade <pcpa@gnu.org>
2078
2079         * include/lightning.h: Add check for __powerpc__ defined
2080         in Linux, while Darwin defines __ppc__.
2081
2082         * include/lightning/jit_ppc.h: Adjust register definitions
2083         for Darwin 32 bit and Linux 64 bit ppc usage and/or ABI.
2084
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"
2088         label.
2089
2090         * lib/jit_disasm.c: Add extra disassembler initialization
2091         for __powerpc64__.
2092
2093         * lib/jit_ppc-cpu.c: Add extra macros and functions, and
2094         correct/adapt previous ones to handle powerpc64.
2095
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.
2099
2100         * lib/jit_ppc.c: Add calls to 64 bit codes and adaptation
2101         for the PowerPC 64 bit Linux ABI.
2102
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.
2108
2109 2013-03-08 Paulo Andrade <pcpa@gnu.org>
2110
2111         * check/lightning.c: Add missing ppc preprocessor definition.
2112
2113 2013-03-06 Paulo Andrade <pcpa@gnu.org>
2114
2115         * check/float.tst: Comment out the int to negative infinity
2116         test in mips for the moment because not all Loongson agrees
2117         on the result.
2118
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.
2122
2123 2013-03-06 Paulo Andrade <pcpa@gnu.org>
2124
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
2134         jit runtime.
2135
2136 2013-03-06 Paulo Andrade <pcpa@gnu.org>
2137
2138         * lib/lightning.c: Make data and code buffer readonly.
2139
2140 2013-02-20 Paulo Andrade <pcpa@gnu.org>
2141
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.
2145
2146 2013-02-19 Paulo Andrade <pcpa@gnu.org>
2147
2148         * doc/body.texi: Add back the SPARC code generation example.
2149
2150 2013-02-19 Paulo Andrade <pcpa@gnu.org>
2151
2152         * check/lightning.c: Remove state flag to work with partial
2153         sparc port, by just disassembling if there was incomplete
2154         code generation.
2155
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*.
2160
2161         * jit_sparc.c: Update for qmul* and qdiv* and remove logic
2162         to handle incomplete code generation during sparc port.
2163
2164 2013-02-18 Paulo Andrade <pcpa@gnu.org>
2165
2166         * check/float.tst: Add sparc to list of known NaN and +-Inf
2167         to integer conversion.
2168
2169         * check/lightning.c: Define __sparc__ to preprocessor in
2170         the sparc backend.
2171
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
2175         register.
2176
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.
2183
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
2189         slot...)
2190
2191         * lib/jit_sparc-cpu.c: Correct wrong macro definition for
2192         ldxr_s.
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.
2196
2197         * lib/jit_sparc-fpu.c: Correct reversed float to/from double
2198         conversion.
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.
2203
2204         * lib/jit_sparc.c: Correct getarg_d and pushargi_d implementation.
2205           Add rem* entries to the switch converting IR to machine code.
2206
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.
2213
2214 2013-02-17 Paulo Andrade <pcpa@gnu.org>
2215
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.
2219
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.
2223
2224         * lib/jit_mips.c: Correct reversed retr/reti logic.
2225
2226         * lib/jit_ppc.c: Correct misspelled __LITTLE_ENDIAN.
2227
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.
2232
2233 2013-02-11 Paulo Andrade <pcpa@gnu.org>
2234
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).
2242
2243 2013-02-11 Paulo Andrade <pcpa@gnu.org>
2244
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.
2253
2254         * lib/jit_note.c: Correct invalid vector offset access.
2255
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.
2260
2261         * doc/body.texi: Add basic documentation and usage description
2262         of jit_clear_state and jit_destroy_state.
2263
2264 2013-02-11 Paulo Andrade <pcpa@gnu.org>
2265
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.
2278
2279 2013-02-05 Paulo Andrade <pcpa@gnu.org>
2280
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.
2287
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.
2290
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.
2293
2294         * check/Makefile.am: Update for new "ret" test case.
2295
2296 2013-02-05 Paulo Andrade <pcpa@gnu.org>
2297
2298         * lib/jit_ppc-cpu.c, lib/jit_ppc.c: Validate and correct
2299         problems in the qmul and qdiv ppc implementation.
2300
2301 2013-02-04 Paulo Andrade <pcpa@gnu.org>
2302
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).
2312
2313         * check/lightning.c, lib/jit_print.c, check/Makefile.am,
2314         check/all.tst: Update for the new qmul and qdiv instructions.
2315
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.
2319
2320 2013-01-30 Paulo Andrade <pcpa@gnu.org>
2321
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".
2325
2326 2013-01-30 Paulo Andrade <pcpa@gnu.org>
2327
2328         * lib/jit_x86-cpu.c: Correct undefined behavior code.
2329         http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56143
2330
2331 2013-01-29 Paulo Andrade <pcpa@gnu.org>
2332
2333         * configure.ac: Use AC_CONFIG_HEADERS instead of AC_CONFIG_HEADER
2334         to have HAVE_CONFIG_H defined with latest aclocal.
2335
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.
2340
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
2343         for jit code.
2344
2345         * lib/jit_x86-cpu.c: Minor cosmetic change to avoid adding a
2346         non required rex prefix when calling a function pointer stored
2347         in a register.
2348
2349 2013-01-24 Paulo Andrade <pcpa@gnu.org>
2350
2351         * check/Makefile.am: "make debug" target should pass only
2352         the main test tool program as argument for running gdb
2353
2354         * configure.ac: Add the --enable-assertions options.
2355
2356         * doc/Makefile.am, doc/body.texi, doc/lightning.texi:
2357         Major rewrite of the documentation to match the current
2358         implementation.
2359
2360         * doc/version.texi: Automatic date update.
2361
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.
2365
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.
2373
2374 2013-01-18 Paulo Andrade <pcpa@gnu.org>
2375
2376         * lib/jit_note.c: Correct bounds check and wrong code keeping
2377         a pointer that could be changed after a realloc call.
2378
2379 2013-01-18 Paulo Andrade <pcpa@gnu.org>
2380
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).
2394
2395 2013-01-17 Paulo Andrade <pcpa@gnu.org>
2396
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.
2406
2407 2013-01-14 Paulo Andrade <pcpa@gnu.org>
2408
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".
2414
2415 2013-01-11 Paulo Andrade <pcpa@gnu.org>
2416
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.
2420
2421         * include/lightning.h, lib/lightning.c: Update for the new
2422         note code.
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
2427         line number.
2428
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.
2433
2434         * configure.ac, check/Makefile.am: Update to work with latest
2435         automake.
2436
2437 2013-01-09 Paulo Andrade <pcpa@gnu.org>
2438
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.
2450
2451 2013-01-05 Paulo Andrade <pcpa@gnu.org>
2452
2453         * check/cccall.c, check/ccall.ok: New test case to validate
2454         interleaved calls from/to C code and jit.
2455
2456         * check/Makefile.am: Update for the new ccall test case.
2457
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
2468         jit_pusharg*_{f,d}.
2469
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
2472         are valid.
2473
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).
2481
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.
2488
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
2496         for arguments.
2497
2498 2013-01-02 Paulo Andrade <pcpa@gnu.org>
2499
2500         * check/float.tst: Correct test case to match ppc also
2501         converting positive infinity to 0x7fffffff.
2502
2503         * lib/jit_arm-swf.c: Correct typos with double underscores.
2504
2505         * lib/lightning.c: Correct remaining wrong reverse jump logic.
2506
2507 2012-12-29 Paulo Andrade <pcpa@gnu.org>
2508
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".
2513
2514         * check/branch.tst: Update "ne" float branch check that
2515         previously happened to be wrongly tested with a NaN argument.
2516
2517 2012-12-29 Paulo Andrade <pcpa@gnu.org>
2518
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
2522         [+-]Inf.
2523
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.
2526
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.
2530
2531         * check/Makefile.am: Update for the new test case.
2532
2533 2012-12-28 Paulo Andrade <pcpa@gnu.org>
2534
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.
2546
2547 2012-12-27 Paulo Andrade <pcpa@gnu.org>
2548
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.
2551
2552         * lib/jit_ppc-cpu.c: Correct wrong arguments to ANDI opcode
2553         in jit_getarg_u{c,s} implementation.
2554
2555 2012-12-23 Paulo Andrade <pcpa@gnu.org>
2556
2557         * check/call.ok, check/call.tst: New test cases to validate
2558         simple typed argument and return values in function calls.
2559
2560         * check/lightning.c: Properly handle jit_movi of labels for
2561         backward and forward code labels.
2562
2563         * check/Makefile.am: Update for new test case.
2564
2565 2012-12-23 Paulo Andrade <pcpa@gnu.org>
2566
2567         * check/carry.ok, check/carry.tst: New test case to validate
2568         carry condition handling.
2569
2570         * check/Makefile.am: Update for new test case.
2571
2572 2012-12-22 Paulo Andrade <pcpa@gnu.org>
2573
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.
2577
2578 2012-12-22 Paulo Andrade <pcpa@gnu.org>
2579
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...).
2594
2595 2012-12-22 Paulo Andrade <pcpa@gnu.org>
2596
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.
2600
2601         * check/Makefile.am: Update for new test case.
2602
2603 2012-12-21 Paulo Andrade <pcpa@gnu.org>
2604
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.
2615
2616 2012-12-20 Paulo Andrade <pcpa@gnu.org>
2617
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().
2620
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
2623         frames.
2624
2625 2012-12-18 Paulo Andrade <pcpa@gnu.org>
2626
2627         * check/stack.ok, check/stack.tst: New files to test data
2628         integrity on a deep chain of stack frames.
2629
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.
2635
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.
2639
2640         * check/lightning.c: Correct off by one data space check.
2641
2642         * check/Makefile.am: Update for new test case.
2643
2644 2012-12-17 Paulo Andrade <pcpa@gnu.org>
2645
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.
2649
2650         * check/Makefile.am: Update for new test cases.
2651
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
2654         argument.
2655
2656         * check/lightning.c: Minor change for proper/common argument
2657         syntax handling ommiting arguments to options.
2658
2659 2012-12-17 Paulo Andrade <pcpa@gnu.org>
2660
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
2664         a change.
2665
2666 2012-12-14 Paulo Andrade <pcpa@gnu.org>
2667
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
2673         syntax.
2674
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.
2678
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.
2682
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
2685         information.
2686
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.
2691
2692 2012-12-14 Paulo Andrade <pcpa@gnu.org>
2693
2694         * lib/jit_x86-x87.c, lib/jit_x86.c: Correct test cases in ix86
2695         when using the x87 coprocessor instead of sse2+.
2696
2697 2012-12-14 Paulo Andrade <pcpa@gnu.org>
2698
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
2708         easier.
2709
2710 2012-12-14 Paulo Andrade <pcpa@gnu.org>
2711
2712         * include/lightning.h, lib/lightning.c: Add two extra wrapper
2713         functions to avoid need for excess pointer to/from word casts.
2714
2715         * check/lightning.c: Only need for pointer to/from word cast
2716         now is jit_movi, update accordingly.
2717
2718 2012-12-13 Paulo Andrade <pcpa@gnu.org>
2719
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.
2723
2724         * include/lightning.h: Include config.h if HAVE_CONFIG_H is
2725         defined.
2726
2727         * lib/jit_arm.c: Allocate a fpr register, not a gpr one for
2728         temporary when pushing varargs arguments in the stack.
2729
2730         * lib/jit_arm-swf.c: Correct code changing the wrong offset
2731         in jit_absr_d and jit_negr_d in software float.
2732
2733         * lib/jit_mips.c: Correct calculation of offsets of arguments
2734         on stack.
2735
2736         * lib/jit_ppc.c: Correct bogus logic for "next" offset of arguments
2737         on stack and adjust for fixed offset of stack arguments.
2738
2739 2012-12-12 Paulo Andrade <pcpa@gnu.org>
2740
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.
2750
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.
2762
2763 2012-12-11 Paulo Andrade <pcpa@gnu.org>
2764
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.
2778
2779         * lib/jit_ppc-fpu.c: Correct wrong arguments to FDIV* and STF*.
2780
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.
2789
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.
2796
2797 2012-12-11 Paulo Andrade <pcpa@gnu.org>
2798
2799         * configure.ac: Only default to using the builtin disassembler
2800         if on GNU/Linux. This should be temporary, due to requiring
2801         /proc/self/exe.
2802           Correctly check $target_cpu for powerpc.
2803
2804         * include/lightning/jit_ppc.h: Correctly implement jit_v_num.
2805
2806         * include/lightning/jit_private.h: Declare proper prototype
2807         for jit_init_debug and jit_finish_debug.
2808
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.
2817
2818         * lib/lightning.c: Do not fail in jit_regset_scan1 calls due
2819         to passing 64 as argument on computers with 64 registers.
2820
2821 2012-12-10 Paulo Andrade <pcpa@gnu.org>
2822
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.
2829
2830 2012-12-09 Paulo Andrade <pcpa@gnu.org>
2831
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
2843         tests.
2844
2845         * check/Makefile.am: Update for new test cases.
2846
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.
2855
2856         * lib/jit_arm-cpu.c: Correct argument order for T2_MVN.
2857
2858         * lib/jit_arm-swf.c: Call the proper function for double
2859         divide. The "software float" implementation just calls
2860         libgcc functions.
2861
2862         * lib/jit_arm.c: Return float/double values in the float
2863         register if using the hard float ABI.
2864
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
2873         and divremi.
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.
2881
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
2886         spill.
2887           No longer incorrectly assume that eqr_{f,d} and ltgr_{f,d} are
2888         safe to inverse value tests in jump thread optimization.
2889
2890 2012-12-05 Paulo Andrade <pcpa@gnu.org>
2891
2892         * check/Makefile.am, check/cvt.ok, check/cvt.tst: Add new
2893         "cvt" test case to test conversion from/to int/float types.
2894
2895         * check/lightning.c: Only define truncr_{f,d}_l in 64 bit mode.
2896
2897         * include/lightning.h: Correct typo that caused it to define
2898         jit_truncr_{f,d}_l in 32 bit mode.
2899
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
2902         opcode generation.
2903
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.
2907
2908         * lib/jit_x86-sse.c: Correct conversion from "word" to float or
2909         double as is dependent on wordsize.
2910
2911 2012-12-05 Paulo Andrade <pcpa@gnu.org>
2912
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
2916         index register;
2917
2918         * check/ldst.inc: New file with common definition for all the
2919         ldst* test cases.
2920
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.
2924
2925 2012-12-05 Paulo Andrade <pcpa@gnu.org>
2926
2927         * lib/jit_mips-fpu.c: Correct wrong register order in stxr_{f,d}
2928         in the mips backend.
2929
2930 2012-12-05 Paulo Andrade <pcpa@gnu.org>
2931
2932         * lib/jit_arm-vfp.c: Correct regression found in armv7l with
2933         latest test cases.
2934
2935 2012-12-05 Paulo Andrade <pcpa@gnu.org>
2936
2937         * check/ldstxi.tst, check/ldstxr.tst: Correct wrong argument
2938         order for 32 bit mode tests.
2939
2940         * configure.ac: Correct check for ix86 target_cpu.
2941
2942 2012-12-05 Paulo Andrade <pcpa@gnu.org>
2943
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.
2949
2950         * check/Makefile.am: Update for new test cases.
2951
2952         * lib/jit_x86-cpu.c: Correct wrong argument order when
2953         computing REX prefix for {ld,st}r_T codes;
2954
2955 2012-12-04 Paulo Andrade <pcpa@gnu.org>
2956
2957         * lib/jit_mips-fpu.c, lib/jit_mips.c: Implement missing mips
2958         jit_sqrtr_{f,d} codes.
2959
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.
2966
2967 2012-12-04 Paulo Andrade <pcpa@gnu.org>
2968
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
2972         test cases.
2973
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.
2981
2982         * lib/jit_ppc.c: Check _jit->function before calling jit_epilog()
2983         to avoid a runtime exception.
2984
2985 2012-12-04 Paulo Andrade <pcpa@gnu.org>
2986
2987         * include/lightning/jit_mips.h, lib/jit_mips.c: Update to
2988         make the mips backend compile in a qemu image.
2989
2990         * lib/jit_ppc.c: Minor adaptations to help in having the
2991         ppc backend compilable.
2992
2993 2012-12-03 Paulo Andrade <pcpa@gnu.org>
2994
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.
2999
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.
3003
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.
3012
3013 2012-12-03 Paulo Andrade <pcpa@gnu.org>
3014
3015         * check/all.tst, check/lightning.c: Only declare or use 64 bit
3016         interfaces on 64 bit builds.
3017
3018         * check/fib.tst: Use simpler logic to not need preprocessor
3019         conditionals for 32 or 64 bit.
3020
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.
3025
3026         * include/lightning/jit_x86.h: Correct typo in macro name.
3027
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.
3032
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
3036         noticed.
3037
3038         * lib/jit_disasm.c: Always cast bfd_vma to long long when
3039         passing it as printf argument.
3040
3041 2012-12-03 Paulo Andrade <pcpa@gnu.org>
3042
3043         * configure.ac, check/Makefile.am, check/check.sh,
3044         doc/Makefile.am, include/lightning/Makefile.am,
3045         lib/Makefile.am: Correct make distcheck.
3046
3047 2012-12-02 Paulo Andrade <pcpa@gnu.org>
3048
3049         * lib/jit_ppc.c: Assign copyright ownership to FSF.
3050
3051         * lib/jit_x86-cpu.c: Correct integer multiplication that was
3052         generating code with reversed register arguments.
3053
3054         * check/rpn.ok, check/rpn.tst: New test case file.
3055
3056 2012-12-02 Paulo Andrade <pcpa@gnu.org>
3057
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.
3060
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.
3066
3067         * include/lightning/jit_private.h: Add extra field to the
3068         private jit_patch_t type, required by the arm port.
3069
3070         * lib/Makefile.am: Update for the new backend implementation
3071         files.
3072
3073 2012-12-02 Paulo Andrade <pcpa@gnu.org>
3074
3075         * check/Makefile.am: Add proper "make clean" rule and missing
3076         check.sh to EXTRA_DIST.
3077
3078 2012-12-02 Paulo Andrade <pcpa@gnu.org>
3079
3080         * .gitignore: Update pattern of ignored files.
3081
3082         * check/Makefile.am: Add rule to build liblightning.la dependency
3083         in case of running "make check" before building the library.
3084
3085 2012-12-02 Paulo Andrade <pcpa@gnu.org>
3086
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.
3102
3103 2012-12-02 Paulo Andrade <pcpa@gnu.org>
3104
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.
3117
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.
3123
3124         * check/Makefile.am: New test suite makefile.
3125
3126         * check/check.sh, check/run-test: New wrapper files for the
3127         new test suite.
3128
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.
3132
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
3136         of registers.
3137
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.
3152
3153         * lightning.h, m4/lightning.m4: Removed. These are no longer
3154         required in the new lightning code.
3155
3156         .gitignore, Makefile.am, configure.ac: Update for the new
3157         lightning code.
3158
3159 2012-12-02 Paulo Andrade <pcpa@gnu.org>
3160         * .cvsignore: Removed for extra cleanup.
3161
3162         * build-aux: Rename directory to m4.
3163
3164         * m4: Renamed to "default" name and for consistency with merge
3165         with code rework to be imported in lightning.
3166
3167         * .gitignore, configure.ac, Makefile.am, doc/Makefile.am:
3168         Update for build-aux to m4 rename.
3169
3170 2012-12-01 Paulo Andrade <pcpa@gnu.org>
3171
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.
3177
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
3181         regenerated in git.
3182
3183         * build-aux/help2man, build-aux/texinfo.tex, build-aux/texi2dvi:
3184         Removed. Buildenvironment must have an up to date version from
3185         upstream installed.
3186
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.
3191
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.
3195
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.
3199
3200         * .gitignore: Add INSTALL and autogenerated files.
3201
3202         * configure.ac, Makefile.am: Update for removal of opcode subdir,
3203         auto generated files and lightningize.
3204
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.
3209
3210         * doc/Makefile.am: Update for removal of lightningize.
3211
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.
3218
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.
3222
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.
3228
3229         * tests/push-pop.c, tests/push-pop.ok: Removed due to
3230         JIT_NEED_PUSH_POP no longer available.
3231
3232 2011-02-28  Paolo Bonzini  <bonzini@gnu.org>
3233
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}.
3236
3237 2010-08-20  Paolo Bonzini  <bonzini@gnu.org>
3238
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.
3243
3244 2010-08-18  Paolo Bonzini  <bonzini@gnu.org>
3245
3246         * lightning/i386/fp-64.h: Fix jp in jit_bner_{f,d}.
3247
3248 2010-08-18  Paolo Bonzini  <bonzini@gnu.org>
3249
3250         * lightning/i386/fp-32.h: Fix -D_ASM_SAFETY compilation.
3251         Reported by Paulo César Pereira de Andrade.
3252
3253 2010-08-15  Paolo Bonzini  <bonzini@gnu.org>
3254
3255         * tests/ldst.c: Update.
3256         * tests/Makefile.am: Use -ffloat-store to compile it.
3257
3258 2010-08-15  Paolo Bonzini  <bonzini@gnu.org>
3259
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.
3265
3266 2010-08-10  Paulo César Pereira de Andrade <pcpa@mandriva.com.br>
3267
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.
3272
3273 2010-07-28  Paolo Bonzini  <bonzini@gnu.org>
3274
3275         * tests/Makefile.am: Add ldst test.
3276         * tests/Makefile.in: Regenerate.
3277         * tests/ldst.c: New.
3278         * tests/ldst.ok: New.
3279
3280 2010-07-28  Paolo Bonzini  <bonzini@gnu.org>
3281
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.
3286
3287 2010-07-26  Paolo Bonzini  <bonzini@gnu.org>
3288
3289         * lightning/i386/core-32.h (jit_replace): Move here (removed
3290         2009-03-01).
3291
3292 2010-07-19  Paolo Bonzini  <bonzini@gnu.org>
3293
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.
3305
3306 2009-03-01  Paolo Bonzini  <bonzini@gnu.org>
3307
3308         * lightning/i386/core-64.h: Use Mike's macros for x86-64 too.
3309         * lightning/i386/core.h: Remove jit_replace.
3310
3311         2009-02-27  Mike Spivey  <mike@comlab.ox.ac.uk>
3312
3313         * lightning/i386/core.h: Rewrite shift-handling macros.
3314         * lightning/fp-common.h: Fix jit_extr_{f_d,d_f}.
3315
3316 2009-02-17  Mike Spivey  <mike@comlab.ox.ac.uk>
3317
3318         * lightning/i386/core.h: Fix blunder in operand order.
3319
3320 2009-02-17  Paolo Bonzini  <bonzini@gnu.org>
3321
3322         * lightning/i386/fp-32.h: Another fix to jit_fp_btest.
3323
3324 2009-02-17  Paolo Bonzini  <bonzini@gnu.org>
3325
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
3329         by Mike Spivey.
3330
3331 2008-10-09  Paolo Bonzini  <bonzini@gnu.org>
3332
3333         * lightning/ppc/funcs.h (jit_flush_code): Subtract 1 from end.
3334         Reported by Eli Barzilay and Matthew Flatt.
3335
3336 2008-08-23  Nix  <nix@esperi.org.uk>
3337
3338         * lightning/i386/Makefile.frag: fp-32.h and fp-64.h are target files.
3339
3340 2008-07-02  Laurent Michel  <ldm@engr.uconn.edu>
3341
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).
3349
3350 2008-06-17  Paolo Bonzini  <bonzini@gnu.org>
3351
3352         * lightning/i386/asm-64.h: Forward IMULQir to IMULQirr,
3353         fix REXQ order for IMULQirr.
3354
3355 2008-06-17  Paolo Bonzini  <bonzini@gnu.org>
3356
3357         * lightning/i386/core.h: Fix _rN vs. _rR.
3358
3359 2008-06-16  Paolo Bonzini  <bonzini@gnu.org>
3360
3361         * lightning/i386/core.h: Use jit_save in jit_replace.  Move JIT_R
3362         definition...
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.
3368
3369 2008-06-15  Paolo Bonzini  <bonzini@gnu.org>
3370
3371         * lightning/i386/core-64.h: Rewrite argument passing to
3372         support up to 6 arguments and generate less code.
3373
3374 2008-06-14  Laurent Michel  <ldm@thorgal.homelinux.org>
3375
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
3379         alignment.
3380         (jit_ret): Always use LEAVE.
3381
3382 2008-06-13  Laurent Michel  <ldm@thorgal.homelinux.org>
3383
3384         * lightning/i386/core-64.h: Add (void) casts for C++ compatibility.
3385         * lightning/i386/asm.h: Likewise.
3386
3387 2008-06-12  Paolo Bonzini  <bonzini@gnu.org>
3388
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.
3393
3394 2008-06-11  Paolo Bonzini  <bonzini@gnu.org>
3395
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.
3410
3411         * configure.ac: Define LIGHTNING_TARGET here.
3412         * opcode/disass.c: Change list of valid LIGHTNING_TARGET values.
3413
3414         * lightningize.in: Robustify against missing subtarget files.
3415
3416 2008-06-11  Paolo Bonzini  <bonzini@gnu.org>
3417
3418         * lightning/i386/core-32.h: Use MOVLir instead of jit_movi_l
3419         to implement jit_movi_p.
3420
3421 2008-06-11  Paolo Bonzini  <bonzini@gnu.org>
3422
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.
3426
3427 2008-06-11  Paolo Bonzini  <bonzini@gnu.org>
3428
3429         * lightning/i386/core-i386.h: Fix C++ incompatibility.
3430
3431 2008-06-10  Laurent Michel  <ldm@engr.uconn.edu>
3432
3433         * lightning/i386/core-i386.h: Fix jit_replace8 for
3434         case when one of the operands is _EAX.
3435
3436 2008-05-19  Paolo Bonzini  <bonzini@gnu.org>
3437
3438         * tests/run-test: Avoid CRLF issues on mingw.
3439
3440 2008-03-21  Paolo Bonzini  <bonzini@gnu.org>
3441
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.
3447
3448 2008-03-19  Paolo Bonzini  <bonzini@gnu.org>
3449
3450         * lightning/i386/core-64.h: Fix uses of jit_qop_.
3451
3452 2008-03-19  Paolo Bonzini  <bonzini@gnu.org>
3453
3454         * lightning/i386/core-64.h: Add boolean operations.
3455
3456 2008-03-19  Paolo Bonzini  <bonzini@gnu.org>
3457
3458         * lightning/i386/asm-64.h: Add LEAQmr.
3459
3460 2008-03-19  Paolo Bonzini  <bonzini@gnu.org>
3461
3462         * lightning/i386/core-64.h: Misc bugfixes.
3463
3464 2008-03-19  Paolo Bonzini  <bonzini@gnu.org>
3465
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.
3470
3471 2008-03-19  Paolo Bonzini  <bonzini@gnu.org>
3472
3473         * lightning/asm-common.h: Add _s32P.
3474
3475 2008-03-19  Paolo Bonzini  <bonzini@gnu.org>
3476
3477         * lightning/i386/core-64.h: Implement long mul/div/mod.
3478
3479 2008-03-19  Paolo Bonzini  <bonzini@gnu.org>
3480
3481         * lightning/i386/asm-i386.h: Cast memory address to long for JCCim.
3482
3483 2008-03-15  Paolo Bonzini  <bonzini@gnu.org>
3484
3485         * lightning/asm-common.h: Add underscores around __unused__
3486         attribute.
3487
3488 2008-03-15  Paolo Bonzini  <bonzini@gnu.org>
3489
3490         * lightning/ppc/core.h: Avoid some "value computed is not used"
3491         warnings.
3492         * lightnings/tests/allocai.c: Silence other warnings.
3493
3494 2008-03-14  Paolo Bonzini  <bonzini@gnu.org>
3495
3496         * lightningize.in: Fix some problems (not all).
3497
3498 2008-03-14  Paolo Bonzini  <bonzini@gnu.org>
3499
3500         * lightning/i386/core-32.h: Avoid some "value computed is not used"
3501         warnings; reported by Sam Steingold.
3502
3503 2008-03-08  Paolo Bonzini  <bonzini@gnu.org>
3504
3505         * lightning/i386/core-32.h: Fix stxr_c(_EAX, _EBX, _ESI).
3506
3507 2008-02-13  Paolo Bonzini  <bonzini@gnu.org>
3508
3509         * lightning/i386/asm-32.h: Avoid redefinition of _r1, reported by
3510         Sam Steingold.
3511         * lightning/i386/asm-64.h: Likewise.
3512
3513 2008-02-08  Paolo Bonzini  <bonzini@gnu.org>
3514
3515         * lightning/i386/asm-i386.h: Don't define _VOID, reported
3516         by Reini Urban.
3517
3518 2008-02-03  Paolo Bonzini  <bonzini@gnu.org>
3519
3520         * build-aux/lightning.m4: Add --with-lightning-prefix option, suggested
3521         by Sam Steingold.
3522
3523 2008-01-14  Paolo Bonzini  <bonzini@gnu.org>
3524
3525         * lightning/i386/core-64.h: Use CALLsr, not CALLLsr.
3526
3527 2008-01-13  Paolo Bonzini  <bonzini@gnu.org>
3528
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.
3532
3533 2008-01-05  Paolo Bonzini  <bonzini@gnu.org>
3534
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.
3538
3539 2008-01-02  Paolo Bonzini  <bonzini@gnu.org>
3540
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.
3544
3545 2007-11-07  Paolo Bonzini  <bonzini@gnu.org>
3546
3547         * opcode/Makefile.am: Fix AM_CPPFLAGS.
3548
3549 2007-08-12  Paolo Bonzini  <bonzini@gnu.org>
3550
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.
3555
3556 2007-06-29  Paolo Bonzini  <bonzini@gnu.org>
3557
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.
3601
3602 2007-01-26  Thomas Girard  <thomas.g.girard@free.fr>
3603
3604         * lightning/Makefile.am: Add clean-local target.
3605
3606 2006-12-02  Paolo Bonzini  <bonzini@gnu.org>
3607
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.
3611
3612         * lightning/Makefile.am: Place files in nodist_lightning_HEADERS.
3613
3614 2006-11-23  Paolo Bonzini  <bonzini@gnu.org>
3615
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.
3627
3628 2006-11-22  Paolo Bonzini  <bonzini@gnu.org>
3629
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.
3633         Add JIT_FPRET.
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.
3639
3640 2006-11-20  Paolo Bonzini  <bonzini@gnu.org>
3641
3642         * lightning/i386/asm-i386.h:  Add an underscore to macros without
3643         a parameter.
3644
3645 2006-11-20  Paolo Bonzini  <bonzini@gnu.org>
3646
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.
3651
3652         * tests/printf.c: Do not do a varargs call.
3653
3654 2006-11-20  Paolo Bonzini  <bonzini@gnu.org>
3655
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.
3660
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.
3664
3665 2006-11-20  Paolo Bonzini  <bonzini@gnu.org>
3666
3667         * lightning/i386/asm-i386.h: Merge 64-bit cleanliness changes from
3668         mzscheme.
3669         Add SSE.
3670         * lightning/i386/asm-64.h: Likewise.
3671
3672 2006-11-20  Paolo Bonzini  <bonzini@gnu.org>
3673             Ludovic Courtes  <ludo@chbouib.org>
3674
3675         * lightning/i386/core-32.h: Disable jit_push and jit_pop if stack not
3676         needed.
3677         * lightning/i386/core-64.h: Disable jit_push and jit_pop if stack not
3678         needed.
3679         * lightning/sparc/core.h: Merge final implementation of jit_pushr and
3680         jit_popr.
3681         * lightning/ppc/core.h: Fix implementation of jit_pushr and jit_popr to
3682         work (more or less) across function calls.
3683
3684         * tests/push-pop.c, tests/push-pop.ok: New test.
3685         * tests/Makefile.am: Run it.
3686
3687 2006-11-20  Paolo Bonzini  <bonzini@gnu.org>
3688
3689         * lightning/asm-common.h: Make 64-bit safe.
3690         * lightning/i386/funcs.h: Make 64-bit safe.
3691
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.
3697
3698         * tests/rpnfp.c, tests/testfp.c, tests/funcfp.c: Skip if no
3699         floating-point support.
3700
3701 2006-11-04  Paolo Bonzini  <bonzini@gnu.org>
3702
3703         * tests/rpn.c: Remove pushr/popr.
3704
3705 2006-11-04  Paolo Bonzini  <bonzini@gnu.org>
3706
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.
3715
3716 2006-11-04  Ludovic Courtes  <ludo@chbouib.org>
3717
3718         * lightning/sparc/core.h: Implement jit_allocai.
3719         * tests/allocai.c: New.
3720         * tests/Makefile.am: Point to new tests.
3721
3722 2006-11-03  Paolo Bonzini  <bonzini@gnu.org>
3723
3724         * lightning/ppc/core.h: Fix jit_bms using BNE rather than BGT.
3725         "AND." does signed comparisons.
3726
3727 2006-10-31  Paolo Bonzini  <bonzini@gnu.org>
3728
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.
3735
3736 2006-10-31  Ludovic Courtes  <ludo@chbouib.org>
3737
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.
3742
3743 2006-10-31  Paolo Bonzini  <bonzini@gnu.org>
3744             Ludovic Courtes  <ludo@chbouib.org>
3745
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.
3751
3752 2006-10-30  Paolo Bonzini  <bonzini@gnu.org>
3753
3754         * lightning/Makefile.am: Use "ln -sf".
3755         * lightning/core-common.h: Define jit_negr_l if necessary.
3756
3757 2006-10-30  Paolo Bonzini  <bonzini@gnu.org>
3758
3759         * lightning/i386/asm.h (MOVS*, MOVZ*): Use correct _r[124] macros.
3760
3761 2006-10-29  Paolo Bonzini  <bonzini@gnu.org>
3762
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.
3768
3769         * lightning/ppc/funcs.h: Use __APPLE__ instead of _CALL_DARWIN.
3770         * lightning/i386/core-32.h: Likewise.
3771
3772 2006-10-26  Paolo Bonzini  <bonzini@gnu.org>
3773
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.
3778
3779 2006-10-26  Paolo Bonzini  <bonzini@gnu.org>
3780
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.
3790
3791 2006-10-26  Paolo Bonzini  <bonzini@gnu.org>
3792
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.
3804
3805 2006-10-16  Paolo Bonzini  <bonzini@gnu.org>
3806
3807         * lightning/i386/i386.h (jit_flush_code): Fix syntax error. :-(
3808
3809 2006-07-06  Paolo Bonzini  <bonzini@gnu.org>
3810             Ludovic Courtes  <ludovic.courtes@laas.fr>
3811
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.
3815
3816 2006-07-06  Paolo Bonzini  <bonzini@gnu.org>
3817             Ludovic Courtes  <ludovic.courtes@laas.fr>
3818
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.
3823
3824 2006-05-18  Matthew Flatt  <mflatt@cs.utah.edu>
3825
3826         * lightning/i386/asm.h: Fix test for extending the mprotect area
3827         towards lower addresses.
3828
3829 2006-05-16  Bruno Haible  <bruno@clisp.org>
3830
3831         * lightning/asm-common.h: Don't use __func__ nor __FUNCTION__ if
3832         not compiling with GNU C.
3833
3834 2006-02-16  Paolo Bonzini  <bonzini@gnu.org>
3835
3836         * lightning/ppc/core.h: Fix jit_ldxi_* with big displacement.
3837
3838 2006-01-23  Paolo Bonzini  <bonzini@gnu.org>
3839
3840         * configure.ac: Fix comments in config.h.in.
3841
3842 2005-11-25  Paolo Bonzini  <bonzini@gnu.org>
3843
3844         * lightning/sparc/fp.h: Fix header comment.
3845         * lightning/ppc/fp.h: Fix header comment.
3846
3847 2005-04-27  Paolo Bonzini  <bonzini@gnu.org>
3848
3849         * lightning/i386/asm.h (JCm, JCSm, JNCm, JNCSm): New.
3850
3851 2004-11-26  Paolo Bonzini  <bonzini@gnu.org>
3852
3853         * lightning/ppc/funcs.h (_jit_epilog): Remove unused variable.
3854
3855 2004-11-13  Paolo Bonzini  <bonzini@gnu.org>
3856
3857         * lightning/i386/funcs.h [__linux__]: Include sys/mman.h.
3858
3859 2004-11-09  Paolo Bonzini  <bonzini@gnu.org>
3860
3861         * lightning/sparc/fp.h: Fix fp-to-integer conversions.
3862         * lightning/ppc/testfp.c: Test fp-to-integer conversions
3863         of integer numbers.
3864         * lightning/ppc/testfp.ok: Adjust for the above.
3865
3866 2004-11-08  Paolo Bonzini  <bonzini@gnu.org>
3867
3868         * lightning/ppc/testfp.c: Always flush code before
3869         testing it.
3870
3871 2004-11-08  Paolo Bonzini  <bonzini@gnu.org>
3872
3873         * lightning/ppc/fp.h: Do not clobber f31.
3874
3875 2004-11-08  Paolo Bonzini  <bonzini@gnu.org>
3876
3877         * lightning.h: New name of...
3878         * lightning-inst.h: ... this file.
3879         * lightning.h.in: Removed.
3880
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.
3894
3895 2004-10-12  Paolo Bonzini  <bonzini@gnu.org>
3896
3897         * lightning/i386/fp.h: Fix bugs in conditional branches.
3898
3899 2004-10-10  Paolo Bonzini  <bonzini@gnu.org>
3900
3901         * lightning/i386/funcs.h: Fix pasto in jit_flush_code.
3902
3903 2004-10-08  Paolo Bonzini  <bonzini@gnu.org>
3904
3905         * lightning/ppc/fp.h: Optimized conditional branches.
3906
3907 2004-09-20  Paolo Bonzini  <bonzini@gnu.org>
3908
3909         * lightning/ppc/asm.h: Fix more typos.
3910
3911 2004-09-20  Paolo Bonzini  <bonzini@gnu.org>
3912
3913         * lightning/ppc/asm.h: Fix typos, replace `26' with JIT_AUX.
3914
3915 2004-09-20  Paolo Bonzini  <bonzini@gnu.org>
3916
3917         * lightning/ppc/fp.h: Added conditional branches.
3918
3919 2004-09-18  Laurent Michel  <ldm@thorgal.homelinux.org>
3920
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):
3925         New macros.
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.
3930
3931 2004-09-07  Paolo Bonzini  <bonzini@gnu.org>
3932
3933         * lightning/ppc/funcs.h: Fix typo.
3934
3935 2004-09-06  Paolo Bonzini  <bonzini@gnu.org>
3936
3937         * tests/funcfp.c: Use %g.  Remove C99 variable declarations.
3938         * tests/testfp.c: Don't use __builtin_nan.
3939
3940         * lightning/ppc/core.h: Add three V registers.
3941         * lightning/ppc/funcs.h: Adjust.
3942
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.
3946
3947 2004-09-02  Paolo Bonzini  <bonzini@gnu.org>
3948
3949         * lightning/sparc/core.h: Add another V register,
3950         move R0 to %o7.
3951
3952 2004-07-15  Paolo Bonzini  <bonzini@gnu.org>
3953
3954         * lightning/i386/funcs.h: Implement jit_flush_code,
3955         in order to support Fedora's exec-shield.
3956
3957 2004-07-14  Paolo Bonzini  <bonzini@gnu.org>
3958
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.
3964
3965 2004-07-14  Paolo Bonzini  <bonzini@gnu.org>
3966
3967         * lightning/ppc/funcs.h: Adjust offset of LR into
3968         stack frame if running under the Darwin ABI.
3969
3970 2004-07-13  Paolo Bonzini  <bonzini@gnu.org>
3971
3972         * lightning/i386/fp.h: Rename jit_exti_d to jit_extr_i_d.
3973
3974 2004-07-13  Paolo Bonzini  <bonzini@gnu.org>
3975
3976         * lightning/ppc/core.h: Fix thinko.
3977
3978         * lightning/i386/core.h: Fix jit_lti_ui.
3979         * lightning/core-common.h: Add missing macros.
3980
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.
3986
3987 2004-07-12  Paolo Bonzini  <bonzini@gnu.org>
3988
3989         * doc/porting.texi: Add missing macros.
3990
3991 2004-07-12  Paolo Bonzini  <bonzini@gnu.org>
3992
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.
3998
3999 2004-07-09  Paolo Bonzini  <bonzini@gnu.org>
4000
4001         * lightning/lightning.h.in: Avoid preprocessor warnings.
4002         * lightning/lightning-inst.h: Likewise.
4003
4004         * lightning/i386/core.h: Define JIT_R, JIT_R_NUM, JIT_V,
4005         JIT_V_NUM.
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.
4013
4014 2004-07-09  Paolo Bonzini  <bonzini@gnu.org>
4015
4016         * lightning/ppc/funcs.h: Fix location where return address
4017         is stored.
4018         * lightning/i386/asm.h: Add a trailing _ to opcodes without
4019         any parameter.
4020         * lightning/i386/core.h: Adjust for the above.
4021
4022 2004-04-15  Paolo Bonzini  <bonzini@gnu.org>
4023
4024         * lightning/i386/fp.h: Change "and" to "_and"
4025         to satisfy C++ compilers.
4026
4027 2004-04-14  Paolo Bonzini  <bonzini@gnu.org>
4028
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.
4033
4034 2004-04-14  Paolo Bonzini  <bonzini@gnu.org>
4035
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.
4040
4041 2004-04-14  Paolo Bonzini  <bonzini@gnu.org>
4042
4043         * lightning/i386/core.h: Fix pasto in jit_b*_ui.
4044
4045 2004-03-30  Laurent Michel
4046
4047         * lightning/ppc: Implement PowerPC floating point
4048         (ChangeLog entry missing).
4049
4050 2004-03-12  Paolo Bonzini  <bonzini@gnu.org>
4051
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.
4059
4060 2004-03-15  Paolo Bonzini  <bonzini@gnu.org>
4061
4062         Merge changes from Laurent Michel.
4063
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
4067         jit_movi_p.
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
4076         area.
4077         * lightning/ppc/funcs.h: Add a few casts.
4078         * tests/bc.c: New testcase.
4079
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.
4083
4084
4085 2004-03-09  Paolo Bonzini  <bonzini@gnu.org>
4086
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.
4108
4109 2004-03-02  Paolo Bonzini  <bonzini@gnu.org>
4110
4111         * lightning/i386/core.h: generate correct code when
4112         doing lt/le/ge/etc. on ESI and EDI.  Use MOVZX/MOVSX
4113         where possible.
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.
4117
4118 2004-02-06  Paolo Bonzini  <bonzini@gnu.org>
4119
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.
4124
4125 2004-01-08  Paolo Bonzini  <bonzini@gnu.org>
4126
4127         * tests/rpnfp.c: new example, suggested by Basile
4128         Starynkevitch.
4129         * tests/rpnfp.ok: new example.
4130
4131 2003-12-12  Paolo Bonzini  <bonzini@gnu.org>
4132
4133         * tests/add.c: new test, suggested by Steve Dekorte.
4134         * tests/add.c: new test.
4135
4136 2003-11-14  Paolo Bonzini  <bonzini@gnu.org>
4137             John Redford <eirenik@hotmail.com>
4138
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
4144         _jit.x.pc.
4145         * lightning/i386/core.h: remove casts from jit_might.
4146
4147 2003-05-25  Paolo Bonzini  <bonzini@gnu.org>
4148
4149         * lightning/i386/core.h: use JITSORRY in jit_replace
4150         * lightning/asm-common.h: define JITSORRY
4151
4152 2003-05-14  Paolo Bonzini  <bonzini@gnu.org>
4153
4154         * lightning/i386/core.h: fix missing comma in several
4155         load/store macros.
4156         * lightning/core-common.h: fix long/unsigned long/pointer
4157         jit_pushr/jit_popr.
4158         * lightning/ppc/funcs.h: correctly align stack pointer
4159
4160 No changelogs for the assemblers (lightning directory) until 1.0
4161
4162 2003-03-27  Paolo Bonzini  <bonzini@gnu.org>
4163
4164         * tests/printf2.c: new test
4165
4166 2001-05-03  Paolo Bonzini  <bonzini@gnu.org>
4167
4168         * tests/printf.c: made the message platform independent
4169
4170 2001-01-19  Paolo Bonzini  <bonzini@gnu.org>
4171
4172         * configure.in: support cross-assembling
4173
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
4178
4179         * disass/disass.c, disass/Makefile.am: new files
4180
4181         * tests/fib.c, tests/fibit.c, tests/incr.c, tests/printf.c,
4182         tests/rpn.c, tests/testfp.c, tests/Makefile.am: support
4183         disassembling