compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
...
\| *	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
\|
*	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).