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

	Commit message (Collapse)	Author	Age	Files	Lines
...
\| *	mul+madd immediate	David Monniaux	2019-03-19	1	-0/+4
\| \|
\| *	mul immediate	David Monniaux	2019-03-19	1	-1/+1
\| \|
\| *	reverse madd	David Monniaux	2019-03-19	1	-0/+2
\| \|
\| *	mandw mais ça coince	David Monniaux	2019-03-18	1	-0/+2
\| \|
* \|	added helper functions but strange	David Monniaux	2019-03-19	1	-1/+47
\|/ \| \| \|	idiv.c: error: __compcert_i32_sdiv: missing or incorrect declaration
*	some more andn / orn	David Monniaux	2019-03-18	1	-0/+4
\|
*	andn/orn start being generated	David Monniaux	2019-03-18	1	-0/+2
\|
*	andn / orn suite	David Monniaux	2019-03-18	1	-1/+1
\|
*	nxor	David Monniaux	2019-03-16	1	-0/+2
\|
*	nor implemente	David Monniaux	2019-03-16	1	-0/+2
\|
*	some more nand	David Monniaux	2019-03-16	1	-1/+6
\|
*	select rotate ops 32-bit	David Monniaux	2019-03-16	1	-0/+14
\|
*	Hook for MPPA_K1c (generates Risc-V code for now)	Cyril SIX	2018-04-04	1	-0/+450