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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge branch 'dm-div2' of https://github.com/monniaux/CompCert into mppa-work	David Monniaux	2020-01-15	1	-0/+3
\|\
\| *	ARM generation of 2-instruction signed division by 2 (as opposed to 3-instruc...	David Monniaux	2020-01-14	1	-0/+3
* \|	fixes for ARM	David Monniaux	2019-09-07	1	-4/+9
\|/
*	Implement a `Osel` operation for ARM	Xavier Leroy	2019-05-20	1	-0/+13
*	Import prim token notations before using them, continued	Xavier Leroy	2018-08-27	1	-0/+1
*	Introduce 'cmn' instruction and optimize compare-with-immediate when negated ...	Michael Schmidt	2017-12-15	1	-0/+4
*	Take advantage of ARMv6T2/ARMv7 instructions even if not in Thumb2 mode (#203)	Gergö Barany	2017-09-18	1	-5/+5
*	ARM port: replace Psavelr pseudo-instruction by actual instructions	Xavier Leroy	2017-08-17	1	-3/+20
*	ARM: Generate Pcfi_rel_offset directives directly from Asmgen	Xavier Leroy	2017-08-17	1	-1/+2
*	Improve stack offset addressing	Michael Schmidt	2017-08-02	1	-1/+1
*	Use "Local" as prefix	Xavier Leroy	2017-02-13	1	-2/+2
*	Update ARM port. Not tested yet.	Xavier Leroy	2016-10-25	1	-8/+10
*	Port to Coq 8.5pl2	Xavier Leroy	2016-07-08	1	-5/+4
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-2/+2
*	Upgrade the ARM port to the new builtins.	Xavier Leroy	2015-08-24	1	-3/+1
*	Updating the PowerPC and ARM ports.	Xavier Leroy	2015-03-27	1	-9/+1
*	ARM port: add support for Thumb2. To be tested.	xleroy	2014-07-27	1	-91/+160
*	Merge of "newspilling" branch:	xleroy	2014-07-23	1	-20/+75
*	Instead of having two expansions of shrximm (one in SelectOp, one in Asmgen),...	xleroy	2014-05-28	1	-4/+6
*	- Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.	xleroy	2014-01-12	1	-2/+2
*	Updated ARM backend wrt new static analyses and optimizations.	xleroy	2014-01-02	1	-0/+8
*	Optimize integer divisions by positive constants, turning them into	xleroy	2013-07-29	1	-4/+14
*	More accurate model of condition register flags for ARM and IA32.	xleroy	2013-07-13	1	-42/+42
*	Merge of the float32 branch:	xleroy	2013-05-19	1	-15/+21
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-10/+22
*	Assorted changes to reduce stack and heap requirements when compiling very bi...	xleroy	2013-03-16	1	-4/+22
*	Finished backtracking (cf previous commit) for ARM and PowerPC.	xleroy	2013-03-04	1	-87/+80
*	Revised Stacking and Asmgen passes and Mach semantics:	xleroy	2013-03-01	1	-182/+274
*	Pointers one past	xleroy	2013-02-15	1	-4/+4
*	Remove some useless "Require".	xleroy	2012-12-30	1	-4/+0
*	- Revised non-overflow constraints on memory injections so that	xleroy	2012-07-23	1	-2/+2
*	Support for fcmpzd instruction (float compare with +0.0)	xleroy	2012-03-29	1	-0/+6
*	Merge of the nonstrict-ops branch:	xleroy	2012-01-14	1	-11/+0
*	ARM codegen ported to new ABI + VFD floats	xleroy	2011-07-30	1	-35/+40
*	Revised handling of annotation statements, and more generally built-in functi...	xleroy	2011-06-13	1	-0/+10
*	Merge of branch "unsigned-offsets":	xleroy	2011-04-09	1	-43/+59
*	Merge of the reuse-temps branch:	xleroy	2010-09-02	1	-4/+0
*	Support for inlined built-ins.	xleroy	2010-06-29	1	-1/+3
*	Updating ARM port	xleroy	2010-03-28	1	-3/+6
*	Merge of the newmem and newextcalls branches:	xleroy	2010-03-07	1	-1/+1
*	Added support for jump tables.	xleroy	2009-11-19	1	-0/+3
*	- Added alignment constraints to memory loads and stores.	xleroy	2009-01-11	1	-2/+0
*	Continuation of ARM port.	xleroy	2009-01-01	1	-29/+0
*	Reorganized the development, modularizing away machine-dependent parts.	xleroy	2008-12-30	1	-0/+554