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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1	Cyril SIX	2021-06-01	1	-2/+2
\|\
\| *	collision of registers	David Monniaux	2021-04-12	1	-2/+2
\| \|
* \|	fix aarch64 merge?	Léo Gourdin	2021-03-29	1	-0/+754
\| \|
* \|	Merge branch 'master' into merge_master_8.13.1	Sylvain Boulmé	2021-03-23	1	-638/+0
\|\ \ \| \|/ \|/\| \| \| \| \| \| \| \| \| \| \| \| \|	PARTIAL MERGE (PARTLY BROKEN). See unsolved conflicts in: aarch64/TO_MERGE and riscV/TO_MERGE WARNING: interface of va_args and assembly sections have changed
\| *	Section handling: finer control of variable initialization	Xavier Leroy	2021-02-23	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Distinguish between: - uninitialized variables, which can go in COMM if supported - variables initialized with fixed, numeric quantities, which can go in a readonly section if "const" - variables initialized with symbol addresses which may need relocation, which cannot go in a readonly section even if "const", but can go in a special "const_data" section. Also: on macOS, use ".const" instead of ".literal8" for literals, as not all literals have size 8.
\| *	Introduce and use PrintAsmaux.variable_section	Xavier Leroy	2021-02-23	1	-4/+4
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	This is a generalization of the previous PrintAsmaux.common_section function that - handles initialized variables in addition to uninitialized variables; - can be used for Section_const, not just for Section_data.
\| *	"macosx" is now called "macos"	Xavier Leroy	2021-01-18	1	-1/+1
\| \| \| \| \| \| \| \| \| \|	The configure script still accepts "macosx" for backward compatibility, but every other part of CompCert now uses "macos".
\| *	AArch64 / macOS: use __DATA,__CONST section instead of .const (temporary fix)	Xavier Leroy	2020-12-26	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	The .const section cannot contain absolute references to symbols, as these may need relocation and therefore must be writable. This should be fixed more generally by distinguishing between initialization data that contains absolute references to symbols and initialization data that does not.
\| *	AArch64: macOS port	Xavier Leroy	2020-12-26	1	-109/+223
\| \| \| \| \| \| \| \| \| \|	This commit adds support for macOS (and probably iOS) running on AArch64 / ARM 64-bit / "Apple silicon" processors.
\| *	AArch64: clarify the printing of extending-register arithmetic operations	Xavier Leroy	2020-12-26	1	-13/+13
\| \| \| \| \| \| \| \| \| \|	The extended register is now printed as an X register if the extension mode is UXTX, and as a W register otherwise.
\| *	AArch64: wrong function alignment	Xavier Leroy	2020-12-26	1	-1/+1
\| \| \| \| \| \| \| \| \| \|	The alignment was 2 bytes (like for ARM) but should be 4 bytes. It was ignored by the GNU assembler, but the LLVM assembler warns.
* \|	Adding fp stores pair	Léo Gourdin	2021-01-20	1	-0/+4
\| \|
* \|	Adding fp loads pair	Léo Gourdin	2021-01-20	1	-0/+4
\| \|
* \|	Merge branch 'kvx-work' into aarch64-peephole	Sylvain Boulmé	2020-12-17	1	-0/+6
\|\ \
\| * \|	Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8	David Monniaux	2020-11-18	1	-0/+6
\| \|\\|
\| \| *	Added implementation for fmin/fmax for aarch64.	Bernhard Schommer	2020-11-06	1	-0/+4
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	The two built-in function map to the fmax and fmin instruction. Bug 30035
\| \| *	AArch64 implementation of __builtin_ctz*	Xavier Leroy	2020-07-27	1	-0/+2
\| \| \| \| \| \| \| \| \| \| \| \|	Using the "rbit" instruction (reverse bits).
* \| \|	Big improvment in peephole, changing LDP/STP semantics	Léo Gourdin	2020-12-10	1	-4/+4
\| \| \|
* \| \|	a first working draft on ldp/stp peephole	Léo Gourdin	2020-12-04	1	-3/+5
\| \| \|
* \| \|	Adding semantics for Pldp	Léo Gourdin	2020-12-02	1	-1/+3
\| \| \| \| \| \| \| \| \|	This commit prepare the backend for a peephole optimization in Asmblock.
* \| \|	Proof of Pfmovimm fine tuned OK, moving float checks in Asm	Léo Gourdin	2020-11-26	1	-2/+2
\| \| \| \| \| \| \| \| \|	Also some simplifications in Asmblockdeps
* \| \|	Fine tuning for Pfmovimm	Léo Gourdin	2020-11-26	1	-17/+2
\| \| \| \| \| \| \| \| \| \| \| \|	- Functions to check a float logical immediate were translated from ocaml target printer in coq Asmblock - Some proof are admitted for now (we'll see if it is a good idea after some tests)
* \| \|	Smart scheduler build problem and flatten solution OK	Léo Gourdin	2020-11-04	1	-1/+1
\| \| \|
* \| \|	Preparation for postpass in aarch64 and refactoring	Léo Gourdin	2020-11-02	1	-4/+4
\| \| \|
* \| \|	aarch64 compiles again (but ccomp generates incorrect assembly)	Sylvain Boulmé	2020-10-23	1	-4/+4
\|/ /
* \|	Merge remote-tracking branch 'origin/mppa-profiling' into mppa-features	David Monniaux	2020-04-12	1	-0/+41
\|\ \
\| * \|	fix for aarch64	David Monniaux	2020-04-11	1	-1/+1
\| \| \|
\| * \|	fix writing profiling info for Aarch64	David Monniaux	2020-04-10	1	-1/+7
\| \| \|
\| * \|	use proper local labels	David Monniaux	2020-04-10	1	-1/+1
\| \| \|
\| * \|	profiling still crashes on Aarch64	David Monniaux	2020-04-10	1	-1/+0
\| \| \|
\| * \|	various fixes for aarch64 profiling	David Monniaux	2020-04-10	1	-0/+36
\| \|/
\| *	Revert "Remove `__builtin_nop` for some architectures. (#208)"	Bernhard Schommer	2020-01-03	1	-0/+3
\| \| \| \| \| \| \| \|	This reverts commit 4dfcd7d4be18e8bc437ca170782212aa06635a95.
\| *	Remove `__builtin_nop` for some architectures. (#208)	Bernhard Schommer	2019-12-21	1	-3/+0
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	The `__builtin_nop` function is documented only for PowerPC. It was added to the other architectures by copy paste, but has no known uses. So, remove `__builtin_nop` from all architectures but PowerPC.
* \|	fixes for aarch64 arm ppc ppc64	David Monniaux	2020-02-24	1	-1/+3
\|/
*	AArch64 port	Xavier Leroy	2019-08-08	1	-0/+592
	This commit adds a back-end for the AArch64 architecture, namely ARMv8 in 64-bit mode.