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

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