ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/libecb/ecb.h
(Generate patch)

Comparing libecb/ecb.h (file contents):
Revision 1.94 by root, Tue May 29 21:03:20 2012 UTC vs.
Revision 1.117 by root, Thu Sep 5 18:44:29 2013 UTC

… …
29 29
30#ifndef ECB_H 30#ifndef ECB_H
31#define ECB_H 31#define ECB_H
32 32
33/* 16 bits major, 16 bits minor */ 33/* 16 bits major, 16 bits minor */
34#define ECB_VERSION 0x00010001 34#define ECB_VERSION 0x00010003
35 35
36#ifdef _WIN32 36#ifdef _WIN32
37 typedef signed char int8_t; 37 typedef signed char int8_t;
38 typedef unsigned char uint8_t; 38 typedef unsigned char uint8_t;
39 typedef signed short int16_t; 39 typedef signed short int16_t;
… …
54 #else 54 #else
55 #define ECB_PTRSIZE 4 55 #define ECB_PTRSIZE 4
56 typedef uint32_t uintptr_t; 56 typedef uint32_t uintptr_t;
57 typedef int32_t intptr_t; 57 typedef int32_t intptr_t;
58 #endif 58 #endif
59 typedef intptr_t ptrdiff_t;
60#else 59#else
61 #include <inttypes.h> 60 #include <inttypes.h>
62 #if UINTMAX_MAX > 0xffffffffU 61 #if UINTMAX_MAX > 0xffffffffU
63 #define ECB_PTRSIZE 8 62 #define ECB_PTRSIZE 8
64 #else 63 #else
65 #define ECB_PTRSIZE 4 64 #define ECB_PTRSIZE 4
65 #endif
66#endif
67
68/* work around x32 idiocy by defining proper macros */
69#if __x86_64 || _M_AMD64
70 #if __ILP32
71 #define ECB_AMD64_X32 1
72 #else
73 #define ECB_AMD64 1
66 #endif 74 #endif
67#endif 75#endif
68 76
69/* many compilers define _GNUC_ to some versions but then only implement 77/* many compilers define _GNUC_ to some versions but then only implement
70 * what their idiot authors think are the "more important" extensions, 78 * what their idiot authors think are the "more important" extensions,
… …
83 91
84#define ECB_C (__STDC__+0) /* this assumes that __STDC__ is either empty or a number */ 92#define ECB_C (__STDC__+0) /* this assumes that __STDC__ is either empty or a number */
85#define ECB_C99 (__STDC_VERSION__ >= 199901L) 93#define ECB_C99 (__STDC_VERSION__ >= 199901L)
86#define ECB_C11 (__STDC_VERSION__ >= 201112L) 94#define ECB_C11 (__STDC_VERSION__ >= 201112L)
87#define ECB_CPP (__cplusplus+0) 95#define ECB_CPP (__cplusplus+0)
88#define ECB_CPP98 (__cplusplus >= 199711L)
89#define ECB_CPP11 (__cplusplus >= 201103L) 96#define ECB_CPP11 (__cplusplus >= 201103L)
97
98#if ECB_CPP
99 #define ECB_EXTERN_C extern "C"
100 #define ECB_EXTERN_C_BEG ECB_EXTERN_C {
101 #define ECB_EXTERN_C_END }
102#else
103 #define ECB_EXTERN_C extern
104 #define ECB_EXTERN_C_BEG
105 #define ECB_EXTERN_C_END
106#endif
90 107
91/*****************************************************************************/ 108/*****************************************************************************/
92 109
93/* ECB_NO_THREADS - ecb is not used by multiple threads, ever */ 110/* ECB_NO_THREADS - ecb is not used by multiple threads, ever */
94/* ECB_NO_SMP - ecb might be used in multiple threads, but only on a single cpu */ 111/* ECB_NO_SMP - ecb might be used in multiple threads, but only on a single cpu */
95 112
96#if ECB_NO_THREADS 113#if ECB_NO_THREADS
97# define ECB_NO_SMP 1 114 #define ECB_NO_SMP 1
98#endif 115#endif
99 116
100#if ECB_NO_SMP 117#if ECB_NO_SMP
101 #define ECB_MEMORY_FENCE do { } while (0) 118 #define ECB_MEMORY_FENCE do { } while (0)
102#endif 119#endif
… …
124 #define ECB_MEMORY_FENCE_ACQUIRE __asm__ __volatile__ ("membar #LoadStore | #LoadLoad" : : : "memory") 141 #define ECB_MEMORY_FENCE_ACQUIRE __asm__ __volatile__ ("membar #LoadStore | #LoadLoad" : : : "memory")
125 #define ECB_MEMORY_FENCE_RELEASE __asm__ __volatile__ ("membar #LoadStore | #StoreStore") 142 #define ECB_MEMORY_FENCE_RELEASE __asm__ __volatile__ ("membar #LoadStore | #StoreStore")
126 #elif defined __s390__ || defined __s390x__ 143 #elif defined __s390__ || defined __s390x__
127 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("bcr 15,0" : : : "memory") 144 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("bcr 15,0" : : : "memory")
128 #elif defined __mips__ 145 #elif defined __mips__
146 /* GNU/Linux emulates sync on mips1 architectures, so we force it's use */
147 /* anybody else who still uses mips1 is supposed to send in their version, with detection code. */
129 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("sync" : : : "memory") 148 #define ECB_MEMORY_FENCE __asm__ __volatile__ (".set mips2; sync; .set mips0" : : : "memory")
130 #elif defined __alpha__ 149 #elif defined __alpha__
131 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("mb" : : : "memory") 150 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("mb" : : : "memory")
132 #elif defined __hppa__ 151 #elif defined __hppa__
133 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("" : : : "memory") 152 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("" : : : "memory")
134 #define ECB_MEMORY_FENCE_RELEASE __asm__ __volatile__ ("") 153 #define ECB_MEMORY_FENCE_RELEASE __asm__ __volatile__ ("")
135 #elif defined __ia64__ 154 #elif defined __ia64__
136 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("mf" : : : "memory") 155 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("mf" : : : "memory")
156 #elif defined __m68k__
157 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("" : : : "memory")
158 #elif defined __m88k__
159 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("tb1 0,%%r0,128" : : : "memory")
160 #elif defined __sh__
161 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("" : : : "memory")
137 #endif 162 #endif
138 #endif 163 #endif
139#endif 164#endif
140 165
141#ifndef ECB_MEMORY_FENCE 166#ifndef ECB_MEMORY_FENCE
142 #if ECB_GCC_VERSION(4,7) 167 #if ECB_GCC_VERSION(4,7)
143 /* see comment below about the C11 memory model. in short - avoid */ 168 /* see comment below (stdatomic.h) about the C11 memory model. */
144 #define ECB_MEMORY_FENCE __atomic_thread_fence (__ATOMIC_SEQ_CST) 169 #define ECB_MEMORY_FENCE __atomic_thread_fence (__ATOMIC_SEQ_CST)
170
171 /* The __has_feature syntax from clang is so misdesigned that we cannot use it
172 * without risking compile time errors with other compilers. We *could*
173 * define our own ecb_clang_has_feature, but I just can't be bothered to work
174 * around this shit time and again.
145 #elif defined __clang && __has_feature (cxx_atomic) 175 * #elif defined __clang && __has_feature (cxx_atomic)
146 /* see above */ 176 * // see comment below (stdatomic.h) about the C11 memory model.
147 #define ECB_MEMORY_FENCE __c11_atomic_thread_fence (__ATOMIC_SEQ_CST) 177 * #define ECB_MEMORY_FENCE __c11_atomic_thread_fence (__ATOMIC_SEQ_CST)
178 */
179
148 #elif ECB_GCC_VERSION(4,4) || defined __INTEL_COMPILER || defined __clang__ 180 #elif ECB_GCC_VERSION(4,4) || defined __INTEL_COMPILER || defined __clang__
149 #define ECB_MEMORY_FENCE __sync_synchronize () 181 #define ECB_MEMORY_FENCE __sync_synchronize ()
150 /*#define ECB_MEMORY_FENCE_ACQUIRE ({ char dummy = 0; __sync_lock_test_and_set (&dummy, 1); }) */
151 /*#define ECB_MEMORY_FENCE_RELEASE ({ char dummy = 1; __sync_lock_release (&dummy ); }) */
152 #elif _MSC_VER >= 1400 /* VC++ 2005 */ 182 #elif _MSC_VER >= 1400 /* VC++ 2005 */
153 #pragma intrinsic(_ReadBarrier,_WriteBarrier,_ReadWriteBarrier) 183 #pragma intrinsic(_ReadBarrier,_WriteBarrier,_ReadWriteBarrier)
154 #define ECB_MEMORY_FENCE _ReadWriteBarrier () 184 #define ECB_MEMORY_FENCE _ReadWriteBarrier ()
155 #define ECB_MEMORY_FENCE_ACQUIRE _ReadWriteBarrier () /* according to msdn, _ReadBarrier is not a load fence */ 185 #define ECB_MEMORY_FENCE_ACQUIRE _ReadWriteBarrier () /* according to msdn, _ReadBarrier is not a load fence */
156 #define ECB_MEMORY_FENCE_RELEASE _WriteBarrier () 186 #define ECB_MEMORY_FENCE_RELEASE _WriteBarrier ()
… …
170#ifndef ECB_MEMORY_FENCE 200#ifndef ECB_MEMORY_FENCE
171 #if ECB_C11 && !defined __STDC_NO_ATOMICS__ 201 #if ECB_C11 && !defined __STDC_NO_ATOMICS__
172 /* we assume that these memory fences work on all variables/all memory accesses, */ 202 /* we assume that these memory fences work on all variables/all memory accesses, */
173 /* not just C11 atomics and atomic accesses */ 203 /* not just C11 atomics and atomic accesses */
174 #include <stdatomic.h> 204 #include <stdatomic.h>
175 /* unfortunately, the C11 memory model seems to be very limited, and unable to express */ 205 /* Unfortunately, neither gcc 4.7 nor clang 3.1 generate any instructions for */
176 /* simple barrier semantics. That means we need to take out thor's hammer. */ 206 /* any fence other than seq_cst, which isn't very efficient for us. */
207 /* Why that is, we don't know - either the C11 memory model is quite useless */
208 /* for most usages, or gcc and clang have a bug */
209 /* I *currently* lean towards the latter, and inefficiently implement */
210 /* all three of ecb's fences as a seq_cst fence */
177 #define ECB_MEMORY_FENCE atomic_thread_fence (memory_order_seq_cst) 211 #define ECB_MEMORY_FENCE atomic_thread_fence (memory_order_seq_cst)
178 #endif
179 #endif 212 #endif
180#endif 213#endif
181 214
182#ifndef ECB_MEMORY_FENCE 215#ifndef ECB_MEMORY_FENCE
183 #if !ECB_AVOID_PTHREADS 216 #if !ECB_AVOID_PTHREADS
… …
459 ecb_inline void ecb_unreachable (void) ecb_noreturn; 492 ecb_inline void ecb_unreachable (void) ecb_noreturn;
460 ecb_inline void ecb_unreachable (void) { } 493 ecb_inline void ecb_unreachable (void) { }
461#endif 494#endif
462 495
463/* try to tell the compiler that some condition is definitely true */ 496/* try to tell the compiler that some condition is definitely true */
464#define ecb_assume(cond) do { if (!(cond)) ecb_unreachable (); } while (0) 497#define ecb_assume(cond) if (!(cond)) ecb_unreachable (); else 0
465 498
466ecb_inline unsigned char ecb_byteorder_helper (void) ecb_const; 499ecb_inline unsigned char ecb_byteorder_helper (void) ecb_const;
467ecb_inline unsigned char 500ecb_inline unsigned char
468ecb_byteorder_helper (void) 501ecb_byteorder_helper (void)
469{ 502{
470 const uint32_t u = 0x11223344; 503 /* the union code still generates code under pressure in gcc, */
471 return *(unsigned char *)&u; 504 /* but less than using pointers, and always seems to */
505 /* successfully return a constant. */
506 /* the reason why we have this horrible preprocessor mess */
507 /* is to avoid it in all cases, at least on common architectures */
508 /* or when using a recent enough gcc version (>= 4.6) */
509#if __i386 || __i386__ || _M_X86 || __amd64 || __amd64__ || _M_X64
510 return 0x44;
511#elif __BYTE_ORDER__ && __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__
512 return 0x44;
513#elif __BYTE_ORDER__ && __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
514 return 0x11;
515#else
516 union
517 {
518 uint32_t i;
519 uint8_t c;
520 } u = { 0x11223344 };
521 return u.c;
522#endif
472} 523}
473 524
474ecb_inline ecb_bool ecb_big_endian (void) ecb_const; 525ecb_inline ecb_bool ecb_big_endian (void) ecb_const;
475ecb_inline ecb_bool ecb_big_endian (void) { return ecb_byteorder_helper () == 0x11; } 526ecb_inline ecb_bool ecb_big_endian (void) { return ecb_byteorder_helper () == 0x11; }
476ecb_inline ecb_bool ecb_little_endian (void) ecb_const; 527ecb_inline ecb_bool ecb_little_endian (void) ecb_const;
… …
507 } 558 }
508#else 559#else
509 #define ecb_array_length(name) (sizeof (name) / sizeof (name [0])) 560 #define ecb_array_length(name) (sizeof (name) / sizeof (name [0]))
510#endif 561#endif
511 562
563/*******************************************************************************/
564/* floating point stuff, can be disabled by defining ECB_NO_LIBM */
565
566/* basically, everything uses "ieee pure-endian" floating point numbers */
567/* the only noteworthy exception is ancient armle, which uses order 43218765 */
568#if 0 \
569 || __i386 || __i386__ \
570 || __amd64 || __amd64__ || __x86_64 || __x86_64__ \
571 || __powerpc__ || __ppc__ || __powerpc64__ || __ppc64__ \
572 || defined __arm__ && defined __ARM_EABI__ \
573 || defined __s390__ || defined __s390x__ \
574 || defined __mips__ \
575 || defined __alpha__ \
576 || defined __hppa__ \
577 || defined __ia64__ \
578 || defined __m68k__ \
579 || defined __m88k__ \
580 || defined __sh__ \
581 || defined _M_IX86 || defined _M_AMD64 || defined _M_IA64
582 #define ECB_STDFP 1
583 #include <string.h> /* for memcpy */
584#else
585 #define ECB_STDFP 0
586 #include <math.h> /* for frexp*, ldexp* */
587#endif
588
589#ifndef ECB_NO_LIBM
590
591 /* convert a float to ieee single/binary32 */
592 ecb_function_ uint32_t ecb_float_to_binary32 (float x) ecb_const;
593 ecb_function_ uint32_t
594 ecb_float_to_binary32 (float x)
595 {
596 uint32_t r;
597
598 #if ECB_STDFP
599 memcpy (&r, &x, 4);
600 #else
601 /* slow emulation, works for anything but -0 */
602 uint32_t m;
603 int e;
604
605 if (x == 0e0f ) return 0x00000000U;
606 if (x > +3.40282346638528860e+38f) return 0x7f800000U;
607 if (x < -3.40282346638528860e+38f) return 0xff800000U;
608 if (x != x ) return 0x7fbfffffU;
609
610 m = frexpf (x, &e) * 0x1000000U;
611
612 r = m & 0x80000000U;
613
614 if (r)
615 m = -m;
616
617 if (e <= -126)
618 {
619 m &= 0xffffffU;
620 m >>= (-125 - e);
621 e = -126;
622 }
623
624 r |= (e + 126) << 23;
625 r |= m & 0x7fffffU;
512#endif 626 #endif
513 627
628 return r;
629 }
630
631 /* converts an ieee single/binary32 to a float */
632 ecb_function_ float ecb_binary32_to_float (uint32_t x) ecb_const;
633 ecb_function_ float
634 ecb_binary32_to_float (uint32_t x)
635 {
636 float r;
637
638 #if ECB_STDFP
639 memcpy (&r, &x, 4);
640 #else
641 /* emulation, only works for normals and subnormals and +0 */
642 int neg = x >> 31;
643 int e = (x >> 23) & 0xffU;
644
645 x &= 0x7fffffU;
646
647 if (e)
648 x |= 0x800000U;
649 else
650 e = 1;
651
652 /* we distrust ldexpf a bit and do the 2**-24 scaling by an extra multiply */
653 r = ldexpf (x * (0.5f / 0x800000U), e - 126);
654
655 r = neg ? -r : r;
656 #endif
657
658 return r;
659 }
660
661 /* convert a double to ieee double/binary64 */
662 ecb_function_ uint64_t ecb_double_to_binary64 (double x) ecb_const;
663 ecb_function_ uint64_t
664 ecb_double_to_binary64 (double x)
665 {
666 uint64_t r;
667
668 #if ECB_STDFP
669 memcpy (&r, &x, 8);
670 #else
671 /* slow emulation, works for anything but -0 */
672 uint64_t m;
673 int e;
674
675 if (x == 0e0 ) return 0x0000000000000000U;
676 if (x > +1.79769313486231470e+308) return 0x7ff0000000000000U;
677 if (x < -1.79769313486231470e+308) return 0xfff0000000000000U;
678 if (x != x ) return 0X7ff7ffffffffffffU;
679
680 m = frexp (x, &e) * 0x20000000000000U;
681
682 r = m & 0x8000000000000000;;
683
684 if (r)
685 m = -m;
686
687 if (e <= -1022)
688 {
689 m &= 0x1fffffffffffffU;
690 m >>= (-1021 - e);
691 e = -1022;
692 }
693
694 r |= ((uint64_t)(e + 1022)) << 52;
695 r |= m & 0xfffffffffffffU;
696 #endif
697
698 return r;
699 }
700
701 /* converts an ieee double/binary64 to a double */
702 ecb_function_ double ecb_binary64_to_double (uint64_t x) ecb_const;
703 ecb_function_ double
704 ecb_binary64_to_double (uint64_t x)
705 {
706 double r;
707
708 #if ECB_STDFP
709 memcpy (&r, &x, 8);
710 #else
711 /* emulation, only works for normals and subnormals and +0 */
712 int neg = x >> 63;
713 int e = (x >> 52) & 0x7ffU;
714
715 x &= 0xfffffffffffffU;
716
717 if (e)
718 x |= 0x10000000000000U;
719 else
720 e = 1;
721
722 /* we distrust ldexp a bit and do the 2**-53 scaling by an extra multiply */
723 r = ldexp (x * (0.5 / 0x10000000000000U), e - 1022);
724
725 r = neg ? -r : r;
726 #endif
727
728 return r;
729 }
730
731#endif
732
733#endif
734

Diff Legend

– Removed lines
+ Added lines
< Changed lines
> Changed lines