aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa
Commit message (Expand)AuthorAgeFilesLines
* Adding indirect calls (icall instruction)Cyril SIX2019-01-291-0/+33
* Added sxwd and zxwd supportCyril SIX2019-01-223-0/+21
* Fixed the forvar testCyril SIX2019-01-172-3/+13
* Added the use of two va_list in a va_arg testCyril SIX2018-12-111-3/+9
* In va_arg tests, 2nd argument of va_start is now correctCyril SIX2018-12-112-9/+9
* Fixed div64 and mod64Cyril SIX2018-12-112-20/+25
* Added printf to the unitary tests for instructionsCyril SIX2018-12-072-27/+29
* Added a printf wrapper in test/mppa/libCyril SIX2018-12-074-0/+160
* Finished implementation of va_arg + testing doneCyril SIX2018-11-302-4/+4
* Wrote some tests on va_arg, need to implement __compcert_va_int32 & cieCyril SIX2018-11-282-7/+467
* Added a jobs parameter to the test scriptsCyril SIX2018-11-284-7/+13
* Added GCC-compcert call test with a very high register pressureCyril SIX2018-11-285-9/+212
* Added tests where GCC calls CompCert functionsCyril SIX2018-11-275-9/+26
* Interoperability tests passed (no va_arg yet)Cyril SIX2018-11-2314-0/+355
* Fixed andd test not consistent with the restCyril SIX2018-11-231-1/+1
* Mise à jour vis à vis de CompCert 3.4Cyril SIX2018-11-211-2/+16
* Merge branch 'mppa_asmbloc_nobreg' into mppa_k1cCyril SIX2018-11-1484-353/+499
|\
| * Updated Sort Makefile + fixed compilation command bugCyril SIX2018-11-145-62/+123
| * Changed mmult to avoid recomputing + fixed potential source of bug in instrCyril SIX2018-11-133-21/+39
| * Lancement des tests à partir d'un même scriptCyril SIX2018-11-137-15/+61
| * Revamped the instruction testsuite (all instructions work except umodd and ud...Cyril SIX2018-11-1361-110/+102
| * Fixed consistency between the different tests mmult, prng and sortCyril SIX2018-11-0916-181/+230
| * Fixing PRNG testCyril SIX2018-11-091-4/+1
| * Fixing k1-gcc becoming k1-mbr-gccCyril SIX2018-11-094-8/+8
* | Added some comments on the MakefileCyril SIX2018-08-141-2/+22
* | Added all the working builtins for ALU. Added BCU and LSU without testingCyril SIX2018-08-0111-11/+68
|/
* Fixed CompCert library inclusion. Indirect fix for udivd and umoddCyril SIX2018-06-261-2/+1
* MPPA - Forgot to initialize variables in the testsCyril SIX2018-06-062-2/+3
* WIP - Changed all the general tests to include PRNG (instead of small constants)Cyril SIX2018-06-0559-308/+394
* MPPA - Added Builtins support. Starting with clzll and stsudCyril SIX2018-06-052-0/+9
* MPPA - Added modulo and division 64 bits. Non certifiedCyril SIX2018-05-213-1/+17
* Code cleaningCyril SIX2018-05-091-4/+4
* MPPA - Updated asm_coverageCyril SIX2018-04-261-0/+0
* MPPA - mmult and sort Makefile now check on ccomp versionCyril SIX2018-04-263-5/+7
* MPPA - Added a lot more unit tests + refined coverageCyril SIX2018-04-2646-2/+240
* MPPA - we now compare the results of our tests with k1-gccCyril SIX2018-04-253-6/+10
* MPPA - Added coverage testCyril SIX2018-04-254-0/+57
* MPPA - Added test for division int by 2Cyril SIX2018-04-252-1/+23
* MPPA - Corrected messages on test/mppa/mmult/MakefileCyril SIX2018-04-251-2/+2
* MPPA - refined tests. Bug in mmult - need to generate O0 to debug easierCyril SIX2018-04-242-1/+7
* MPPA - Oshrximm + Mgetparam + FP is GPR10 + bugCyril SIX2018-04-201-17/+17
* MPPA - Added divide & conqueer test matmulCyril SIX2018-04-182-2/+87
* MPPA - added Oaddrsymbol -> now able to run the matrix mult testCyril SIX2018-04-183-37/+42
* MPPA - added a Matrix Multiply testCyril SIX2018-04-183-0/+140
* MPPA - Added Pmull -> now able to run the sort testCyril SIX2018-04-173-3/+8
* MPPA - More shiftsCyril SIX2018-04-171-1/+3
* MPPA - Forgot to uncomment debugging section of prng testCyril SIX2018-04-171-4/+2
* MPPA - added all shiftsCyril SIX2018-04-174-0/+12
* MPPA - Added CompCert testsCyril SIX2018-04-171-1/+16
* MPPA - added merge sort + corrected bug in insertion + testing them togetherCyril SIX2018-04-1710-38/+205
generated by cgit (git 2.34.1) at 2024-07-06 15:46:06 +0000