Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | |||||
* | MPPA - Onegl + Pnegl | Cyril SIX | 2018-04-10 | 2 | -7/+3 |
| | |||||
* | MPPA - Running tests in parallel | Cyril SIX | 2018-04-10 | 2 | -26/+41 |
| | |||||
* | MPPA - fixed wrong extension in test files | Cyril SIX | 2018-04-10 | 2 | -0/+0 |
| | |||||
* | MPPA - Optimized branch generation for word compare to 0 | Cyril SIX | 2018-04-09 | 5 | -1/+27 |
| | |||||
* | MPPA - forgot check.sh in last commit | Cyril SIX | 2018-04-05 | 1 | -0/+29 |
| | |||||
* | MPPA - Added regression tests | Cyril SIX | 2018-04-05 | 13 | -14/+27 |
| | |||||
* | MPPA - added test forvarl.c | Cyril SIX | 2018-04-04 | 2 | -1/+12 |
| | |||||
* | MPPA - Added non immediate comparison | Cyril SIX | 2018-04-04 | 2 | -2/+14 |
| | |||||
* | MPPA - Added signed immediate comparison | Cyril SIX | 2018-04-04 | 2 | -1/+13 |
| | |||||
* | MPPA - 32-bits immediate eq/neq branches | Cyril SIX | 2018-04-04 | 2 | -2/+14 |
| | |||||
* | MPPA - Added Msetstack + bunch of store --> on a des call ! | Cyril SIX | 2018-04-04 | 2 | -1/+17 |
| | |||||
* | MPPA - code cleaning | Cyril SIX | 2018-04-04 | 1 | -1/+1 |
| | |||||
* | MPPA - The project compiles. | Cyril SIX | 2018-04-04 | 2 | -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 Leroy | 2018-03-30 | 2 | -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 #211 | Xavier Leroy | 2018-01-13 | 3 | -1/+17 |
| | |||||
* | Typo in Makefile: "ia32" is now "x86" | Xavier Leroy | 2017-09-19 | 1 | -1/+1 |
| | |||||
* | test/*/Makefile: suppress dependencies on ../../ccomp | Xavier Leroy | 2017-09-11 | 2 | -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 option | Xavier Leroy | 2017-08-28 | 1 | -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. | ||||
* | test/compression: use unique temporary files for testing | Xavier Leroy | 2017-08-27 | 1 | -7/+7 |
| | |||||
* | test/ : stop at first error in "make all" | Xavier Leroy | 2017-08-26 | 1 | -1/+1 |
| | |||||
* | test/: add a CCOMPOPTS make variable to pass additional compile-time flags | Xavier Leroy | 2017-08-26 | 5 | -5/+5 |
| | | | | E.g. "-Os" for testing in "optimize for size" mode, or "-mthumb" for testing ARM in Thumb2 mode. | ||||
* | Reduce the running times of the tests in test/c | Xavier Leroy | 2017-08-26 | 30 | -87/+75 |
| | | | | Running times were too long when executed on low-end ARM or PowerPC hardware, or under QEMU emulation. | ||||
* | Extend builtin arguments with a pointer addition operator, continued | Xavier Leroy | 2017-07-06 | 2 | -2/+8 |
| | | | | | | | | - Add support for PowerPC, with all addressing modes. - Add support for ARM, with "reg + ofs" addressing mode. - Add support for RISC-V, with the one addressing mode. - Constprop.v: forgot to recurse in BA_addptr - volatile4 test: more tests |