jiton:jiton.git
7 years agoFix code gen bugs for Loongson. master
Cedric Cellier [Wed, 26 May 2010 20:36:42 +0000 (22:36 +0200)]
Fix code gen bugs for Loongson.

7 years agoFix Loongson implementation.
Cedric Cellier [Thu, 20 May 2010 20:05:23 +0000 (22:05 +0200)]
Fix Loongson implementation.

Up to the point that the only sample program seams to works.

7 years agoFriendlier debug output.
Cedric Cellier [Thu, 20 May 2010 20:04:55 +0000 (22:04 +0200)]
Friendlier debug output.

Like translation of register names, formating issues and typos.

7 years agoLoongson: Fix encoding of SRL instruction.
Cedric Cellier [Tue, 11 May 2010 18:26:31 +0000 (20:26 +0200)]
Loongson: Fix encoding of SRL instruction.

7 years agoFix alignment by removing alignment alltogether.
Cedric Cellier [Thu, 6 May 2010 18:13:45 +0000 (20:13 +0200)]
Fix alignment by removing alignment alltogether.

Advertise the fact that stream_read/write works on aligned datas

TODO: add two other stream_read/write that works on any datas by
reading/writing one byte at a time, and let the user choose between
the aligned version (for fixed data buffers that he knows are properly
aligned) or unaligned version, buffer per buffer.

7 years agoBetter makefiles (generalize C helper lib).
Cedric Cellier [Mon, 19 Apr 2010 19:04:28 +0000 (21:04 +0200)]
Better makefiles (generalize C helper lib).

7 years agoFix loongson implementation of some versions of stream_read/write.
Cedric Cellier [Thu, 25 Mar 2010 22:14:33 +0000 (23:14 +0100)]
Fix loongson implementation of some versions of stream_read/write.

7 years agoTry to align to correct addresses in order to use fast version.
Cedric Cellier [Thu, 25 Mar 2010 22:13:43 +0000 (23:13 +0100)]
Try to align to correct addresses in order to use fast version.

7 years agoTake into account data alignment.
Cedric Cellier [Wed, 24 Mar 2010 19:34:51 +0000 (20:34 +0100)]
Take into account data alignment.

The code generator is simplified as it only emmit a single loop of a given scale,
then the function itself checks (in ocaml) alignment of addresses in parameters
and, conservatively, only use SIMD version when alignment constraints are
satisfied.

7 years agoCosmetics.
Cedric Cellier [Thu, 18 Mar 2010 20:26:07 +0000 (21:26 +0100)]
Cosmetics.

7 years agoFix virtual implementation.
Cedric Cellier [Thu, 18 Mar 2010 20:22:59 +0000 (21:22 +0100)]
Fix virtual implementation.

7 years agoRename test file.
Cedric Cellier [Thu, 18 Mar 2010 20:22:22 +0000 (21:22 +0100)]
Rename test file.

7 years agoSIMD implementation for Loongson.
Cedric Cellier [Thu, 18 Mar 2010 20:21:27 +0000 (21:21 +0100)]
SIMD implementation for Loongson.

7 years agoProvision against missing header cachectl.h.
Cedric Cellier [Thu, 18 Mar 2010 20:20:23 +0000 (21:20 +0100)]
Provision against missing header cachectl.h.

If it's not found, simply don't use it.

7 years agoFix bug in compiler related to living range of helpers' helpers.
Cedric Cellier [Thu, 11 Mar 2010 16:17:36 +0000 (17:17 +0100)]
Fix bug in compiler related to living range of helpers' helpers.

7 years agoAllow helpers to use helpers by recursively expand helping steps.
Cedric Cellier [Wed, 10 Mar 2010 20:15:34 +0000 (21:15 +0100)]
Allow helpers to use helpers by recursively expand helping steps.

7 years agoNo more need to handle load_param differently than other impl_choosers.
Cedric Cellier [Wed, 10 Mar 2010 16:52:54 +0000 (17:52 +0100)]
No more need to handle load_param differently than other impl_choosers.

7 years agoFurther simplification of constant parameters.
Cedric Cellier [Wed, 10 Mar 2010 16:34:04 +0000 (17:34 +0100)]
Further simplification of constant parameters.

Since actualvalues are known at compile time, give them to the
implementation chooser so the implementation can be specialized not only
on the constant size but on its actual value.

7 years agoRework compiler.
Cedric Cellier [Wed, 10 Mar 2010 13:10:21 +0000 (14:10 +0100)]
Rework compiler.

Allow sharing of additionnal helper vars by replacing scratch and perm vars
with named helpers (more or less equivalent to scratch vars if name is unique).

Clean Const and Reg mess.

Add signed flag into data types in addition to bit size.

7 years agoBetter traces of register names, and save/restore used callee-saved FPU registers.
Cedric Cellier [Tue, 2 Mar 2010 10:47:33 +0000 (11:47 +0100)]
Better traces of register names, and save/restore used callee-saved FPU registers.

7 years agoBetter not declare to the implementations that we use the same register several times.
Cedric Cellier [Tue, 2 Mar 2010 10:46:06 +0000 (11:46 +0100)]
Better not declare to the implementations that we use the same register several times.

7 years agoTypo.
Cedric Cellier [Tue, 2 Mar 2010 08:31:52 +0000 (09:31 +0100)]
Typo.

7 years agoMissing files.
Cedric Cellier [Tue, 2 Mar 2010 08:30:15 +0000 (09:30 +0100)]
Missing files.

7 years agoFirst working (on a single example) version on actual (SISD) mips code.
Cedric Cellier [Tue, 2 Mar 2010 08:12:09 +0000 (09:12 +0100)]
First working (on a single example) version on actual (SISD) mips code.

7 years agoFix typo in makefile.
Cedric Cellier [Wed, 24 Feb 2010 12:56:45 +0000 (13:56 +0100)]
Fix typo in makefile.

7 years agoAdd C library for accessing mmaped file in EXEC mode.
Cedric Cellier [Tue, 23 Feb 2010 21:25:38 +0000 (22:25 +0100)]
Add C library for accessing mmaped file in EXEC mode.

7 years agoFirst commit
Cedric Cellier [Tue, 23 Feb 2010 15:42:51 +0000 (16:42 +0100)]
First commit