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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Implement support for big endian arm targets.	Bernhard Schommer	2016-08-05	1	-3/+3
\| \| \| \| \| \| \| \|	Adds support for the big endian arm targets by making the target endianess flag configurable, adding support for the big endian calling conventions, rewriting memory access patterns and adding big endian versions of the runtime functions. Bug 19418
*	Support va_arg for vararg arguments of composite (struct/union) types.	Xavier Leroy	2015-03-20	1	-0/+12
\| \| \| \|	ARM is done, IA32 and PowerPC remain to be updated.
*	configure: distinguish between ABI and processor model.	xleroy	2014-07-29	1	-1/+1
\| \| \| \| \| \| \| \|	ARM: various tweaks, incl. support for SDIV and UDIV insns when available. test/regression/funptr2.c: Thumb does weird things with <function ptr>+1. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2555 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	ARM port: add support for Thumb2. To be tested.	xleroy	2014-07-27	1	-21/+15
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2549 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be ↵	xleroy	2014-01-01	1	-0/+83
	tested on PowerPC and ARM. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2394 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e