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

	Commit message (Expand)	Author	Age	Files	Lines
*	Allow Long as const result for ppc64 variant.	Bernhard Schommer	2019-08-13	1	-0/+1
*	Perform constant propagation and strength reduction on conditional moves	Xavier Leroy	2019-06-17	1	-1/+11
*	Improve strength reduction of unsigned comparisons x ==u 0, x !=u 0, etc (#59)	Xavier Leroy	2018-02-16	1	-0/+16
*	Optimization for division by one during constant propagation (#39)	Michael Schmidt	2017-12-05	1	-6/+9
*	Constprop strength reduction (#17)	Bernhard Schommer	2017-07-12	1	-0/+96
*	Issue #16P: wrong rlwinm instruction generated by constant propagation	Xavier Leroy	2017-07-05	1	-4/+8
*	Hybrid 64bit/32bit PowerPC port	Bernhard Schommer	2017-05-03	1	-3/+3
*	Update PowerPC port (not tested yet)	Xavier Leroy	2016-10-25	1	-2/+0
*	Support for 64-bit architectures: update the PowerPC port	Xavier Leroy	2016-10-01	1	-14/+24
*	Value analysis: keep track of pointer values that leak through small integers...	Xavier Leroy	2015-07-19	1	-7/+7
*	Merge of "newspilling" branch:	xleroy	2014-07-23	1	-6/+8
*	Constprop: use "not" for "xorimm(-1)"; optimize == 1 and != 0 comparisons ove...	xleroy	2014-04-09	1	-4/+20
*	Add option -Os to optimize for code size rather than for execution speed.	xleroy	2014-02-19	1	-0/+1
*	Merge of branch value-analysis.	xleroy	2013-12-20	1	-150/+36
*	powerpc/: new unary operation "addsymbol"	xleroy	2013-11-17	1	-0/+1
*	Floats.v, Nan.v: hard-wire the general shape of binop_pl, so that no axioms	xleroy	2013-09-14	1	-0/+7
*	Optimize integer divisions by positive constants, turning them into	xleroy	2013-07-29	1	-0/+2
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-0/+4
*	Updated ARM and PowerPC ports with new handling of __builtin_annot.	xleroy	2013-02-24	1	-11/+0
*	Remove some useless "Require".	xleroy	2012-12-30	1	-1/+0
*	Make min_int / -1 and min_int % -1 semantically undefined	xleroy	2012-06-09	1	-2/+6
*	Merge of the newmem branch:	xleroy	2012-05-21	1	-2/+20
*	PowerPC: remove the fmadd and fmsub operators/Asm instructions	xleroy	2012-03-07	1	-2/+0
*	Added volatile_read_global and volatile_store_global builtins.	xleroy	2012-01-15	1	-0/+11
*	Merge of the nonstrict-ops branch:	xleroy	2012-01-14	1	-0/+277