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
*	fix aarch64 merge?	Léo Gourdin	2021-03-29	1	-0/+41
\|
*	Merge branch 'master' into merge_master_8.13.1	Sylvain Boulmé	2021-03-23	1	-27/+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
\| *	"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 port	Xavier Leroy	2020-12-26	1	-2/+16
\| \| \| \| \| \| \| \| \| \|	This commit adds support for macOS (and probably iOS) running on AArch64 / ARM 64-bit / "Apple silicon" processors.
* \|	Merge branch 'kvx-work' into aarch64-peephole	Sylvain Boulmé	2020-12-17	1	-0/+3
\|\\|
\| *	Dual-license aarch64/{Archi.v,Cbuiltins.ml,extractionMachdep.v}	Xavier Leroy	2020-05-05	1	-0/+3
\| \| \| \| \| \| \| \| \| \| \| \|	The corresponding files in all other ports are dual-licensed (GPL + non-commercial), there is no reason it should be different for aarch64.
* \|	aarch64 compiles again (but ccomp generates incorrect assembly)	Sylvain Boulmé	2020-10-23	1	-1/+1
\|/
*	Fix for AArch64 alignment problem (#206)	Bernhard Schommer	2019-11-28	1	-0/+1
\| \| \| \| \| \| \| \| \|	In addressing modes for load and store instructions, the offset must be a multiple of the memory size being accessed. When accessing global variables, this may not be the case if the alignment of the variable is less than its size. Errors occur at link time. This PR extends the check for a representable offset for the addressing of global variables to also check whether the variable is correctly aligned. Only if both conditions are met can we generate the short sequence Padrp / ADadr. Otherwise we go through the generic loadsymbol sequence.
*	AArch64 port	Xavier Leroy	2019-08-08	1	-0/+23
	This commit adds a back-end for the AArch64 architecture, namely ARMv8 in 64-bit mode.