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

	Commit message (Expand)	Author	Age	Files	Lines
*	[BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...	Cyril SIX	2021-06-01	1	-4/+5
*	Move declarations of __builtin_clz* and __builtin_ctz* to C2C.ml	Xavier Leroy	2020-07-27	1	-13/+0
*	Remove the cparser/Builtins module	Xavier Leroy	2019-07-17	1	-2/+2
*	Moved common buitlins to C2C gernic_builtins.	Bernhard Schommer	2017-09-26	1	-9/+0
*	bug 19318, add implementation of __builtin_ctz, __builtin_ctzl and __builtin_...	Michael Schmidt	2016-07-08	1	-0/+6
*	Add CLZ builtins for ARM and IA32	Xavier Leroy	2015-12-22	1	-0/+4
*	The return type of __builtin_clz() et al is "int", as documented and for GCC ...v2.6	Xavier Leroy	2015-12-21	1	-1/+1
*	Experiment: support a subset of GCC's extended asm statements.	Xavier Leroy	2015-04-17	1	-0/+4
*	Cold feet: suppress builtins for load with reservation/store conditional, use...	xleroy	2014-08-28	1	-17/+1
*	Rename __builtin_cntlz to __builtin_clz.	xleroy	2014-08-27	1	-1/+1
*	Wrong types for strex builtins.	xleroy	2014-08-20	1	-4/+4
*	Add some more synchronization builtins	xleroy	2014-08-20	1	-1/+19
*	All targets: add __builtin_membar	xleroy	2014-07-28	1	-0/+5
*	Fine hair splitting depending on whether va_list is a scalar type (IA32, ARM)...	xleroy	2014-01-01	1	-0/+1
*	Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...	xleroy	2014-01-01	1	-1/+4
*	Revert suppression of __builtin_{read,write}_reversed for x86 and ARM,	xleroy	2013-04-29	1	-1/+10
*	Add __builtin_bswap16 and __builtin_bswap32 to all ports.	xleroy	2013-04-20	1	-10/+5
*	Updated ARM port.	xleroy	2012-07-10	1	-4/+4
*	checklink: first import of Valentin Robert's validator for asm and link	xleroy	2012-03-28	1	-1/+0
*	More builtins for ARM and PowerPC	xleroy	2011-08-05	1	-0/+2
*	ARM: added reversed load/store builtins + bswap builtin (to be tested)	xleroy	2011-07-30	1	-3/+17
*	Handling of volatile accesses through builtin functions.	xleroy	2010-03-08	1	-0/+27