Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added printf to the unitary tests for instructions | Cyril SIX | 2018-12-07 | 2 | -27/+29 |
| | |||||
* | Added a printf wrapper in test/mppa/lib | Cyril SIX | 2018-12-07 | 4 | -0/+160 |
| | |||||
* | Finished implementation of va_arg + testing done | Cyril SIX | 2018-11-30 | 2 | -4/+4 |
| | |||||
* | Wrote some tests on va_arg, need to implement __compcert_va_int32 & cie | Cyril SIX | 2018-11-28 | 2 | -7/+467 |
| | |||||
* | Added a jobs parameter to the test scripts | Cyril SIX | 2018-11-28 | 4 | -7/+13 |
| | |||||
* | Added GCC-compcert call test with a very high register pressure | Cyril SIX | 2018-11-28 | 5 | -9/+212 |
| | |||||
* | Added tests where GCC calls CompCert functions | Cyril SIX | 2018-11-27 | 5 | -9/+26 |
| | |||||
* | Interoperability tests passed (no va_arg yet) | Cyril SIX | 2018-11-23 | 14 | -0/+355 |
| | |||||
* | Fixed andd test not consistent with the rest | Cyril SIX | 2018-11-23 | 1 | -1/+1 |
| | |||||
* | Mise à jour vis à vis de CompCert 3.4 | Cyril SIX | 2018-11-21 | 1 | -2/+16 |
| | |||||
* | Merge branch 'mppa_asmbloc_nobreg' into mppa_k1c | Cyril SIX | 2018-11-14 | 84 | -353/+499 |
|\ | | | | | | | | | | | | | | | | | | | Conflicts: mppa_k1c/Asm.v mppa_k1c/Asmexpand.ml mppa_k1c/TargetPrinter.ml test/mppa/Makefile test/mppa/builtins/clzll.c test/mppa/generate.sh | ||||
| * | Updated Sort Makefile + fixed compilation command bug | Cyril SIX | 2018-11-14 | 5 | -62/+123 |
| | | |||||
| * | Changed mmult to avoid recomputing + fixed potential source of bug in instr | Cyril SIX | 2018-11-13 | 3 | -21/+39 |
| | | |||||
| * | Lancement des tests à partir d'un même script | Cyril SIX | 2018-11-13 | 7 | -15/+61 |
| | | |||||
| * | Revamped the instruction testsuite (all instructions work except umodd and ↵ | Cyril SIX | 2018-11-13 | 61 | -110/+102 |
| | | | | | | | | udivd) | ||||
| * | Fixed consistency between the different tests mmult, prng and sort | Cyril SIX | 2018-11-09 | 16 | -181/+230 |
| | | |||||
| * | Fixing PRNG test | Cyril SIX | 2018-11-09 | 1 | -4/+1 |
| | | |||||
| * | Fixing k1-gcc becoming k1-mbr-gcc | Cyril SIX | 2018-11-09 | 4 | -8/+8 |
| | | |||||
* | | Added some comments on the Makefile | Cyril SIX | 2018-08-14 | 1 | -2/+22 |
| | | |||||
* | | Added all the working builtins for ALU. Added BCU and LSU without testing | Cyril SIX | 2018-08-01 | 11 | -11/+68 |
|/ | |||||
* | Fixed CompCert library inclusion. Indirect fix for udivd and umodd | Cyril SIX | 2018-06-26 | 1 | -2/+1 |
| | |||||
* | MPPA - Forgot to initialize variables in the tests | Cyril SIX | 2018-06-06 | 2 | -2/+3 |
| | | | | Warning : the division and modulo currently do not pass the tests | ||||
* | WIP - Changed all the general tests to include PRNG (instead of small constants) | Cyril SIX | 2018-06-05 | 59 | -308/+394 |
| | |||||
* | MPPA - Added Builtins support. Starting with clzll and stsud | Cyril SIX | 2018-06-05 | 2 | -0/+9 |
| | |||||
* | MPPA - Added modulo and division 64 bits. Non certified | Cyril SIX | 2018-05-21 | 3 | -1/+17 |
| | | | | | | | 32 bits version are not yet there. Right now the code is directly from libgcc, compiled with k1-gcc because of builtins. | ||||
* | Code cleaning | Cyril SIX | 2018-05-09 | 1 | -4/+4 |
| | |||||
* | MPPA - Updated asm_coverage | Cyril SIX | 2018-04-26 | 1 | -0/+0 |
| | |||||
* | MPPA - mmult and sort Makefile now check on ccomp version | Cyril SIX | 2018-04-26 | 3 | -5/+7 |
| | |||||
* | MPPA - Added a lot more unit tests + refined coverage | Cyril SIX | 2018-04-26 | 46 | -2/+240 |
| | |||||
* | MPPA - we now compare the results of our tests with k1-gcc | Cyril SIX | 2018-04-25 | 3 | -6/+10 |
| | |||||
* | MPPA - Added coverage test | Cyril SIX | 2018-04-25 | 4 | -0/+57 |
| | |||||
* | MPPA - Added test for division int by 2 | Cyril SIX | 2018-04-25 | 2 | -1/+23 |
| | |||||
* | MPPA - Corrected messages on test/mppa/mmult/Makefile | Cyril SIX | 2018-04-25 | 1 | -2/+2 |
| | |||||
* | MPPA - refined tests. Bug in mmult - need to generate O0 to debug easier | Cyril SIX | 2018-04-24 | 2 | -1/+7 |
| | |||||
* | MPPA - Oshrximm + Mgetparam + FP is GPR10 + bug | Cyril SIX | 2018-04-20 | 1 | -17/+17 |
| | | | | | | | | | | | Added Oshrximm and Mgetparam -> mmult.c divide & conqueer generates FP is now GPR10 instead of being a mix of GPR30 and GPR32 Corrected a bug where Pgoto and Pj_l were given the same interpretation, where in fact there's a fundamental difference : Pgoto is supposed to have a function name (symbol), while Pj_l is supposed to have a label name (print_label). This led to having undefinite labels in the code. | ||||
* | MPPA - Added divide & conqueer test matmul | Cyril SIX | 2018-04-18 | 2 | -2/+87 |
| | |||||
* | MPPA - added Oaddrsymbol -> now able to run the matrix mult test | Cyril SIX | 2018-04-18 | 3 | -37/+42 |
| | |||||
* | MPPA - added a Matrix Multiply test | Cyril SIX | 2018-04-18 | 3 | -0/+140 |
| | |||||
* | MPPA - Added Pmull -> now able to run the sort test | Cyril SIX | 2018-04-17 | 3 | -3/+8 |
| | |||||
* | MPPA - More shifts | Cyril SIX | 2018-04-17 | 1 | -1/+3 |
| | |||||
* | MPPA - Forgot to uncomment debugging section of prng test | Cyril SIX | 2018-04-17 | 1 | -4/+2 |
| | |||||
* | MPPA - added all shifts | Cyril SIX | 2018-04-17 | 4 | -0/+12 |
| | |||||
* | MPPA - Added CompCert tests | Cyril SIX | 2018-04-17 | 1 | -1/+16 |
| | |||||
* | MPPA - added merge sort + corrected bug in insertion + testing them together | Cyril SIX | 2018-04-17 | 10 | -38/+205 |
| | |||||
* | MPPA - tests - added insertion sort and selection sort | Cyril SIX | 2018-04-17 | 5 | -0/+159 |
| | |||||
* | MPPA - changed UNIT_TEST names | Cyril SIX | 2018-04-17 | 2 | -4/+4 |
| | |||||
* | MPPA - Added uint64_t types to the tests + k1c test | Cyril SIX | 2018-04-17 | 4 | -11/+34 |
| | |||||
* | MPPA - added PRNG generator in the tests | Cyril SIX | 2018-04-16 | 3 | -0/+66 |
| | |||||
* | MPPA - Automatic generation of expected value for tests | Cyril SIX | 2018-04-11 | 18 | -10/+32 |
| | |||||
* | MPPA - reorganized the test directory | Cyril SIX | 2018-04-11 | 2 | -13/+18 |
| |