/*----------------------------------------------------------------------------*/  
/**
 *	This confidential and proprietary software may be used only as
 *	authorised by a licensing agreement from ARM Limited
 *	(C) COPYRIGHT 2011-2012 ARM Limited
 *	ALL RIGHTS RESERVED
 *
 *	The entire notice above must be reproduced on all authorised
 *	copies and copies may only be made to the extent permitted
 *	by a licensing agreement from ARM Limited.
 *
 *	@brief	Soft IEEE-754 floating point library.
 */ 
/*----------------------------------------------------------------------------*/ 

#ifndef SOFTFLOAT_H_INCLUDED

#define SOFTFLOAT_H_INCLUDED

#if defined __cplusplus
extern "C"
{
#endif

#if defined __cplusplus && !defined(_MSC_VER)

	/* if compiling as C++, we need to define these macros in order to obtain all the macros in stdint.h . */
	#define __STDC_LIMIT_MACROS
	#define __STDC_CONSTANT_MACROS
	#include <stdint.h>

#else

	typedef unsigned char uint8_t;
	typedef signed char int8_t;
	typedef unsigned short uint16_t;
	typedef signed short int16_t;
	typedef unsigned int uint32_t;
	typedef signed int int32_t;

#endif


uint32_t clz32(uint32_t p);


/* targets that don't have UINT32_C probably don't have the rest of C99s stdint.h */
#ifndef UINT32_C

	#define PASTE(a) a
	#define UINT64_C(a) PASTE(a##ULL)
	#define UINT32_C(a) PASTE(a##U)
	#define INT64_C(a) PASTE(a##LL)
	#define INT32_C(a) a
	
	#define PRIX32 "X"
	#define PRId32 "d"
	#define PRIu32 "u"
	#define PRIX64 "LX"
	#define PRId64 "Ld"
	#define PRIu64 "Lu"

#endif

	/*	sized soft-float types. These are mapped to the sized integer types of C99, instead of C's
		floating-point types; this is because the library needs to maintain exact, bit-level control on all
		operations on these data types. */
	typedef uint16_t sf16;
	typedef uint32_t sf32;

	/* the five rounding modes that IEEE-754r defines */
	typedef enum
	{
		SF_UP = 0,				/* round towards positive infinity */
		SF_DOWN = 1,			/* round towards negative infinity */
		SF_TOZERO = 2,			/* round towards zero */
		SF_NEARESTEVEN = 3,		/* round toward nearest value; if mid-between, round to even value */
		SF_NEARESTAWAY = 4		/* round toward nearest value; if mid-between, round away from zero */
	} roundmode;

	/* narrowing float->float conversions */
	sf16 sf32_to_sf16(sf32, roundmode);

	/* widening float->float conversions */
	sf32 sf16_to_sf32(sf16);

	sf16 float_to_sf16(float, roundmode);
	float sf16_to_float(sf16);


#if defined __cplusplus
}
#endif

#endif