box_defines.h File Reference

#include "xsb_config.h"

Defines
#define	BOX_ID_OFFSET   16
#define	ID_BOXED_INT   1
#define	ID_BOXED_FLOAT   2
#define	LOW_24_BITS_MASK   0xffffff
#define	LOW_16_BITS_MASK   0xffff
#define	INT_LOW_24_BITS(value)   (((unsigned)(value)) >> 24)
#define	FLOAT_HIGH_16_BITS(float)   ((((UInteger)(*((UInteger *)((void *)(& float)))))>>16) & LOW_16_BITS_MASK)
#define	FLOAT_MIDDLE_24_BITS(float)
#define	FLOAT_LOW_24_BITS(float)   (((UInteger)(*(((UInteger *)((void *)(& float)))+1))) & LOW_24_BITS_MASK)

---

Define Documentation

#define BOX_ID_OFFSET   16

#define FLOAT_HIGH_16_BITS (  float   )     ((((UInteger)(*((UInteger *)((void *)(& float)))))>>16) & LOW_16_BITS_MASK)

#define FLOAT_LOW_24_BITS (  float   )     (((UInteger)(*(((UInteger *)((void *)(& float)))+1))) & LOW_24_BITS_MASK)

#define FLOAT_MIDDLE_24_BITS (  float   )

Value: ( (((UInteger)(*(((UInteger *)((void *)(& float)))+1)))>>24) \ | (((UInteger)(*((UInteger *)((void *)&(float)))) & LOW_16_BITS_MASK)<<8) \ )

#define ID_BOXED_FLOAT   2

#define ID_BOXED_INT   1

#define INT_LOW_24_BITS (  value   )     (((unsigned)(value)) >> 24)

#define LOW_16_BITS_MASK   0xffff

#define LOW_24_BITS_MASK   0xffffff

---