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

	Commit message (Collapse)	Author	Age	Files	Lines
*	begin implementing minf/maxf	David Monniaux	2019-08-29	1	-8/+32
\|
*	osel imm	David Monniaux	2019-06-04	1	-6/+6
\|
*	begin osel imm	David Monniaux	2019-06-04	1	-3/+39
\|
*	Osel -> assembleur	David Monniaux	2019-06-04	1	-82/+6
\|
*	Osel operation (not yet compiled)	David Monniaux	2019-06-04	1	-6/+28
\|
*	rm old select/selectl/selectf/selectfs	David Monniaux	2019-06-03	1	-127/+8
\|
*	standardization of expressions	David Monniaux	2019-05-12	1	-4/+4
\|
*	apply .xs onto addx4 etc	David Monniaux	2019-05-11	1	-2/+2
\|
*	add with shift, beginning	David Monniaux	2019-05-11	1	-3/+4
\|
*	Pmsub compiled	David Monniaux	2019-05-11	1	-13/+1
\|
*	Oaddx -> P	David Monniaux	2019-05-11	1	-10/+10
\|
*	use shift 1-4 in backend	David Monniaux	2019-05-10	1	-14/+0
\|
*	more integer Op	David Monniaux	2019-05-10	1	-11/+148
\|
*	load xs / store xs seem to work	David Monniaux	2019-05-01	1	-1/+2
\|
*	advancing (but broken)	David Monniaux	2019-05-01	1	-0/+4
\|
*	indexed2XS begin	David Monniaux	2019-05-01	1	-3/+5
\|
*	rm unsupported int -> double signed/unsigned ops	David Monniaux	2019-04-29	1	-12/+0
\|
*	add bitfield insert opcode but not yet used nor translated	David Monniaux	2019-04-27	1	-1/+35
\|
*	factor expressions into single file	David Monniaux	2019-04-27	1	-8/+8
\|
*	moved operators to specific file instead of common file	David Monniaux	2019-04-27	1	-13/+13
\|
*	added code for extfzl/extfsl (not very useful since bitfields are limited to ↵	David Monniaux	2019-04-25	1	-1/+28
\| \| \| \|	32 bits)
*	progress	David Monniaux	2019-04-25	1	-2/+15
\|
*	IT COMPILES	David Monniaux	2019-04-25	1	-2/+2
\|
*	some progress on bitfields	David Monniaux	2019-04-25	1	-1/+15
\|
*	Oselectf, Oselectfs with condition	David Monniaux	2019-04-05	1	-47/+95
\|
*	selectl with condition	David Monniaux	2019-04-05	1	-24/+49
\|
*	select_sound	David Monniaux	2019-04-04	1	-0/+15
\|
*	some more progress on select	David Monniaux	2019-04-04	1	-12/+3
\|
*	progressing on select	David Monniaux	2019-04-04	1	-16/+10
\|
*	working on select	David Monniaux	2019-04-04	1	-3/+24
\|
*	working on select	David Monniaux	2019-04-04	1	-28/+58
\|
*	prepare for conditions in cmove	David Monniaux	2019-04-04	1	-9/+24
\|
*	for floats and doubles, asmgen support	David Monniaux	2019-04-03	1	-1/+53
\|
*	problem in ValueAOp	David Monniaux	2019-04-03	1	-3/+3
\|
*	Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary	David Monniaux	2019-04-03	1	-3/+8
\|\
\| *	Started to add addressing with register + register, Mach -> Asm not done yet	Cyril SIX	2019-04-01	1	-3/+8
\| \|
* \|	selectl generation	David Monniaux	2019-03-26	1	-2/+2
\| \|
* \|	better Op select/selectl	David Monniaux	2019-03-25	1	-32/+24
\| \|
* \|	going forward with select/selectl	David Monniaux	2019-03-25	1	-12/+26
\| \|
* \|	begin ternary	David Monniaux	2019-03-24	1	-1/+48
\|/
*	maddl declared	David Monniaux	2019-03-20	1	-17/+10
\|
*	mul immediate	David Monniaux	2019-03-19	1	-0/+5
\|
*	mul immediate begin	David Monniaux	2019-03-19	1	-2/+7
\|
*	plus d'infrastructure pour madd	David Monniaux	2019-03-18	1	-0/+41
\|
*	begin andn orn	David Monniaux	2019-03-18	1	-0/+62
\|
*	long nand, nor, nxor	David Monniaux	2019-03-16	1	-0/+36
\|
*	nxor	David Monniaux	2019-03-16	1	-0/+12
\|
*	nor implemente	David Monniaux	2019-03-16	1	-0/+12
\|
*	nand debut	David Monniaux	2019-03-16	1	-0/+12
\|
*	some more progress on rotate	David Monniaux	2019-03-16	1	-0/+5
\|