aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa
Commit message (Collapse)AuthorAgeFilesLines
* Updated scripts to run the tests on test/mppaCyril SIX2020-01-275-7/+19
|
* Hardware runs for test/mppa/interopCyril SIX2020-01-271-24/+113
|
* New directive hardtest and hardcheck to run on hardware test/mppa/instrCyril SIX2020-01-271-11/+55
|
* Adding some function calls in interop testsCyril SIX2019-09-192-7/+15
|
* Test for compd.geuCyril SIX2019-09-051-0/+6
|
* Removing unused .all, .any, .nall and .none conditionsCyril SIX2019-09-051-1/+1
|
* Adding tests for cmovedCyril SIX2019-09-052-0/+85
|
* aclrw testCyril SIX2019-09-031-0/+12
|
* Rajout de clzd dans les testsCyril SIX2019-08-301-0/+3
|
* Added more testsCyril SIX2019-08-304-27/+56
|
* (#157) Removed AFADDD and AFADDW from the builtinsCyril SIX2019-08-302-1/+14
|
* Adding tests for addx8d addx8w etc..Cyril SIX2019-08-303-2/+11
|
* Fixed the extraction of instructions from TargetPrinter.mlCyril SIX2019-08-302-5/+4
|
* Updated test/mppa/coverage.sh to check which instruction isn't tested yetCyril SIX2019-08-292-37/+55
|
* Removing submodule test/mppa/asm_coverage from the repositoryCyril SIX2019-08-281-0/+0
|
* Dans test/mppa : changer k1-mbr-gcc en k1-cos-gccCyril SIX2019-06-176-8/+12
|
* Rajout de tests test/mppa pour division/moduloCyril SIX2019-03-226-0/+34
|
* Reorganized the test/mppa/ tests to have fewer of themCyril SIX2019-03-2282-30/+238
|
* Replacing all the - by * : it works!Cyril SIX2019-03-192-185/+185
|
* Trying to replace all the + by -Cyril SIX2019-03-192-185/+185
|
* [TEST BROKEN] Trying to replace some int by float in stackhell interop testCyril SIX2019-03-193-68/+69
|
* Small improvements to interop test MakefileCyril SIX2019-03-192-4/+33
|
* Float conversion fixes + some more conversionsCyril SIX2019-02-274-5/+5
|
* Changing the way floats are compared (script using reltol and abstol comparison)Cyril SIX2019-02-274-5/+99
|
* Rajout d'opérateurs flottants, travail sur les tests --> à continuerCyril SIX2019-02-1570-68/+136
|
* Added Olongoffloat, Ofloatoflong and doubleconv testCyril SIX2019-02-121-0/+9
|
* Added Ointofsingle + floatconv unit testCyril SIX2019-02-121-0/+9
|
* Added indirect tailcallsCyril SIX2019-02-082-0/+49
|
* 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
|\ | | | | | | | | | | | | | | | | | | 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 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 ↵Cyril SIX2018-11-1361-110/+102
| | | | | | | | udivd)
| * Fixed consistency between the different tests mmult, prng and sortCyril SIX2018-11-0916-181/+230
| |
generated by cgit (git 2.34.1) at 2024-06-29 23:22:11 +0000