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

	Commit message (Expand)	Author	Age	Files	Lines
*	Double rounding error in int64->float32 conversions on PowerPC and ARM	Xavier Leroy	2020-03-30	2	-14/+13
*	Prefixed runtime functions.	Bernhard Schommer	2017-08-25	16	-75/+75
*	Hybrid 64bit/32bit PowerPC port	Bernhard Schommer	2017-05-03	12	-677/+0
*	powerpc/runtime: add comments	Xavier Leroy	2016-10-28	1	-1/+2
*	runtime/powerpc: remove useless files, add comments	Xavier Leroy	2016-10-28	2	-140/+0
*	Update PowerPC port (not tested yet)	Xavier Leroy	2016-10-25	2	-0/+144
*	Turn 64-bit integer division and modulus by constants into multiply-high	Xavier Leroy	2016-10-04	2	-0/+140
*	Wrong syntax in fcmp.	Xavier Leroy	2015-09-13	1	-2/+2
*	PowerPC 64 bits: alternate, more efficient implementations of int64 operations.	Xavier Leroy	2015-09-12	12	-0/+677
*	Support va_arg for vararg arguments of composite (struct/union) types.	Xavier Leroy	2015-03-20	1	-0/+7
*	stdarg.h: assorted fixes for PowerPC	xleroy	2014-01-01	1	-5/+5
*	Fine hair splitting depending on whether va_list is a scalar type (IA32, ARM)...	xleroy	2014-01-01	1	-3/+3
*	Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...	xleroy	2014-01-01	1	-0/+156
*	powerpc: faster implementation of long division modeled on that for IA32	xleroy	2013-07-03	4	-68/+218
*	Wrong pseudo-instr	xleroy	2013-05-06	1	-1/+1
*	Support for in64 -> float conversions w/ correct rounding.	xleroy	2013-05-06	2	-0/+132
*	ia32/i64_dtou: wrong play on rounding mode	xleroy	2013-05-05	2	-10/+36
*	Typos in comments	xleroy	2013-04-30	2	-3/+3
*	Expand 64-bit integer comparisons into 32-bit integer comparisons.	xleroy	2013-04-29	2	-144/+0
*	Fixes in PowerPC port	xleroy	2013-04-21	6	-61/+108
*	Split arch/int64.s into one file per function.	xleroy	2013-04-20	14	-442/+911
*	Remove __i64_{neg,add,sub,mul}, now handled directly by the compiler.	xleroy	2013-04-20	1	-50/+0
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-0/+492