compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Turn 64-bit integer division and modulus by constants into multiply-high	Xavier Leroy	2016-10-04	3	-0/+124
\| \| \| \| \| \|	This trick was already implemented for 32-bit integer division and modulus. Here we extend it to the 64-bit case. For 32-bit target processors, the runtime library must implement 64-bit multiply-high (signed and unsigned). Tentative implementations are provided for IA32 and PowerPC, but need testing.
*	C reference implementation of the int64 helper functions.	Xavier Leroy	2015-02-14	15	-0/+905
	In test_int64.c: don't test FP->int64 conversions when the FP argument is out of range.