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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Prefixed runtime functions.	Bernhard Schommer	2017-08-25	1	-3/+3
\| \| \| \| \| \| \|	The runtime functions are prefixed with compcert in order to avoid potential clashes with runtime/builtin functions of other compilers. Bug 22062
*	Implement support for big endian arm targets.	Bernhard Schommer	2016-08-05	1	-11/+11
\| \| \| \| \| \| \| \|	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
*	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	-15/+13
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2549 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Adapt to the two different calling conventions for floats.	xleroy	2014-05-02	1	-0/+2
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2476 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Split arch/int64.s into one file per function.	xleroy	2013-04-20	1	-0/+56
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2206 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e