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

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