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

	Commit message (Collapse)	Author	Age	Files	Lines
*	more inlining	David Monniaux	2020-03-15	1	-3/+6
\|
*	Merge branch 'mppa-cse2' of ↵	David Monniaux	2020-03-03	1	-1/+1
\|\ \| \| \| \| \| \|	gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
\| *	ONE "admitted" and things compile	David Monniaux	2019-09-06	1	-1/+1
\| \|
* \|	Cosmetic: in OCaml code, write "open! Module" instead of "open !Module"	Xavier Leroy	2020-02-21	1	-1/+1
\|/ \| \| \| \| \|	"open!" is the form used in the examples in the OCaml manual. Based on a quick poll it seems to be the preferred form of the OCaml core dev team.
*	Introduce and use C2C.atom_inline function with 3-valued result	Xavier Leroy	2017-12-08	1	-3/+6
\| \| \| \| \| \|	Instead of two Boolean tests C2C.atom_is_{no,}inline, have a single C2C.atom_inline function that returns one of the three possible values stored in the the a_inline field.
*	Remove unused code. BUg 22642	Bernhard Schommer	2017-12-08	1	-2/+2
\|
*	Store the different inlining cases.	Bernhard Schommer	2017-12-08	1	-2/+2
\| \| \| \| \| \| \|	In order to correctly support the noinline attribute we must store whether the function was specified with an inline specifer, had a noinline attribute or nothing. Bug 22642
*	Do not inline varag functions. Bug 22642	Bernhard Schommer	2017-12-07	1	-3/+3
\|
*	Inlining of static functions which are only called once. (#37)	Bernhard Schommer	2017-12-07	1	-2/+78
\| \| \| \| \| \| \| \| \|	New inlining heuristic for static functions. Static functions that are only called once can always be inlined, since they can be removed safely after inlining and no call prologue, epilogue, as well as register saving and needs to be generated.
*	Add optimization option finline.	Bernhard Schommer	2017-04-07	1	-1/+1
\| \| \| \| \| \|	The new option f(no-)inline controlls whether inlining is active or not. Bug 21343.
*	Deactivate warning 27 and added back removed code.	Bernhard Schommer	2016-03-15	1	-1/+1
\| \| \| \| \| \|	The code was mostly there for documentation effort. So warning 27 is deactivated again. Bug 18349
*	Code cleanup.	Bernhard Schommer	2016-03-10	1	-3/+1
\| \| \| \| \| \|	Removed some unused variables, functions etc. and resolved some problems which occur if all warnings except 3,4,9 and 29 are active. Bug 18394.
*	Merge of the newmem branch:	xleroy	2012-05-21	1	-0/+18
	- Revised memory model with Max and Cur permissions, but without bounds - Constant propagation of 'const' globals - Function inlining at RTL level - (Unprovable) elimination of unreferenced static definitions git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1899 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e