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

	Commit message (Collapse)	Author	Age	Files	Lines
*	WIP - Changed all the general tests to include PRNG (instead of small constants)	Cyril SIX	2018-06-05	1	-2/+4
\|
*	MPPA - Added modulo and division 64 bits. Non certified	Cyril SIX	2018-05-21	1	-1/+1
\| \| \| \| \| \| \|	32 bits version are not yet there. Right now the code is directly from libgcc, compiled with k1-gcc because of builtins.
*	MPPA - Added a lot more unit tests + refined coverage	Cyril SIX	2018-04-26	1	-1/+1
\|
*	MPPA - we now compare the results of our tests with k1-gcc	Cyril SIX	2018-04-25	1	-5/+6
\|
*	MPPA - Added coverage test	Cyril SIX	2018-04-25	1	-0/+5
\|
*	MPPA - Added test for division int by 2	Cyril SIX	2018-04-25	1	-1/+1
\|
*	MPPA - refined tests. Bug in mmult - need to generate O0 to debug easier	Cyril SIX	2018-04-24	1	-1/+5
\|
*	MPPA - Added Pmull -> now able to run the sort test	Cyril SIX	2018-04-17	1	-1/+5
\|
*	MPPA - Automatic generation of expected value for tests	Cyril SIX	2018-04-11	1	-2/+7
\|
*	MPPA - reorganized the test directory	Cyril SIX	2018-04-11	1	-9/+14
\|
*	MPPA - Onegl + Pnegl	Cyril SIX	2018-04-10	1	-2/+3
\|
*	MPPA - Running tests in parallel	Cyril SIX	2018-04-10	1	-2/+9
\|
*	MPPA - Optimized branch generation for word compare to 0	Cyril SIX	2018-04-09	1	-1/+1
\|
*	MPPA - Added regression tests	Cyril SIX	2018-04-05	1	-14/+21
\|
*	MPPA - added test forvarl.c	Cyril SIX	2018-04-04	1	-1/+1
\|
*	MPPA - Added non immediate comparison	Cyril SIX	2018-04-04	1	-2/+4
\|
*	MPPA - Added signed immediate comparison	Cyril SIX	2018-04-04	1	-1/+4
\|
*	MPPA - 32-bits immediate eq/neq branches	Cyril SIX	2018-04-04	1	-2/+2
\|
*	MPPA - Added Msetstack + bunch of store --> on a des call !	Cyril SIX	2018-04-04	1	-1/+1
\|
*	MPPA - The project compiles.	Cyril SIX	2018-04-04	1	-0/+26
	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).