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

	Commit message (Collapse)	Author	Age	Files	Lines
*	reinstated the orl selectl construct	David Monniaux	2019-04-05	1	-4/+4
\|
*	problem in ValueAOp	David Monniaux	2019-04-03	1	-1/+2
\|
*	Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary	David Monniaux	2019-04-03	1	-5/+11
\|\
\| *	Using fixedd.rz in longofsingle instead of i64_dtos	Cyril SIX	2019-04-01	1	-5/+11
\| \|
* \|	improvements on cmoved etc.	David Monniaux	2019-03-27	1	-77/+2
\| \|
* \|	match some 'and'	David Monniaux	2019-03-27	1	-9/+27
\| \|
* \|	selectl generation	David Monniaux	2019-03-26	1	-0/+160
\|/
*	restructuration pour compilation toute archi	David Monniaux	2019-03-22	1	-0/+1
\|
*	maddl / maddlim are synthesized (but not for pointers it seems)	David Monniaux	2019-03-20	1	-0/+4
\|
*	selection of andn/orn on long	David Monniaux	2019-03-18	1	-0/+5
\|
*	andn / orn suite	David Monniaux	2019-03-18	1	-1/+1
\|
*	long nand, nor, nxor	David Monniaux	2019-03-16	1	-2/+10
\|
*	Float conversion fixes + some more conversions	Cyril SIX	2019-02-27	1	-8/+8
\|
*	MPPA - Added modulo and division 64 bits. Non certified	Cyril SIX	2018-05-21	1	-8/+4
\| \| \| \| \| \| \|	32 bits version are not yet there. Right now the code is directly from libgcc, compiled with k1-gcc because of builtins.
*	Changed ptr64 to be always true	Cyril SIX	2018-04-04	1	-4/+0
\|
*	Hook for MPPA_K1c (generates Risc-V code for now)	Cyril SIX	2018-04-04	1	-0/+619