cdrom: fix a copy-paste mistake
[pcsx_rearmed.git] / deps / lightning / ChangeLog
CommitLineData
ba86ff93
PC
12023-08-21 Paulo Andrade <pcpa@gnu.org>
2
3 * check/Makefile.am, check/lightning.c: Add new hmul tests.
4 * doc/body.texi: Document hmul.
5 * include/lightning.h.in: Create the new hmul codes.
6 * lib/jit_aarch64-cpu.c, lib/jit_aarch64-sz.c, lib/jit_aarch64.c,
7 lib/jit_alpha-cpu.c, lib/jit_alpha-sz.c, lib/jit_alpha.c,
8 lib/jit_arm-cpu.c, lib/jit_arm-sz.c, lib/jit_arm.c,
9 lib/jit_hppa-cpu.c, lib/jit_hppa-sz.c, lib/jit_hppa.c,
10 lib/jit_ia64-cpu.c, lib/jit_ia64-sz.c, lib/jit_ia64.c,
11 lib/jit_loongarch-cpu.c, lib/jit_loongarch-sz.c, lib/jit_loongarch.c,
12 lib/jit_mips-cpu.c, lib/jit_mips-sz.c, lib/jit_mips.c,
13 lib/jit_ppc-cpu.c, lib/jit_ppc-sz.c, lib/jit_ppc.c,
14 lib/jit_riscv-cpu.c, lib/jit_riscv-sz.c, lib/jit_riscv.c,
15 lib/jit_s390-cpu.c, lib/jit_s390-sz.c, lib/jit_s390.c,
16 lib/jit_sparc-cpu.c, lib/jit_sparc-sz.c, lib/jit_sparc.c,
17 lib/jit_x86-cpu.c, lib/jit_x86-sz.c, lib/jit_x86.c: Implement
18 hmul and update the *-sz.c files.
19 * lib/jit_names.c, lib/lightning.c: Add knowledge of hmul.
20
212023-04-18 Paulo Andrade <pcpa@gnu.org>
22
23 * include/lightning.h.in: Define new fmar_f, fmai_f, fmsr_f,
24 fmsi_f, fmar_d, fmai_d, fmsr_d and fmsi_d instructions, that
25 add support for fused multiply add/sub, in the format
26 r0 = r1 * r2 +/- r3.
27 * include/lightning/jit_private.h: Add helper macros for debug
28 output.
29 * lib/jit_names.c: Add strings for debug output.
30 * lib/jit_print.c: Print debug output for the new instructions.
31 * lib/lightning.c: Add logic for the new register pair in the
32 'v' (second) field of jit_node_t. The new pattern is required
33 to allow having a 'double' immediate in the last argument, for
34 the versions with immediates. The versions with immediates are
35 added for consistency, as they should be very rarely used in
36 common usage of fused multiply add/sub.
37
382023-04-06 Paulo Andrade <pcpa@gnu.org>
39
40 * include/lightning.h.in: Define new movi_w_f, movi_w_d and
41 movi_ww_d instructions, to have an inverse counterpart to
42 movi_f_w, movi_d_w and movi_d_ww.
43 * lib/lightning.c: Update for the new instructions.
44 * lib/jit_names.c, lib/jit_print.c: Update debug information.
45
462023-04-05 Paulo Andrade <pcpa@gnu.org>
47
48 * include/lightning.h.in: Define new unldr, unldi, unldr_x,
49 unldi_x, unstr, unsti, unldr_x and unstr_x instructions.
50 Remove comment about internal backend specific codes, as they
51 are required by unldr_x and unstr_x in some code paths.
52 * lib/lightning.c: Implement generic movi_f_w, movi_d_w and
53 movi_d_ww that are actually the same for all ports.
54 Define generic load/store implementations when unaligned memory
55 access does not trap.
56
572023-03-23 Paulo Andrade <pcpa@gnu.org>
58
59 * include/lightning.h.in: Define new qlshr, qlshi, qlshr_u,
60 qlshi_u, qrshr, qrshi, qrshr_u and qrshi_u instructions.
61 * lib/jit_fallback.c: Implement new fallbacks.
62 * lib/jit_names.c: Update debug information.
63 * lib/lightning.c: Add code to update regsets, matching other
64 instructions with two outputs.
65
662023-03-20 Paulo Andrade <pcpa@gnu.org>
67
68 * check/all.tst: Add missing instructions to debug encoding.
69 * check/lightning.c: Implement calls to the new rich set of
70 instructions, with an immediate argument, mostly which are resolved
71 at code generation time. With the exception of jit_negi_{f,d},
72 jit_absi{f,d} and jit_sqrti_{f,d} that generate code to execute at
73 runtime. This is required because the code generator should create
74 the proper float environment with rounding modes, exceptions, etc.
75 The new jit_depi is just a wrapper to have the second operand as an
76 immediate and call jit_depr.
77 * include/lightning.h.in: Declare new instructions code and function
78 prototypes as appropriate.
79 * include/lightning/jit_private.h: Add 4 new macros to generate
80 synthetic debug for float operations with an immediate argument.
81 * lib/jit_aarch64.c, lib/jit_alpha.c, lib/jit_arm.c, lib/jit_hppa.c,
82 lib/jit_ia64.c, lib/jit_loongarch.c, lib/jit_mips.c, lib/jit_ppc.c,
83 lib/jit_riscv.c, lib/jit_s390.c, lib/jit_sparc.c, lib/jit_x86.c:
84 Add code to call the generic code to implement new instructions
85 with immediate operands.
86 * lib/jit_names.c, lib/jit_print.c: Add debug for the new instructions
87 with immediate operands.
88 * lib/lightning.c: Add code to handle regsets and actually implement
89 the generic new instructions.
90
912023-03-17 Paulo Andrade <pcpa@gnu.org>
92
93 * lib/jit_fallback.c: Implement fallbacks for new instructions
94 ext, ext_u and dep.
95 * lib/lightning.c: Add code to understand the new instructions
96 and update regsets as appropriate.
97 * lib/jit_names.c, lib/jit_print.c: Update for debug information
98 of ext, ext_u and dep.
99 * include/lightning.h.in: Define jit_code_t for ext, ext_u and dep.
100 * check/lightning.c: Handle the new instructions.
101 * check/all.tst: Add new instructions for the full disassembly.
102
1032023-03-07 Paulo Andrade <pcpa@gnu.org>
104
105 * check/alu_rot.tst, check/alu_rot.ok: New test files for the new
106 lrotr, lroti, rrotr and rroti instructions.
107 * check/Makefile.am, check/lightning.c, include/lightning.h.in,
108 lib/jit_names.c: lib/lightning.c, doc/body.texi: Update for the
109 new instructions.
110 * lib/jit_aarch64-cpu.c, lib/jit_aarch64.c, lib/jit_arm-cpu.c,
111 lib/jit_arm.c: Implement optimized rrotr and rroti. lrotr and
112 lroti just adjust parameters for a left shift rotate.
113 * lib/jit_alpha-cpu.c, lib/jit_alpha.c, lib/jit_ia64-cpu,
114 lib/jit_ia64.c, lib/jit_riscv-cpu.c, lib/jit_riscv.c,
115 jit_sparc-cpu.c, jit_sparc.c: Implement calls to fallback lrotr,
116 lroti, rrotr and rroti.
117 * lib/jit_hppa-cpu.c, lib/jit_hppa.c: Implement optimized rroti.
118 Other instructions use fallbacks.
119 * lib/jit_loongarch-cpu.c, lib/jit_loongarch.c: Implement optimized
120 rrotr and rroti. lrotr and lroti just adapt arguments and use a
121 right shift.
122 * lib/jit_mips-cpu.c, lib/jit_mips.c: If mips2, Implement optimized
123 rrotr and rroti. lrotr and lroti just adapt arguments and use a
124 right shift. If mips1 use fallbacks.
125 * lib/jit_ppc-cpu.c, lib/jit_ppc.c, jit_s390-cpu.c, jit_s390.c,
126 lib/jit_x86-cpu.c, lib/jit_x86.c: Implement optimized lrotr,
127 lroti, rrotr, rroti.
128 * lib/jit_fallback.c: Implement fallbacks for lrotr, lroti,
129 rrotr and rroti. Also add extra macro to avoid segfaults in s390,
130 that cannot use register zero for some addressing instructions.
131
1322023-03-02 Paulo Andrade <pcpa@gnu.org>
133
134 * check/popcnt.tst, check/popcnt.ok: New test files for the new
135 popcntr instruction.
136 * check/Makefile.am, check/lightning.c, include/lightning.h.in,
137 lib/jit_names.c: lib/lightning.c, doc/body.texi: Update for popcntr.
138 * lib/jit_aarch64-fpu.c, lib/jit_aarch64.c: Implement optimized
139 popcntr using the fpu.
140 * lib/jit_alpha-cpu.c, lib/jit_alpha.c: Implement optimized
141 popcntr using the ctpop instruction.
142 * lib/jit_arm-vfp.c, lib/jit_arm-cpu.c, lib/jit_arm.c: Implement
143 untested optimized popcntr using vfp >= 4, otherwise use a
144 software fallback.
145 * lib/jit_ia64-cpu.c, lib/jit_jia64.c: Implement optimized
146 popcntr using the popcnt instruction.
147 * lib/jit_ppc-cpu.c, lib/jit_ppc.c: Implement optimized
148 popcntr using the popcntb, plus mullr and rshi_u instruction.
149 * lib/jit_x86-cpu.c, lib/jit_x86.c: Implement optimized
150 popcntr instruction using the popcnt instruction if available,
151 otherwise use an optimized fallback.
152 * lib/jit_fallback.c: Implement simple fallback popcnt.
153 * lib/jit_hppa.c, lib/jit_loongarch.c, lib/jit_mips.c,
154 lib/jit_riscv.c, lib/jit_s390.c, lib/jit_sparc.c: Use fallback
155 popcnt.
156
1572023-02-26 Paulo Andrade <pcpa@gnu.org>
158
159 * check/bit.tst: Correct 32 bit sample ctz implementation.
160 * include/lightning/jit_mips.h: Add jit_cpu flags for instructions
161 that cannot be used in delay slot.
162 * lib/jit_fallback.c: Mips fallbacks now might need a flush of
163 instructions to get correct label addresses, due to pending
164 instruction candidate to delay slot.
165 * lib/jit_mips-cpu.c: Flush any pending instruction if it cannot
166 be used in the delay slot. Add calls to fallback clo, clz, cto and
167 ctz for mips 1.
168 * lib/jit_mips.c: Add code to set defaults or detect if can use
169 certain instructions to delay slots.
170
79bfeef6
PC
1712023-02-23 Paulo Andrade <pcpa@gnu.org>
172
173 * include/lightning/jit_private.h: Add new 'inst' field to
174 jit_compiler_t, if __mips__ is defined. This field is a simple
175 helper for a pending instruction to be emitted, and that can
176 be emitted out of order.
177 * lib/jit_fallback.c: Update for changes in internal mips patching
178 and jumping macros and function calls.
179 * lib/jit_mips-cpu.c: Core of changes to attempt to fill delay
180 slots with instructions that can be emitted out of order.
181 * lib/jit_mips-fpu.c: Update to use delay slot in branches.
182 * lib/jit_mips.c: Update for new delay slot use logic.
183
1842023-02-20 Paulo Andrade <pcpa@gnu.org>
185
186 * check/float.tst: Add conditionals for mips release for expected
187 NaN truncated to an integer.
188 * check/lightning.c: Add extra preprocessor for mips release.
189 * include/lightning/jit_mips.h: Make the NEW_ABI preprocessor
190 defined to zero if using the n32 or n64 abis. This makes it
191 easier to create runtime checks with an always true or false
192 condition.
193 * lib/jit_mips-cpu.c, lib/jit_mips-fpu.c: Implement mips release
194 6 support.
195 * lib/jit_mips.c: Add more reliable mips release detection code.
196
1972023-02-09 Paulo Andrade <pcpa@gnu.org>
198
199 * check/Makefile.am: Update for new bit.tst test, to check the
200 new clor, clzr, ctor and ctzr instructions.
201 * check/all.tst: Update to verify encoding of new instructions.
202 * check/lightning.c: Update to have the lightning "assembler"
203 understanding the new instructions.
204 * include/lightning.h.in: Define new codes for new instructions.
205 * lib/jit_aarch64.c, lib/jit_alpha.c, lib/jit_arm.c, lib/jit_hppa.c,
206 lib/jit_ia64.c, lib/jit_loongarch.c, lib/jit_mips.c, lib/jit_ppc.c,
207 lib/jit_riscv.c, lib/jit_s390.c, lib/jit_sparc.c, lib/jit_x86.c:
208 Implement fallback version of new instructions.
209 * lib/jit_fallback.c: Actual implementation of the fallbacks of
210 the new instructions.
211 * lib/jit_names.c: Update to print debug information of new
212 instructions.
213
2142023-01-26 Paulo Andrade <pcpa@gnu.org>
215
216 * check/riprel.c, check/riprel.ok: New check files.
217 * check/Makefile.am: Support for new riprel test.
218 * lib/jit_x86-cpu.c, lib/jit_x86-sse.c, lib/jit_x86.c: Implement
219 %rip relative addressing when reliable. Currently disabled for
220 x32 and _WIN32; could be added for positive relative addresses
221 only where it should work.
222 * lib/lightning.c: Correct problem added in previous patch due
223 to not testing on a 32 bit environment.
224
2252023-01-23 Paulo Andrade <pcpa@gnu.org>
226
227 * lib/jit_mips-cpu.c, lib/jit_mips-cpu.c: Use pseudo instructions
228 "b" (BEQ(0,0,disp)) and "bal" (BGEZAL(0,disp)) for mips2, when an
229 unconditional branch or function call is known to be in range of a
230 relative jump. This should significantly reduce jit size generation.
231
2322023-01-20 Paulo Andrade <pcpa@gnu.org>
233
234 * lib/jit_mips-cpu.c, lib/jit_mips.c, lib/jit_rewind.c: Adapt
235 code to implement a variable framesize and optimize frame pointer
236 for simple leaf functions.
237
2382023-01-19 Paulo Andrade <pcpa@gnu.org>
239
240 * lib/jit_riscv.c, lib/jit_riscv-cpu.c: Adapt code to use a
241 variable framesize. Previously it was aligning the stack at
242 8 bytes, not 16. Now functions are called with a 16 byte aligned
243 stack.
244
2452023-01-18 Paulo Andrade <pcpa@gnu.org>
246
247 * include/lightning/jit_private.h: Include new framesize field
248 of jit_compiler_t; add new alist field for jit_function_t; add
249 new cvt_offset and need_stack fields specific to x86.
250 * lib/jit_x86.c, lib/jit_x86-cpu: Rewrite code to create stack
251 frames, so that less stack space can be used if no, or very few
252 callee save registers are modified in a function.
253 * jit_x86-sse.c, jit_x86-x87.c: Make CVT_OFFSET variable, and
254 dynamically allocated; this is required to avoid needing to
255 modify twice %rsp at function prologs, even if no stack space
256 is used.
257
2582022-11-09 Paulo Andrade <pcpa@gnu.org>
259
260 * configure.ac: Add new --enable-devel-strong-type-checking
261 option.
262 * include/lightning.h.in: Rework to not need to know if
263 PACKED_STACK is defined, and add a new argument to _jit_arg,
264 _jit_putarg{r,i}, _jit_pusharg{r,i} and _jit_ret{r,i} to have
265 the same code path if PACKED_STACK is defined or not, and also
266 to implement STRONG_TYPE_CHECK enabled with the new
267 --enable-devel-strong-type-checking.
268 * include/lightning/jit_private.h: Add new macros to add assertions
269 for STRONG_TYPE_CHECK and avoid pasting tokens in jit_inc_synth*
270 when the token is not a static known value.
271 * lib/jit_aarch64.c: The first implementation of the new code,
272 working correctly in Apple M1 and with and without STRONG_TYPE_CHECK
273 in Linux.
274
2752022-11-08 Paulo Andrade <pcpa@gnu.org>
276
277 Add support for packed stack arguments as used by Apple M1
278 aarch64 cpus. This requires a major redesign in how Lightning
279 works, because contrary to all other supported ports, in this
280 case arguments must be truncated and sign/zero extended if
281 passed in registers, but when receiving the argument, there
282 is no need to truncate and sign/zero extend.
283 Return values are also treated this way. The callee must
284 truncate sign/zero extend, not the caller.
285 check/Makefile.am: Add LIGHTNING_CFLAGS to AM_CFLAGS.
286 check/all.tst: Implement paired arg/getarg/pusharg/putarg/ret
287 codes to validate they do not generate assertions.
288 * check/allocar.tst, check/call.tst, check/fib.tst, check/put.tst,
289 check/stack.tst: Update to pass in all build types.
290 check/lightning.c: Add new codes for extra codes to handle
291 packed stack.
292 * configure.ac: Add a preprocessor define to know if packed stack
293 need is required. This is not really used, as it was moved to
294 jit_aarch64.h.
295 * doc/Makefile.am: Add LIGHTNING_CFLAGS to AM_CFLAGS.
296 * doc/rpn.c: Update to pass in all build types.
297 include/lightning.h.in: Add new codes and reorder enum.
298 * include/lightning/jit_aarch64.h: Detect condition of needing
299 a packed stack.
300 * lib/jit_aarch64-sz.c: Regenerate.
301 * lib/jit_aarch64.c: Major updates for packed stack.
302 * lib/jit_names.c: Updates for debug output.
303 * lib/lightning.c: Update for new codes.
304
3052022-10-31 Marc Nieper-Wißkirchen <marc@nieper-wisskirchen.de>
306
307 Add new skip instruction.
308 * .gitignore: Update from Gnulib.
309 * check/Makefile.am: Add tests.
310 * check/lightning.c: Handle skip instructions.
311 * check/protect.c: Rewrite with skip.
312 * check/skip.ok: New test.
313 * check/skip.tst: New test.
314 * doc/body.texi: Document the skip instruction.
315 * include/lightning.h.in: Add the skip instruction.
316 * lib/jit_aarch64-sz.c: Update for skip instruction.
317 * lib/jit_aarch64.c: Implement skip instruction.
318 * lib/jit_alpha-sz.c: Update for skip instruction.
319 * lib/jit_alpha.c: Implement skip instruction.
320 * lib/jit_arm-sz.c: Update for skip instruction.
321 * lib/jit_arm.c: Implement skip instruction.
322 * lib/jit_hppa-sz.c: Update for skip instruction.
323 * lib/jit_hppa.c: Implement skip instruction.
324 * lib/jit_ia64-sz.c: Update for skip instruction.
325 * lib/jit_ia64.c: Implement skip instruction.
326 * lib/jit_loongarch-sz.c: Update for skip instruction.
327 * lib/jit_loongarch.c: Implement skip instruction.
328 * lib/jit_mips-sz.c: Update for skip instruction.
329 * lib/jit_mips.c: Implement skip instruction.
330 * lib/jit_names.c: Update for skip instruction.
331 * lib/jit_ppc-sz.c: Update for skip instruction.
332 * lib/jit_ppc.c: Implement skip instruction.
333 * lib/jit_riscv-sz.c: Update for skip instruction.
334 * lib/jit_riscv.c: Implement skip instruction.
335 * lib/jit_s390-sz.c: Update for skip instruction.
336 * lib/jit_s390.c: Implement skip instruction.
337 * lib/jit_size.c: Treat align and skip in a special way.
338 * lib/jit_sparc-sz.c: Update for skip instruction.
339 * lib/jit_sparc.c: Implement skip instruction.
340 * lib/jit_x86-sz.c: Update for skip instruction.
341 * lib/jit_x86.c: Implement skip instruction.
342 * lib/lightning.c: Classify skip instruction.
343
3442022-10-30 Marc Nieper-Wißkirchen <marc@nieper-wisskirchen.de>
345
346 Add user-visible functions jit_protect and jit_unprotect.
347 * check/Makefile.am: Add test for jit_protect and jit_unprotect.
348 * check/protect.c: New test.
349 * doc/body.texi: Add documentation for jit_protect and
350 jit_unprotect.
351 * include/lightning.h.in: Add prototypes for jit_protect and
352 jit_unprotect.
353 * include/lightning/jit_private.h: Add a field to store the size
354 of the protected memory.
355 * lib/lightning.c: Remember the size of the protected memory and
356 implement the two new functions.
357
24d91c0d
PC
3582022-10-12 Paulo Andrade <pcpa@gnu.org>
359
360 * include/lightning/jit_loongarch.h, lib/jit_loongarch-cpu.c,
361 lib/jit_loongarch-fpu.c, lib/jit_loongarch-sz.c, lib/jit_loongarch.c:
362 New files implementing the first version of the new loongarch port.
363 * check/float.tst: Add preprocessor checks for NaN and +-Inf
364 values converted to integers for loongarch.
365 * configure.ac: Add check and conditionals for new architecture.
366 * include/lightning.h.in, check/lightning.c,
367 include/lightning/Makefile.am, include/lightning/jit_private.h,
368 lib/Makefile.am, lib/jit_size.c, lib/lightning.c: Update for new
369 port.
370
c0c16242
PC
3712022-10-05 Paulo Andrade <pcpa@gnu.org>
372
373 * check/lightning.c: Remove -Dmacro=value from usage and attempt
374 to parse it. It was buggy and not properly implemented. Now
375 it pass any extra options to the generated jit. To pass any
376 option starting with '-' need to also use '--'.
377 * check/collatz.e: New sample file showing an example of jit
378 generation.
379
3802022-10-04 Paulo Andrade <pcpa@gnu.org>
381
382 * include/lightning/jit_private.h: Add new flag to jit_block_t.
383 * lib/lightning.c: Rewrite register liveness and state at block
384 entry code to avoid a very expensive and non scaling code path.
385 Now it attempts to do as few as possible recomputations when
386 merging state of adjacent blocks, still doing one extra nop pass
387 (in the sense that it will not find any changes) to make sure the
388 logic is correct.
389
3902022-09-30 Paulo Andrade <pcpa@gnu.org>
391
392 * include/lightning/jit_private.h: Implement new data structures
393 specific to riscv.
394 * lib/jit_disasm.c: Extra disassemble code for riscv constant pool.
395 * lib/jit_riscv-cpu.c: Modify movi to use constant pool if 3 or
396 more instructions are required to construct constant and modify
397 movi_p to use a pc relative load from a constant pool.
398 lib/jit_riscv-sz.c: Update for new constant pool code. Most
399 instructions that need 64 bit constants are significantly reduced.
400 * lib/jit_riscv.c: Implement most of the constant pool code.
401 * lib/jit_size.c: Update for estimate of code generation size.
402 * lib/lightning.c: Update for riscv specific code, and also make
403 sure to mprotect the constant pool as executable.
404
ba3814c1
PC
4052022-09-08 Paulo Andrade <pcpa@gnu.org>
406
407 * lib/jit_fallback.c: Implement fallback compare and swap with
408 pthreads.
409 * check/Makefile.am: Update for new cas{r,i} simple test.
410 * check/catomic.c, check/catomic.ok: New test case for
411 simple compare and swap atomic operation.
412 * check/lightning.c: Add entries to be able to use
413 the new compare and swap atomic operation. Still missing
414 a general test, only the basic C version.
415 * include/lightning.h.in: Include pthread.h, even if not
416 needing a fallback compare and swap.
417 * include/lightning/jit_private.h: Add support for a register pair
418 in second argument. Required by the new casr and casi operations.
419 * lib/jit_aarch64-cpu.c, lib/jit_aarch64-sz.c, lib/jit_aarch64.c,
420 lib/jit_ppc-cpu.c, lib/jit_ppc-sz.c, lib/jit_ppc.c, lib/jit_x86-cpu.c,
421 lib/jit_x86-sz.c, lib/jit_x86.c: Implement inline code for compare
422 and swap.
423 * lib/jit_arm-cpu.c, lib/jit_arm-sz.c, lib/jit_arm.c: Implement
424 inline code for compare and swap if cpu is armv7, otherwise, use
425 a fallback with pthreads.
426 * lib/jit_alpha-cpu.c, lib/jit_alpha-sz.c, lib/jit_alpha.c,
427 lib/jit_hppa-cpu.c, lib/jit_hppa-sz.c, lib/jit_hppa.c,
428 lib/jit_ia64-cpu.c, lib/jit_ia64-sz.c, lib/jit_ia64.c,
429 lib/jit_mips-cpu.c, lib/jit_mips-sz.c, lib/jit_mips.c,
430 lib/jit_riscv-cpu.c, lib/jit_riscv-sz.c, lib/jit_riscv.c,
431 lib/jit_s390-cpu.c, lib/jit_s390-sz.c, lib/jit_s390.c,
432 lib/jit_sparc-cpu.c, lib/jit_sparc-sz.c, lib/jit_sparc.c: Implement
433 fallback compare and swap with pthreads. At least some of these
434 should be updated for inline code generation.
435 * lib/jit_names.c, lib/jit_print.c: lib/lightning.c: Update for the
436 new compare and swap operation.
437 * doc/body.texi: Add simple documentation of the compare and swap
438 new operation.
439
4402022-08-12 Marc Nieper-Wißkirchen <marc@nieper-wisskirchen.de>
441
442 Document jit_align.
443 * doc/body.texi: Add documentation for jit_align.
444
40a44dcb
PC
4452022-05-14 Paulo Andrade <pcpa@gnu.org>
446
447 * include/lightning.h.in: Reorder jit_mov{n,z}r in instruction list.
448 * lib/jit_alpha.c, lib/jit_alpha-cpu.c, lib/jit_hppa.c,
449 lib/jit_hppa-cpu.c, lib/jit_ia64.c, lib/jit_ia64-cpu.c,
450 lib/jit_riscv.c, lib/jit_riscv-cpu.c, lib/jit_s390.c,
451 lib/jit_s390-cpu.c, lib/jit_sparc.c, lib/jit_sparc-cpu.c:
452 Implement fallback jit_mov{n,z}r. These are a somewhat cheap
453 implementation, but should be reviewed for the arches that already
454 have a proper conditional move.
455 * lib/jit_arm-sz.c, lib/jit_mips-sz.c: Add missing maximum size
456 estimative and reorder.
457 * lib/jit_aarch64-sz.c, lib/jit_x86-sz.c, lib/jit_ppc-sz.c:
458 Reorder entry to match definition order.
459 * lib/jit_aarch64-sz.c, lib/jit_alpha-sz.c, lib/jit_hppa-sz.c,
460 lib/jit_ia64-sz.c, lib/jit_riscv-sz.c, lib/jit_s390-sz.c,
461 lib/jit_sparc-sz.c: Add heuristic value, basically the sum of
462 the cost of a movr + beqr.
463 * lib/jit_names.c: Add entries for debug output of mov{n,z}r.
464 * lib/lightning.c: Use proper bitmask in jit_classify.
465
519a9ea1
PC
4662021-04-03 Marc Nieper-Wißkirchen <marc@nieper-wisskirchen.de>
467
468 * check/Makefile.am: Add test for the live instruction.
469 * check/live.ok: New file.
470 * check/live.tst: New file.
471 * doc/body.texi: Add documentation for the live instruction and
472 for jit_get_reg/jit_get_unreg. Fix menu entries.
473 * include/lightning.h.in (jit_get_reg, jit_unget_reg): Expose the
474 macros in the public header file.
475 * include/lightning/jit_private.h (jit_get_reg, jit_unget_reg):
476 Remove the macros from the private header file.
477
4782021-04-03 Marc Nieper-Wißkirchen <marc@nieper-wisskirchen.de>
479
480 * Makefile.am, check/Makefile.am, doc/Makefile.am,
481 lib/Makefile.am: Include $(top_builddir)/include in include paths
482 for the autoconf-generated header file lightning.h.
483
4842021-04-03 Marc Nieper-Wißkirchen <marc@nieper-wisskirchen.de>
485
486 * doc/.gitignore: Add version.texi to list of ignored files.
487 * doc/version.texi: Remove file from version control.
488
4892020-18-04 Paulo Andrade <pcpa@gnu.org>
490
491 * lib/jit_x86-cpu.c, lib/jit_x86.c: Implement %rip relative
492 calls and jumps on x86_64. Currently very conservative, assuming
493 a jit block can be larger than 2G, so, if a jump or call is in
494 the same jit generation, but target is unknown, use an indirect
495 branch (could have an option to assume a jit code block is
496 never larger than 2G). Also a deoptimization is that now does
497 not always generate ip relative jmpi; previously implicitly
498 assumed jmpi would never be larger than 2G. Overall still an
499 optimization.
500
4a71579b
PC
5012020-23-01 Paulo Andrade <pcpa@gnu.org>
502
503 * lib/lightning.c: Add a proper fix to the condition of considering
504 a register dead at entry of a block when it modifies the register
505 !after! a branch to a target where it is live.
506 The correction is just to split blocks on branches. It uses an
507 extra label per branch, but makes following the code simpler and
508 avoid costly searches.
509
5102020-22-01 Paulo Andrade <pcpa@gnu.org>
511
512 * lib/lightning.c: Correct a special condition of a register
513 only assigned in a block, and incorrectly marked as dead before
514 a jump where the register is live.
515
5162019-10-04 Paulo Andrade <pcpa@gnu.org>
517
518 * check/lightning.c, include/lightning/jit_private.h,
519 include/lightning/jit_x86.h, lib/jit_x86-cpu.c, lib/jit_x86-sz.c,
520 lib/jit_x86.c: Correct issues with MinGW64 that defines _WIN32
521 and needs long long for jit_word_t.
522
5232019-09-16 Paulo Andrade <pcpa@gnu.org>
524
525 * lib/lightning.c: Do not add registers that are never modified
526 to the set of registers to scan for live range, what might
527 consume a lot of cpu time, doing nothing.
528
519a9ea1 5292019-09-16 Marc Nieper-Wißkirchen <marc@nieper-wisskirchen.de>
4a71579b
PC
530
531 * include/lightning/jit_x86.h, lib/jit_x86.c: Correct x86_64
532 backend, made %r12 a callee-save register as dictated by the
533 System V AMD64 ABI.
534
5352019-09-16 Paulo Andrade <pcpa@gnu.org>
536
537 * Makefile.am: Do not force CFLAGS for the get_jit_size target.
538 * check/lightning.c: Drop __ppc__ check.
539 * include/lightning.h.in: Drop __ppc__ check. Add new
540 jit_flag_vararg flag, for special case in powerpc 32 bit using
541 the SYSV abi, and need to pass an extra argument during code
542 generation.
543 * include/lightning/jit_ppc.c: Drop __ppc_ check. Remove the
544 ABI_ELFv2 macro, as it now directly checks for the _CALL_ELF
545 value when/if appropriate.
546 * include/lightning/jit_private.h: Drop __ppc_ check. Check for
547 _CALL_AIXDESC to define extra data to handle function
548 descriptors.
549 * lib/jit_ppc-cpu.c: Update to check for _CALL_SYSV; assume
550 !_CALL_SYSV == (_CALL_AIX || _CALL_LINUX). Significant code
551 rework for the SYSV abi.
552 * lib/jit_ppc-sz.c: Update for the SYSV abi.
553 * lib/jit_ppc.c: Update for the SYSV abi. Add matching va_list
554 type. Drop __ppc__ check.
555 * lib/jit_size.c: Drop __ppc_ check.
556 * lib/lightning.c: Drop __ppc__ check. Add proper check for
557 __powerpc__ and _CALL_AIXDESC to manage function descriptors.
558 * lib/size.c: Update to drop __pppc_ check and SYSV abi.
559
5602019-08-30 Paulo Andrade <pcpa@gnu.org>
561
562 * lib/jit_mips-cpu.c: Use JALR to get the same effect as JR, as
563 in mips32r6 JR generates an illegal instruction. Thanks to
564 Bruno Haible for providing a patch and the information, reported at
565 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=925129
566 * THANKS: update.
567
519a9ea1 5682019-08-29 Marc Nieper-Wißkirchen <marc@nieper-wisskirchen.de>
4a71579b
PC
569
570 * include/lightning/jit_private.h: Move definition of offsetof
571 from the public header file here.
572
573 * configure.ac, include/Makefile.am, include/lightning.h,
574 include/lightning.h.in: Generate lightning.h from lightning.in.h
575 and remove the dependence on config.h from the public header file.
576
5772019-06-04 Paulo Andrade <pcpa@gnu.org>
578
579 * include/lightning/jit_riscv.h, lib/jit_riscv-cpu.c,
580 lib/jit_riscv-fpu.c, lib/jit_riscv-sz.c, lib/jit_riscv.c:
581 Implement riscv port. Only 64 bit Linux supported. Built on
582 Fedora 28 image.
583
584 * check/all.tst, check/float.tst, configure.ac, include/lightning.h,
585 include/lightning/Makefile.am, include/lightning/jit_private.h,
586 lib/Makefile.am, lib/jit_disasm.c, lib/jit_size.c, lib/lightning.c:
587 Minor updates for the new riscv port.
588
5892019-06-04 Paulo Andrade <pcpa@gnu.org>
590
591 * lib/jit_alpha.c lib/jit_ia64.c lib/jit_mips.c lib/jit_sparc.c:
592 Correct assertion of _jitc->regarg after emiting an instruction.
593 jit_carry may be set, but not an argument to the current instruction.
594
5952019-06-01 Paulo Andrade <pcpa@gnu.org>
596
597 * lib/lightning.c: Correct assertion on jit_unget_reg when the
598 argument is jit_carry, and jit_carry was not used in the
599 instruction.
600
6012019-06-01 Paulo Andrade <pcpa@gnu.org>
602
603 * include/lightning/jit_private.h: Remove no longer need
604 setmask field of jit_block_t and blockmask from jit_compiler_t.
605
606 * lib/lightning.c: Rework of register live and unknown state
607 information during jit generation. It no longer recurses nor
608 do dangerous bit unset of registers in unknown state. The
609 only pitfall known, that must be taken care now is that jmpr
610 (or jmpi to not a jit node) is treated as a function call, as
611 otherwise it would need to consider all registers live, and
612 spill/reload during all jit generation.
613
6142018-12-28 Paulo Andrade <pcpa@gnu.org>
615
616 * lib/jit_disasm.c: Release bfd handle. Thanks for patch to
617 Marc Nieper-Wißkirchen.
618
6192018-08-30 Paulo Andrade <pcpa@gnu.org>
620
621 * lib/jit_disasm.c: Add hints to select hppa disassembler.
622
623 * lib/jit_hppa-cpu.c: Correct address of vastart when all
624 argument registers were used as non vararg arguments.
625
626 * lib/jit_hppa-fpu.c: Disable load/store of rv,ix,rb where
627 rv is the value, ix is an register or integer offset and rb
628 is a base register. These should be better tested, as they do
629 not work on all environments (fail on qemu-hppa).
630
6312018-04-20 Paulo Andrade <pcpa@gnu.org>
632
633 * include/lightning/jit_private.h: Add new register classes to
634 flag float registers and double only registers, required for sparc64
635 where only low 32 bit fpr registers can be used for single precision
636 operations.
637 Add new 128 bit jit_regset_t type for sparc64 register set.
638
639 * include/lightning/jit_sparc.h, lib/jit_sparc-cpu.c, lib/jit_sparc-fpu.c,
640 lib/jit_sparc-sz.c, lib/jit_sparc.c: Update for 64 bits sparc.
641
642 * lib/lightning.c: Update for new jit_regset_t required for sparc64.
643
6442018-02-26 Paulo Andrade <pcpa@gnu.org>
645
646 * check/lightning.c, include/lightning.h: Add the new jit_va_push
647 interface. That should be called when passing a va_list to a C
648 function. This is required because on Alpha a va_list is passed
649 by value, and lightning does not know about data types, so, cannot
650 understand it is pushing a va_list as argument.
651
652 * lib/jit_names.c, lib/lightning.c: Minor changes for the new
653 jit_code_va_push.
654
655 * check/cva_list.c: Update only test case using jit_va_push, to
656 pass a va_list to a C function.
657
658 doc/body.texi: Better documentation of the varargs interface.
659
660 * jit_alpha.c, jit_alpha-cpu.c: Update to properly push a
661 C va_list and correctly calculate varargs offset.
662
663 * lib/jit_aarch64-sz.c, lib/jit_aarch64.c, lib/jit_alpha-sz.c,
664 lib/jit_arm-sz.c, lib/jit_arm.c, lib/jit_hppa-sz.c, lib/jit_hppa.c,
665 lib/jit_ia64-sz.c, lib/jit_ia64.c, lib/jit_mips-sz.c, lib/jit_mips.c,
666 lib/jit_ppc-sz.c, lib/jit_ppc.c, lib/jit_s390-sz.c, lib/jit_s390.c,
667 lib/jit_sparc-sz.c, lib/jit_sparc.c, lib/jit_x86-sz.c, lib/jit_x86.c:
668 Update for the new jit_va_push interface.
669
6702018-02-22 Paulo Andrade <pcpa@gnu.org>
671
672 * lib/jit_alpha-cpu.c: Always set t12 to the address of the
673 current function, to properly work on all systems. Previously
674 the shortcut did only work on Tru64. For Linux and glibc the
675 change is required.
676
6772018-02-22 Paulo Andrade <pcpa@gnu.org>
678
679 * lib/jit_aarch64.c, lib/jit_alpha.c, lib/jit_arm.c,
680 lib/jit_mips.c, lib/jit_ppc.c, lib/jit_sparc.c, lib/jit_x86.c:
681 Correct wrong logic in usage of jit_live in jit_retr. The
682 problem is that if a temporary is required during epilog,
683 the return register might be allocated, so, jit_live must always
684 be used.
685
6862018-01-31 Paulo Andrade <pcpa@gnu.org>
687
688 * lib/lightning.c: Avoid deep recursions when computing live
689 register ranges.
690
6912018-01-31 Paulo Andrade <pcpa@gnu.org>
692
693 * lib/jit_mips-cpu.c: Correct frame size and varargs
694 initialization for the n32 abi.
695 * lib/jit_mips.c, lib/jit_mips-fpu.c: Correct 32 bit abis
696 in big-endian.
697
6982017-09-13 Paulo Andrade <pcpa@gnu.org>
699
700 * configure.ac: Add check for binutils 2.29 prototype to the
701 disassembler function.
702 * lib/jit_disasm.c: Adapt for binutils 2.29 change.
703
7042017-06-09 Paulo Andrade <pcpa@gnu.org>
705
706 * include/lightning/jit_private.h, lib/lightning.c: Add a
707 second pass from start when computing register live ranges.
708 This should be used temporarily, and is required for certain
709 loop constructs, with several consecutive blocks not referencing
710 a live register.
711
7122016-05-05 Paulo Andrade <pcpa@gnu.org>
713
714 * lib/lightning.c: Correct wrong movr simplification,
715 remove no longer needed code to set return registers live
716 and update live register set when reaching a label boundary,
717 but do not descend if the block has been already visited.
718 The later need some tuning for complex code generation, where
719 it will still have issues.
720
7212015-11-30 Paulo Andrade <pcpa@gnu.org>
722
723 * doc/body.texi: Change documentation to no longer say
724 it is a variant of the Fibonacci sequence, and document
725 a proper implementation.
726 Thanks to Jon Arintok for pointing out that the Fibonacci
727 sequence generation was incorrect. It was documented, but
728 still confusing.
729
730 * check/fib.tst, check/fib.ok, check/bp.tst, check/bp.ok,
731 doc/ifib.c, doc/rbif.c: Implement a proper Fibonacci
732 sequence implementation.
733
7342015-07-03 Paulo Andrade <pcpa@gnu.org>
735
736 * lib/jit_mips-cpu.c: Correct definition of htonr_ul.
737 Correct prolog/epilog/va* routines to work on o64 abi.
738
739 * lib/jit_mips-fpu.c: Correct load of double literal
740 argument when not using a data buffer.
741 Remove alignment correction in vaarg_d if using the
742 new mips abi.
743
744 * lib/jit_mips.c: Correct code to allow creating variadic
745 jit functions when using the new mips abi.
746
747 * lib/jit_rewind.c: Minor adjust for rewind when using
748 the new mips abi, if there are varargs arguments in
749 registers.
750
7512015-06-06 Paulo Andrade <pcpa@gnu.org>
752
753 * lib/jit_ia64-cpu.c: Search backward for the last output
754 register used, otherwise would stop too early if a float
755 argument used the slot.
756 Correct offset of first va_list argument, and use proper
757 va_list abi.
758
759 * lib/jit_ia64-fpu.c: Add new functions to move a gpr
760 to a fpr register, to counterpart the ones that move a
761 fpr to a gpr. These are required to properly implement
762 jit_getarg*_{f,d} on complex prototypes, or variadic
763 jit functions.
764
765 * lib/jit_ia64-sz.c: Update for support to jit variadic
766 functions.
767
768 * lib/jit_ia64.c: Implement proper abi for variadic
769 jit functions.
770
7712015-06-04 Paulo Andrade <pcpa@gnu.org>
772
773 * lib/jit_rewind.c: New file implementing generic functions
774 to "rewind", or rewrite IR code sequences.
775
776 * include/lightning.h: Add several new codes, that previously
777 were a function call, that would synthesize the operation.
778 Now, there is a code for the operation, and a new flag to
779 know an operation is synthesized.
780
781 * include/lightning/jit_private.h: Add several new macros to
782 help construct synthesized IR code sequences.
783
784 * lib/Makefile.am: Update for lib/jit_rewind.c.
785
786 * lib/jit_disasm.c: Update for a small rework on jit_node_t,
787 so that --enable-devel-disassembler does not need a change
788 in the layout of jit_node_t.
789
790 * lib/jit_names.c: Update for the new codes.
791
792 * lib/jit_print.c: Update to print more readable output, and
793 flag synthesized IR code sequences.
794
795 * lib/jit_aarch64-sz.c, lib/jit_aarch64.c,
796 lib/jit_arm-sz.c, lib/jit_arm.c, lib/jit_x86-sz.c,
797 lib/jit_x86.c: Update for new synthesized IR code sequences.
798
799 * lib/jit_ppc-cpu.c, lib/jit_ppc-fpu., lib/jit_ppc-sz.c,
800 lib/jit_ppc.c, lib/jit_mips-cpu.c, lib/jit_mips-fpu.c,
801 lib/jit_mips-sz.c, lib/jit_mips.c, lib/jit_s390-fpu.c,
802 lib/jit_s390-sz.c, lib/jit_s390.c: Update for new synthesized
803 IR code sequences and correct bugs in the initial varargs
804 implementation support.
805
806 * lib/jit_alpha-sz.c, lib/jit_alpha.c, lib/jit_hppa-sz.c,
807 lib/jit_hppa.c, lib/jit_ia64-sz.c, lib/jit_ia64.c,
808 lib/jit_sparc-sz.c, lib/jit_sparc.c: Add generic, untested
809 support for the new synthesized IR code sequences. Known
810 most likely broken right now, and should be corrected once
811 access to these hosts is available.
812
813 * lib/lightning.c: Update for new IR codes, and add support
814 for not yet existing instructions that change third argument.
815
816 * size.c: Change to use different tables for LE and BE PowerPC.
817 Correct a wrong endif for x32.
818
8192015-05-25 Paulo Andrade <pcpa@gnu.org>
820
821 * check/cva_list.c: New file implementing a test to ensure
822 the value returned by jit_va_start is a valid C va_list.
823
824 * check/va_list.ok: New simple helper file, as now the
825 va_list.tst test is enabled.
826
827 * check/va_list.tst: Rewritten for an extensive variadic
828 jit functions test.
829
830 * check/Makefile.am: Update for the new tests.
831
832 * lib/jit_arm-cpu.c, lib/jit_arm-swf.c, lib/jit_arm-vfp.c,
833 lib/jit_arm.c: Correct broken software float in a previous
834 commit. Note that the hard float abi implementation is known
835 broken at this time, for special cases involving variadic
836 functions, and should be corrected next.
837
838 lib/jit_x86-cpu.c, lib/jit_x86-sz.c, lib/jit_x86.c: Correct
839 the jit_va_list_t semantics to match C va_list.
840
8412015-05-24 Paulo Andrade <pcpa@gnu.org>
842
843 * lib/Makefile.am: Bump library major. This is a preparation
844 for a rework that was due for quite some time, but that is
845 now required to properly implement variadic jit functions.
846 The rework is mainly required to know at prolog parsing, if
847 a function is variadic or not. This will benefit a few
848 backends, and is mandatory for the hard float arm abi.
849 The rework was already planned for quite some time, to
850 be able to use a variable stack framesize, and for leaf
851 functions optimization where applicable.
852 The change will be source compatible, but will change
853 some internals, and jit_code_t values, as some new will
854 be added.
855 The only behavior change is that, jit_arg_register_p may
856 change return value on hard float arm abi, if called before
857 or after jit_ellipsis. Common sense anyway, would say to
858 make that call after jit_ellipsis, but documentation
859 should be updated for it.
860
8612015-05-24 Paulo Andrade <pcpa@gnu.org>
862
863 * lib/jit_aarch64-fpu.c, lib/jit_aarch64.c: Correct base
864 aarch64 varargs code.
865
8662015-05-24 Paulo Andrade <pcpa@gnu.org>
867
868 * check/lightning.c: Clearly run check if clang is the system
869 compiler.
870
8712015-05-20 Paulo Andrade <pcpa@gnu.org>
872
873 * lib/jit_sparc-cpu.c, lib/jit_sparc-fpu.c, lib/jit_sparc.c:
874 Add base support to jit vararg functions to the sparc backend.
875
8762015-05-20 Paulo Andrade <pcpa@gnu.org>
877
878 * lib/jit_alpha-cpu.c, lib/jit_alpha-fpu.c, lib/jit_alpha.c:
879 Add base support to jit vararg functions to the alpha backend.
880
8812015-05-19 Paulo Andrade <pcpa@gnu.org>
882
883 * lib/jit_hppa-cpu.c, lib/jit_hppa-fpu.c, lib/jit_hppa.c:
884 Add base support to jit vararg functions to the hppa backend.
885
8862015-05-10 Paulo Andrade <pcpa@gnu.org>
887
888 * lib/jit_ia64-cpu.c, lib/jit_ia64-fpu.c, lib/jit_ia64.c:
889 Add base support to jit vararg functions to the ia64 backend.
890
8912015-05-10 Paulo Andrade <pcpa@gnu.org>
892
893 * lib/jit_ia64-fpu.c, lib/jit_ia64.c: Correct movi_d_w
894 and movi_f_w implementation to work when not using a
895 data buffer. This causes the check varargs.tst to
896 work when passing "-d" to the lightning test tool.
897
8982015-05-10 Paulo Andrade <pcpa@gnu.org>
899
900 * lib/jit_ia64.c: Implement inline assembly cache flush,
901 required on multiprocessor systems.
902
9032015-05-06 Paulo Andrade <pcpa@gnu.org>
904
905 * lib/jit_mips-cpu.c, lib/jit_mips-fpu.c, lib/jit_mips.c:
906 Add base support to jit vararg functions to the mips backend.
907 Currently only supported on the o32 abi, until access to a
908 n32 system is arranged.
909
9102015-05-05 Paulo Andrade <pcpa@gnu.org>
911
912 * lib/jit_ppc-cpu.c, lib/jit_ppc-fpu.c, lib/jit_ppc.c:
913 Add base support to jit vararg functions to the PowerPC backend.
914
9152015-05-02 Paulo Andrade <pcpa@gnu.org>
916
917 * lib/jit_s390-cpu.c, lib/jit_s390-fpu.c, lib/jit_s390.c:
918 Add base support to jit vararg functions to the s390 backend.
919
9202015-05-01 Paulo Andrade <pcpa@gnu.org>
921
922 * lib/jit_arm-cpu.c, lib/jit_arm-swf.c, lib/jit_arm-vfp.c,
923 lib/jit_arm.c: Add base support to jit vararg
924 functions to the arm backend.
925
9262015-04-30 Paulo Andrade <pcpa@gnu.org>
927
928 * lib/jit_aarch64-cpu.c, lib/jit_aarch64-fpu.c,
929 lib/jit_aarch64.c: Add base support to jit vararg
930 functions to the aarch64 backend.
931
9322015-04-27 Paulo Andrade <pcpa@gnu.org>
933
934 * include/lightning.h, include/lightning/jit_private.h,
935 lib/jit_names.c, lib/lightning.c: Add initial support
936 for the new jit_va_start, jit_va_arg, jit_va_arg_d, and
937 jit_va_end interfaces. The jit_va_start call is supposed
938 to return a va_list compatible pointer, but not yet
939 decided if it will be "declared" stdarg compatible,
940 as for now only x86 support has been added (and should
941 be compatible), but issues may arise on other backends.
942
943 * check/lightning.c: Add wrappers to call the new jit_va_*
944 interfaces.
945
946 * lib/jit_x86-cpu.c, lib/jit_x86.c: Implement the new
947 jit_va_* for x86.
948
949 * lib/jit_x86-sz.c: Add fields, but not yet fully updated,
950 as this is an intermediate commit.
951
952 * lib/jit_aarch64-sz.c, lib/jit_aarch64.c,
953 lib/jit_alpha-sz.c, lib/jit_alpha.c,
954 lib/jit_arm-sz.c, lib/jit_arm.c,
955 lib/jit_hppa-sz.c, lib/jit_hppa.c,
956 lib/jit_ia64-sz.c, lib/jit_ia64.c,
957 lib/jit_mips-sz.c, lib/jit_mips.c,
958 lib/jit_ppc-sz.c, lib/jit_ppc.c,
959 lib/jit_s390-sz.c, lib/jit_s390.c,
960 lib/jit_sparc-sz.c, lib/jit_sparc.c: Prepare for the
961 new jit_va_* interfaces. Not yet implemented, and will
962 cause an assertion if used.
963
964 * check/va_list.tst: Simple early test case, that works
965 on x86_64, x32, ix86, cygwin, and cygwin64.
966
9672015-02-17 Paulo Andrade <pcpa@gnu.org>
968
969 * include/lightning.h, include/lightning/jit_private.h,
970 lib/jit_aarch64-cpu.c, lib/jit_aarch64.c,
971 lib/jit_alpha-cpu.c, lib/jit_alpha.c,
972 lib/jit_arm-cpu.c, lib/jit_arm.c,
973 lib/jit_hppa-cpu.c, lib/jit_hppa.c,
974 lib/jit_ia64-cpu.c, lib/jit_ia64.c,
975 lib/jit_mips-cpu.c, lib/jit_mips.c,
976 lib/jit_ppc-cpu.c, lib/jit_ppc.c,
977 lib/jit_s390-cpu.c, lib/jit_s390.c,
978 lib/jit_sparc-cpu.c, lib/jit_sparc.c,
979 lib/jit_x86-cpu.c, lib/jit_x86.c: Implement the new
980 jit_allocar(offs, size) interface, that receives
981 two integer registers arguments, allocates space
982 dynamically in the stack, returns the offset in
983 the first argument, and uses the second argument
984 for the size in bytes of the memory to be allocated.
985
986 * check/allocar.ok, check/allocar.tst: New files
987 implementing test cases for the new jit_allocar
988 interface.
989
990 * check/Makefile.am, check/lightning.c: Update for
991 the new test case and interface.
992
993 * doc/body.texi: Add documentation of the new
994 interface.
995
9962015-02-17 Paulo Andrade <pcpa@gnu.org>
997
998 * include/lightning/jit_x86.h, lib/jit_x86-cpu.c,
999 lib/jit_x86-x87.c: No longer make st(7) available.
1000 Need to keep one x87 slots empty to avoid exceptions.
1001 This has the side effect of no longer needing the
1002 hackish emms instruction before a function call.
1003
10042015-02-16 Paulo Andrade <pcpa@gnu.org>
1005
1006 * lib/lightning.c: Remove the jit_regno_patch bitfield
1007 register fields before actual emit, as it is only really
1008 used before emit, otherwise, on special conditions it
1009 may consider live registers as dead during code emit.
1010
10112015-02-15 Paulo Andrade <pcpa@gnu.org>
1012
1013 * lib/jit_x86-cpu.c, lib/jit_x86-sse.c, lib/jit_x86-x87.c:
1014 Correct encoding of ldxr* stxr* in the x32 abi. If the
1015 displacement register is negative, it would generate
1016 a 64 bit instruction with a 32 bit unsigned displacement.
1017
1018 * check/ranger.tst, check/ranger.ok: New files, implementing
1019 a test case for negative loads and stores. This is range.tst
1020 converted to use registers instead of immediate offsets.
1021
1022 check/Makefile.am: Update for the new test case.
1023
10242015-02-07 Paulo Andrade <pcpa@gnu.org>
1025
1026 * lib/jit_size.c: Preventively use at least 144 bytes
1027 if JIT_INSTR_MAX is less than it. The logic is not
1028 guaranteed to be 100% precise, it is mostly heuristics
1029 to allocate a buffer with as close as possible size,
1030 but a wrong value may cause code generation to write
1031 past the end of the buffer.
1032
10332015-02-03 Paulo Andrade <pcpa@gnu.org>
1034
1035 * lib/lightning.c: Correct the reason the bug in
1036 simplify_stxi was not triggered before, it was due to
1037 incorrectly resetting the value->code field, what was
1038 causing it to never properly optimize:
1039 stxi Im0 Rb0 Rt0
1040 ldxi Rt1 Rb1 Im1
1041 when Rb0 == Rb1, Rt0 == Rt1 and Im0 == Im1
1042 There was another possible issue, that has been also
1043 addressed in this commit, that would be the case of
1044 Rbn == Rtn, where no redundancy removal is possible.
1045
10462015-02-03 Paulo Andrade <pcpa@gnu.org>
1047
1048 * lib/lightning.c: Correct wrong check in simplify_stxi.
1049 The test was incorrectly comparing the target register
1050 and the displacement offset. This was a time bomb bug,
1051 that would trigger in code like:
1052 stxi Im0 Rb0 Rt0
1053 stxi Im1 Rb1 Rt1
1054 if Rb0 == Rb1 && Rt0 == Rt1 && Im0 == Rt1, that is,
1055 the wrong check was Im0 == Rt1, instead of the supposed
1056 Im0 == Imm1 (that was what the code mean't to do). It
1057 was removing the second stxi assuming it was redundantly
1058 generated; as that is not uncommon pattern on
1059 translators generating jit.
1060
10612015-02-02 Paulo Andrade <pcpa@gnu.org>
1062
1063 * configure.ac, include/lightning/jit_private.h,
1064 lib/jit_aarch64.c, lib/jit_alpha.c, lib/jit_arm.c,
1065 lib/jit_disasm.c, lib/jit_hppa.c, lib/jit_ia64.c,
1066 lib/jit_mips.c, lib/jit_ppc.c, lib/jit_print.c,
1067 lib/jit_s390.c, lib/jit_sparc.c, lib/jit_x86.c: Add a new
1068 --enable-devel-disassembler option, that should be used
1069 during development, or lightning debug. This option
1070 intermixes previous jit_print and jit_disassemble
1071 output, making it easier to visualize what lightning
1072 call was used, and what code was generated.
1073
10742015-01-31 Paulo Andrade <pcpa@gnu.org>
1075
1076 * lib/jit_arm-cpu.c, lib/jit_arm.c: Only limit to 24 bit
1077 displacement non conditional jump in the same jit_state_t.
1078
10792015-01-19 Paulo Andrade <pcpa@gnu.org>
1080
1081 * doc/body.texi: Reorder documentation, making jit_frame
1082 and jit_tramp the lightning response to the need of
1083 trampolines, continuations and tail call optimizations.
1084 A pseudo code example of a factorial function was added.
1085 Also added a section for description of the available
1086 predicates.
1087
1088 * doc/fact.c: New file, implementing a simple example of
1089 a translation of a trivial, recursive, tail call optimization
1090 into lightning calls. This is the conversion to functional C
1091 code of the example in doc/body.texi.
1092
1093 * doc/Makefile.am: Update for the next test case.
1094
10952015-01-17 Paulo Andrade <pcpa@gnu.org>
1096
1097 * include/lightning.h, lib/jit_aarch64.c,
1098 lib/jit_alpha.c, lib/jit_arm-vfp.c, lib/jit_arm.c,
1099 lib/jit_hppa.c, lib/jit_ia64.c, lib/jit_mips.c,
1100 lib/jit_ppc.c, lib/jit_s390.c, lib/jit_sparc.c,
1101 lib/jit_x86.c: Add the new jit_arg_register_p predicate.
1102 The predicate is expected to be used to know if an
1103 argument is in a register, what would need special
1104 handling if code that can overwrite non callee save
1105 registers is executed.
1106
1107 * check/carg.c: New test case to check consistency and
1108 expected usage of jit_arg_register_p.
1109
1110 * check/Makefile.am: Update for new test case.
1111
11122015-01-17 Paulo Andrade <pcpa@gnu.org>
1113
1114 * include/lightning/jit_aarch64.h,
1115 include/lightning/jit_alpha.h,
1116 include/lightning/jit_arm.h,
1117 include/lightning/jit_hppa.h,
1118 include/lightning/jit_mips.h,
1119 include/lightning/jit_ppc.h,
1120 include/lightning/jit_s390.h,
1121 include/lightning/jit_sparc.h,
1122 include/lightning/jit_x86.h,
1123 lib/jit_aarch64.c, lib/jit_alpha.c,
1124 lib/jit_arm.c, lib/jit_hppa.c,
1125 lib/jit_ia64.c, lib/jit_mips.c,
1126 lib/jit_ppc.c, lib/jit_s390.c,
1127 lib/jit_sparc.c, lib/jit_x86.c: Remove jit_arg_reg_p and
1128 jit_arg_f_reg_p from a public header, and define it only
1129 on port specific files where an integer offset is used
1130 to qualify an argument identifier. Exported code expects
1131 an opaque pointer (but of jit_node_t* type) to "qualify"
1132 an argument identifier.
1133 This patch, and the code review/simplification done during
1134 it also corrected some bugs:
1135 o Inconsistent jit_arg_d value of double argument after 3
1136 integer arguments in arm for jit_functions; tested, C
1137 functions were being properly called.
1138 o Inconsistent use of getarg_{f,d} and putarg*_{f,d} on
1139 s390 (32-bit) that happened to not have a proper test
1140 case, as it would only happen for jit functions, and
1141 tested, called C functions had proper arguments.
1142 o Corrected a "last minute" correction that did not go
1143 to the committed version, and would not compile on hppa,
1144 due to bad _jit_putargi_d prototype definition.
1145
11462015-01-17 Paulo Andrade <pcpa@gnu.org>
1147
1148 * doc/body.texi: Correct wrong/outdated information for
1149 hton*, pusharg* and ret*, and add missing documentation
1150 for rsb*, qmul*, qdvi* and putarg*.
1151
11522015-01-15 Paulo Andrade <pcpa@gnu.org>
1153
1154 * configure.ac, lib/jit_disasm.c: Rewrite workaround
1155 to apparent problem to initialize powerpc disassembler.
1156
11572015-01-15 Paulo Andrade <pcpa@gnu.org>
1158
1159 * include/lightning.h, lib/jit_aarch64.c,
1160 lib/jit_alpha.c, lib/jit_arm.c, lib/jit_hppa.c,
1161 lib/jit_ia64.c, lib/jit_mips.c, lib/jit_ppc.c,
1162 lib/jit_s390.c, lib/jit_sparc.c, lib/jit_x86.c:
1163 Implement jit_putarg*. It works as a mix of jit_getarg*
1164 and jit_pusharg*, in the way that the first argument is
1165 a register or immediate, and the second is a pointer
1166 returned by jit_arg*. The use of the interface is to change
1167 values of arguments to the current jit function.
1168
1169 * check/put.ok, check/put.tst: New test cases exercising
1170 the new jit_putarg* interface.
1171
1172 * check/Makefile.am, check/lightning.c: Update for the
1173 new test case and interface.
1174
11752015-01-08 Paulo Andrade <pcpa@gnu.org>
1176
1177 * include/lightning/jit_s390.h, lib/jit_s390-cpu.c,
1178 lib/jit_s390-fpu.c, lib/jit_s390-sz.c, lib/jit_s390.c:
1179 Renamed s390x* files to s390*.
1180
1181 * check/float.tst, check/lightning.c, configure.ac,
1182 include/lightning.h, include/lightning/Makefile.am,
1183 lib/Makefile.am, lib/jit_s390.c, lib/jit_size.c,
1184 lib/lightning.c: Update for renamed files.
1185
11862015-01-08 Paulo Andrade <pcpa@gnu.org>
1187
1188 * include/lightning.h, include/lightning/jit_private.h,
1189 include/lightning/jit_s390x.h, lib/jit_disasm.c,
1190 lib/jit_s390x-cpu.c, lib/jit_s390x-fpu.c, lib/jit_s390x-sz.c,
1191 lib/jit_s390x.c, lib/jit_size.c, lib/lightning.c:
1192 Add support for generating jit for s390 32 bit. This change
1193 also removed %f15 from the list of temporaries fpr registers;
1194 it was not being used, but if were, it would corrupt the
1195 stack frame because the spill address would overwrite grp
1196 offsets.
1197
11982014-12-26 Paulo Andrade <pcpa@gnu.org>
1199
1200 * lib/jit_ppc-cpu.c, lib/jit_ppc.c: Correct some endianess issues
1201 on the powerpc le backend.
1202
12032014-12-26 Paulo Andrade <pcpa@gnu.org>
1204
1205 * lib/jit_ppc-cpu.c: Add mcrxr instruction emulation,
1206 as this instruction has been phased out, and should be
1207 implemented as a kernel trap.
1208
12092014-12-26 Paulo Andrade <pcpa@gnu.org>
1210
1211 * lib/jit_arm.c: Better check for need to flush constants
1212 before the pool being no longer reachable.
1213
12142014-12-25 Paulo Andrade <pcpa@gnu.org>
1215
1216 * include/lightning.h: Split jit_htonr in the new 3 interfaces
1217 jit_htonr_us, jit_htonr_ui and jit_htonr_ul, the later only
1218 available on 64 bit. The plain/untyped jit_htonr macro call
1219 maps to the wordsize one.
1220 * lib/jit_aarch64-cpu.c, lib/jit_aarch64-sz.c, lib/jit_aarch64.c,
1221 lib/jit_alpha-cpu.c, lib/jit_alpha-sz.c, lib/jit_alpha.c,
1222 lib/jit_arm-cpu.c, lib/jit_arm-sz.c, lib/jit_arm.c,
1223 lib/jit_hppa-cpu.c, lib/jit_hppa-sz.c, lib/jit_hppa.c,
1224 lib/jit_ia64-cpu.c, lib/jit_ia64-sz.c, lib/jit_ia64.c,
1225 lib/jit_mips-cpu.c, lib/jit_mips-sz.c, lib/jit_mips.c,
1226 lib/jit_ppc-cpu.c, lib/jit_ppc-sz.c, lib/jit_ppc.c,
1227 lib/jit_s390x-cpu.c, lib/jit_s390x-sz.c, lib/jit_s390x.c,
1228 lib/jit_sparc-cpu.c, lib/jit_sparc-sz.c, lib/jit_sparc.c,
1229 lib/jit_x86-cpu.c, lib/jit_x86-sz.c, lib/jit_x86.c:
1230 Update backends for the new jit_htonr*.
1231 * check/lightning.c, lib/jit_names.c, lib/lightning.c:
1232 Update for the new jit_htonr* interfaces.
1233 * check/Makefile.am: Update for new test cases.
1234 * check/hton.ok, check/hton.tst: New test cases.
1235
12362014-12-24 Paulo Andrade <pcpa@gnu.org>
1237
1238 * include/lightning/jit_private.h, include/lightning/jit_x86.h,
1239 lib/jit_disasm.c, lib/jit_x86-cpu.c, lib/jit_x86-sse.c,
1240 lib/jit_x86-sz.c, lib/jit_x86-x87.c, lib/jit_x86.c,
1241 size.c: Implement support for the x32 abi. Built and
1242 tested on Gentoo default/linux/amd64/13.0/x32 profile.
1243
12442014-12-24 Paulo Andrade <pcpa@gnu.org>
1245
1246 * lib/jit_names.c: Add missing rsbi_f and rsbi_d strings.
1247
12482014-12-21 Paulo Andrade <pcpa@gnu.org>
1249
1250 * lib/jit_arm.c: Call __clear_cache for every page.
1251 This should only be required for older boards or
1252 toolchain setup, but has been reported to be required
1253 for lightning at some point.
1254
12552014-12-21 Paulo Andrade <pcpa@gnu.org>
1256
1257 * lib/jit_arm.c: Correct check to guard overflow of index
1258 of constants from program counter.
1259
12602014-11-24 Paulo Andrade <pcpa@gnu.org>
1261
1262 * lib/lightning.c: Remove an optimization to calee save
1263 registers that may incorrectly remove a jit_movr under
1264 special conditions.
1265
12662014-11-20 Paulo Andrade <pcpa@gnu.org>
1267
1268 * include/lightning/jit_ppc.h, lib/jit_ppc-cpu.c,
1269 lib/jit_ppc.c: Add initial powerpc le support.
1270
12712014-11-20 Paulo Andrade <pcpa@gnu.org>
1272
1273 * lib/jit_disasm.c: Change thumb or arm disassemble based on
1274 jit code before disassembly.
1275
1276 * lib/jit_arm-cpu.c: Correct reversed arguments to LDRD and
1277 STRD instructions, and correct checking for support of those.
1278
1279 * lib/jit_arm-swf.c: Correct wrong use of LDRD and STRD and
1280 only use those if the register is even.
1281
1282 * check/check.arm.swf.sh, check/check.arm4.swf.sh: New files
1283 to test LDRD and STRD, as well as the alternate code path
1284 when those are not available, in the .arm4. test case.
1285
1286 * check/Makefile.am: Update for the new test cases.
1287
12882014-11-08 Paulo Andrade <pcpa@gnu.org>
1289
1290 * include/lightning/jit_private.h, lib/jit_aarch64.c,
1291 lib/jit_alpha.c, lib/jit_arm.c, lib/jit_hppa.c,
1292 lib/jit_ia64.c, lib/jit_mips.c, lib/jit_ppc.c,
1293 lib/jit_s390x.c, lib/jit_sparc.c, lib/jit_x86.c:
1294 Implement a private jit_flush call, that flushes
1295 the cache, if applicable, aligning down to the
1296 previous and up to the next page boundary.
1297
12982014-11-08 Paulo Andrade <pcpa@gnu.org>
1299
1300 * check/ctramp.c: New file. It just repeats the test
1301 of tramp.tst, but using two jit_state_t, what should
1302 test possible issues with two contexts, and also validate
1303 jit_tramp works on backends with function descriptions.
1304
1305 * check/Makefile.am: Update for new test case.
1306
13072014-11-03 Paulo Andrade <pcpa@gnu.org>
1308
1309 * include/lightning/jit_mips.h: Do not make the t9 register
1310 JIT_R11 (or JIT_R7 for n32 or n64 abi) available. Previously
1311 it cause problems if one expects it to not be changed in a
1312 function call. For example, calling a jit function, where it
1313 really does not need to be changed.
1314
13152014-10-26 Paulo Andrade <pcpa@gnu.org>
1316
1317 * lib/jit_aarch64.c, lib/jit_alpha.c, lib/jit_arm.c,
1318 lib/jit_hppa.c, lib/jit_ia64.c, lib/jit_mips.c, lib/jit_ppc.c,
1319 lib/jit_s390x.c, lib/jit_sparc.c, lib/jit_x86.c: Add an
1320 assertion to all code generation "drivers" to ensure
1321 _jitc->regarg is empty or in an expected state, after
1322 translation of a lightning instruction to native code.
1323 This change was a brute force test to find out other cases
1324 of a temporary not being release (like was happening with
1325 _bmsi and _bmci on x86), but no other case was found,
1326 after running make check, with assertions enabled, on all
1327 backends.
1328
13292014-10-26 Paulo Andrade <pcpa@gnu.org>
1330
1331 * lib/jit_x86-cpu.c: Correct a register allocation leak in
1332 _bmsi and _bmci.
1333
13342014-10-25 Paulo Andrade <pcpa@gnu.org>
1335
1336 * lib/jit_disasm.c: Do not cause an fatal error if init_jit
1337 fails in the jit_init_debug call.
1338
13392014-10-24 Paulo Andrade <pcpa@gnu.org>
1340
1341 * lib/jit_ia64.c, lib/jit_ppc.c: Correct handling of function
1342 descriptor when first prolog is a jit_tramp prolog. The
1343 test case was using the same jit_context_t, so was not
1344 triggering this condition.
1345
1346 * lib/jit_ppc-cpu.c: Properly handle jump displacements that
1347 do not fit on 24 powerpc. This required changing from previous
1348 "mtlr reg, blr" to "mtctr reg, bctr" to properly handle
1349 the logic to "hide" function descriptors, but that would
1350 also be required as the proper jit_jmpr when/if implementing
1351 optimizations to leaf functions (was working with blr because
1352 it is saved/reloaded in prolog/epilog).
1353
13542014-10-21 Paulo Andrade <pcpa@gnu.org>
1355
1356 * include/lightning.h, lib/lightning.c: Add three predicates
1357 to query information about labels. jit_forward_p(label)
1358 will return non zero if the label is "forward", that is
1359 need a call to jit_link(label), jit_indirect_p(label)
1360 that returns non zero if the label was created with the
1361 jit_indirect() call, and jit_target_p(label) that will
1362 return non zero if there is at least one jump patched
1363 to land at that label.
1364
13652014-10-18 Paulo Andrade <pcpa@gnu.org>
1366
1367 * check/range.ok, check/range.tst: New test case designed
1368 to catch incorrect code generation, usually due to incorrect
1369 test of immediate size. The test checks a large amount of
1370 encodings in "power of two" boundaries. This test exorcises
1371 a significant amount of code paths that was previously not
1372 tested.
1373
1374 * check/Makefile.am: Add range test to make check target.
1375
1376 * lib/jit_aarch64-cpu.c: Correct wrong address calculation
1377 for stxi_c, stxi_s, stxi_i and stxi_l when the offset is
1378 too large.
1379
1380 * lib/jit_mips-fpu.c: Correct wrong size test to check if
1381 an immediate can be encoded in a float or double store.
1382
1383 * lib/jit_s390x-cpu.c: Correct inverted encoding to stxi_s
1384 when the offset cannot be encoded, and fallbacks to an
1385 alternate encoding in 2 instructions.
1386
13872014-10-17 Paulo Andrade <pcpa@gnu.org>
1388
1389 * check/alu_rsb.ok, check/alu_rsb.tst: New files implementing
1390 tests for jit_rsb*.
1391
1392 * check/Makefile.am, check/lightning.c, include/lightning.h,
1393 lib/jit_aarch64-cpu.c, lib/jit_aarch64-fpu.c, lib/jit_aarch64-sz.c,
1394 lib/jit_aarch64.c, lib/jit_alpha-cpu.c, lib/jit_alpha-fpu.c,
1395 lib/jit_alpha-sz.c, lib/jit_alpha.c, lib/jit_arm-cpu.c,
1396 lib/jit_arm-swf.c, lib/jit_arm-sz.c, lib/jit_arm-vfp.c,
1397 lib/jit_arm.c, lib/jit_hppa-cpu.c, lib/jit_hppa-fpu.c,
1398 lib/jit_hppa-sz.c, lib/jit_hppa.c, lib/jit_ia64-cpu.c,
1399 lib/jit_ia64-fpu.c, lib/jit_ia64-sz.c, lib/jit_ia64.c,
1400 lib/jit_mips-cpu.c, lib/jit_mips-fpu.c, lib/jit_mips-sz.c,
1401 lib/jit_mips.c, lib/jit_names.c, lib/jit_ppc-cpu.c,
1402 lib/jit_ppc-fpu.c, lib/jit_ppc-sz.c, lib/jit_ppc.c,
1403 lib/jit_s390x-cpu.c, lib/jit_s390x-fpu.c, lib/jit_s390x-sz.c,
1404 lib/jit_s390x.c, lib/jit_sparc-cpu.c, lib/jit_sparc-fpu.c,
1405 lib/jit_sparc-sz.c, lib/jit_sparc.c, lib/jit_x86-cpu.c,
1406 lib/jit_x86-sse.c, lib/jit_x86-sz.c, lib/jit_x86-x87.c,
1407 lib/jit_x86.c, lib/lightning.c: Implement jit_rsb*. This
1408 was a missing lightning 1.x interface, that on most
1409 backends is synthesized, but on a few backends (hppa and ia64),
1410 it can generate better code as on those there is, or the
1411 only instruction with an immediate is in "rsb" format
1412 (left operand).
1413
14142014-10-17 Paulo Andrade <pcpa@gnu.org>
1415
1416 * lib/jit_names.c: New file with single definition of string
1417 representation of lightning IR codes.
1418
1419 * size.c: Modified to append the code name in a C comment
1420 after the maximum instruction size.
1421
1422 * lib/jit_print.c: Minor change to not duplicate jit_names.c
1423 contents.
1424
1425 * lib/jit_aarch64-sz.c, lib/jit_alpha-sz.c, lib/jit_arm-sz.c,
1426 lib/jit_hppa-sz.c, lib/jit_ia64-sz.c, lib/jit_mips-sz.c,
1427 lib/jit_ppc-sz.c, lib/jit_s390x-sz.c, lib/jit_sparc-sz.c,
1428 lib/jit_x86-sz.c: Rewritten to add string representation of
1429 IR codes in a C comment.
1430
14312014-10-14 Paulo Andrade <pcpa@gnu.org>
1432
1433 * lib/jit_aarch64-cpu.c, lib/jit_alpha-cpu.c, lib/jit_arm-cpu.c,
1434 lib/jit_hppa-cpu.c, lib/jit_mips-cpu.c, lib/jit_ppc-cpu.c,
1435 lib/jit_sparc-cpu.c: Implement or correct the internal
1436 nop(count) call that receives an argument that tells the
1437 modulo bytes to align the code for the next instruction.
1438
1439 * include/lightning.h, lib/lightning.c, lib/jit_aarch64.c,
1440 lib/jit_alpha.c, lib/jit_arm.c, lib/jit_hppa.c, lib/jit_ia64.c,
1441 lib/jit_mips.c, lib/jit_ppc.c, lib/jit_s390x.c, lib/jit_sparc.c,
1442 lib/jit_x86.c: Implement the new jit_align() call that receive
1443 an argument, that tells the modulo, in bytes, to align the
1444 next instruction. In most backends the only value that makes
1445 a difference is a value that matches sizeof(void*), as all
1446 other values usually are already automatically aligned in
1447 labels, but not guaranteed to be aligned at word size bytes.
1448
1449 * check/align.ok, check/align.tst: New files, implementing
1450 a simple test for the new jit_align() interface.
1451
1452 * check/Makefile.am, check/lightning.c, lib/jit_aarch64-sz.c,
1453 lib/jit_alpha-sz.c, lib/jit_arm-sz.c, lib/jit_hppa-sz.c,
1454 lib/jit_ia64-sz.c, lib/jit_mips-sz.c, lib/jit_ppc-sz.c,
1455 lib/jit_print.c, lib/jit_s390x-sz.c, lib/jit_sparc-sz.c,
1456 lib/jit_x86-sz.c: Update for the new jit_code_align code and
1457 the jit_align() interface.
1458
14592014-10-13 Paulo Andrade <pcpa@gnu.org>
1460
1461 * include/lightning.h, lib/jit_size.c, size.c: Use a
1462 symbolic value for the last IR code.
1463
14642014-10-12 Paulo Andrade <pcpa@gnu.org>
1465
1466 * include/lightning.h, include/lightning/jit_private.h,
1467 lib/jit_aarch64-cpu.c, lib/jit_alpha-cpu.c, lib/jit_arm-cpu.c,
1468 lib/jit_hppa-cpu.c, lib/jit_ia64-cpu.c, lib/jit_mips-cpu.c,
1469 lib/jit_ppc-cpu.c, lib/jit_s390x-cpu.c, lib/jit_sparc-cpu.c,
1470 lib/jit_x86-cpu.c, lib/lightning.c: Implement the new
1471 jit_frame and jit_tramp interfaces, that allow writing
1472 trampoline like calls, where a single dispatcher jit buffer
1473 is written, and later other jit buffers are created, with
1474 the same stack frame layout as the dispatcher. This is the
1475 logic that GNU Smalltalk used in lightning 1.x, and is required
1476 to make a sane port for lighting 2.x.
1477
1478 * jit_ia64-cpu.c: Implement support for jit_frame and jit_tramp,
1479 and also correct wrong encoding for B4 instructions, that
1480 implement jmpr, as well as correct reverse logic in _jmpr,
1481 that was moving the branch register to the jump register,
1482 and not vice-versa.
1483 Also, if a stack frame is to be assumed, always assume it may
1484 call a function with up to 8 arguments, regardless of the
1485 hint frame argument.
1486
1487 * lib/jit_arm.c: Add a new must_align_p() interface to ensure
1488 function prologs are always aligned. This condition was
1489 previously always true, somewhat by accident, but with
1490 jit_tramp it is not guaranteed.
1491
1492 * jit_ia64-cpu.c: lib/jit_ppc.c: Add minor special handling
1493 required to implement jit_tramp, where a function descriptor
1494 should not be added before a prolog, as jit_tramp means omit
1495 prolog.
1496
1497 * check/lightning.c: Update test driver for the new interfaces.
1498
1499 * check/Makefile.am, check/tramp.tst, check/tramp.ok: Add
1500 a simple test and example of the jit_frame and jit_tramp
1501 usage implementing a simple Fibonacci function using a
1502 simulation of an interpreter stack and how it would handle
1503 state in language specific variables.
1504
1505 * doc/body.texi: Add documentation for jit_frame and
1506 jit_tramp.
1507
15082014-09-29 Paulo Andrade <pcpa@gnu.org>
1509
1510 * lib/jit_aarch64.c, lib/jit_alpha.c, lib/jit_arm.c,
1511 lib/jit_hppa.c, lib/jit_ia64.c, lib/jit_mips.c,
1512 lib/jit_ppc.c, lib/jit_s390x.c, lib/jit_sparc.c,
1513 lib/jit_x86.c, lib/lightning.c: Allow jit_jmpi on a
1514 target that is not a node. This may lead to hard to
1515 debug code generation, but is a required feature for
1516 certain generators, like the ones that used lightning
1517 1.2x. Note that previously, but not really well
1518 documented, it was instructed to use:
1519 jit_movi(rn, addr); jit_jmpr(rn);
1520 but now, plain:
1521 jit_patch_abs(jit_jmpi(), addr);
1522 should also work.
1523
15242014-09-24 Paulo Andrade <pcpa@gnu.org>
1525
1526 * lib/jit_x86-sz.c: Generate information about instruction
1527 lengths for more precise calculation of buffer size on
1528 Windows x64. This change is specially important because
1529 the maximum instruction length is larger than other
1530 systems, what could cause an out of bounds write on
1531 special conditions without this update.
1532
15332014-09-24 Paulo Andrade <pcpa@gnu.org>
1534
1535 * check/lightning.c: Add workaround to conflicting global
1536 optind variable in cygwin binutils that have an internal
1537 getopt* implementation.
1538
1539 * lib/jit_x86-cpu.c: Add a simple define ffsl ffs if building
1540 for 32 bit and there is no ffsl function.
1541
15422014-09-24 Paulo Andrade <pcpa@gnu.org>
1543
1544 * check/lightning.c: Add a hopefully temporary kludge to not use
1545 sprintf and sscanf returned by dlsym. This is required to pass
1546 the varargs test.
1547
1548 * include/lightning/jit_private.h: Use symbolic name for first
1549 integer register argument, as this is different in sysv and
1550 win64 abi.
1551
1552 * include/lightning/jit_x86.h: Add conditionals and definitions
1553 for Windows x64 (under __CYGWIN__ preprocessor conditional).
1554
1555 * lib/jit_x86-cpu.c: Correct one instruction encoding bug, that
1556 was working by accident. Only use rax to rdx for some byte
1557 operations to work on compatibility mode (that is, to generate
1558 the proper encoding, instead of actually generating encoding
1559 for high byte registers, e.g. %bh).
1560 Add proper prolog and epilog for windows x64.
1561
1562 * lib/jit_x86-sse.c: Correct a swapped rex prefix for float
1563 operations.
1564
1565 * lib/jit_x86.c: Adjust to support Windows x64 abi.
1566
1567 * check/check.x87.nodata.sh: New file, previously used but that
1568 was missing git.
1569
15702014-09-07 Paulo Andrade <pcpa@gnu.org>
1571
1572 * lib/lightning.c: Mark all registers advertised as live, as
1573 per jit_callee_save_p as live whenever reaching a jump that
1574 cannot be tracked. This is a rethink of the previous commit,
1575 and is a better approach, otherwise there would not be much
1576 sense on relying on jit_callee_save_p if it could not be
1577 trusted.
1578
1579 * check/jmpr.tst, check/jmpr.ok: New files implementing a very
1580 simple test case, that would actually cause an assertion on
1581 code before the change to only mark as live when reaching a
1582 jump that could not tracked, the actually advertised as callee
1583 save registers.
1584
1585 check/Makefile.am: Update for new jmpr test case.
1586
15872014-09-01 Paulo Andrade <pcpa@gnu.org>
1588
1589 * lib/lightning.c: Do not mark all registers in unknown state
1590 as live on jit_jmpr, or jit_jmpi to an absolute address. Instead,
1591 treat it as a function call, and only consider JIT_Vn registers
1592 as possibly live.
1593
15942014-08-29 Paulo Andrade <pcpa@gnu.org>
1595
1596 * doc/body.texi: Add a proper info menu entry for
1597 GNU lightning.
1598
1599 * doc/version.texi: Regenerate.
1600
16012014-08-16 Paulo Andrade <pcpa@gnu.org>
1602
1603 * lib/jit_aarch64-cpu.c, lib/jit_aarch64-fpu.c,
1604 lib/jit_arm-cpu.c, lib/jit_arm-vfp.c,
1605 lib/jit_hppa-cpu.c, lib/jit_hppa-fpu.c,
1606 lib/jit_ia64-cpu.c, lib/jit_ia64-fpu.c,
1607 lib/jit_mips-cpu.c, lib/jit_mips-fpu.c,
1608 lib/jit_ppc-cpu.c, lib/jit_ppc-fpu.c,
1609 lib/jit_s390x-cpu.c, lib/jit_s390x-fpu.c,
1610 lib/jit_s390x.c, lib/jit_sparc-cpu.c,
1611 lib/jit_x86-cpu.c, lib/jit_x86-sse.c,
1612 lib/jit_x86-x87.c: Review generation of all branch
1613 instructions and always adds the jit_class_nospill
1614 bitfield for temporary registers that cannot be spilled
1615 because the reload would be after a conditional jump; the
1616 patch only adds an extra assertion. These conditions do
1617 not happen on documented lightning usage, but can happen
1618 if one uses the not exported jit_get_reg and jit_unget_reg
1619 calls and cause enough register starvation.
1620
16212014-08-16 Paulo Andrade <pcpa@gnu.org>
1622
1623 * lib/jit_alpha.c: Correct wrong bitmask of most argument
1624 float register arguments, that were being set as callee
1625 save instead of argument registers class.
1626
16272014-08-16 Paulo Andrade <pcpa@gnu.org>
1628
1629 * lib/jit_arm-sz.c: Regenerate table of known maximum
1630 instruction sizes for the software float fallback,
1631 that implements "virtual" float registers in the stack
1632 and operations as calls to libgcc.
1633
1634 * size.c: Correct typo in the generated jit_arm-sz.c file.
1635
16362014-08-10 Paulo Andrade <pcpa@gnu.org>
1637
1638 * include/lightning/jit_alpha.h, lib/jit_alpha-cpu.c,
1639 lib/jit_alpha-fpu.c, lib/jit_alpha-sz.c, lib/jit_alpha.c:
1640 New files implementing a lightning Alpha port. Thanks
1641 to Trent Nelson and snakebit.net staff for providing access
1642 to an Alpha system.
1643
1644 * check/float.tst, check/lightning.c, configure.ac,
1645 include/lightning.h, include/lightning/Makefile.am,
1646 include/lightning/jit_private.h, lib/Makefile.am,
1647 lib/jit_disasm.c, lib/jit_size.c, lib/lightning.c:
1648 Minor changes to adapt for the new Alpha port.
1649
16502014-08-10 Paulo Andrade <pcpa@gnu.org>
1651
1652 * lib/lightning.c: Always mark JIT_RET and JIT_FRET as
1653 live in a function epilog. This is required because
1654 on some ports a complex sequence, allocating one or more
1655 registers, may be required to jump from a ret* to the
1656 epilog, and the lightning api does not have annotations
1657 to know if a function returns a value, or the type of
1658 the return value.
1659
16602014-08-10 Paulo Andrade <pcpa@gnu.org>
1661
1662 * lib/lightning.c: Change the correct live bitmask of
1663 return registers after a function call in jit_update.
1664
16652014-08-10 Paulo Andrade <pcpa@gnu.org>
1666
1667 * lib/lightning.c: Change assertions to have an int
1668 result and correct a bad bit mask assertion.
1669
16702014-08-10 Paulo Andrade <pcpa@gnu.org>
1671
1672 * lib/jit_aarch64.c: Correct bad setup for assertion
1673 of consistency before a patch.
1674
16752014-08-10 Paulo Andrade <pcpa@gnu.org>
1676
1677 * lib/jit_mips-cpu.c: Correct typo in the jit_bmsr
1678 implementation that was using the wrong test result
1679 register.
1680
16812014-07-28 Paulo Andrade <pcpa@gnu.org>
1682
1683 * lib/jit_memory.c: Do not call free on NULL pointers.
1684
1685 * include/lightning/jit_private.h, lib/jit_note.c,
1686 lib/lightning.c: Add a wrapper to memcpy and memmove
1687 to not actually call those functions with a zero size
1688 argument, and likely also a null src or dst.
1689
16902014-07-27 Paulo Andrade <pcpa@gnu.org>
1691
1692 * include/lightning/jit_private.h, lib/jit_disasm.c,
1693 lib/lightning.c: Remove the global jit_progname variable.
1694 It was being only used in jit_init_debug, that is called
1695 from init_jit, so, just pass an argument.
1696
16972014-07-27 Paulo Andrade <pcpa@gnu.org>
1698
1699 * doc/body.texi: Add note that jit_set_memory_functions
1700 should be called before init_jit, because init_jit
1701 itself may call the memory wrappers.
1702
17032014-04-22 Paulo Andrade <pcpa@gnu.org>
1704
1705 * lib/jit_arm.c: Do not get confused with default settings
1706 if /proc is not mounted on Linux specific code path.
1707
17082014-04-09 Paulo Andrade <pcpa@gnu.org>
1709
1710 * include/lightning/jit_aarch64.h, include/lightning/jit_arm.h,
1711 include/lightning/jit_hppa.h, include/lightning/jit_ia64.h,
1712 include/lightning/jit_mips.h, include/lightning/jit_ppc.h,
1713 include/lightning/jit_private.h, include/lightning/jit_s390x.h,
1714 include/lightning/jit_sparc.h, include/lightning/jit_x86.h:
1715 Do not add jit_regset_t, JIT_RA0, and JIT_FA0 to the installed
1716 header file. These types and definitions are supposed to be
1717 only used internally.
1718
17192014-04-05 Paulo Andrade <pcpa@gnu.org>
1720
1721 * lib/jit_arm-cpu.c: Only adjust stack pointer in prolog if
1722 need stack space, that is, do not emit a nop instruction
1723 subtracting zero from the stack pointer.
1724
17252014-04-04 Paulo Andrade <pcpa@gnu.org>
1726
1727 * lib/jit_disasm.c: Correct a crash in the doc/printf example
1728 on arm due to releasing the data_info information in
1729 jit_clear_state. This is a special case for arm only, and
1730 actually, only armv5 or older uses the data_info buffer,
1731 or when forcing arm instruction set mode besides thumb
1732 available.
1733
17342014-12-03 Paulo Andrade <pcpa@gnu.org>
1735
1736 * doc/body.texi: Write detailed description and examples for
1737 jit_get_memory_functions, jit_set_memory_functions,
1738 jit_get_code, jit_set_code, jit_get_data and jit_set_data.
1739
17402014-12-03 Paulo Andrade <pcpa@gnu.org>
1741
1742 * include/lightning.h, include/lightning/jit_private.h,
1743 lib/lightning.c: Implement the new jit_set_data() interface,
1744 and the new jit_get_data() helper. Like jit_set_code(),
1745 jit_realize() should be called before jit_set_data().
1746 The most common usage should be jit_set_data(JIT_DISABLE_DATA
1747 | JIT_DISABLE_NOTE), to force synthesize any float/double
1748 constant in the stack and not generate any debug information.
1749
1750 * lib/jit_note.c: Minor change to debug note generation as
1751 now it uses an alternate temporary data buffer during constants
1752 and debug generation to accommodate the possibility of the user
1753 setting an alternate data buffer.
1754
1755 * lib/jit_hppa-fpu.c, lib/jit_s390x.c, lib/jit_s390x-cpu.c,
1756 lib/jit_s390x-fpu.c, lib/jit_sparc.c, lib/jit_sparc-fpu.c,
1757 lib/jit_x86-sse.c, lib/jit_x86-x87.c: Implement jit_set_data.
1758
1759 * lib/jit_hppa-sz.c, lib/jit_sparc-sz.c, lib/jit_x86-sz.c,
1760 lib/jit_s390x-sz.c: Update for several instructions that now
1761 have a different maximum length due to jit_set_data.
1762
1763 * lib/jit_mips-fpu.c: Implement jit_set_data, but missing
1764 validation on n32 and n64 abis (and/or big endian).
1765
1766 * lib/jit_mips-sz.c: Update for changes in o32.
1767
1768 * lib/jit_ppc-fpu.c: Implement jit_set_data, but missing
1769 validation on Darwin PPC.
1770
1771 * lib/jit_ppc-sz.c: Update for changes in powerpc 32 and
1772 64 bit.
1773
1774 * lib/jit_ia64-fpu.c: Implement untested jit_set_data.
1775
1776 * TODO: Add note to list ports that were not tested for the
1777 new jit_set_data() feature, due to no longer having access
1778 to them.
1779
1780 * check/nodata.c: New file implementing a simple test exercising
1781 several different conditions created by jit_set_data().
1782
1783 * check/check.nodata.sh: New file implementing a wrapper
1784 over the existing *.tst files, that runs all tests without
1785 using a data buffer for constants; only meaningful (and
1786 enabled) on architectures that used to store float/double
1787 constants on a read only data buffer.
1788
1789 * configure.ac, check/Makefile.am: Update for the new test
1790 cases.
1791
1792 * check/lightning.c: Implement the new "-d" option that
1793 sets an internal flag to call jit_set_data() disable
1794 constants and debug, that is, using only a pure code
1795 buffer.
1796
17972014-11-03 Paulo Andrade <pcpa@gnu.org>
1798
1799 * include/lightning.h, include/lightning/jit_private.h,
1800 lib/lightning.c: Implement the new jit_set_code() interface,
1801 that allows instructing lightning to use an alternate code
1802 buffer. The new jit_realize() function should be called
1803 before jit_set_code(), and usually call jit_get_code()
1804 to query the amount of bytes expected to be required for
1805 the code.
1806
1807 * lib/jit_size.c: Minor update to have less chances of
1808 miscalculating the code buffer by starting the counter
1809 with the size of the longest instruction instead of zero,
1810 as code emit fails if at any moment less than the longest
1811 instruction bytes are available.
1812
1813 * check/setcode.c: New file implementing some basic tests
1814 of the new jit_set_code() interface.
1815
1816 * check/Makefile.am: Update for newer test case.
1817
18182014-06-03 Paulo Andrade <pcpa@gnu.org>
1819
1820 * include/lightning.h, lib/lightning.c: Add the new
1821 jit_indirect() call, that returns a special label node,
1822 and tells lightning that the label may be the target of
1823 an indirect jump.
1824
1825 * doc/body.texi: Document the new jit_indirect() call, and
1826 add examples of different ways to create labels and branches.
1827
18282014-23-02 Paulo Andrade <pcpa@gnu.org>
1829
1830 * lib/jit_x86.c: Rewrite previous patch to inline save/restore
1831 because clobbering %ebx in x86 is treated as an error
1832 (jit_x86.c:239:5: error: PIC register clobbered by 'ebx' in 'asm').
1833
18342014-19-02 Paulo Andrade <pcpa@gnu.org>
1835
1836 * lib/jit_x86.c: Rewrite incorrect inline assembly that could
1837 truncate a variable in a callee save register. Now it simply
1838 tells gcc that the register is clobbered, instead of using a
1839 *32 bit* swap with a temporary variable. The problem only
1840 happens when compiling with optimization.
1841
18422014-19-02 Paulo Andrade <pcpa@gnu.org>
1843
1844 * include/lightning/jit_aarch64.h, include/lightning/jit_arm.h,
1845 include/lightning/jit_hppa.h, include/lightning/jit_ia64.h,
1846 include/lightning/jit_mips.h, include/lightning/jit_ppc.h,
1847 include/lightning/jit_s390x.h, include/lightning/jit_sparc.h,
1848 include/lightning/jit_x86.h: Change jit_regset_t to an
1849 unsigned type, to allow safe right shift.
1850
1851 * lib/lightning.c: Rewrite jit_regset_scan1 to allow easier
1852 compiler optimization.
1853
18542013-12-03 Paulo Andrade <pcpa@gnu.org>
1855
1856 * lib/jit_x86-x87.c: Correct wrong optimization when
1857 loading the log(2) constant.
1858
18592013-12-03 Paulo Andrade <pcpa@gnu.org>
1860
1861 * lib/jit_x86-cpu.c: Use the emms instruction before
1862 calling any function. This is particularly important
1863 when using c99 complex functions as it can easily
1864 overflow the x87 stack due to the way lightning uses
1865 the x87 stack as a flat register file.
1866
18672013-12-02 Paulo Andrade <pcpa@gnu.org>
1868
1869 * lib/jit_x86-x87.c: Correct wrong code generation due
1870 to comparing the base and not the value register with
1871 %st(0) in stxi_f.
1872
18732013-12-02 Paulo Andrade <pcpa@gnu.org>
1874
1875 * lib/jit_x86-x87.c, lib/jit_x86.c: Use 8 bytes aligned
1876 stack offset for float/double x87 to/from sse move.
1877
18782013-11-27 Paulo Andrade <pcpa@gnu.org>
1879
1880 * configure.ac, lib/jit_arm-swf.c, lib/jit_arm.c: Add
1881 changes that should at least allow building lightning
1882 on Apple iOS7.
1883
18842013-10-08 Paulo Andrade <pcpa@gnu.org>
1885
1886 * lib/jit_ppc-cpu.c: Correct wrong shortcut for ldxi_l with
1887 a zero offset, that was calling ldr_i instead of ldr_l.
1888
18892013-10-08 Paulo Andrade <pcpa@gnu.org>
1890
1891 * include/lightning/jit_arm.h, lib/jit_arm-cpu.c: Do not use
1892 by default load/store instructions that map to ldrt/strt.
1893 There is already the long displacement version for positive
1894 offsets, and when using a (shorter) negative offset it does
1895 not map to ldrt/strt. At least on qemu strt may cause
1896 reproducible, but unexpected SIGILL.
1897
18982013-10-08 Paulo Andrade <pcpa@gnu.org>
1899
1900 * lib/jit_arm-vfp.c: Correct wrong load/store offset
1901 calculation when the displacement is constant but too
1902 large to use an instruction with an immediate offset.
1903
19042013-10-07 Paulo Andrade <pcpa@gnu.org>
1905
1906 * check/self.c: Extend tests to validate jit_callee_save_p
1907 does not cause an assertion on valid arguments, and test
1908 extra registers defined on some backends.
1909
1910 * configure.ac: Do not ignore environment CFLAGS when
1911 checking if need to test runtime configurable options,
1912 like use x87 when sse2 is available, arm instruction set
1913 instead of thumb, etc.
1914
1915 * include/lightning/jit_arm.h: Correct wrong jit_f macro
1916 definition.
1917
519a9ea1 1918 * include/lightning/jit_ia64.h, include/lightning/jit_ppc.h:
4a71579b
PC
1919 Correct wrong jit_r macro definition.
1920
1921 * lib/jit_x86-x87.c, lib/jit_x86.c: Actually use the
1922 reserved stack space for integer to/from float conversion.
1923 The stack space was also changed to ensure it is 8 bytes
1924 aligned. Also, for Solaris x86 in 32 bit mode, an alternate
1925 truncr_d was implemented because for some reason it is
1926 failing with SIGILL if using the "fisttpl" instructions,
1927 that must be available on p6 or newer, but for the sake of
1928 making all tests pass, implement a 486 or newer sequence
1929 if "sun" is defined.
1930
19312013-10-03 Paulo Andrade <pcpa@gnu.org>
1932
1933 * include/lightning/jit_mips.h, lib/jit_mips-cpu.c,
1934 lib/jit_mips-sz.c, lib/jit_mips.c, size: Build and
1935 pass all test cases on Irix big endian mips using
1936 the 64 bit abi.
1937
19382013-10-02 Paulo Andrade <pcpa@gnu.org>
1939
1940 * include/lightning/jit_mips.h: Add proper mips abi detection.
1941
19422013-09-30 Paulo Andrade <pcpa@gnu.org>
1943
1944 * lib/jit_print.c: Do not crash if calling jit_print from
1945 gdb before actually emitting code.
1946
1947 * lib/lightning.c: Correct misplaced check for already
1948 visited blocks on conditional branches, what was preventing
1949 proper merge live bit masks of forward blocks.
1950
19512013-09-30 Paulo Andrade <pcpa@gnu.org>
1952
1953 * lib/jit_x86-cpu.c: Correct not properly tested case of using
1954 %r12 as index register, what was causing an invalid assertion.
1955 %r12 is mapped to the "extra" JIT_R3 register, and test cases
1956 only test "standard" lightning registers.
1957
19582013-09-28 Paulo Andrade <pcpa@gnu.org>
1959
1960 * lib/jit_ia64.c: Minor change to force collecting the maximum
1961 instruction length in the --enable-devel-get-jit-size build
1962 mode. The actual generated file did not change because the
1963 sampling was large enough that it had already collected proper
1964 information in the previously slightly buggy code (not forcing
1965 a sync of the instructions that could be combined).
1966
19672013-09-27 Paulo Andrade <pcpa@gnu.org>
1968
1969 * lib/jit_arm.c: Correct build when disassembler is
1970 disabled.
1971
19722013-09-25 Paulo Andrade <pcpa@gnu.org>
1973
1974 * lib/jit_ia64-cpu.c, lib/jit_ia64-fpu.c: Correct some
1975 off by one range checks (that were only accepting values
1976 one less than the maximum allowed) and an invalid test
1977 condition check that was forcing it to always use
1978 indirect jumps even when reachable with an immediate
1979 displacement.
1980
19812013-09-24 Paulo Andrade <pcpa@gnu.org>
1982
1983 * lib/jit_aarch64-sz.c, lib/jit_arm-sz.c, lib/jit_hppa-sz.c,
1984 lib/jit_ia64-sz.c, lib/jit_mips-sz.c, lib/jit_ppc-sz.c,
1985 lib/jit_s390x-sz.c, lib/jit_size.c, lib/jit_sparc-sz.c,
1986 lib/jit_x86-sz.c: New files implementing static tables
1987 with longest known instructions length generated to match
1988 a lightning instruction. These tables should make it easier
1989 to make it very unlikely to ever miscalculate, or by too
1990 much, the size of a code buffer.
1991
1992 * lib/jit_size.c: New file that aids to either collect
1993 jit code size information, or use the information depending
1994 on build options.
1995
1996 * size.c: New helper file that parses input for, and create
1997 an initial jit_$arch-sz.c file, that needs some minor edit
1998 for arches with multiple configurations.
1999
2000 * configure.ac, Makefile.am: Add the new, devel mode only
2001 --enable-devel-get-jit-size configure option, that sets
2002 compile time flags to collect jit code size information,
2003 that will be used as input for the "noinst size program".
2004
2005 * lib/jit_aarch64.c, lib/jit_arm.c, lib/jit_disasm.c,
2006 lib/jit_hppa.c, lib/jit_ia64.c, lib/jit_memory.c,
2007 lib/jit_mips.c, lib/jit_ppc.c, lib/jit_s390x.c,
2008 lib/jit_sparc.c, lib/jit_x86.c, lib/lightning.c: Minor
2009 changes for the --enable-devel-get-jit-size build mode,
2010 as well as the "production build mode" with jit code
2011 size information.
2012
20132013-09-14 Paulo Andrade <pcpa@gnu.org>
2014
2015 * include/lightning.h, lib/lightning.c: Add the new
2016 jit_pointer_p interface, that returns a boolean value
2017 telling if the pointer argument is inside the jit
2018 code buffer. This is useful to avoid the need to add
2019 extra labels and calls to jit_address to figure bounds
2020 of code buffer, and still keep internal data private.
2021
20222013-09-13 Paulo Andrade <pcpa@gnu.org>
2023
2024 * include/lightning.h, include/lightning/jit_private.h,
2025 lib/jit_note.c: Change the code argument of jit_get_note
2026 to a jit_pointer_t and make jit_get_note a public interface.
2027 It was intended so since start, as a way to map an offset
2028 in the code to a function name, file name and line number
2029 mapping.
2030
20312013-09-11 Paulo Andrade <pcpa@gnu.org>
2032
2033 * doc/body.texi: Correct reversed arguments in example of
2034 usage in a (possibly) multi threaded, multiple jit_state_t
2035 environments.
2036
2037 * include/lightning/jit_arm.h, include/lightning/jit_private.h,
2038 lib/jit_arm-cpu.c, lib/jit_arm.c: Make a previously, non
2039 documented, global state private to the related jit_state_t
2040 generating code.
2041
20422013-09-10 Paulo Andrade <pcpa@gnu.org>
2043
2044 * check/self.c, check/self.ok: New files implementing simple
2045 consistency check assertions. At first validating some macros
2046 that use values from different sources agree.
2047
2048 * check/Makefile.am: Update for the new test case.
2049
2050 * include/lightning.h, lib/lightning.c: Add the new
2051 jit_callee_save_p() call, that is intended to be used when
2052 writing complex code using lightning, so that one does not
2053 need to verify what backend is being used, or have access to
2054 private data, to query if a register is callee save or not;
2055 on several backends the scratch registers are actually callee
2056 save.
2057
2058 * include/lightning/jit_aarch64.h, include/lightning/jit_arm.h,
2059 include/lightning/jit_hppa.h, include/lightning/jit_mips.h,
2060 include/lightning/jit_ppc.h, include/lightning/jit_sparc.h,
2061 include/lightning/jit_x86.h: Add an explicit definition for
2062 JIT_R3-JIT_Rn, JIT_V3-JIT_Vn and JIT_F6-JIT_Fn when applicable.
2063 This allows one to write code based on "#if defined(JIT_XN)"
2064 and therefore, not need to check what is the current backend
2065 or have access to private data structures. This is particularly
2066 useful when writing virtual machines with several specialized,
2067 global registers.
2068
2069 * lib/jit_ia64.c: Properly flag the callee save general
2070 purpose registers as such, so that jit_callee_save_p() works
2071 as intended.
2072
20732013-09-10 Paulo Andrade <pcpa@gnu.org>
2074
2075 * check/lightning.c, configure.ac: Conditionally use the
2076 code written to workaround a bug in the Hercules emulator,
2077 as isnan and isinf are not available at least on HP-UX ia64.
2078
20792013-09-10 Paulo Andrade <pcpa@gnu.org>
2080
2081 * lib/jit_s390x-cpu.c: Spill/reload correct callee save
2082 float registers.
2083
20842013-09-10 Paulo Andrade <pcpa@gnu.org>
2085
2086 * lib/jit_hppa-cpu.c: Correct code to call a function stored
2087 in a register or a patched function address.
2088
20892013-09-10 Paulo Andrade <pcpa@gnu.org>
2090
2091 * lib/jit_ia64-cpu.c: Correct incorrect logic when restoring
2092 the value of the "r2" callee save register.
2093
20942013-08-29 Paulo Andrade <pcpa@gnu.org>
2095
2096 * lib/jit_arm-cpu.c, lib/jit_arm.c: Correct wrong test and update
2097 of the thumb offset information, when checking if needing to
2098 patch a jump from arm to thumb mode. The problem would happen when
2099 remapping the code buffer, and the new address being lower than
2100 the previous one.
2101
21022013-08-26 Paulo Andrade <pcpa@gnu.org>
2103
2104 * configure.ac: Extend FreeBSD test to also handle NetBSD.
2105
2106 * lib/jit_x86-cpu.c: Correct wrongly defined offset type of
2107 ldxi_ui. Problem detected when building on NetBSD.
2108
2109 * lib/lightning.c: Adjust code to handle NetBSD mremap,
2110 where arguments do not match Linux mremap.
2111
21122013-08-26 Paulo Andrade <pcpa@gnu.org>
2113
2114 * lib/jit_ppc.c: Correct C sequence point problem miscalculating
2115 the actual function address in a function descriptor. Problem
2116 happens with gcc 4.8.1 at least.
2117
21182013-08-11 Paulo Andrade <pcpa@gnu.org>
2119
2120 * lib/jit_s390x-cpu.c: Correct code checking if immediate
2121 fits instruction, but using the negated value.
2122
21232013-07-28 Paulo Andrade <pcpa@gnu.org>
2124
2125 * include/lightning/jit_s390x.h, lib/jit_s390x-cpu.c,
2126 lib/jit_s390x-fpu.c, lib/jit_s390x.c: New files
2127 implementing the new s390x port.
2128
2129 * configure.ac, include/lightning.h,
2130 include/lightning/Makefile.am,
2131 include/lightning/jit_private.h,
2132 lib/Makefile.am, lib/jit_disasm.c, lib/lightning.c:
2133 Minor adaptation for the new s390x backend.
2134
2135 * check/float.tst: Update for the s390x result of
2136 truncating +Inf to integer.
2137
2138 * check/qalu_mul.tst: Add extra test cases to better test
2139 high word of signed multiplication as the result is
2140 adjust from unsigned multiplication on s390x.
2141
21422013-07-28 Paulo Andrade <pcpa@gnu.org>
2143
2144 * check/lightning.c: Do not assume casting a double NaN or
2145 Inf to float will produce the expected float NaN or Inf.
2146 This is not true at least under s390x.
2147
21482013-07-28 Paulo Andrade <pcpa@gnu.org>
2149
2150 * check/check.arm.sh, check/check.sh, check/check.swf.sh,
2151 check/check.x87.sh: Properly check test programs output,
2152 not just rely on the test program self testing the results
2153 and not crashing.
2154
21552013-07-28 Paulo Andrade <pcpa@gnu.org>
2156
2157 * lib/jit_aarch64.c: Remove unused macros left from cut&paste
2158 of jit_arm.c.
2159
21602013-07-16 Paulo Andrade <pcpa@gnu.org>
2161
2162 * include/lightning/jit_aarch64.h, lib/jit_aarch64-cpu.c,
2163 lib/jit_aarch64-fpu.c, lib/jit_aarch64.c: New files
2164 implementing the new aarch64 port, as a new architecture,
2165 not as an expansion of the existing armv[4-7] port.
2166
2167 * check/lightning.c: Add aarch64 support and a small
2168 change to recognize character constants as immediate
2169 values.
2170
2171 * check/float.tst: Add aarch64 preprocessor conditionals
2172 to select proper expected value when converting [+-]Inf
2173 and NaN to integer.
2174
2175 * include/lightning/jit_arm.h, lib/jit_arm.c: Minor changes
2176 to better match the new aarch64 files.
2177
2178 * configure.ac, include/lightning.h,
2179 include/lightning/Makefile.am, include/lightning/jit_private.h,
2180 lib/Makefile.am, lib/lightning.c: Minor adjustments
2181 for the aarch64 port.
2182
21832013-07-08 Paulo Andrade <pcpa@gnu.org>
2184
2185 * NEWS, THANKS, configure.ac, doc/version.texi: Update for
2186 the 1.99a second alpha release.
2187
21882013-06-25 Paulo Andrade <pcpa@gnu.org>
2189
2190 * lib/jit_mips.c: Correct cut&paste error that caused wrong
2191 stack offset calculation for double arguments in stack in
2192 the o32 abi.
2193 Correct typo in the __LITTLE_ENDIAN macro name, that came
2194 from cut&paste error in the original typo in lib/jit_ppc.c.
2195
2196 * lib/jit_ia64.c, lib/jit_ppc.c: Correct typo in the
2197 __LITTLE_ENDIAN macro name.
2198
21992013-06-22 Paulo Andrade <pcpa@gnu.org>
2200
2201 * check/lightning.c, configure.ac, include/lightning.h,
2202 lib/lightning.c: Add tests and quirks to build/detect
2203 and/or work on Irix.
2204
2205 * include/lightning/jit_mips.h, lib/jit_mips-cpu.c,
2206 lib/jit_mips-fpu.c, lib/jit_mips.c: Adapt code to run
2207 in big endian mips, using the n32 abi.
2208
22092013-06-18 Paulo Andrade <pcpa@gnu.org>
2210
2211 * include/lightning.h: Minor extra preprocessor testing
2212 to "detect" byte order on x86 solaris, that now builds
2213 and pass all test cases.
2214
22152013-06-18 Paulo Andrade <pcpa@gnu.org>
2216
2217 * lib/jit_sparc-cpu.c: Correct compiler warning of value
2218 used before assignment. The usage is bogus as the api
2219 requires always patching jumps, but the random value used
2220 could cause an assertion due to invalid displacement.
2221
2222 * lib/jit_sparc.c: Always load and store double arguments
2223 in stack as 2 float loads or stores, for safety, as unaligned
2224 access is not allowed in Sparc Solaris.
2225
22262013-06-14 Paulo Andrade <pcpa@gnu.org>
2227
2228 * configure.ac: Force -mlp64 to CFLAGS on HP-UX ia64 port.
2229 It is the only supported mode, and expects gcc as C compiler.
2230
2231 * include/lightning.h, lib/jit_ia64-cpu.c, lib/jit_ia64.c:
2232 Correct ia64 port to work on HP-UX that runs it in big endian
2233 mode.
2234
22352013-06-10 Paulo Andrade <pcpa@gnu.org>
2236
2237 * lib/jit_hppa.c: Sanitize the cache synchronization inline
2238 assembly code that was doing twice the work and redundantly
2239 flushing the end address every loop iteration.
2240
22412013-06-09 Paulo Andrade <pcpa@gnu.org>
2242
2243 * configure.ac, check/Makefile.am, doc/Makefile.am: Do not
2244 explicitly link to -ldl, but instead autodetect the library
2245 with dlopen, dlsym, etc.
2246
2247 * check/lightning.c: Add workaround to apparently buggy
2248 getopt in HP-UX that sets optind to the wrong index, and
2249 use RTLD_NEXT on HP-UX instead of RTLD_DEFAULT to dlsym
2250 global symbols.
2251
2252 * include/lightning.h: Rework definitions of wordsize and
2253 byte order to detect proper values on HP-UX.
2254
2255 * lib/lightning.c: Minor correction to use MAP_ANONYMOUS
2256 instead of MAP_ANON on HP-UX.
2257
2258 * lib/jit_hppa.c: Float arguments must be passed on integer
2259 registers on HP-UX, not only for varargs functions.
2260 Add code to properly clear instruction cache. This was
2261 not required on Debian hppa port, but may have been working
2262 by accident.
2263
2264 * lib/jit_hppa-cpu.c: Follow pattern of HP-UX binaries and
2265 use bve,n instead of bv,n to return from functions.
2266
2267 * lib/jit_hppa-fpu.c: For some reason "fst? frX,rX,(rY)" did
2268 not work on the tested computer (HP-UX B.11.23 U 9000/785 HP-UX)
2269 so the code was changed, at first for __hpux only to add the
2270 base and offset register and use the instruction with an
2271 immediate (zero) offset.
2272
22732013-06-07 Paulo Andrade <pcpa@gnu.org>
2274
2275 * check/lightning.c, lib/jit_disasm.c, lib/jit_ppc-cpu.c,
2276 lib/jit_ppc-fpu.c, lib/jit_ppc.c, include/lightning.h,
2277 include/lightning/jit_ppc.h, include/lightning/jit_private.h:
2278 Adapt code to work on 32 bit AIX ppc using gcc. Most changes
2279 are basically to adapt the elf64 logic to 32 bit, as it does
2280 not use the same convention of 32 bit Darwin ppc.
2281
2282 * check/stack.tst: Add a fake memcpy function to the test
2283 case if running under AIX, as it is not available to dlsym.
2284
2285 * configure.ac: Check for getopt.h header, not available in
2286 AIX.
2287
22882013-06-01 Paulo Andrade <pcpa@gnu.org>
2289
2290 * include/lightning/jit_hppa.h, lib/jit_hppa-cpu.c,
2291 lib/jit_hppa-fpu.c, lib/jit_hppa.c: New files implementing
2292 the hppa port. Built on Debian Linux PA-RISC 2.0, 32 bit.
2293
2294 * check/float.tst: Add preprocessor for hppa expected
2295 values when converting NaN and +-Inf to an integer.
2296
2297 * check/ldst.inc: Ensure double load/store tests use an
2298 8 byte aligned address by default.
2299
2300 * lib/lightning.c: Correct a bug found during tests in
2301 the new port, where qmul* and qdiv* were not properly
2302 setting one of the result registers as modified in the
2303 function, what would be a problem if the only "write"
2304 usage were the qmul* or qdiv*.
2305
2306 * check/varargs.tst, check/varargs.ok: Add one extra
2307 interleaved integer/double test to validate proper code
2308 generation in the extra case.
2309
2310 * check/lightning.c, configure.ac, include/lightning.h,
2311 include/lightning/Makefile.am,
2312 include/lightning/jit_private.h, lib/Makefile.am,
2313 lib/jit_disasm.c: Update for the hppa port.
2314
23152013-04-27 Paulo Andrade <pcpa@gnu.org>
2316
2317 * check/varargs.tst: Correct misplaced .align directive
2318 that was causing the double buffer to not be aligned at
2319 8 bytes.
2320 * lib/jit_ia64-cpu.c:
2321 Properly implement abi for excess arguments passed on
2322 stack.
2323 Simplify load/store with immediate displacement argument
2324 with zero value.
2325 Simplify some calls to "subi" changing to "addi" with
2326 a negative argument.
2327 Remove some #if 0'ed code, that could be useful in
2328 special conditions, but the most useful one would be
2329 to "optimize" "static" jit functions, but for the sake
2330 of simplicity, jit functions are implemented in a way
2331 that can be passed back to C code as C function pointers.
2332 Add an attribute to prototypes of several unused functions.
2333 These functions are defined for the sake of implementing all
2334 Itanium documented instructions, but a significant amount of
2335 them is not used by lightning.
2336 * lib/jit_ia64-fpu.c: Simplify load/store with zero immediate
2337 displacement and add unused attribute for functions not used
2338 by lightning, but required to provide macros implementing all
2339 Itanium documented instructions.
2340 * lib/jit_ia64.c: Update for the properly implemented abi
2341 for stack arguments.
2342 * lib/lightning.c: Mark an unused function as such.
2343
23442013-04-27 Paulo Andrade <pcpa@gnu.org>
2345
2346 lib/jit_ia64-cpu.c:
2347 Correct immediate range check of integer comparisons when
2348 inverting arguments.
2349 Correct gei_u that was not decrementing immediate when
2350 inverting arguments.
2351 Correct b?add* and b?sub* that were not properly updating
2352 the result register.
2353
23542013-04-27 Paulo Andrade <pcpa@gnu.org>
2355
2356 * lib/jit_ia64-cpu.c: Correct wrong mapping of 2 instructions
2357 in "M-, stop, M-, stop" translation, that was ignoring the
2358 last stop (implemented as a nop I- stop).
2359
2360 * lib/jit_ia64-fpu.c: Properly implement fnorm.s and fnorm.d,
2361 as well as the proper integer to float or double conversion.
2362
23632013-04-27 Paulo Andrade <pcpa@gnu.org>
2364
2365 * lib/jit_ia64-cpu.c: Correct bogus implementation of ldr_T
2366 for signed integers, that was using ld1.s, ld2.s and ld4.s.
2367 The ".s" stands for speculative load, not sign extend.
2368
2369 * lib/jit_ia64-fpu.c: Correct bogus implementation of ldxr_T
2370 for float and double. The third (actually, second) argument
2371 is indeed added to the base register, but the base register
2372 is modified. The actual M7 implementation was already correct,
2373 just the ldxr_f and ldxr_d implementation that was kept in
2374 a prototype state, misinterpreting what M7 does.
2375
23762013-04-27 Paulo Andrade <pcpa@gnu.org>
2377
2378 * lib/jit_ia64-cpu.c: Correct X2 pattern matching by preventing
2379 it to attempt to require a stop between the L and the X
2380 instruction; that is, check the registers and predicates
2381 before emitting the L instruction, not after.
2382
2383 * lib/jit_ia64-fpu.c: Slightly simplify and correct
2384 divr_f and divrd_d implementation.
2385
2386 * check/lightning.c: Add __ia64__ preprocessor define
519a9ea1 2387 on Itanium.
4a71579b
PC
2388
2389 * check/alu.inc, check/clobber.tst, check/float.tst: Define
2390 several macros conditionally to __ia64__. This is required
2391 because __ia64__ jit generation can use way too many memory,
2392 due to not implementing instruction reordering to avoid
2393 as much as possible "stops", what causes way too many nops
2394 to be generated, as well as the fact that division and
2395 remainder requires function calls, and float division
2396 requires significant code to implement.
2397
23982013-04-27 Paulo Andrade <pcpa@gnu.org>
2399
2400 * include/lightning.h: Add new backend specific movr_w_d,
2401 movr_d_w and movi_d_w codes as helpers to ia64 varargs
2402 functions arguments.
2403
2404 * lib/jit_ia64-cpu.c:
2405 Correct wrong encoding of A5 small integers.
2406 Correct define of "mux" instruction modifiers.
2407 Correct ordering of arguments and predicates of cmp_xy
2408 implementation with immediate arguments; like most other
2409 codes with an immediate, the immediate is the second, not
2410 the third argument.
2411
2412 * lib/jit_ia64-fpu.c: Actual implementation of the code
2413 to move to/from gpr to/from fpr, to implement varargs abi.
2414
2415 * lib/jit_ia64.c: Make fpr argument registers not allocatable
2416 as temporaries, no need for the extra checks when there are
2417 plenty registers.
2418
2419 * lib/jit_print.c, lib/lightning.c: Minor updates for the
2420 new movr_w_d, movr_d_w and movi_d_w codes.
2421
24222013-04-26 Paulo Andrade <pcpa@gnu.org>
2423
2424 * lib/jit_ia64-cpu.c, lib/jit_ia64-fpu.c: Correct code to
2425 also insert a stop to break an instruction group if a
2426 register is written more than once in the same group.
2427 This may happen if a register is argument and result of
2428 some lightning call (not a real instruction). The most
2429 common case should be code in the pattern:
2430 movl rn=largenum
2431 ...
2432 mov rn=smallnum
2433 where "rn" would end up holding "largenum".
2434 But the problem possibly could happen in other circumstances.
2435
24362013-04-26 Paulo Andrade <pcpa@gnu.org>
2437
2438 * include/lightning/jit_ia64.h, lib/jit_ia64-cpu.c,
2439 lib/jit_ia64-fpu.c, lib/jit_ia64.c:
2440 Relocate JIT_Rn registers to the local registers, as, like
2441 float registers, div/rem and sqrt are implemented as function
2442 calls, and may overwrite non saved scratch registers.
2443 Change patch_at to receive a jit_code_t instead of a
2444 jit_node_t, so that it is easier to "inline" patches when
2445 some instruction requires complex code to implement, e.g.
2446 uneq and ltgt.
2447 Correct arguments to FMA and FMA like instructions that,
2448 due to a cut&paste error were passing the wrong argument
2449 to the related F- implementation function.
2450 Rewrite ltgt to return the proper result if one (or both)
2451 of the arguments is unordered.
2452
24532013-04-26 Paulo Andrade <pcpa@gnu.org>
2454
2455 * include/lightning/jit_ia64.h, include/lightning/jit_private.h,
2456 lib/jit_ia64-cpu.c, lib/jit_ia64-fpu.c, lib/jit_ia64.c,
2457 lib/lightning.c: Rework code to detect need of a "stop" to
2458 also handle predicates, as if a predicate is written, it
2459 cannot be read in the same instruction group.
2460 Use a single jit_regset_t variable for all registers when
2461 checking need for a stop (increment value by 128 for
2462 float registers).
2463 Correct wrong "subi" implementation, as the code executed
2464 is r0=im-r1, not r0=r1-im.
2465 Use standard lightning 6 fpr registers, and rework to
2466 use callee save float registers, that may be spill/reloaded
2467 in prolog/epilog. This is required because some jit
2468 instructions implementations need to call functions; currently
2469 integer div/mod and float sqrt, what may change the value of
2470 scratch float registers.
2471 Rework point of "sync" of branches that need to return a
2472 patch'able address, because the need for a "stop" before a
2473 predicate read causes all branches to be the instruction
2474 in slot 0, as there is no template to "stop" and branch
2475 in the same instruction "bundle".
2476
24772013-04-25 Paulo Andrade <pcpa@gnu.org>
2478
2479 * include/lightning/jit_ia64.h, lib/jit_ia64-cpu.c,
2480 lib/jit_ia64-fpu.c, lib/jit_ia64.c: New files implementing
2481 the basic infrastructure of an Itanium port. The code
2482 compiles and can generate jit for basic hello world like
2483 functions.
2484
2485 * check/lightning.c, configure.ac, include/lightning.h,
2486 include/lightning/Makefile.am, include/lightning/jit_private.h,
2487 lib/Makefile.am, lib/lightning.c: Update for the Itanium
2488 port.
2489
2490 * lib/jit_mips-cpu.c, lib/jit_mips.c: Correct typo and
2491 make the jit_carry register local to the jit_state_t.
2492 This matches code reviewed in the Itanium port, that
2493 should use the same base logic to handle carry/borrow.
2494
24952013-04-10 Paulo Andrade <pcpa@gnu.org>
2496
2497 * include/lightning/jit_private.h, lib/jit_arm.c,
2498 lib/jit_mips-cpu.c, lib/jit_mips.c, lib/jit_ppc-cpu.c,
2499 lib/jit_ppc.c, lib/jit_print.c, lib/jit_sparc-cpu.c,
2500 lib/jit_sparc.c, lib/jit_x86-cpu.c, lib/jit_x86.c,
2501 lib/lightning.c: Change all jit_regset macros to take
2502 a pointer argument, to avoid structure copies when
2503 adding a port to an architecture with more than 64
2504 registers.
2505
25062013-04-08 Paulo Andrade <pcpa@gnu.org>
2507
2508 * lib/jit_arm.c, lib/jit_ppc.c: Do not rely on __clear_cache
2509 aligning to the next page boundary the end argument. It may
2510 actually truncate it.
2511
25122013-03-29 Paulo Andrade <pcpa@gnu.org>
2513
2514 * include/lightning/jit_private.h, lib/jit_arm.c, lib/jit_memory.c,
2515 lib/jit_mips.c, lib/jit_ppc.c, lib/jit_sparc.c, lib/jit_x86.c,
2516 lib/lightning.c: Do not start over jit generation if can grow
2517 the code buffer with mremap without moving the base pointer.
2518
25192013-03-29 Paulo Andrade <pcpa@gnu.org>
2520
2521 * lib/jit_memory.c: Implement a simple memory allocation wrapper
2522 to allow overriding calls to malloc/calloc/realloc/free, as well
2523 as ensuring all memory containing pointers is zero or points to
2524 allocated memory.
2525
2526 * include/lightning.h, include/lightning/jit_private.h: Definitions
2527 for the memory allocation wrapper.
2528
2529 * lib/Makefile.am: Update for new jit_memory.c file.
2530
2531 * lib/jit_arm.c, lib/jit_disasm.c, lib/jit_mips.c, lib/jit_note.c,
2532 lib/jit_ppc.c, lib/jit_sparc.c, lib/jit_x86.c, lib/lightning.c:
2533 Use the new memory allocation wrapper code.
2534
25352013-03-22 Paulo Andrade <pcpa@gnu.org>
2536
2537 * configure.ac, include/lightning/jit_private.h, lib/lightning.c:
2538 Remove dependency on gmp. Only a simple bitmap was required, and
2539 that was not enough reason to force linking to gmp and possible
2540 complications caused by it.
2541
25422013-03-10 Paulo Andrade <pcpa@gnu.org>
2543
2544 * include/lightning.h: Add check for __powerpc__ defined
2545 in Linux, while Darwin defines __ppc__.
2546
2547 * include/lightning/jit_ppc.h: Adjust register definitions
2548 for Darwin 32 bit and Linux 64 bit ppc usage and/or ABI.
2549
2550 * include/lightning/jit_private.h: Add proper check for
2551 Linux __powerpc__ and an data definition for an workaround
2552 to properly handle code that starts with a jump to a "main"
2553 label.
2554
2555 * lib/jit_disasm.c: Add extra disassembler initialization
2556 for __powerpc64__.
2557
2558 * lib/jit_ppc-cpu.c: Add extra macros and functions, and
2559 correct/adapt previous ones to handle powerpc64.
2560
2561 * lib/jit_ppc-fpu.c: Adapt for 64 bit wordsize. Basically
2562 add conversion from/to int32/int64 and proper handling of
2563 load/store offsets too large for 32 bit.
2564
2565 * lib/jit_ppc.c: Add calls to 64 bit codes and adaptation
2566 for the PowerPC 64 bit Linux ABI.
2567
2568 * lib/jit_arm.c, lib/jit_mips.c, lib/jit_sparc, lib/jit_x86.c,
2569 lib/lightning.c: Correct off by one error when restarting jit
2570 of a function due to finding too late that needs to spill/reload
2571 some register. Problem was found by accident on a very special
2572 condition during PowerPC 64 code adaptation.
2573
25742013-03-08 Paulo Andrade <pcpa@gnu.org>
2575
2576 * check/lightning.c: Add missing ppc preprocessor definition.
2577
25782013-03-06 Paulo Andrade <pcpa@gnu.org>
2579
2580 * check/float.tst: Comment out the int to negative infinity
2581 test in mips for the moment because not all Loongson agrees
2582 on the result.
2583
2584 * lib/jit_disasm.c: Add a test instead of an assertion
2585 when loading symbols for disassembly due to a failure with
2586 a simple binutils build in Debian mipsel64.
2587
25882013-03-06 Paulo Andrade <pcpa@gnu.org>
2589
2590 * include/lightning/jit_private.h, lib/jit_arm-cpu.c,
2591 lib/jit_arm.c, lib/jit_disasm.c, lib/jit_mips-cpu.c,
2592 lib/jit_mips.c, lib/jit_note.c, lib/jit_ppc-cpu.c,
2593 lib/jit_ppc.c, lib/jit_print.c, lib/jit_sparc-cpu.c,
2594 lib/jit_sparc.c, lib/jit_x86-cpu.c, lib/jit_x86.c,
2595 lib/lightning.c: Add an extra structure for data storage
2596 during jit generation, and release it after generating
2597 jit, to reduce a bit memory usage, and also to make it
2598 easier to understand what data is available during
2599 jit runtime.
2600
26012013-03-06 Paulo Andrade <pcpa@gnu.org>
2602
2603 * lib/lightning.c: Make data and code buffer readonly.
2604
26052013-02-20 Paulo Andrade <pcpa@gnu.org>
2606
2607 * doc/body.texi: Fool proof validate the examples of what
2608 an assembly-language programmer would write and correct the
2609 wrong sparc example.
2610
26112013-02-19 Paulo Andrade <pcpa@gnu.org>
2612
2613 * doc/body.texi: Add back the SPARC code generation example.
2614
26152013-02-19 Paulo Andrade <pcpa@gnu.org>
2616
2617 * check/lightning.c: Remove state flag to work with partial
2618 sparc port, by just disassembling if there was incomplete
2619 code generation.
2620
2621 * jit_sparc-cpu.c: Correct wrong range check for immediate
2622 integer constants (off by one bit shift).
2623 Correct macro implementing equivalent "rd %y, rd" assembly.
2624 Implement qmul* and qdiv*.
2625
2626 * jit_sparc.c: Update for qmul* and qdiv* and remove logic
2627 to handle incomplete code generation during sparc port.
2628
26292013-02-18 Paulo Andrade <pcpa@gnu.org>
2630
2631 * check/float.tst: Add sparc to list of known NaN and +-Inf
2632 to integer conversion.
2633
2634 * check/lightning.c: Define __sparc__ to preprocessor in
2635 the sparc backend.
2636
2637 * include/lightning/jit_private.h: Correct wrong definition
2638 of emit_stxi_d, that has lived for a long time, but would
2639 cause problems whenever needing to spill/reload a float
2640 register.
2641
2642 * include/lightning/jit_sparc.h: Can only use %g2,%g3,%g4
2643 for scratch variables, as other "global" registers are
2644 reserved for the system, e.g. libc.
2645 Reorder float register naming to make it easier to
2646 access odd float registers, so that generating code for
2647 pusharg and getarg is easier for the IR.
2648
2649 * lib/jit_mips-cpu.c, lib/jit_ppc-cpu.c: Update to match
2650 new code in jit_sparc-cpu.c. It must call jit_get_reg
2651 with jit_class_nospill if using the register to move
2652 an unconditional branch address to it, as the reload
2653 will not happen (actually could happen in the delay
2654 slot...)
2655
2656 * lib/jit_sparc-cpu.c: Correct wrong macro definition for
2657 ldxr_s.
2658 Properly implement div* and implement rem. Div* needs
2659 to use the y register, and rem* needs to be synthesized.
2660 Correct b?sub* macro definitions.
2661
2662 * lib/jit_sparc-fpu.c: Correct reversed float to/from double
2663 conversion.
2664 Correct wrong jit_get_reg call asking for a gpr and then
2665 using the fpr with that number.
2666 Correct wrong branch displacement computation for
2667 conditional branches.
2668
2669 * lib/jit_sparc.c: Correct getarg_d and pushargi_d implementation.
2670 Add rem* entries to the switch converting IR to machine code.
2671
2672 * lib/lightning.c: Correct a problem detected when adding
2673 the jit_class_nospill flag to jit_get_reg, that was caused
2674 when having a branch to an "epilog" node, what would cause
2675 the code to think all registers in unknown state were live,
2676 while in truth, all registers in unknown state in the
2677 "just after return" point are actually dead.
2678
26792013-02-17 Paulo Andrade <pcpa@gnu.org>
2680
2681 * include/lightning/jit_sparc.h, lib/jit_sparc-cpu.c,
2682 lib/jit_sparc-fpu.c, lib/jit_sparc.c: New files implementing
2683 the basic framework of the sparc port.
2684
2685 * configure.ac, include/lightning.h, include/lightning/Makefile.am,
2686 include/lightning/jit_private.h, lib/jit_disasm.c: Update
2687 for the sparc port framework.
2688
2689 * lib/jit_mips.c: Correct reversed retr/reti logic.
2690
2691 * lib/jit_ppc.c: Correct misspelled __LITTLE_ENDIAN.
2692
2693 * lib/lightning.c: Always do byte hashing in hash_data, because
2694 the logic to "compress" strings causes large pointers to not
2695 be guaranteed aligned at 4 byte boundaries.
2696 Update for the sparc port framework.
2697
26982013-02-11 Paulo Andrade <pcpa@gnu.org>
2699
2700 * lib/jit_arm.c: Correct jit_pushargi_f in the arm hardfp abi.
2701 Most of the logic uses even numbered register numbers, so that
2702 a float and a double can be used in the same register, but
2703 the abi requires packing the float arguments, so jit_pushargi_f
2704 needs to allocate a temporary register to modify only the
2705 proper register argument (or be very smart to push two
2706 immediate arguments if applicable).
2707
27082013-02-11 Paulo Andrade <pcpa@gnu.org>
2709
2710 * include/lightning.h, lib/lightning.c: Implement the new
2711 jit_clear_state and jit_destroy_state calls. jit_clear_state
2712 releases all memory not required during jit_execution; that
2713 is, leaves only the mmap'ed data and code buffers allocated.
2714 jit_destroy_state releases the mmap'ed buffers as well as
2715 the jit_state_t object itself, that holds pointers to the
2716 code and data buffers, as well as annotation pointers (for
2717 disassembly or backtrace) in the data buffer.
2718
2719 * lib/jit_note.c: Correct invalid vector offset access.
2720
2721 * check/ccall.c, check/lightning.c, doc/ifib.c, doc/incr.c,
2722 doc/printf.c, doc/rfib.c, doc/rpn.c: Use the new jit_clear_state
2723 and jit_destroy_state calls, to demonstrate the new code to
2724 release all jit memory.
2725
2726 * doc/body.texi: Add basic documentation and usage description
2727 of jit_clear_state and jit_destroy_state.
2728
27292013-02-11 Paulo Andrade <pcpa@gnu.org>
2730
2731 * include/lightning/jit_private.h, lib/jit_note.c, lib/lightning.c:
2732 Store all annotation information in the mmap'ed area reserved for
2733 read only data. This adds code to not allocate memory for jit_note_t
2734 objects, and to relocate jit_line_t objects and its contents after
2735 calculating annotation information. The jit_line_t objects are
2736 relocated because it is not possible to always calculate before
2737 hand data layout because note information may be extended or
2738 redundant entries removed, as well as allowed to be added in
2739 non sequential order.
2740 A bug was also corrected in _jit_set_note, that was causing it
2741 to allocate new jit_line_t objects when not needed. It was still
2742 working correctly, but allocating way more memory than required.
2743
27442013-02-05 Paulo Andrade <pcpa@gnu.org>
2745
2746 *include/lightning.h, lib/lightning.c: Add the new jit_live code
2747 to explicitly mark a register as live. It is required to avoid
2748 assuming functions always return a value in the gpr and fpr return
2749 register, and to avoid the need of some very specialized codes
2750 that vary too much from backend to backend, to instruct the
2751 optimization code the return register is live.
2752
2753 * lib/jit_arm.c, lib/jit_mips.c, lib/jit_ppc.c, lib/jit_print.c,
2754 lib/jit_x86.c: Update for the new jit_live code.
2755
2756 * check/ret.ok, check/ret.tst: New files implementing a simple
2757 test case that would previously fail at least in ix86/x86_64.
2758
2759 * check/Makefile.am: Update for new "ret" test case.
2760
27612013-02-05 Paulo Andrade <pcpa@gnu.org>
2762
2763 * lib/jit_ppc-cpu.c, lib/jit_ppc.c: Validate and correct
2764 problems in the qmul and qdiv ppc implementation.
2765
27662013-02-04 Paulo Andrade <pcpa@gnu.org>
2767
2768 * include/lightning.h, include/lightning/jit_private.h,
2769 lib/jit_arm-cpu.c, lib/jit_arm.c, lib/jit_mips-cpu.c,
2770 lib/jit_mips.c, lib/jit_ppc-cpu.c, lib/jit_ppc.c,
2771 lib/jit_x86-cpu.c, lib/jit_x86.c, lib/lightning.c:
2772 Implement the new qmul and qdiv instructions that return signed
2773 and unsigned lo/hi multiplication result and div/rem division result.
2774 These should be useful for jit translation of code that needs to
2775 know if a multiplication overflows (no branch opcode added) or if
2776 a division is exact (easy check if remainder is zero).
2777
2778 * check/lightning.c, lib/jit_print.c, check/Makefile.am,
2779 check/all.tst: Update for the new qmul and qdiv instructions.
2780
2781 * check/qalu.inc, check/qalu_div.ok, check/qalu_div.tst,
2782 check/qalu_mul.ok, check/qalu_mul.tst: New files implementing
2783 simple test cases for qmul and qdiv.
2784
27852013-01-30 Paulo Andrade <pcpa@gnu.org>
2786
2787 * doc/body.texi: Correct "jmpi" description that incorrectly
2788 told it was possible to pass any address as jump target. The
2789 only way to do that is "movi+jmpr".
2790
27912013-01-30 Paulo Andrade <pcpa@gnu.org>
2792
2793 * lib/jit_x86-cpu.c: Correct undefined behavior code.
2794 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56143
2795
27962013-01-29 Paulo Andrade <pcpa@gnu.org>
2797
2798 * configure.ac: Use AC_CONFIG_HEADERS instead of AC_CONFIG_HEADER
2799 to have HAVE_CONFIG_H defined with latest aclocal.
2800
2801 * include/lightning/jit_private.h, lib/lightning.c: Add new
2802 abstraction to use an heuristic to calculate amount of space
2803 required for jit generation, and code to reallocate buffer if
2804 did miscalculate it.
2805
2806 * lib/jit_arm.c, lib/jit_mips.c, lib/jit_ppc.c, lib/jit_x86.c:
2807 Update to use new code to estimate and resize of required buffer
2808 for jit code.
2809
2810 * lib/jit_x86-cpu.c: Minor cosmetic change to avoid adding a
2811 non required rex prefix when calling a function pointer stored
2812 in a register.
2813
28142013-01-24 Paulo Andrade <pcpa@gnu.org>
2815
2816 * check/Makefile.am: "make debug" target should pass only
2817 the main test tool program as argument for running gdb
2818
2819 * configure.ac: Add the --enable-assertions options.
2820
2821 * doc/Makefile.am, doc/body.texi, doc/lightning.texi:
2822 Major rewrite of the documentation to match the current
2823 implementation.
2824
2825 * doc/version.texi: Automatic date update.
2826
2827 * doc/ifib.c, doc/incr.c, doc/printf.c, doc/rfib.c, doc/rpn.c:
2828 Implementation of the documentation examples, that are also
2829 compiled during a normal build.
2830
2831 * doc/p-lightning.texi, doc/porting.texi, doc/toc.texi,
2832 doc/u-lightning.texi, doc/using.texi: These files were
2833 renamed in the documentation rewrite, as the documentation
2834 was significantly trimmed due to full removal of the porting
2835 chapters. Better porting documentation should be added but
2836 for the moment it was just removed the documentation not
2837 matching the implementation.
2838
28392013-01-18 Paulo Andrade <pcpa@gnu.org>
2840
2841 * lib/jit_note.c: Correct bounds check and wrong code keeping
2842 a pointer that could be changed after a realloc call.
2843
28442013-01-18 Paulo Andrade <pcpa@gnu.org>
2845
2846 * check/3to2.tst, check/add.tst, check/allocai.tst, check/bp.tst,
2847 check/call.tst, check/ccall.c, check/clobber.tst, check/divi.tst,
2848 check/fib.tst, check/ldsti.tst, check/ldstr-c.tst, check/ldstr.tst,
2849 check/ldstxi-c.tst, check/ldstxi.tst, check/ldstxr-c.tst,
2850 check/ldstxr.tst, check/lightning.c, check/rpn.tst, check/stack.tst,
2851 check/varargs.tst, include/lightning.h,
2852 include/lightning/jit_private.h, lib/jit_arm.c, lib/jit_disasm.c,
2853 lib/jit_mips.c, lib/jit_note.c, lib/jit_ppc.c, lib/jit_print.c,
2854 lib/jit_x86.c, lib/lightning.c: Extend the "jit_note" abstraction
2855 with the new "jit_name" call, that receives a string argument, and
2856 should usually be called to mark boundaries of functions of code
2857 generating jit (that is, it is not expected that the language
2858 generating jit map its functions to jit functions).
2859
28602013-01-17 Paulo Andrade <pcpa@gnu.org>
2861
2862 * check/add.tst, check/allocai.tst, check/bp.tst, check/divi.tst,
2863 check/fib.tst, check/lightning.c, include/lightning/jit_arm.h,
2864 include/lightning/jit_mips.h, include/lightning/jit_ppc.h,
2865 include/lightning/jit_private.h, include/lightning/jit_x86.h:
2866 Make JIT_RET, JIT_FRET and JIT_SP private. These should not be
2867 used in any operations due to frequently having special
2868 constraints (usually JIT_FRET). JIT_FP must be made available
2869 because it must be used as the base register to access stack
2870 space allocated with jit_allocai.
2871
28722013-01-14 Paulo Andrade <pcpa@gnu.org>
2873
2874 * include/lightning.h, lib/lightning.c: Add an extra align
2875 argument to the jit_data call (that should be made private),
2876 so that it should not align strings at 8 bytes.
2877 Correct the jit_note call to include the null ending byte
2878 when adding label/note names to the "jit data section".
2879
28802013-01-11 Paulo Andrade <pcpa@gnu.org>
2881
2882 * lib/jit_note.c: New file implementing a simple string+integer
2883 annotation, that should be used to map filename and line number
2884 to offsets in the generated jit.
2885
2886 * include/lightning.h, lib/lightning.c: Update for the new
2887 note code.
2888 Add an extra mandatory argument to init_jit, that is used
2889 as argument to bfd_openr.
2890 Change from generic void* to char* the argument to jit_note
2891 and add an extra integer argument, to map to filename and
2892 line number.
2893
2894 * check/ccall.c, check/lightning.c, include/lightning/jit_private.h,
2895 lib/jit_arm.c, lib/jit_disasm.c, lib/jit_mips.c, lib/jit_ppc.c,
2896 lib/jit_print.c, lib/jit_x86.c: lib/Makefile.am: Update for the
2897 new annotation code.
2898
2899 * configure.ac, check/Makefile.am: Update to work with latest
2900 automake.
2901
29022013-01-09 Paulo Andrade <pcpa@gnu.org>
2903
2904 * include/lightning.h, lib/jit_arm.c, jit_mips-fpu.c,
2905 lib/jit_mips.c, lib/jit_print.c, lib/jit_x86.c, lib/lightning.c:
2906 Remove the jit_code_getarg_{f,d} and jit_code_pusharg{i,r}_{f,d}
2907 calls, replacing them with the new, internal only, jit_movr_w_f,
2908 jit_mov{r,i}_f_w, jit_movr_ww_d, and jit_mov{i,r}_d_ww, that
2909 better describe the operation being done, and allow removing
2910 the hackish code to detect special conditions for arm when
2911 moving from/to vfp from/to a grp register pair.
2912 Rename jit_code_retval_{f,d} to jit_code_x86_retval_{f,d} as
2913 it is specific to 32 bit x86, and used to move abi return
2914 value in x87 register to a sse register.
2915
29162013-01-05 Paulo Andrade <pcpa@gnu.org>
2917
2918 * check/cccall.c, check/ccall.ok: New test case to validate
2919 interleaved calls from/to C code and jit.
2920
2921 * check/Makefile.am: Update for the new ccall test case.
2922
2923 * include/lightning.h, lib/lightning.c: Add the new jit_address
2924 call that returns the real/final address of a "note" in the
2925 generated jit. It requires a jit_node_t as returned by the
2926 jit_note call, and is only valid after calling jit_emit.
2927 Add an intermediate solution to properly handle arm
2928 soft and softfp modes that move a double to an integer register
2929 pair. Currently it just adds extra tests for the condition,
2930 but the proper solution should be to have extra lightning
2931 codes for these conditions, codes which should be only used
2932 by the backends that need it, and merged with the existing
2933 jit_pusharg*_{f,d}.
2934
2935 * include/lightning/jit_private.h: Add new jit_state_t flag
2936 to know it finished jit_emit, so that calls to jit_address
2937 are valid.
2938
2939 * lib/jit_mips.c: Correct abi implementation so that the
2940 new ccall test case pass. Major problem was using
2941 _jit->function.self.arg{i,f} as boolean values, but that
2942 would cause lightning.c:patch_registers() to incorrectly
2943 assume only one register was used as argument when calling
2944 jit_regarg_p(); _jit->function.self.arg{i,f} must be the
2945 number of registers used as arguments (in all backends).
2946
2947 * lib/jit_x86.c: Add workaround, by marking %rax as used,
2948 to a special condition, when running out of registers and the
2949 allocator trying to spill and reload %rax, but %rax was used
2950 as a pointer to a function, what would cause the reload to
2951 destroy the return value. This condition can be better
2952 generalized, but the current solution is good enough.
2953
2954 * include/lightning/jit_ppc.h, lib/jit_ppc-cpu.c, lib/jit_ppc.c:
2955 Rewrite logic to handle arguments, as the original code was
2956 written based on a SysV pdf about the generic powerpc ABI,
2957 what did "invent" a new abi for the previous test cases, but
2958 failed in the new ccall test in Darwin PPC. Now it properly
2959 handles 13 float registers for arguments, as well as proper
2960 computation of stack offsets when running out of registers
2961 for arguments.
2962
29632013-01-02 Paulo Andrade <pcpa@gnu.org>
2964
2965 * check/float.tst: Correct test case to match ppc also
2966 converting positive infinity to 0x7fffffff.
2967
2968 * lib/jit_arm-swf.c: Correct typos with double underscores.
2969
2970 * lib/lightning.c: Correct remaining wrong reverse jump logic.
2971
29722012-12-29 Paulo Andrade <pcpa@gnu.org>
2973
2974 * lib/lightning.c: Correct both, wrong and confusing logic
2975 to compute the reverse of a jump. Now it properly matches
2976 C semantics for "eq" (==) and "ne" (!=) and correct computation
2977 of reverse of "uneq" as "gt".
2978
2979 * check/branch.tst: Update "ne" float branch check that
2980 previously happened to be wrongly tested with a NaN argument.
2981
29822012-12-29 Paulo Andrade <pcpa@gnu.org>
2983
2984 * check/float.ok, check/float.tst: New test cases implementing
2985 extensive validation of float comparison and branch code
2986 generation as well as integer conversion, involving NaN and
2987 [+-]Inf.
2988
2989 * lib/jit_arm-swf.c, lib/jit_x86-sse.c, lib/jit_x86-x87.c:
2990 Correct bugs found by new float test case.
2991
2992 * lib/jit_x86.c: Correct cut&paste error added in commit to
2993 convert jit_arg* return value to a jit_node_t*, that would
2994 cause it to not properly handle double arguments in ix86.
2995
2996 * check/Makefile.am: Update for the new test case.
2997
29982012-12-28 Paulo Andrade <pcpa@gnu.org>
2999
3000 * check/lightning.c, include/lightning.h, lib/jit_arm.c,
3001 lib/jit_mips.c, lib/jit_ppc.c, lib/jit_print.c, lib/jit_x86.c,
3002 lib/lightning.c: Change return value of jit_arg{,_f,_d} to
3003 a jit_node_t* object, that should be used as argument to
3004 jit_getarg_{c,uc,s,us,i,ui,l,f,d}. This just requires changing
3005 from jit_int32_t to jit_pointer_t (or jit_node_t*) the "handle"
3006 for the getarg calls, with the benefit that it makes it easy
3007 to implement patching of the stack address of non register
3008 arguments, this way allowing to implement variable size stack
3009 frames if applicable; useful if there are too many registers and
3010 jit functions uses only a few callee save registers.
3011
30122012-12-27 Paulo Andrade <pcpa@gnu.org>
3013
3014 * lib/jit_arm.c, lib/jit_mips-cpu.c, lib/jit_mips.c: Correct
3015 regressions when patching jit_calli for a forward function.
3016
3017 * lib/jit_ppc-cpu.c: Correct wrong arguments to ANDI opcode
3018 in jit_getarg_u{c,s} implementation.
3019
30202012-12-23 Paulo Andrade <pcpa@gnu.org>
3021
3022 * check/call.ok, check/call.tst: New test cases to validate
3023 simple typed argument and return values in function calls.
3024
3025 * check/lightning.c: Properly handle jit_movi of labels for
3026 backward and forward code labels.
3027
3028 * check/Makefile.am: Update for new test case.
3029
30302012-12-23 Paulo Andrade <pcpa@gnu.org>
3031
3032 * check/carry.ok, check/carry.tst: New test case to validate
3033 carry condition handling.
3034
3035 * check/Makefile.am: Update for new test case.
3036
30372012-12-22 Paulo Andrade <pcpa@gnu.org>
3038
3039 * lib/jit_ppc-cpu.c, lib/jit_ppc.c: Implement logic for
3040 jit_htonr for big endian, so that ppc (big endian) pass the
3041 new clobber.tst test case.
3042
30432012-12-22 Paulo Andrade <pcpa@gnu.org>
3044
3045 * lib/jit_arm.c: Correct use of wrong argument offset
3046 variable in armv7l or float/double argument for varargs
3047 function in armv7hl.
3048 Correct jit_getarg* logic in software float mode to
3049 match expected behavior in other backends, that is, if
3050 a function is not called, it is safe to use a few lightning
3051 calls before a next jit_getarg* call, as done in the test
3052 case check/stack.tst. The proper solution should be to
3053 extend the parser in lib/lightning.c to check if there is
3054 some float operation that will call some (libgcc?) function,
3055 but software float arm should be a very uncommon backend for
3056 lightning, so, just load the already in place arguments
3057 saved to stack, assuming the register argument was clobbered
3058 (what should not be the case most times...).
3059
30602012-12-22 Paulo Andrade <pcpa@gnu.org>
3061
3062 * check/clobber.ok, check/clobber.tst: New test case doing
3063 extensive validation tests to ensure registers not used in
3064 a operation are not clobbered.
3065
3066 * check/Makefile.am: Update for new test case.
3067
30682012-12-21 Paulo Andrade <pcpa@gnu.org>
3069
3070 * lib/lightning.c: Partially rewrite/revert code to compute
3071 initial register live state at the start of a basic block.
3072 The original logic was corrupted when adding optimizations
3073 to do as few computations as possible in jit_update. The
3074 reglive field must be always a known set of live registers
3075 at the start of a basic block. The value that was incorrect
3076 was the regmask field, that must be the set of registers
3077 that are in unknown state, because they are not known live,
3078 neither set (or possibly not set) in the basic block, and
3079 *must* store the state at the start of the basic block.
3080
30812012-12-20 Paulo Andrade <pcpa@gnu.org>
3082
3083 * include/lightning/jit_ppc.h: Correct mismatch of JIT_F{1,5}
3084 with enum codes, that were correct, and returned by jit_f().
3085
3086 * lib/jit_ppc-cpu.c, lib/jit_ppc-fpu.c, lib/jit_ppc.c: Properly
3087 implement and better describe values when generating stack
3088 frames.
3089
30902012-12-18 Paulo Andrade <pcpa@gnu.org>
3091
3092 * check/stack.ok, check/stack.tst: New files to test data
3093 integrity on a deep chain of stack frames.
3094
3095 * lib/jit_arm.c, lib/jit_arm-cpu.c, lib/jit_mips.c,
3096 lib/jit_mips-cpu.c, lib/jit_ppc.c, lib/jit_ppc-cpu.c,
3097 lib/jit_x86.c, lib/jit_x86-cpu.c: Calculate _jit->function->stack
3098 in the emit stage, otherwise it will calculate it wrong if
3099 need to jit_allocai space to spill registers.
3100
3101 * lib/lightning.c: Correct wrong offset when updating the
3102 "current" jit function pointer in the code that may need to
3103 allocate stack space to spill registers.
3104
3105 * check/lightning.c: Correct off by one data space check.
3106
3107 * check/Makefile.am: Update for new test case.
3108
31092012-12-17 Paulo Andrade <pcpa@gnu.org>
3110
3111 * check/fop_abs.ok, check/fop_abs.tst, check/fop_sqrt.ok,
3112 check/fop_sqrt.tst: New files implementing simple test cases
3113 for the extra float operations.
3114
3115 * check/Makefile.am: Update for new test cases.
3116
3117 * check/alu.inc: Add an extra macro to check for unordered
3118 equality on tests where it is expected to use NaN as an
3119 argument.
3120
3121 * check/lightning.c: Minor change for proper/common argument
3122 syntax handling ommiting arguments to options.
3123
31242012-12-17 Paulo Andrade <pcpa@gnu.org>
3125
3126 * check/Makefile.am: Automatically generate pattern list
3127 of tests with alternate jit generation options. This should
3128 prevent typos and needing to change multiple places after
3129 a change.
3130
31312012-12-14 Paulo Andrade <pcpa@gnu.org>
3132
3133 * check/lightning.c: Remove the ".cpu name value" syntax,
3134 as it was not able to do proper changes before the jit
3135 internal data structure was initialized. Now it supports
3136 several getopt options to force using different jit
3137 generation options, effectively replacing the previous
3138 syntax.
3139
3140 * check/run-test: Add simple extra logic to handle differently
3141 named test scripts, used to test things like x87 coprocessor
3142 in ix86, and arm instruction set or software float in armv7l.
3143
3144 * configure.ac: Add some AC_RUN_IFELSE calls to figure at
3145 compile time if can test different code generation options,
3146 and update Makefile generation accordingly.
3147
3148 * check/Makefile.am, lib/jit_arm.c, lib/jit_x86.c: Update to
3149 properly work with the test tool updating the jit_cpu global
3150 information.
3151
3152 * check/check.arm.sh, check/check.swf.sh, check/check.x87.sh:
3153 New wrapper files passing -mthumb=0, mvfp=0 and -mx87=1 to
3154 the test tool, if applicable, so that it can validate alternate
3155 code generation options on test hosts that support them.
3156
31572012-12-14 Paulo Andrade <pcpa@gnu.org>
3158
3159 * lib/jit_x86-x87.c, lib/jit_x86.c: Correct test cases in ix86
3160 when using the x87 coprocessor instead of sse2+.
3161
31622012-12-14 Paulo Andrade <pcpa@gnu.org>
3163
3164 * include/lightning.h, include/lightning/jit_private.h,
3165 lib/jit_arm.c, lib/jit_mips.c, lib/jit_ppc.c, lib/jit_x86.c,
3166 lib/lightning.c: Make jit_ellipsis implementation not
3167 backend specific. It is not intended to handle va_list
3168 like objects at runtime, as jit_arg* and jit_getarg*
3169 return constant values resolved at parse time, so, effectively
3170 it is not possible to create printf like jit functions, as
3171 there is no va_start, va_arg, va_end, etc, abstraction. This
3172 limitation should be kept for the sake of making new ports
3173 easier.
3174
31752012-12-14 Paulo Andrade <pcpa@gnu.org>
3176
3177 * include/lightning.h, lib/lightning.c: Add two extra wrapper
3178 functions to avoid need for excess pointer to/from word casts.
3179
3180 * check/lightning.c: Only need for pointer to/from word cast
3181 now is jit_movi, update accordingly.
3182
31832012-12-13 Paulo Andrade <pcpa@gnu.org>
3184
3185 * check/varargs.ok, check/varargs.tst: New test cases implementing
3186 simple varargs calls with a large amount of arguments to exercise
3187 excess arguments on stack.
3188
3189 * include/lightning.h: Include config.h if HAVE_CONFIG_H is
3190 defined.
3191
3192 * lib/jit_arm.c: Allocate a fpr register, not a gpr one for
3193 temporary when pushing varargs arguments in the stack.
3194
3195 * lib/jit_arm-swf.c: Correct code changing the wrong offset
3196 in jit_absr_d and jit_negr_d in software float.
3197
3198 * lib/jit_mips.c: Correct calculation of offsets of arguments
3199 on stack.
3200
3201 * lib/jit_ppc.c: Correct bogus logic for "next" offset of arguments
3202 on stack and adjust for fixed offset of stack arguments.
3203
32042012-12-12 Paulo Andrade <pcpa@gnu.org>
3205
3206 * include/lightning.h, lib/jit_arm.c, lib/jit_mips.c,
3207 lib/jit_ppc.c, lib/jit_x86.c, lib/lightning.c: Change jit_prepare
3208 to no longer receive an argument. If receiving an argument, it
3209 should be an ABI specifier, not a boolean if varargs or not,
3210 and add the new jit_ellipsis call, to specify where the
3211 ellipsis is in the C prototype of the function being called.
3212 Note that currently it is not supported to define varargs
3213 functions and it will be ignored if calling jit_ellipsis not
3214 in a prepare/finish* block, but this should be addressed.
3215
3216 * check/allocai.tst, check/alu_add.tst, check/alu_and.tst,
3217 check/alu_com.tst, check/alu_div.tst, check/alu_lsh.tst,
3218 check/alu_mul.tst, check/alu_neg.tst, check/alu_or.tst,
3219 check/alu_rem.tst, check/alu_rsh.tst, check/alu_sub.tst,
3220 check/alu_xor.tst, check/alux_add.tst, check/alux_sub.tst,
3221 check/bp.tst, check/branch.tst, check/cvt.tst, check/divi.tst,
3222 check/fib.tst, check/ldsti.tst, check/ldstr-c.tst,
3223 check/ldstr.tst, check/ldstxi-c.tst, check/ldstxi.tst,
3224 check/ldstxr-c.tst, check/ldstxr.tst, check/rpn.tst,
3225 check/lightning.c: Update for the change to jit_prepare and
3226 addition of jit_ellipsis.
3227
32282012-12-11 Paulo Andrade <pcpa@gnu.org>
3229
3230 * lib/jit_ppc-cpu.c: Make movr a function that checks arguments
3231 so that other code can safely assume it is a noop if src and dst
3232 are the same register.
3233 Implement rem{r,i}{,_u} as a div{,u}/mul/sub.
3234 Correct ANDIS, ORIS and XORIS calls to cast the argument to
3235 unsigned before the shift to avoid an assertion if the argument
3236 had the topmost bit set.
3237 Implement lshi, rshi and rshi_u as functions to test for a
3238 zero argument, that would otherwise trigger an assertion when
3239 computing the shift value.
3240 Do a simple implementation of bm{s,c}{r,i} with a temporary,
3241 "andr" of arguments and jump based on comparison with zero.
3242 Correct typo in ldxi_c.
3243
3244 * lib/jit_ppc-fpu.c: Correct wrong arguments to FDIV* and STF*.
3245
3246 * lib/jit_ppc.c: Correct wrong check for 6 instead of 8 integer
3247 arguments in registers. If calling a varargs function and
3248 passing a float or double argument, also either store the
3249 value in the stack or in integer registers, as varargs functions
3250 do not fetch it from float registers.
3251 Add "case" for new functions and incorrectly missing ones.
3252 Call libgcc's __clear_cache, that should know what to do
3253 if the hardware needs flushing cache before execution.
3254
3255 * lib/lightning.c: Do a simple/trivial logic in jit_regset_scan1,
3256 that should make it easier for the compiler to optimize it, and
3257 that also corrects the previously wrong code for big endian, and
3258 that was causing problems in ppc due to not saving all callee save
3259 registers as it was not "finding" them in the regset due to the
3260 little endian assumption bug.
3261
32622012-12-11 Paulo Andrade <pcpa@gnu.org>
3263
3264 * configure.ac: Only default to using the builtin disassembler
3265 if on GNU/Linux. This should be temporary, due to requiring
3266 /proc/self/exe.
3267 Correctly check $target_cpu for powerpc.
3268
3269 * include/lightning/jit_ppc.h: Correctly implement jit_v_num.
3270
3271 * include/lightning/jit_private.h: Declare proper prototype
3272 for jit_init_debug and jit_finish_debug.
3273
3274 * lib/jit_ppc-cpu.c: Remove code to save/restore callee save
3275 float registers, as it is not required since those float
3276 registers are not usable currently.
3277 Change prolog and epilog generation to, at least comparing
3278 code, match what gcc generates in "gcc -O0", but it is still
3279 failing in Darwin PPC, apparently due to the __clear_cache
3280 call not being enough, as frequently it will also fail to
3281 execute, and the code buffer is all zeroes.
3282
3283 * lib/lightning.c: Do not fail in jit_regset_scan1 calls due
3284 to passing 64 as argument on computers with 64 registers.
3285
32862012-12-10 Paulo Andrade <pcpa@gnu.org>
3287
3288 * lib/jit_mips-cpu.c: Correct all current test cases.
3289 Call the "xori" not the "XORI" macro for jit_xori implementation,
3290 as the XORI macro handles only 16 bit unsigned values.
3291 Call the "movr" macro, not the "movi" macro in the special
3292 case of adding or subtracting zero.
3293 Use the proper temporary register in the jit_andr implementation.
3294
32952012-12-09 Paulo Andrade <pcpa@gnu.org>
3296
3297 * check/alu.inc, check/alu_add.ok, check/alu_add.tst,
3298 check/alu_and.ok, check/alu_and.tst, check/alu_com.ok,
3299 check/alu_com.tst, check/alu_div.ok, check/alu_div.tst,
3300 check/alu_lsh.ok, check/alu_lsh.tst, check/alu_mul.ok,
3301 check/alu_mul.tst, check/alu_neg.ok, check/alu_neg.tst,
3302 check/alu_or.ok, check/alu_or.tst, check/alu_rem.ok,
3303 check/alu_rem.tst, check/alu_rsh.ok, check/alu_rsh.tst,
3304 check/alu_sub.ok, check/alu_sub.tst, check/alu_xor.ok,
3305 check/alu_xor.tst, check/alux_add.ok, check/alux_add.tst,
3306 check/alux_sub.ok, check/alux_sub.tst, check/branch.ok,
3307 check/branch.tst: New test cases for arithmetic and branch
3308 tests.
3309
3310 * check/Makefile.am: Update for new test cases.
3311
3312 * include/lightning/jit_private.h: Make the jit_reg_free_p
3313 macro shared by all backends. Previously was added for the
3314 arm backend, but is useful in the x86_64 backend when checking
3315 state of "special purpose register".
3316 Also add the new jit_class_named register class, that must be
3317 or'ed with the register value if calling jit_get_reg expecting
3318 an specific value, because the specific register value may be
3319 zero, that previously was treated as no register requested.
3320
3321 * lib/jit_arm-cpu.c: Correct argument order for T2_MVN.
3322
3323 * lib/jit_arm-swf.c: Call the proper function for double
3324 divide. The "software float" implementation just calls
3325 libgcc functions.
3326
3327 * lib/jit_arm.c: Return float/double values in the float
3328 register if using the hard float ABI.
3329
3330 * lib/jit_x86-cpu.c: Change the can_sign_extend_int_p macro
3331 to not include -0x80000000L, because there is code that
3332 "abuses" it and thinks it can negate the immediate value
3333 after calling that macro.
3334 Correct implementation of jit_subi that had a wrong code
3335 patch logic doing subtraction with reversed arguments.
3336 Correct REX prefix calculation in the jit_muli implementation.
3337 Correct logic to get/unget %*ax and %*dx registers in divremr
3338 and divremi.
3339 Correct divremi that was using the symbolic, unique %*ax
3340 value in on place (not using the _REGNO name suffix).
3341 Correct cut&paste error causing it to use "xor" instead of
3342 "or" in one code path of the jit_ori implementation.
3343 Correct several flaws when clobbering registers and/or when
3344 one of the arguments was %*cx in the rotshr wrapper function
3345 implementing most shift operations.
3346
3347 * lib/lightning.c: No longer expect that the backend be smart
3348 enough to know what to do when asking for a named register
3349 if that register is already an argument or is live. It fails
3350 if it is an argument, or if register is live, fails if cannot
3351 spill.
3352 No longer incorrectly assume that eqr_{f,d} and ltgr_{f,d} are
3353 safe to inverse value tests in jump thread optimization.
3354
33552012-12-05 Paulo Andrade <pcpa@gnu.org>
3356
3357 * check/Makefile.am, check/cvt.ok, check/cvt.tst: Add new
3358 "cvt" test case to test conversion from/to int/float types.
3359
3360 * check/lightning.c: Only define truncr_{f,d}_l in 64 bit mode.
3361
3362 * include/lightning.h: Correct typo that caused it to define
3363 jit_truncr_{f,d}_l in 32 bit mode.
3364
3365 * lib/jit_arm-cpu.c: Avoid assertion failure in the signed/unsigned
3366 extend opcodes generation as it shares an interface for 3 argument
3367 opcode generation.
3368
3369 * lib/jit_x86-cpu.c: Correct wrong argument passed to
3370 jit_unget_reg in the andi implementation and wrong byte
3371 unsigned extend code generation.
3372
3373 * lib/jit_x86-sse.c: Correct conversion from "word" to float or
3374 double as is dependent on wordsize.
3375
33762012-12-05 Paulo Andrade <pcpa@gnu.org>
3377
3378 * check/ldstr-c.ok, check/ldstr-c.tst, check/ldstxi-c.ok,
3379 check/ldstxi-c.tst, check/ldstxr-c.ok, check/ldstxr-c.tst:
3380 New test case files testing load clobbering the base and/or
3381 index register;
3382
3383 * check/ldst.inc: New file with common definition for all the
3384 ldst* test cases.
3385
3386 check/Makefile.am, check/ldsti.tst, check/ldstr.tst,
3387 check/ldstxi.tst, check/ldstxr.tst: Update for new common
3388 definitions file and new register clobber ldst tests.
3389
33902012-12-05 Paulo Andrade <pcpa@gnu.org>
3391
3392 * lib/jit_mips-fpu.c: Correct wrong register order in stxr_{f,d}
3393 in the mips backend.
3394
33952012-12-05 Paulo Andrade <pcpa@gnu.org>
3396
3397 * lib/jit_arm-vfp.c: Correct regression found in armv7l with
3398 latest test cases.
3399
34002012-12-05 Paulo Andrade <pcpa@gnu.org>
3401
3402 * check/ldstxi.tst, check/ldstxr.tst: Correct wrong argument
3403 order for 32 bit mode tests.
3404
3405 * configure.ac: Correct check for ix86 target_cpu.
3406
34072012-12-05 Paulo Andrade <pcpa@gnu.org>
3408
3409 * check/ldstr.ok, check/ldstr.tst, check/ldsti.ok,
3410 check/ldsti.tst, check/ldstxr.ok, check/ldstxr.tst,
3411 check/ldstxi.ok, check/ldstxi.tst:
3412 New test case files exercising a very large amount of
3413 register combinations to verify load/store implementation.
3414
3415 * check/Makefile.am: Update for new test cases.
3416
3417 * lib/jit_x86-cpu.c: Correct wrong argument order when
3418 computing REX prefix for {ld,st}r_T codes;
3419
34202012-12-04 Paulo Andrade <pcpa@gnu.org>
3421
3422 * lib/jit_mips-fpu.c, lib/jit_mips.c: Implement missing mips
3423 jit_sqrtr_{f,d} codes.
3424
3425 * check/all.tst, include/lightning.h, lib/jit_print.c: Change
3426 declaration order and call order in all.tst of {add,sub}c and
3427 {add,sub}x. *c must be called before to set the carry and *x
3428 second to use the carry and keep it set. The wrong call order
3429 was causing all.tst to fail in mips, where a register is
3430 allocated to keep a global carry state.
3431
34322012-12-04 Paulo Andrade <pcpa@gnu.org>
3433
3434 * include/lightning/jit_mips.h, lib/jit_mips-cpu.c,
3435 lib/jit_mips-fpu.c, lib/jit_mips.c: Correct float/double
3436 argument handling and make the mips backend pass the initial
3437 test cases.
3438
3439 * include/lightning.h, ib/jit_print.c, lib/lightning.c:
3440 Add extra enum values for argument handling functions that
3441 could not be abstracted to the current codes, that is, when
3442 float values need to move from/to gpr from/to fpr. It would
3443 be more tempting to add such primitives, but they would have
3444 wordsize limitations, and it is not expected to add codes
3445 with one gpr argument for 64 bit and two for 32 bit.
3446
3447 * lib/jit_ppc.c: Check _jit->function before calling jit_epilog()
3448 to avoid a runtime exception.
3449
34502012-12-04 Paulo Andrade <pcpa@gnu.org>
3451
3452 * include/lightning/jit_mips.h, lib/jit_mips.c: Update to
3453 make the mips backend compile in a qemu image.
3454
3455 * lib/jit_ppc.c: Minor adaptations to help in having the
3456 ppc backend compilable.
3457
34582012-12-03 Paulo Andrade <pcpa@gnu.org>
3459
3460 * configure.ac, include/lightning/jit_private.h, lib/jit_arm-cpu.c,
3461 lib/jit_arm-swf.c, lib/jit_arm.c, check/Makefile.am: Correct
3462 implementation of the arm backend port to build and pass the
3463 current test cases. Tested on armv7 with softfp abi.
3464
3465 * lib/jit_disasm.c: Rename and change prototype of static
3466 disassemble function as in the arm backend it is required
3467 to access state information stored in the jit_state_t object.
3468
3469 * check/3to2.tst, check/add.tst: Correct test case code assuming
3470 JIT_RO and JIT_RET are the same, and even if they are the same,
3471 the logic was incorrect because it must always call jit_retval*
3472 to fetch a function call return before any other instruction.
3473 The arm backend hash a special condition if jit_retval is not
3474 called, because "r0" is not JIT_R0, but is JIT_RET and *also*
3475 the first argument for a called function, so JIT_RET must be
3476 only used as an argument to jit_retval.
3477
34782012-12-03 Paulo Andrade <pcpa@gnu.org>
3479
3480 * check/all.tst, check/lightning.c: Only declare or use 64 bit
3481 interfaces on 64 bit builds.
3482
3483 * check/fib.tst: Use simpler logic to not need preprocessor
3484 conditionals for 32 or 64 bit.
3485
3486 * include/lightning.h: Only declare 64 bit macros on a 64 bit
3487 build. Code using lightning must know about wordsize and the
3488 jit generation limitations, also, this way it generates a
3489 compile time failure, not a runtime assertion.
3490
3491 * include/lightning/jit_x86.h: Correct typo in macro name.
3492
3493 * lib/jit_arm.c, lib/jit_arm-cpu.c, lib/jit_mips.c,
519a9ea1 3494 lib/jit_mips-cpu.c, lib/jit_ppc.c, lib/jit_ppc-cpu.c,
4a71579b
PC
3495 lib/jit_x86.c, lib/jit_x86-cpu.c: Correct wrong code to get
3496 current jit function pointer.
3497
3498 * lib/lightning.c: Move call to the simplify() optimization
3499 to after register liveness is known. Previous code did work
3500 by accident but now with proper test cases the problem was
3501 noticed.
3502
3503 * lib/jit_disasm.c: Always cast bfd_vma to long long when
3504 passing it as printf argument.
3505
35062012-12-03 Paulo Andrade <pcpa@gnu.org>
3507
3508 * configure.ac, check/Makefile.am, check/check.sh,
3509 doc/Makefile.am, include/lightning/Makefile.am,
3510 lib/Makefile.am: Correct make distcheck.
3511
35122012-12-02 Paulo Andrade <pcpa@gnu.org>
3513
3514 * lib/jit_ppc.c: Assign copyright ownership to FSF.
3515
3516 * lib/jit_x86-cpu.c: Correct integer multiplication that was
3517 generating code with reversed register arguments.
3518
3519 * check/rpn.ok, check/rpn.tst: New test case file.
3520
35212012-12-02 Paulo Andrade <pcpa@gnu.org>
3522
3523 * lib/jit_x86-cpu.c, lib/jit_x86-sse.c, lib/jit_x86-x87.c:
3524 Actually change copyright owner to FSF as avertised.
3525
3526 * lib/jit_arm-cpu.c, lib/jit_arm-swf.c,
3527 lib/jit_arm-vfp.c, lib/jit_arm.c,
3528 lib/jit_mips-cpu.c, lib/jit_mips-fpu.c, lib/jit_mips.c,
3529 lib/jit_ppc-cpu.c, lib/jit_ppc-fpu.c, lib/jit_ppc.c: New
3530 files implementing initial code different jit backends.
3531
3532 * include/lightning/jit_private.h: Add extra field to the
3533 private jit_patch_t type, required by the arm port.
3534
3535 * lib/Makefile.am: Update for the new backend implementation
3536 files.
3537
35382012-12-02 Paulo Andrade <pcpa@gnu.org>
3539
3540 * check/Makefile.am: Add proper "make clean" rule and missing
3541 check.sh to EXTRA_DIST.
3542
35432012-12-02 Paulo Andrade <pcpa@gnu.org>
3544
3545 * .gitignore: Update pattern of ignored files.
3546
3547 * check/Makefile.am: Add rule to build liblightning.la dependency
3548 in case of running "make check" before building the library.
3549
35502012-12-02 Paulo Andrade <pcpa@gnu.org>
3551
3552 * lightning/Makefile.am, lightning/asm-common.h,
3553 lightning/core-common.h, lightning/fp-common.h,
3554 lightning/funcs-common.h, lightning/i386/Makefile.frag,
3555 lightning/i386/asm-32.h, lightning/i386/asm-64.h,
3556 lightning/i386/asm.h, lightning/i386/core-32.h,
3557 lightning/i386/core-64.h, lightning/i386/core.h,
3558 lightning/i386/fp-32.h, lightning/i386/fp-64.h,
3559 lightning/i386/fp.h, lightning/i386/funcs.h,
3560 lightning/ppc/asm.h, lightning/ppc/core.h,
3561 lightning/ppc/fp.h, lightning/ppc/funcs.h,
3562 lightning/sparc/asm.h, lightning/sparc/core.h,
3563 lightning/sparc/fp.h, lightning/sparc/funcs.h:
3564 Removed. The core logic is used in the new code, and new mips
3565 and arm ports will be added. At first, sparc will not be
3566 supported as it has not yet been ported to the new engine.
3567
35682012-12-02 Paulo Andrade <pcpa@gnu.org>
3569
3570 * tests/Makefile.am, tests/3to2.c, tests/3to2.ok, tests/add.c,
3571 tests/add.ok, tests/allocai.c, tests/allocai.ok, tests/bp.c,
3572 tests/bp.ok, tests/divi.c, tests/divi.ok, tests/fib.c, tests/fib.ok,
3573 tests/fibdelay.c, tests/fibdelay.ok, tests/fibit.c, tests/fibit.ok,
3574 tests/funcfp.c, tests/funcfp.ok, tests/incr.c, tests/incr.ok,
3575 tests/ldst.c, tests/ldst.ok, tests/ldxi.c, tests/ldxi.ok,
3576 tests/modi.c, tests/modi.ok, tests/movi.c, tests/movi.ok,
3577 tests/printf.c, tests/printf.ok, tests/printf2.c, tests/printf2.ok,
3578 tests/ret.c, tests/ret.ok, tests/rpn.c, tests/rpn.ok, tests/rpnfp.c,
3579 tests/rpnfp.ok, tests/sete.c, tests/sete.ok, tests/testfp.c,
3580 tests/testfp.ok, tests-run-test: Removed previous test suite, in
3581 favor of a newer one in the check subdirectory.
3582
3583 * check/3to2.ok, check/3to2.tst, check/add.ok, check/add.tst,
3584 check/allocai.ok, check/allocai.tst, check/bp.ok, check/bp.tst,
3585 check/divi.ok, check/divi.tst, check/fib.ok, check/fib.tst:
3586 New sample input for the new test program, loosely matching
3587 several of the previous test cases.
3588
3589 * check/Makefile.am: New test suite makefile.
3590
3591 * check/check.sh, check/run-test: New wrapper files for the
3592 new test suite.
3593
3594 * check/lightning.c: New file. The main driver of the new test
3595 suite, that compiles to a parser of a very simple assembly like
3596 language, generates jit and executes it.
3597
3598 * check/all.tst: New file. A generic debug and sample test file
3599 with a directive to prevent it from being executed, and useful to
3600 read disassembly of all possible instructions, using a fixed set
3601 of registers.
3602
3603 * include/Makefile.am, include/lightning.h,
3604 include/lightning/Makefile.am, include/lightning/jit_arm.h,
3605 include/lightning/jit_mips.h, include/lightning/jit_ppc.h,
3606 include/lightning/jit_private.h, include/lightning/jit_x86.h,
3607 lib/Makefile.am, lib/jit_disasm.c, lib/jit_print.c,
3608 lib/jit_x86-cpu.c, lib/jit_x86-sse.c, lib/jit_x86-x87.c,
3609 lib/jit_x86.c, lib/lightning.c: New files. These files are
3610 written from scratch, only by <pcpa@gnu.org>, and have now
3611 copyright assignment to the FSF. This is the core of the new
3612 lightning rework. Previously it was integrated in code with
3613 a garbage collector and several custom types like vectors and
3614 hash tables, so this first code merge with lightning converts
3615 that code into a library extracting only the jit bits, and at
3616 first only for x86_64 GNU/Linux.
3617
3618 * lightning.h, m4/lightning.m4: Removed. These are no longer
3619 required in the new lightning code.
3620
3621 .gitignore, Makefile.am, configure.ac: Update for the new
3622 lightning code.
3623
36242012-12-02 Paulo Andrade <pcpa@gnu.org>
3625 * .cvsignore: Removed for extra cleanup.
3626
3627 * build-aux: Rename directory to m4.
3628
3629 * m4: Renamed to "default" name and for consistency with merge
3630 with code rework to be imported in lightning.
3631
3632 * .gitignore, configure.ac, Makefile.am, doc/Makefile.am:
3633 Update for build-aux to m4 rename.
3634
36352012-12-01 Paulo Andrade <pcpa@gnu.org>
3636
3637 * opcode/Makefile.am, opcode/Makefile.in, opcode/ansidecl.h,
3638 opcode/bfd.h, opcode/dis-asm.h, opcode/dis-buf.c, opcode/disass.c,
3639 opcode/i386-dis.c, opcode/i386.h, opcode/ppc-dis.c, opcode/ppc-opc.c,
3640 opcode/ppc.h, opcode/sparc-dis.c, opcode/sparc-opc.c, opcode/sparc.h,
3641 opcode/sysdep.h: Removed. Do not bundle GNU binutils files.
3642
3643 * aclocal.m4, configure, Makefile.in, config.h.in, doc/Makefile.in,
3644 lightning/Makefile.in, tests/Makefile.in: Removed. Do not maintain
3645 autogenerated files that also generate too much diff noise when
3646 regenerated in git.
3647
3648 * build-aux/help2man, build-aux/texinfo.tex, build-aux/texi2dvi:
3649 Removed. Buildenvironment must have an up to date version from
3650 upstream installed.
3651
3652 * build-aux/config.guess, build-aux/config.sub, build-aux/depcomp,
3653 build-aux/install-sh build-aux/mdate-sh build-aux/missing: Removed.
3654 Do not maintain a copy of automake files in git. Release tarballs
3655 must use an up to date version.
3656
3657 * lightningize.in, doc/lightningize.1: Removed. Do not encourage
3658 bundling lightning in other packages. It should use a system package
3659 or a proper thirdy part subdirectory.
3660
3661 * INSTALL: Removed. Autoreconf removes it and creates a symlink
3662 when regenerating files, so, avoid conflicts in git and let
3663 automake create the symlink.
3664
3665 * .gitignore: Add INSTALL and autogenerated files.
3666
3667 * configure.ac, Makefile.am: Update for removal of opcode subdir,
3668 auto generated files and lightningize.
3669
3670 * tests/Makefile.am, tests/3to2.c, tests/add.c, tests/bp.c,
3671 tests/fib.c, tests/fibdelay.c, tests/fibit.c, tests/funcfp.c,
3672 tests/incr.c, tests/printf.c, tests/rpn.c, tests/rpnfp.c,
3673 tests/sete.c, tests/testfp.c: Update for removal of opcode subdir.
3674
3675 * doc/Makefile.am: Update for removal of lightningize.
3676
3677 * configure.ac, lightning/ppc/funcs.h, lightning/sparc/funcs.h,
3678 lightning/i386/fp.h, lightning/i386/core.h, lightning/i386/asm.h,
3679 tests/3to2.c, tests/add.c, tests/bp.c, tests/fib.c, tests/fibdelay.c,
3680 tests/fibit.c, tests/funcfp.c, tests/incr.c, tests/printf.c,
3681 tests/rpn.c, tests/rpnfp.c, tests/sete.c, tests/testfp.c:
3682 Remove LIGHTNING_CROSS, it is half supported and incomplete.
3683
3684 * tests/3to2.c, tests/funcfp.c, tests/rpnfp.c: Remove preprocessor
3685 check on JIT_FPR. If no hardware registers are available, the backend
3686 must provide an alternative for software float.
3687
3688 * lightning/ppc/core.h, lightning/sparc/core.h, tests/Makefile.am:
3689 Remove JIT_NEED_PUSH_POP. It is absolutely not trivial to implement
3690 properly on some backends due to stack alignment constraints, and
3691 whenever it is required, using jit_allocai and using a properly
3692 aligned stack vector, or a heap buffer, is better.
3693
3694 * tests/push-pop.c, tests/push-pop.ok: Removed due to
3695 JIT_NEED_PUSH_POP no longer available.
3696
36972011-02-28 Paolo Bonzini <bonzini@gnu.org>
3698
3699 * lightning/i386/core-64.h: Add jit_add{c,x}{i,r}_l, jit_mulr_{l,ul}_,
3700 fix jit_mul{i,r}_{l,ul}.
3701
37022010-08-20 Paolo Bonzini <bonzini@gnu.org>
3703
3704 * lightning/i386/fp-64.h: Return patch address from jit_bXYr_{f,d}.
3705 Reported by Paulo César Pereira de Andrade.
3706 * lightning/ppc/fp.h: Likewise.
3707 * lightning/sparc/fp.h: Implement FP branches.
3708
37092010-08-18 Paolo Bonzini <bonzini@gnu.org>
3710
3711 * lightning/i386/fp-64.h: Fix jp in jit_bner_{f,d}.
3712
37132010-08-18 Paolo Bonzini <bonzini@gnu.org>
3714
3715 * lightning/i386/fp-32.h: Fix -D_ASM_SAFETY compilation.
3716 Reported by Paulo César Pereira de Andrade.
3717
37182010-08-15 Paolo Bonzini <bonzini@gnu.org>
3719
3720 * tests/ldst.c: Update.
3721 * tests/Makefile.am: Use -ffloat-store to compile it.
3722
37232010-08-15 Paolo Bonzini <bonzini@gnu.org>
3724
3725 * lightning/i386/core.h (jit_ldr_c, jit_ldxr_c, jit_ldr_s,
3726 jit_ldxr_s): Move...
3727 * lightning/i386/core-32.h: ... here.
519a9ea1 3728 * lightning/i386/core-64.h (jit_ldr_c, jit_ldxr_c, jit_ldr_s):
4a71579b
PC
3729 Use movsbq and movswq.
3730
37312010-08-10 Paulo César Pereira de Andrade <pcpa@mandriva.com.br>
3732
3733 * lightning/i386/core-32.h (jit_replace): Use MOVLrr, not MOVLir.
3734 (jit_movbrm): Check index register as well.
3735 * lightning/i386/fp-64.h: Add jit_extr_f_d and jit_extr_d_f.
3736 * lightning/fp-common.h: Add jit_extr_f_d and jit_extr_d_f.
3737
37382010-07-28 Paolo Bonzini <bonzini@gnu.org>
3739
3740 * tests/Makefile.am: Add ldst test.
3741 * tests/Makefile.in: Regenerate.
3742 * tests/ldst.c: New.
3743 * tests/ldst.ok: New.
3744
37452010-07-28 Paolo Bonzini <bonzini@gnu.org>
3746
3747 * THANKS: Add Paulo Cesar Pereira de Andrade.
3748 * doc/porting.texi: Fix ordering of arguments in jit_stxi.
3749 * lightning/i386/core-32.h (jit_replace): Remove cmp argument.
3750 * lightning/i386/fp-64.h (jit_movi_f): Fix.
3751
37522010-07-26 Paolo Bonzini <bonzini@gnu.org>
3753
3754 * lightning/i386/core-32.h (jit_replace): Move here (removed
3755 2009-03-01).
3756
37572010-07-19 Paolo Bonzini <bonzini@gnu.org>
3758
3759 * build-aux/lightning.m4: Always set and replace lightning_frag.
3760 * Makefile.in: Regenerate.
3761 * aclocal.m4: Regenerate.
3762 * config.h.in: Regenerate.
3763 * configure: Regenerate.
3764 * doc/Makefile.in: Regenerate.
3765 * doc/lightningize.1: Regenerate.
3766 * doc/version.texi: Regenerate.
3767 * lightning/Makefile.in: Regenerate.
3768 * opcode/Makefile.in: Regenerate.
3769 * tests/Makefile.in: Regenerate.
3770
37712009-03-01 Paolo Bonzini <bonzini@gnu.org>
3772
3773 * lightning/i386/core-64.h: Use Mike's macros for x86-64 too.
3774 * lightning/i386/core.h: Remove jit_replace.
3775
3776 2009-02-27 Mike Spivey <mike@comlab.ox.ac.uk>
3777
3778 * lightning/i386/core.h: Rewrite shift-handling macros.
3779 * lightning/fp-common.h: Fix jit_extr_{f_d,d_f}.
3780
37812009-02-17 Mike Spivey <mike@comlab.ox.ac.uk>
3782
3783 * lightning/i386/core.h: Fix blunder in operand order.
3784
37852009-02-17 Paolo Bonzini <bonzini@gnu.org>
3786
3787 * lightning/i386/fp-32.h: Another fix to jit_fp_btest.
3788
37892009-02-17 Paolo Bonzini <bonzini@gnu.org>
3790
3791 * lightning/fp-common.h: Define double branches if missing.
3792 * lightning/i386/asm.h: Define JC and JNC mnemonics.
3793 * lightning/i386/fp-32.h: Fix jit_fp_btest. All reported
3794 by Mike Spivey.
3795
37962008-10-09 Paolo Bonzini <bonzini@gnu.org>
3797
3798 * lightning/ppc/funcs.h (jit_flush_code): Subtract 1 from end.
3799 Reported by Eli Barzilay and Matthew Flatt.
3800
38012008-08-23 Nix <nix@esperi.org.uk>
3802
3803 * lightning/i386/Makefile.frag: fp-32.h and fp-64.h are target files.
3804
38052008-07-02 Laurent Michel <ldm@engr.uconn.edu>
3806
3807 * lightning/ppc/funcs.h (jit_flush_code): modified the computation
3808 of start/end. The pointer arithmetic was done without casting. It
519a9ea1 3809 prevented compilation with recent gcc versions.
4a71579b
PC
3810 * lightning/ppc/core.h (jit_pushr_i): The offset for the store was
3811 incorrect. Should have been 4 bytes below SP (not above).
519a9ea1
PC
3812 * lightning/ppc/core.h (jit_popr_i): The offset for the load was
3813 incorrect. Should have been 0 (not +8).
4a71579b
PC
3814
38152008-06-17 Paolo Bonzini <bonzini@gnu.org>
3816
3817 * lightning/i386/asm-64.h: Forward IMULQir to IMULQirr,
3818 fix REXQ order for IMULQirr.
3819
38202008-06-17 Paolo Bonzini <bonzini@gnu.org>
3821
3822 * lightning/i386/core.h: Fix _rN vs. _rR.
3823
38242008-06-16 Paolo Bonzini <bonzini@gnu.org>
3825
3826 * lightning/i386/core.h: Use jit_save in jit_replace. Move JIT_R
3827 definition...
3828 * lightning/i386/core-32.h: ... here; define jit_save so that
3829 the core.h has no effect on the 32-bit backend.
3830 * lightning/i386/core-64.h: Place JIT_R1/JIT_R2 in R10/R11,
3831 place outgoing arguments in the right spot from the beginning,
3832 define jit_save, fix jit_reg8/jit_reg16.
3833
38342008-06-15 Paolo Bonzini <bonzini@gnu.org>
3835
3836 * lightning/i386/core-64.h: Rewrite argument passing to
3837 support up to 6 arguments and generate less code.
3838
38392008-06-14 Laurent Michel <ldm@thorgal.homelinux.org>
3840
3841 * lightning/i386/core-64.h (jit_movi_l): When the operand is 0,
3842 the XOR should be on a quadword.
3843 * lightning/i386/core-64.h (jit_prolog): Keep 16-byte stack
3844 alignment.
3845 (jit_ret): Always use LEAVE.
3846
38472008-06-13 Laurent Michel <ldm@thorgal.homelinux.org>
3848
3849 * lightning/i386/core-64.h: Add (void) casts for C++ compatibility.
3850 * lightning/i386/asm.h: Likewise.
3851
38522008-06-12 Paolo Bonzini <bonzini@gnu.org>
3853
3854 * lightning/i386/core.h: Move JIT_V definition...
3855 * lightning/i386/core-32.h: ... here.
3856 * lightning/i386/core-64.h: ... and here. Avoid dancing between
3857 RSI/RDI and R12/R13, and place JIT_V1/JIT_V2 in R12/R13.
3858
38592008-06-11 Paolo Bonzini <bonzini@gnu.org>
3860
3861 * build-aux/lightning.m4: Adjust LIGHTNING_BACKENDS, don't
3862 use suffix support to distinguish i386/x86_64.
3863 * lightning/i386/Makefile.frag: Use LIGHTNING_TARGET_FILES
3864 to distribute *-32.h and *-64.h files now.
3865 * lightning/i386/asm-i386: Moved to...
3866 * lightning/i386/asm.h: Include the appropriate subtarget file.
3867 * lightning/i386/core-i386: Moved to...
3868 * lightning/i386/core.h: Include the appropriate subtarget file.
3869 * lightning/i386/fp.h: New, include the appropriate subtarget file.
3870 * lightning/i386/asm-32: Do not include asm-i386.h.
3871 * lightning/i386/asm-64.h: Likewise.
3872 * lightning/i386/core-32: Do not include core-i386.h.
3873 * lightning/i386/core-64.h: Likewise.
3874 * lightning/Makefile.am: Adjust for renamed files.
3875
3876 * configure.ac: Define LIGHTNING_TARGET here.
3877 * opcode/disass.c: Change list of valid LIGHTNING_TARGET values.
3878
3879 * lightningize.in: Robustify against missing subtarget files.
3880
38812008-06-11 Paolo Bonzini <bonzini@gnu.org>
3882
3883 * lightning/i386/core-32.h: Use MOVLir instead of jit_movi_l
3884 to implement jit_movi_p.
3885
38862008-06-11 Paolo Bonzini <bonzini@gnu.org>
3887
3888 * lightning/i386/core-32.h: Use separate __APPLE__ and SysV
3889 prolog/ret macros. Subtract 12 bytes in __APPLE__ case to
3890 keep stack aligned, and always use LEAVE in the epilog.
3891
38922008-06-11 Paolo Bonzini <bonzini@gnu.org>
3893
3894 * lightning/i386/core-i386.h: Fix C++ incompatibility.
3895
38962008-06-10 Laurent Michel <ldm@engr.uconn.edu>
3897
3898 * lightning/i386/core-i386.h: Fix jit_replace8 for
3899 case when one of the operands is _EAX.
3900
39012008-05-19 Paolo Bonzini <bonzini@gnu.org>
3902
3903 * tests/run-test: Avoid CRLF issues on mingw.
3904
39052008-03-21 Paolo Bonzini <bonzini@gnu.org>
3906
3907 * lightning/i386/core-64.h: Fix jit_{ld,st}{,x}i_{i,l}.
3908 Remove jit_ld{,x}i_ul.
3909 * lightning/core-common.h: Make jit_ld{,x}{i,r}_ul
3910 always a synonym of the _l variant.
3911 * doc/porting.texi: Document this.
3912
39132008-03-19 Paolo Bonzini <bonzini@gnu.org>
3914
3915 * lightning/i386/core-64.h: Fix uses of jit_qop_.
3916
39172008-03-19 Paolo Bonzini <bonzini@gnu.org>
3918
3919 * lightning/i386/core-64.h: Add boolean operations.
3920
39212008-03-19 Paolo Bonzini <bonzini@gnu.org>
3922
3923 * lightning/i386/asm-64.h: Add LEAQmr.
3924
39252008-03-19 Paolo Bonzini <bonzini@gnu.org>
3926
3927 * lightning/i386/core-64.h: Misc bugfixes.
3928
39292008-03-19 Paolo Bonzini <bonzini@gnu.org>
3930
3931 * lightning/i386/core-i386.c: Remove jit_ldr_i, jit_ldxr_i.
3932 * lightning/i386/core-32.h: Add jit_ldr_i, jit_ldxr_i.
3933 * lightning/i386/core-64.h: Add jit_ld{r,xr,i,xi}_{ui,l,ul};
3934 move jit_ldr_i, jit_ldxr_i, jit_str_l, jit_stxr_l with others.
3935
39362008-03-19 Paolo Bonzini <bonzini@gnu.org>
3937
3938 * lightning/asm-common.h: Add _s32P.
3939
39402008-03-19 Paolo Bonzini <bonzini@gnu.org>
3941
3942 * lightning/i386/core-64.h: Implement long mul/div/mod.
3943
39442008-03-19 Paolo Bonzini <bonzini@gnu.org>
3945
3946 * lightning/i386/asm-i386.h: Cast memory address to long for JCCim.
3947
39482008-03-15 Paolo Bonzini <bonzini@gnu.org>
3949
3950 * lightning/asm-common.h: Add underscores around __unused__
3951 attribute.
3952
39532008-03-15 Paolo Bonzini <bonzini@gnu.org>
3954
3955 * lightning/ppc/core.h: Avoid some "value computed is not used"
3956 warnings.
3957 * lightnings/tests/allocai.c: Silence other warnings.
3958
39592008-03-14 Paolo Bonzini <bonzini@gnu.org>
3960
3961 * lightningize.in: Fix some problems (not all).
3962
39632008-03-14 Paolo Bonzini <bonzini@gnu.org>
3964
3965 * lightning/i386/core-32.h: Avoid some "value computed is not used"
3966 warnings; reported by Sam Steingold.
3967
39682008-03-08 Paolo Bonzini <bonzini@gnu.org>
3969
3970 * lightning/i386/core-32.h: Fix stxr_c(_EAX, _EBX, _ESI).
3971
39722008-02-13 Paolo Bonzini <bonzini@gnu.org>
3973
3974 * lightning/i386/asm-32.h: Avoid redefinition of _r1, reported by
3975 Sam Steingold.
3976 * lightning/i386/asm-64.h: Likewise.
3977
39782008-02-08 Paolo Bonzini <bonzini@gnu.org>
3979
3980 * lightning/i386/asm-i386.h: Don't define _VOID, reported
3981 by Reini Urban.
3982
39832008-02-03 Paolo Bonzini <bonzini@gnu.org>
3984
3985 * build-aux/lightning.m4: Add --with-lightning-prefix option, suggested
3986 by Sam Steingold.
3987
39882008-01-14 Paolo Bonzini <bonzini@gnu.org>
3989
3990 * lightning/i386/core-64.h: Use CALLsr, not CALLLsr.
3991
39922008-01-13 Paolo Bonzini <bonzini@gnu.org>
3993
3994 * lightning/i386/core-i386.h: Move jit_calli and jit_callr...
3995 * lightning/i386/core-32.h: ... here.
3996 * lightning/i386/core-64.h: Redefine them.
3997
39982008-01-05 Paolo Bonzini <bonzini@gnu.org>
3999
4000 * lightning/i386/fp-32.h: Fix sub(a,0,a).
4001 * lightning/tests/3to2.c: Add new testcases.
4002 * lightning/tests/3to2.ok: Add new testcases.
4003
40042008-01-02 Paolo Bonzini <bonzini@gnu.org>
4005
4006 * lightning/i386/fp-32.h: Fix sub(a,b,a) with a ~= JIT_FPR0.
4007 * lightning/tests/3to2.c: New.
4008 * lightning/tests/3to2.ok: New.
4009
40102007-11-07 Paolo Bonzini <bonzini@gnu.org>
4011
4012 * opcode/Makefile.am: Fix AM_CPPFLAGS.
4013
40142007-08-12 Paolo Bonzini <bonzini@gnu.org>
4015
4016 * lightning/i386/core-i386.h: Improve encoding of set* instructions.
4017 * lightning/i386/core-64.h: Fix jit_bra_l.
4018 * tests/sete.c: New.
4019 * tests/sete.ok: New.
4020
40212007-06-29 Paolo Bonzini <bonzini@gnu.org>
4022
4023 * tests/bp.c: Upgrade to GPL/LGPLv3.
4024 * lightning/i386/asm-32.h: Upgrade to GPL/LGPLv3.
4025 * lightning/i386/asm-64.h: Upgrade to GPL/LGPLv3.
4026 * lightning/i386/core-32.h: Upgrade to GPL/LGPLv3.
4027 * lightning/i386/core-64.h: Upgrade to GPL/LGPLv3.
4028 * lightning/i386/fp-64.h: Upgrade to GPL/LGPLv3.
4029 * lightning/sparc/asm.h: Upgrade to GPL/LGPLv3.
4030 * lightning/sparc/core.h: Upgrade to GPL/LGPLv3.
4031 * lightning/sparc/fp.h: Upgrade to GPL/LGPLv3.
4032 * lightning/sparc/funcs.h: Upgrade to GPL/LGPLv3.
4033 * lightning/i386/asm-i386.h: Upgrade to GPL/LGPLv3.
4034 * lightning/i386/core-i386.h: Upgrade to GPL/LGPLv3.
4035 * lightning/i386/fp-32.h: Upgrade to GPL/LGPLv3.
4036 * lightning/i386/funcs.h: Upgrade to GPL/LGPLv3.
4037 * lightning/ppc/asm.h: Upgrade to GPL/LGPLv3.
4038 * lightning/ppc/core.h: Upgrade to GPL/LGPLv3.
4039 * lightning/ppc/fp.h: Upgrade to GPL/LGPLv3.
4040 * lightning/ppc/funcs.h: Upgrade to GPL/LGPLv3.
4041 * lightning.h: Upgrade to GPL/LGPLv3.
4042 * tests/add.c: Upgrade to GPL/LGPLv3.
4043 * tests/fib.c: Upgrade to GPL/LGPLv3.
4044 * tests/testfp.c: Upgrade to GPL/LGPLv3.
4045 * tests/fibdelay.c: Upgrade to GPL/LGPLv3.
4046 * tests/fibit.c: Upgrade to GPL/LGPLv3.
4047 * tests/funcfp.c: Upgrade to GPL/LGPLv3.
4048 * tests/incr.c: Upgrade to GPL/LGPLv3.
4049 * tests/printf.c: Upgrade to GPL/LGPLv3.
4050 * tests/printf2.c: Upgrade to GPL/LGPLv3.
4051 * tests/rpn.c: Upgrade to GPL/LGPLv3.
4052 * tests/rpnfp.c: Upgrade to GPL/LGPLv3.
4053 * lightning/asm-common.h: Upgrade to GPL/LGPLv3.
4054 * lightning/core-common.h: Upgrade to GPL/LGPLv3.
4055 * lightning/fp-common.h: Upgrade to GPL/LGPLv3.
4056 * lightning/funcs-common.h: Upgrade to GPL/LGPLv3.
4057 * opcode/dis-buf.c: Upgrade to GPL/LGPLv3.
4058 * opcode/disass.c: Upgrade to GPL/LGPLv3.
4059 * opcode/i386-dis.c: Upgrade to GPL/LGPLv3.
4060 * opcode/sparc-dis.c: Upgrade to GPL/LGPLv3.
4061 * opcode/sparc-opc.c: Upgrade to GPL/LGPLv3.
4062 * lightningize.in: Upgrade to GPL/LGPLv3.
4063 * opcode/bfd.h: Upgrade to GPL/LGPLv3.
4064 * opcode/i386.h: Upgrade to GPL/LGPLv3.
4065 * opcode/sparc.h: Upgrade to GPL/LGPLv3.
4066
40672007-01-26 Thomas Girard <thomas.g.girard@free.fr>
4068
4069 * lightning/Makefile.am: Add clean-local target.
4070
40712006-12-02 Paolo Bonzini <bonzini@gnu.org>
4072
4073 * lightning/i386/asm-i386.h: Add CVTTS?2SIL.
4074 * lightning/i386/asm-64.h: Add CVTTS?2SIQ.
4075 * lightning/i386/fp-64.h: Use it.
4076
4077 * lightning/Makefile.am: Place files in nodist_lightning_HEADERS.
4078
40792006-11-23 Paolo Bonzini <bonzini@gnu.org>
4080
4081 * lightning/core-common.h: Add casts in "*i_p" variants.
4082 * lightning/i386/asm-32.h: Add _r1.
4083 * lightning/i386/asm-64.h: Likewise, and add SSE instructions.
4084 * lightning/i386/asm-i386.h: Merge SSE instructions from Gwenole.
4085 Use short form for 16-bit AX instructions. Remove _r1
4086 * lightning/i386/core-64.h: Add FP ABI support in its infancy.
4087 * lightning/i386/core-i386.h: Move jit_arg_f and jit_arg_d...
4088 * lightning/i386/core-32.h: ... and jit_prepare_f and jit_prepare_d...
4089 * lightning/i386/fp-32.h: ... here.
4090 * lightning/i386/fp-64.h: Write the code.
4091 * lightning/sparc/fp.h: Fix jit_extr_{f_d,d_f} register order.
519a9ea1 4092
4a71579b
PC
40932006-11-22 Paolo Bonzini <bonzini@gnu.org>
4094
4095 * lightning/i386/asm-i386.h: Move x86-64 instructions...
4096 * lightning/i386/asm-64.h: ... here.
4097 * lightning/i386/fp-32.h: Fix bugfixes worked around in froofyJIT.
4098 Add JIT_FPRET.
4099 * lightning/sparc/fp.h: Likewise.
4100 * lightning/ppc/fp.h: Likewise.
4101 * lightning/fp-common.h: Adjust for JIT_FPRET.
4102 * tests/funcfp.c: Adjust for JIT_FPRET.
4103 * tests/rpnfp.c: Adjust for JIT_FPRET.
4104
41052006-11-20 Paolo Bonzini <bonzini@gnu.org>
4106
4107 * lightning/i386/asm-i386.h: Add an underscore to macros without
4108 a parameter.
4109
41102006-11-20 Paolo Bonzini <bonzini@gnu.org>
4111
4112 * lightning/i386/core-i386.h: Move jit_movip, jit_check8, jit_reg8,
4113 jit_reg16, jit_movbrm...
4114 * lightning/i386/core-32.h: ... here.
4115 * lightning/i386/core-64.h: Redefine them. Fix other bugs.
4116
4117 * tests/printf.c: Do not do a varargs call.
4118
41192006-11-20 Paolo Bonzini <bonzini@gnu.org>
4120
4121 * lightning/i386/asm-i386.h: Check in rewrite from Basilisk II.
4122 * lightning/i386/asm-32.h: Adjust.
4123 * lightning/i386/asm-64.h: Adjust.
4124 * lightning/i386/fp-32.h: Adjust.
4125
4126 * lightning/i386/core-32.h: Adjust. Add jit_{ld,ldx,st,stx}i*.
4127 * lightning/i386/core-64.h: Adjust. Add jit_{ld,ldx,st,stx}i*.
4128 * lightning/i386/core-i386.h: Adjust. Remove these patterns.
4129
41302006-11-20 Paolo Bonzini <bonzini@gnu.org>
4131
4132 * lightning/i386/asm-i386.h: Merge 64-bit cleanliness changes from
4133 mzscheme.
4134 Add SSE.
4135 * lightning/i386/asm-64.h: Likewise.
4136
41372006-11-20 Paolo Bonzini <bonzini@gnu.org>
4138 Ludovic Courtes <ludo@chbouib.org>
4139
4140 * lightning/i386/core-32.h: Disable jit_push and jit_pop if stack not
4141 needed.
4142 * lightning/i386/core-64.h: Disable jit_push and jit_pop if stack not
4143 needed.
4144 * lightning/sparc/core.h: Merge final implementation of jit_pushr and
4145 jit_popr.
4146 * lightning/ppc/core.h: Fix implementation of jit_pushr and jit_popr to
4147 work (more or less) across function calls.
4148
4149 * tests/push-pop.c, tests/push-pop.ok: New test.
4150 * tests/Makefile.am: Run it.
4151
41522006-11-20 Paolo Bonzini <bonzini@gnu.org>
4153
4154 * lightning/asm-common.h: Make 64-bit safe.
4155 * lightning/i386/funcs.h: Make 64-bit safe.
4156
4157 * lightning/i386/asm-64.h: More merge from mzscheme.
4158 * lightning/i386/asm-i386.h: More merge from mzscheme.
4159 * lightning/i386/core-32.h: More merge from mzscheme.
4160 * lightning/i386/core-64.h: More merge from mzscheme.
4161 * lightning/i386/core-i386.h: More merge from mzscheme.
4162
4163 * tests/rpnfp.c, tests/testfp.c, tests/funcfp.c: Skip if no
4164 floating-point support.
4165
41662006-11-04 Paolo Bonzini <bonzini@gnu.org>
4167
4168 * tests/rpn.c: Remove pushr/popr.
4169
41702006-11-04 Paolo Bonzini <bonzini@gnu.org>
4171
4172 * lightning/ppc/core.h: Implement jit_allocai, define JIT_FP to be R1.
4173 * lightning/ppc/funcs.h: Store frame size into _jitl. Store R1 before
4174 the STMW, so that the offset is unchanged when we patch the STMW.
4175 * lightning/i386/core.h: Define JIT_FP to be EBP.
4176 * lightning/i386/core-32.h: Implement jit_allocai, put LEAVE in the
4177 epilog if jit_allocai was used.
4178 * lightning/i386/core-64.h: Implement jit_allocai, put LEAVE in the
4179 epilog if jit_allocai was used.
4180
41812006-11-04 Ludovic Courtes <ludo@chbouib.org>
4182
4183 * lightning/sparc/core.h: Implement jit_allocai.
4184 * tests/allocai.c: New.
4185 * tests/Makefile.am: Point to new tests.
4186
41872006-11-03 Paolo Bonzini <bonzini@gnu.org>
4188
4189 * lightning/ppc/core.h: Fix jit_bms using BNE rather than BGT.
4190 "AND." does signed comparisons.
4191
41922006-10-31 Paolo Bonzini <bonzini@gnu.org>
4193
4194 * doc/porting.texi: Rename JIT_FP to JIT_AP.
4195 * lightning/core-common.h: Likewise.
4196 * lightning/i386/core-i386.h: Likewise.
4197 * lightning/fp-common.h: Provide default versions of jit_getarg_[fd].
4198 * lightning/i386/fp-32.h: Don't provide jit_getarg_[fd].
4199 * lightning/ppc/fp.h: Likewise.
4200
42012006-10-31 Ludovic Courtes <ludo@chbouib.org>
4202
4203 * doc/using.texi (The instruction set): Clarified the use of `JIT_RET' and
4204 documented `jit_retval'.
4205 * tests/ret.c (generate_function_proxy): After `jit_finish', use
4206 `jit_retval_i' to move FUNC's return value into the correct register.
4207
42082006-10-31 Paolo Bonzini <bonzini@gnu.org>
4209 Ludovic Courtes <ludo@chbouib.org>
4210
4211 * tests/divi.c, tests/divi.ok, tests/movi.c, tests/movi.ok: New.
4212 * tests/ldxi.c: Ensure large pointer is generated.
4213 * tests/Makefile.am: Point to new tests.
4214 * lightning.h: Include funcs-common.h before funcs.h.
4215 * lightning/sparc/core.h: Fix bugs in modi/divi.
4216
42172006-10-30 Paolo Bonzini <bonzini@gnu.org>
4218
4219 * lightning/Makefile.am: Use "ln -sf".
4220 * lightning/core-common.h: Define jit_negr_l if necessary.
4221
42222006-10-30 Paolo Bonzini <bonzini@gnu.org>
4223
4224 * lightning/i386/asm.h (MOVS*, MOVZ*): Use correct _r[124] macros.
4225
42262006-10-29 Paolo Bonzini <bonzini@gnu.org>
4227
4228 * configure.ac: Use lightning.m4 macros.
4229 * lightning.m4: Refactor to use common code in configure.ac. Move...
4230 * build-aux/lightning.m4: ... here.
4231 * lightningize.in: Support suffixes.
4232 * opcode/disass.in: Adapt to changes in configure.ac.
4233
4234 * lightning/ppc/funcs.h: Use __APPLE__ instead of _CALL_DARWIN.
4235 * lightning/i386/core-32.h: Likewise.
4236
42372006-10-26 Paolo Bonzini <bonzini@gnu.org>
4238
4239 * configure.ac: Fix compilation test.
4240 * lightning/Makefile.am: Symlink LIGHTNING_TARGET_FILES in
4241 non-distribution mode.
4242 * lightning/i386/Makefile.frag: Use LIGHTNING_TARGET_FILES.
4243
42442006-10-26 Paolo Bonzini <bonzini@gnu.org>
4245
4246 * configure.ac: Subst cpu.
4247 * lightning/core-common.h: Make tests pass on i386.
4248 * lightning/i386/asm-32.h: Make tests pass on i386.
4249 * lightning/i386/asm-64.h: Make tests pass on i386.
4250 * lightning/i386/asm-i386.h: Make tests pass on i386.
4251 * lightning/i386/core-32.h: Make tests pass on i386.
4252 * lightning/i386/core-64.h: Make tests pass on i386.
4253 * lightning/i386/core-i386.h: Make tests pass on i386.
4254 * tests/Makefile.am: Include files from cpu directory.
4255
42562006-10-26 Paolo Bonzini <bonzini@gnu.org>
4257
4258 * lightning/i386/asm.h: Move to asm-i386.h
4259 * lightning/i386/asm-32.h: New, from Matthew Flatt.
4260 * lightning/i386/asm-64.h: New, from Matthew Flatt.
4261 * lightning/i386/core.h: Move to core-i386.h
4262 * lightning/i386/core-32.h: New, from Matthew Flatt.
4263 * lightning/i386/core-64.h: New, from Matthew Flatt.
4264 * lightning/i386/fp.h: Move to fp-32.h
4265 * lightning/i386/fp-64.h: New, dummy.
4266 * lightning/i386/Makefile.frag: New.
4267 * lightning/Makefile.am: Support per-target Makefile fragments.
4268 * configure.ac: Support per-target Makefile fragments and CPU suffixes.
4269
42702006-10-16 Paolo Bonzini <bonzini@gnu.org>
4271
4272 * lightning/i386/i386.h (jit_flush_code): Fix syntax error. :-(
4273
42742006-07-06 Paolo Bonzini <bonzini@gnu.org>
4275 Ludovic Courtes <ludovic.courtes@laas.fr>
4276
4277 * doc/using.texi: Clarify "Using autoconf" section
4278 and rename it to "Bundling lightning"
4279 * lightning.m4: Work also if lightning is not bundled.
4280
42812006-07-06 Paolo Bonzini <bonzini@gnu.org>
4282 Ludovic Courtes <ludovic.courtes@laas.fr>
4283
4284 * lightning/ppc/core.h (_jit_mod): Replace with...
4285 (_jit_mod_big, _jit_mod_small): ... these.
4286 (jit_modi_i, jit_modi_ui): Rewrite.
4287 * tests/modi.c, tests/modi.ok: New tests.
4288
42892006-05-18 Matthew Flatt <mflatt@cs.utah.edu>
4290
4291 * lightning/i386/asm.h: Fix test for extending the mprotect area
4292 towards lower addresses.
4293
42942006-05-16 Bruno Haible <bruno@clisp.org>
4295
4296 * lightning/asm-common.h: Don't use __func__ nor __FUNCTION__ if
4297 not compiling with GNU C.
4298
42992006-02-16 Paolo Bonzini <bonzini@gnu.org>
4300
4301 * lightning/ppc/core.h: Fix jit_ldxi_* with big displacement.
4302
43032006-01-23 Paolo Bonzini <bonzini@gnu.org>
4304
4305 * configure.ac: Fix comments in config.h.in.
519a9ea1 4306
4a71579b
PC
43072005-11-25 Paolo Bonzini <bonzini@gnu.org>
4308
4309 * lightning/sparc/fp.h: Fix header comment.
4310 * lightning/ppc/fp.h: Fix header comment.
4311
43122005-04-27 Paolo Bonzini <bonzini@gnu.org>
4313
4314 * lightning/i386/asm.h (JCm, JCSm, JNCm, JNCSm): New.
4315
43162004-11-26 Paolo Bonzini <bonzini@gnu.org>
4317
4318 * lightning/ppc/funcs.h (_jit_epilog): Remove unused variable.
4319
43202004-11-13 Paolo Bonzini <bonzini@gnu.org>
4321
4322 * lightning/i386/funcs.h [__linux__]: Include sys/mman.h.
4323
43242004-11-09 Paolo Bonzini <bonzini@gnu.org>
4325
4326 * lightning/sparc/fp.h: Fix fp-to-integer conversions.
4327 * lightning/ppc/testfp.c: Test fp-to-integer conversions
4328 of integer numbers.
4329 * lightning/ppc/testfp.ok: Adjust for the above.
4330
43312004-11-08 Paolo Bonzini <bonzini@gnu.org>
4332
4333 * lightning/ppc/testfp.c: Always flush code before
4334 testing it.
4335
43362004-11-08 Paolo Bonzini <bonzini@gnu.org>
4337
4338 * lightning/ppc/fp.h: Do not clobber f31.
4339
43402004-11-08 Paolo Bonzini <bonzini@gnu.org>
4341
4342 * lightning.h: New name of...
4343 * lightning-inst.h: ... this file.
4344 * lightning.h.in: Removed.
4345
4346 * opcodes/disass.c: Include config.h.
4347 * tests/add.c: Include config.h.
4348 * tests/bp.c: Include config.h.
4349 * tests/fib.c: Include config.h.
4350 * tests/fibdelay.c: Include config.h.
4351 * tests/fibit.c: Include config.h.
4352 * tests/funcfp.c: Include config.h.
4353 * tests/incr.c: Include config.h.
4354 * tests/printf.c: Include config.h.
4355 * tests/printf2.c: Include config.h.
4356 * tests/rpn.c: Include config.h.
4357 * tests/rpnfp.c: Include config.h.
4358 * tests/testfp.c: Include config.h.
4359
43602004-10-12 Paolo Bonzini <bonzini@gnu.org>
4361
4362 * lightning/i386/fp.h: Fix bugs in conditional branches.
4363
43642004-10-10 Paolo Bonzini <bonzini@gnu.org>
4365
4366 * lightning/i386/funcs.h: Fix pasto in jit_flush_code.
4367
43682004-10-08 Paolo Bonzini <bonzini@gnu.org>
4369
4370 * lightning/ppc/fp.h: Optimized conditional branches.
4371
43722004-09-20 Paolo Bonzini <bonzini@gnu.org>
4373
4374 * lightning/ppc/asm.h: Fix more typos.
4375
43762004-09-20 Paolo Bonzini <bonzini@gnu.org>
4377
4378 * lightning/ppc/asm.h: Fix typos, replace `26' with JIT_AUX.
4379
43802004-09-20 Paolo Bonzini <bonzini@gnu.org>
4381
4382 * lightning/ppc/fp.h: Added conditional branches.
4383
43842004-09-18 Laurent Michel <ldm@thorgal.homelinux.org>
4385
4386 * lightning/ppc/fp.h (jit_unler_d, jit_unltr_d, jit_unger_d,
4387 jit_ungtr_d, jit_ltgt_d, jit_uneq_d): Implemented missing tests
4388 to fully support testfp.
4389 (jit_floorr_d_i, jit_ceilr_d_i, jit_roundr_d_i, jit_truncr_d_i):
4390 New macros.
4391 * lightning/ppc/asm.h: Added missing opcodes FCTIWZ and MTFSFI.
4392 * lightning/ppc/funcs.h (_jit_prolog): Fixed minor mistake in
4393 the initialization of _jitl.nextarg_geti, relying on the
4394 JIT_AUX macro as well to get the register offset.
4395
43962004-09-07 Paolo Bonzini <bonzini@gnu.org>
4397
4398 * lightning/ppc/funcs.h: Fix typo.
4399
44002004-09-06 Paolo Bonzini <bonzini@gnu.org>
4401
4402 * tests/funcfp.c: Use %g. Remove C99 variable declarations.
4403 * tests/testfp.c: Don't use __builtin_nan.
4404
4405 * lightning/ppc/core.h: Add three V registers.
4406 * lightning/ppc/funcs.h: Adjust.
4407
4408 * lightning/sparc/core.h: Some fixes related to FP argument passing.
4409 Move R0 to %g2, use %o7 for JIT_BIG2.
4410 * lightning/sparc/fp.h: Some fixes related to FP argument passing.
4411
44122004-09-02 Paolo Bonzini <bonzini@gnu.org>
4413
4414 * lightning/sparc/core.h: Add another V register,
4415 move R0 to %o7.
4416
44172004-07-15 Paolo Bonzini <bonzini@gnu.org>
4418
4419 * lightning/i386/funcs.h: Implement jit_flush_code,
4420 in order to support Fedora's exec-shield.
4421
44222004-07-14 Paolo Bonzini <bonzini@gnu.org>
4423
4424 * lightning/core-common.h: Add more jit_extr_*_* macros.
4425 * lightning/doc/using.texi: Be clearer about the order
4426 of arguments in jit_extr_*_*.
4427 * lightning/doc/porting.texi: Add more jit_extr_*_* macros.
4428 * lightning/i386/fp.h: Fix typo in jit_extr_i_d.
4429
44302004-07-14 Paolo Bonzini <bonzini@gnu.org>
4431
4432 * lightning/ppc/funcs.h: Adjust offset of LR into
4433 stack frame if running under the Darwin ABI.
4434
44352004-07-13 Paolo Bonzini <bonzini@gnu.org>
4436
4437 * lightning/i386/fp.h: Rename jit_exti_d to jit_extr_i_d.
4438
44392004-07-13 Paolo Bonzini <bonzini@gnu.org>
4440
4441 * lightning/ppc/core.h: Fix thinko.
4442
4443 * lightning/i386/core.h: Fix jit_lti_ui.
4444 * lightning/core-common.h: Add missing macros.
4445
4446 * lightning/ppc/fp.h: Rename jit_neg_* to jit_negr_*.
4447 * lightning/i386/fp.h: Rename jit_neg_* to jit_negr_*.
4448 * lightning/sparc/fp.h: Rename jit_neg_* to jit_negr_*.
4449 * lightning/fp-common.h: Rename jit_neg_* to jit_negr_*.
4450 * doc/porting.texi: Add undocumented macros.
4451
44522004-07-12 Paolo Bonzini <bonzini@gnu.org>
4453
4454 * doc/porting.texi: Add missing macros.
4455
44562004-07-12 Paolo Bonzini <bonzini@gnu.org>
4457
4458 * lightning/ppc/funcs.h: Don't generate trampolines.
4459 Separate prolog and epilog generation.
4460 * lightning/ppc/core.h: Generate epilog explicitly.
4461 Don't reserve r31 anymore.
4462 * lightning/core-common.h: Remove call to jit_setup_code.
4463
44642004-07-09 Paolo Bonzini <bonzini@gnu.org>
4465
4466 * lightning/lightning.h.in: Avoid preprocessor warnings.
4467 * lightning/lightning-inst.h: Likewise.
4468
4469 * lightning/i386/core.h: Define JIT_R, JIT_R_NUM, JIT_V,
4470 JIT_V_NUM.
4471 * lightning/ppc/core.h: Likewise.
4472 * lightning/sparc/core.h: Likewise.
4473 * lightning/i386/fp.h: Define JIT_FPR, JIT_FPR_NUM.
4474 * lightning/ppc/fp.h: Likewise.
4475 * lightning/sparc/fp.h: Likewise.
4476 * lightning/core-common.h: Define fixed register names.
4477 * lightning/fp-common.h: Likewise for FP regs.
4478
44792004-07-09 Paolo Bonzini <bonzini@gnu.org>
4480
4481 * lightning/ppc/funcs.h: Fix location where return address
4482 is stored.
4483 * lightning/i386/asm.h: Add a trailing _ to opcodes without
4484 any parameter.
4485 * lightning/i386/core.h: Adjust for the above.
4486
44872004-04-15 Paolo Bonzini <bonzini@gnu.org>
4488
4489 * lightning/i386/fp.h: Change "and" to "_and"
4490 to satisfy C++ compilers.
4491
44922004-04-14 Paolo Bonzini <bonzini@gnu.org>
4493
4494 * lightning/sparc/fp.h: Use memcpy to implement jit_movi.
4495 * lightning/ppc/fp.h: Use memcpy to implement jit_movi.
4496 Move floating-point opcodes...
4497 * lightning/ppc/asm.h: ... here.
4498
44992004-04-14 Paolo Bonzini <bonzini@gnu.org>
4500
4501 * lightning/core-common.h: Add jit_finishr.
4502 * lightning/ppc/core.h: Add jit_callr and jit_finishr.
4503 * lightning/i386/core.h: Add jit_callr.
4504 * lightning/sparc/core.h: Add jit_callr. Fix typo.
4505
45062004-04-14 Paolo Bonzini <bonzini@gnu.org>
4507
4508 * lightning/i386/core.h: Fix pasto in jit_b*_ui.
4509
45102004-03-30 Laurent Michel
4511
4512 * lightning/ppc: Implement PowerPC floating point
4513 (ChangeLog entry missing).
4514
45152004-03-12 Paolo Bonzini <bonzini@gnu.org>
4516
4517 * lightning/fp-common.h: Load/store macros are not the
4518 same for floats and doubles anywhere, but jit_retval may be.
4519 * lightning/i386/asm.h: Fix = mistaken for == in ESCrri.
4520 * lightning/i386/core.h: Fix typo in jit_prepare_[fd].
4521 * lightning/i386/fp.h: Rewritten.
4522 * tests/testfp.c: Add tests for unordered comparisons.
4523 * tests/testfp.ok: Add results.
4524
45252004-03-15 Paolo Bonzini <bonzini@gnu.org>
4526
4527 Merge changes from Laurent Michel.
4528
4529 * lightning/asm-common.h: Add _jit_I_noinc.
4530 * lightning/core-common.h: Support jit_init,
4531 jit_setup_code, jit_patch_at. Return patchable IP from
4532 jit_movi_p.
4533 * lightning/funcs-common.h: Provide defaults
4534 for jit_setup_code, jit_start_pfx, jit_end_pfx
4535 * lightning/i386/core.h: Add jit_patch_at, jit_patch_movi.
4536 * lightning/ppc/core.h: Likewise.
4537 * lightning/sparc/core.h: Likewise.
4538 * lightning/ppc/asm.h: Fix generation of branch destination
4539 displacements in _FB and _BB
4540 * lightning/ppc/core.h: Generate trampolines in the user
4541 area.
4542 * lightning/ppc/funcs.h: Add a few casts.
4543 * tests/bc.c: New testcase.
4544
4545 * lightning/i386/asm.h: Wrap into #ifndef LIGHTNING_DEBUG.
4546 * lightning/ppc/asm.h: Wrap into #ifndef LIGHTNING_DEBUG.
4547 * lightning/sparc/asm.h: Wrap into #ifndef LIGHTNING_DEBUG.
4548
4549
45502004-03-09 Paolo Bonzini <bonzini@gnu.org>
4551
4552 * lightning/sparc/fp.h: Rewrite. Move macros for
4553 FP code generation...
4554 * lightning/sparc/asm.h: ... here.
4555 * lightning/sparc/core.h: Rename jit_prepare to
4556 jit_prepare_i, jit_retval to jit_retval_i.
4557 * lightning/ppc/core.h: Rename jit_prepare to
4558 jit_prepare_i, jit_retval to jit_retval_i.
4559 * lightning/i386/core.h: Rename jit_prepare to
4560 jit_prepare_i, jit_retval to jit_retval_i.
4561 * lightning/core-common.h: Provide backwards
4562 compatible synonyms for the above.
4563 * lightning/fp-common.h: Rewrite.
4564 * lightning-inst.h: Include fp unconditionally.
4565 * lightning.h.in: Include fp unconditionally.
4566 * tests/Makefile.am: Enable fp tests.
4567 * tests/fib.c: Use jit_retval_i.
4568 * tests/fibit.c: Cast codeBuffer to char *.
4569 * tests/funcfp.c: Use new fp macros.
4570 * tests/printf.c: Use jit_retval_i.
4571 * tests/rpnfp.c: Use new fp macros.
4572 * tests/testfp.c: Use new fp macros.
4573
45742004-03-02 Paolo Bonzini <bonzini@gnu.org>
4575
4576 * lightning/i386/core.h: generate correct code when
4577 doing lt/le/ge/etc. on ESI and EDI. Use MOVZX/MOVSX
4578 where possible.
4579 * lightning/i386/asm.h: Add macros for MOVZX/MOVSX.
4580 Move macros for x87 here, and add many of them.
4581 * lightning/i386/fp.h: Use new macros for x87.
4582
45832004-02-06 Paolo Bonzini <bonzini@gnu.org>
4584
4585 * lightning/i386/core.h: avoid generating MOV reg, reg.
4586 * lightning/sparc/core.h: fix several bugs.
4587 * lightning/ppc/core.h: fix several bugs.
4588 * tests/rpn.c: rewritten.
4589
45902004-01-08 Paolo Bonzini <bonzini@gnu.org>
4591
4592 * tests/rpnfp.c: new example, suggested by Basile
4593 Starynkevitch.
4594 * tests/rpnfp.ok: new example.
4595
45962003-12-12 Paolo Bonzini <bonzini@gnu.org>
4597
4598 * tests/add.c: new test, suggested by Steve Dekorte.
4599 * tests/add.c: new test.
4600
46012003-11-14 Paolo Bonzini <bonzini@gnu.org>
4602 John Redford <eirenik@hotmail.com>
4603
4604 * lightning/asm-common.h: change the 'pc' field of _jit to
4605 be a union of various data types, because ISO C99 doesn't
4606 permit using ++ on a = cast. Change the incremented casts of
4607 _jit.pc to be _jit.x.uc_pc, _jit.x.us_pc, etc.
4608 * all files: change all non-cast instances of _jit.pc to be
4609 _jit.x.pc.
4610 * lightning/i386/core.h: remove casts from jit_might.
4611
46122003-05-25 Paolo Bonzini <bonzini@gnu.org>
4613
4614 * lightning/i386/core.h: use JITSORRY in jit_replace
4615 * lightning/asm-common.h: define JITSORRY
4616
46172003-05-14 Paolo Bonzini <bonzini@gnu.org>
4618
4619 * lightning/i386/core.h: fix missing comma in several
4620 load/store macros.
4621 * lightning/core-common.h: fix long/unsigned long/pointer
4622 jit_pushr/jit_popr.
4623 * lightning/ppc/funcs.h: correctly align stack pointer
4624
4625No changelogs for the assemblers (lightning directory) until 1.0
519a9ea1 4626
4a71579b
PC
46272003-03-27 Paolo Bonzini <bonzini@gnu.org>
4628
4629 * tests/printf2.c: new test
4630
46312001-05-03 Paolo Bonzini <bonzini@gnu.org>
4632
4633 * tests/printf.c: made the message platform independent
4634
46352001-01-19 Paolo Bonzini <bonzini@gnu.org>
4636
4637 * configure.in: support cross-assembling
519a9ea1 4638
4a71579b
PC
4639 * disass/bfd.h, disass/dis-asm.h, disass/dis-buf.c,
4640 disass/i386-dis.c, disass/i386.h, disass/ppc-dis.c,
4641 disass/ppc.h, disass/ppc-opc.c, disass/sparc-dis.c,
4642 disass/sparc.h, disass/sparc-opc.c: new files, from GDB
4643
4644 * disass/disass.c, disass/Makefile.am: new files
4645
4646 * tests/fib.c, tests/fibit.c, tests/incr.c, tests/printf.c,
4647 tests/rpn.c, tests/testfp.c, tests/Makefile.am: support
4648 disassembling