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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Double rounding error in int64->float32 conversions on PowerPC and ARM	Xavier Leroy	2020-03-30	1	-5/+5
\| \| \| \| \| \| \| \| \|	The "stof" and "utof" runtime functions contain a round-to-odd step that avoids double rounding. However, this step was incorrectly coded on PowerPC (stof and utof), PowerPC64 (utof), and ARM (stof), making round-to-odd ineffective and causing double rounding. Closes: #343
*	Prefixed runtime functions.	Bernhard Schommer	2017-08-25	4	-17/+17
\| \| \| \| \| \| \|	The runtime functions are prefixed with compcert in order to avoid potential clashes with runtime/builtin functions of other compilers. Bug 22062
*	Hybrid 64bit/32bit PowerPC port	Bernhard Schommer	2017-05-03	5	-0/+440
	This commit adds code generation for 64bit PowerPC architectures which execute 32bit applications. The main difference to the normal 32bit PowerPC port is that it uses the available 64bit instructions instead of using the runtime library functions. However pointers are still 32bit and the 32bit calling convention is used. In order to use this port the target architecture must be either in Server execution mode or if in Embedded execution mode the high order 32 bits of GPRs must be implemented in 32-bit mode. Furthermore the operating system must preserve the high order 32 bits of GPRs.