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

	Commit message (Collapse)	Author	Age	Files	Lines
*	[BROKEN] Merge with v3.9 : something broken for __builtin_expect in ↵	Cyril SIX	2021-06-01	1	-4/+5
\| \| \| \|	cfrontend/C2C.ml
*	Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8	David Monniaux	2020-11-18	1	-6/+6
\|\
\| *	Add location to transform functions.	Bernhard Schommer	2020-04-20	1	-6/+6
\| \|
* \|	Fix for test/regression/struct2.c	Cyril SIX	2019-10-14	1	-1/+2
\| \|
* \|	Tackling struct passing by value for the future K1C ABI	Cyril SIX	2019-10-14	1	-0/+8
\| \|
* \|	Explicitly naming SP_split_args for easier grepping	Cyril SIX	2019-10-14	1	-1/+1
\|/
*	StructPassing and annotations, continued	Xavier Leroy	2018-03-09	1	-9/+7
\| \| \| \| \|	struct/union arguments to annotations should not be transformed at top level, but the regular function calls contained within must be transformed recursively.
*	Do not transfer arguments for annotations.	Bernhard Schommer	2018-03-09	1	-2/+5
\| \| \| \| \| \| \|	In order to ensure that no transformation for arguments to builtin annotations are used, the original unchanged arguments are used. Bug 23179
*	StructPassing: do not transform arguments to annotation built-ins	Xavier Leroy	2018-03-09	1	-2/+6
\| \| \| \| \| \| \| \| \| \| \| \|	Make sure struct/union arguments to __builtin_annot and related builtins are always passed by reference using the default passing mode, regardless of the ABI for passing struct/unions to "real" functions. This ensures portability of annotations across ABIs, and avoids mismatches between the annotation text and the actual number of arguments (when a struct/union argument is passed as N integer arguments). A similar special case already existed for __builtin_va_arg.
*	Renamed StructReturn to structPassing	Bernhard Schommer	2018-02-16	1	-0/+594