aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | 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 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
| | | | | | | 32 bits version are not yet there. Right now the code is directly from libgcc, compiled with k1-gcc because of builtins.
* 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
| | | | | | | | | | | 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 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
|
* MPPA - tests - added insertion sort and selection sortCyril SIX2018-04-175-0/+159
|
* MPPA - changed UNIT_TEST namesCyril SIX2018-04-172-4/+4
|
* MPPA - Added uint64_t types to the tests + k1c testCyril SIX2018-04-174-11/+34
|
* MPPA - added PRNG generator in the testsCyril SIX2018-04-163-0/+66
|
* MPPA - Automatic generation of expected value for testsCyril SIX2018-04-1118-10/+32
|
* MPPA - reorganized the test directoryCyril SIX2018-04-112-13/+18
|
* MPPA - Onegl + PneglCyril SIX2018-04-102-7/+3
|
* MPPA - Running tests in parallelCyril SIX2018-04-102-26/+41
|
* MPPA - fixed wrong extension in test filesCyril SIX2018-04-102-0/+0
|
* MPPA - Optimized branch generation for word compare to 0Cyril SIX2018-04-095-1/+27
|
* MPPA - forgot check.sh in last commitCyril SIX2018-04-051-0/+29
|
* MPPA - Added regression testsCyril SIX2018-04-0513-14/+27
|
* MPPA - added test forvarl.cCyril SIX2018-04-042-1/+12
|
* MPPA - Added non immediate comparisonCyril SIX2018-04-042-2/+14
|
* MPPA - Added signed immediate comparisonCyril SIX2018-04-042-1/+13
|
* MPPA - 32-bits immediate eq/neq branchesCyril SIX2018-04-042-2/+14
|
* MPPA - Added Msetstack + bunch of store --> on a des call !Cyril SIX2018-04-042-1/+17
|
* MPPA - code cleaningCyril SIX2018-04-041-1/+1
|
* MPPA - The project compiles.Cyril SIX2018-04-042-0/+32
| | | | | | | | | | | | | Supports very simple programs that load integer immediates. It starts the main, loads integer in registers, and return correctly. Addition in Mach not yet supported, but should not be hard to add them. Function calls are not yet supported. The ABI for now is the same as the RiscV, with a small twist: $ra is first loaded in a user register, then this user register is pushed (instead of pushing $ra straight away).
* Turn delicate case of designated re-initialization into error (#70)Xavier Leroy2018-03-302-1/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | Consider: struct P { int x, y; } struct S { struct P p; } struct P p0 = { 1,2 }; struct S s1 = { .p = p0; .p.x = 3 }; ISO C99 and recent versions of Clang initialize s1.p.y to 2, i.e. the initialization of s1.p.y to p0.y implied by ".p = p0" is kept, even though the initialization of s1.p.x to p0.x is overwritten by ".p.x = 3". GCC, old versions of Clang, and previous versions of CompCert initialize s1.p.y to the default value 0. I.e. the initialization ".p = p0" is forgotten, leaving default values for the fields of .p before ".p.x = 3" takes effect. Implementing the proper ISO C99 semantics in CompCert is difficult, owing to a mismatch between the intended semantics and the C.init representation of initializers. This commit turns the delicate case of reinitialization above (re-initializing a member of a composite that has already been initialized as a whole) into a compile-time error. We will then see if the delicate case occurs in practice and needs further attention.
* Add regression test for issue #211Xavier Leroy2018-01-133-1/+17
|
* Typo in Makefile: "ia32" is now "x86"Xavier Leroy2017-09-191-1/+1
|
* test/*/Makefile: suppress dependencies on ../../ccompXavier Leroy2017-09-112-6/+6
| | | | | Not very useful in practice (make clean is generally done before make all) and problematic under Cygwin where ../../ccomp is really ../../ccomp.exe
* For running tests with the interpreter, use the correct -stdlib optionXavier Leroy2017-08-281-3/+2
| | | | Otherwise the interpreter uses the system's header files instead of CompCert's. This can lead to mismatches e.g. on the definition of wchar_t.
generated by cgit (git 2.34.1) at 2024-07-12 00:18:45 +0000