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

Comparing libecb/ecb.h (file contents):
Revision 1.143 by root, Fri Oct 17 10:56:48 2014 UTC vs.
Revision 1.178 by root, Mon Jun 24 22:22:59 2019 UTC

1/* 1/*
2 * libecb - http://software.schmorp.de/pkg/libecb 2 * libecb - http://software.schmorp.de/pkg/libecb
3 * 3 *
4 * Copyright (©) 2009-2014 Marc Alexander Lehmann <libecb@schmorp.de> 4 * Copyright (©) 2009-2015 Marc Alexander Lehmann <libecb@schmorp.de>
5 * Copyright (©) 2011 Emanuele Giaquinta 5 * Copyright (©) 2011 Emanuele Giaquinta
6 * All rights reserved. 6 * All rights reserved.
7 * 7 *
8 * Redistribution and use in source and binary forms, with or without modifica- 8 * Redistribution and use in source and binary forms, with or without modifica-
9 * tion, are permitted provided that the following conditions are met: 9 * tion, are permitted provided that the following conditions are met:
40 40
41#ifndef ECB_H 41#ifndef ECB_H
42#define ECB_H 42#define ECB_H
43 43
44/* 16 bits major, 16 bits minor */ 44/* 16 bits major, 16 bits minor */
45#define ECB_VERSION 0x00010004 45#define ECB_VERSION 0x00010006
46 46
47#ifdef _WIN32 47#ifdef _WIN32
48 typedef signed char int8_t; 48 typedef signed char int8_t;
49 typedef unsigned char uint8_t; 49 typedef unsigned char uint8_t;
50 typedef signed short int16_t; 50 typedef signed short int16_t;
67 typedef uint32_t uintptr_t; 67 typedef uint32_t uintptr_t;
68 typedef int32_t intptr_t; 68 typedef int32_t intptr_t;
69 #endif 69 #endif
70#else 70#else
71 #include <inttypes.h> 71 #include <inttypes.h>
72 #if UINTMAX_MAX > 0xffffffffU 72 #if (defined INTPTR_MAX ? INTPTR_MAX : ULONG_MAX) > 0xffffffffU
73 #define ECB_PTRSIZE 8 73 #define ECB_PTRSIZE 8
74 #else 74 #else
75 #define ECB_PTRSIZE 4 75 #define ECB_PTRSIZE 4
76 #endif 76 #endif
77#endif 77#endif
78 78
79#define ECB_GCC_AMD64 (__amd64 || __amd64__ || __x86_64 || __x86_64__)
80#define ECB_MSVC_AMD64 (_M_AMD64 || _M_X64)
81
79/* work around x32 idiocy by defining proper macros */ 82/* work around x32 idiocy by defining proper macros */
80#if __amd64 || __x86_64 || _M_AMD64 || _M_X64 83#if ECB_GCC_AMD64 || ECB_MSVC_AMD64
81 #if _ILP32 84 #if _ILP32
82 #define ECB_AMD64_X32 1 85 #define ECB_AMD64_X32 1
83 #else 86 #else
84 #define ECB_AMD64 1 87 #define ECB_AMD64 1
85 #endif 88 #endif
98 #define ECB_GCC_VERSION(major,minor) (__GNUC__ > (major) || (__GNUC__ == (major) && __GNUC_MINOR__ >= (minor))) 101 #define ECB_GCC_VERSION(major,minor) (__GNUC__ > (major) || (__GNUC__ == (major) && __GNUC_MINOR__ >= (minor)))
99#endif 102#endif
100 103
101#define ECB_CLANG_VERSION(major,minor) (__clang_major__ > (major) || (__clang_major__ == (major) && __clang_minor__ >= (minor))) 104#define ECB_CLANG_VERSION(major,minor) (__clang_major__ > (major) || (__clang_major__ == (major) && __clang_minor__ >= (minor)))
102 105
103#if __clang__ && defined(__has_builtin) 106#if __clang__ && defined __has_builtin
104 #define ECB_CLANG_BUILTIN(x) __has_builtin(x) 107 #define ECB_CLANG_BUILTIN(x) __has_builtin (x)
105#else 108#else
106 #define ECB_CLANG_BUILTIN(x) 0 109 #define ECB_CLANG_BUILTIN(x) 0
107#endif 110#endif
108 111
109#if __clang__ && defined(__has_extension) 112#if __clang__ && defined __has_extension
110 #define ECB_CLANG_EXTENSION(x) __has_extension(x) 113 #define ECB_CLANG_EXTENSION(x) __has_extension (x)
111#else 114#else
112 #define ECB_CLANG_EXTENSION(x) 0 115 #define ECB_CLANG_EXTENSION(x) 0
113#endif 116#endif
114 117
115#define ECB_CPP (__cplusplus+0) 118#define ECB_CPP (__cplusplus+0)
116#define ECB_CPP11 (__cplusplus >= 201103L) 119#define ECB_CPP11 (__cplusplus >= 201103L)
120#define ECB_CPP14 (__cplusplus >= 201402L)
121#define ECB_CPP17 (__cplusplus >= 201703L)
117 122
118#if ECB_CPP 123#if ECB_CPP
119 #define ECB_C 0 124 #define ECB_C 0
120 #define ECB_STDC_VERSION 0 125 #define ECB_STDC_VERSION 0
121#else 126#else
123 #define ECB_STDC_VERSION __STDC_VERSION__ 128 #define ECB_STDC_VERSION __STDC_VERSION__
124#endif 129#endif
125 130
126#define ECB_C99 (ECB_STDC_VERSION >= 199901L) 131#define ECB_C99 (ECB_STDC_VERSION >= 199901L)
127#define ECB_C11 (ECB_STDC_VERSION >= 201112L) 132#define ECB_C11 (ECB_STDC_VERSION >= 201112L)
133#define ECB_C17 (ECB_STDC_VERSION >= 201710L)
128 134
129#if ECB_CPP 135#if ECB_CPP
130 #define ECB_EXTERN_C extern "C" 136 #define ECB_EXTERN_C extern "C"
131 #define ECB_EXTERN_C_BEG ECB_EXTERN_C { 137 #define ECB_EXTERN_C_BEG ECB_EXTERN_C {
132 #define ECB_EXTERN_C_END } 138 #define ECB_EXTERN_C_END }
147 153
148#if ECB_NO_SMP 154#if ECB_NO_SMP
149 #define ECB_MEMORY_FENCE do { } while (0) 155 #define ECB_MEMORY_FENCE do { } while (0)
150#endif 156#endif
151 157
158/* http://www-01.ibm.com/support/knowledgecenter/SSGH3R_13.1.0/com.ibm.xlcpp131.aix.doc/compiler_ref/compiler_builtins.html */
159#if __xlC__ && ECB_CPP
160 #include <builtins.h>
161#endif
162
163#if 1400 <= _MSC_VER
164 #include <intrin.h> /* fence functions _ReadBarrier, also bit search functions _BitScanReverse */
165#endif
166
152#ifndef ECB_MEMORY_FENCE 167#ifndef ECB_MEMORY_FENCE
153 #if ECB_GCC_VERSION(2,5) || defined __INTEL_COMPILER || (__llvm__ && __GNUC__) || __SUNPRO_C >= 0x5110 || __SUNPRO_CC >= 0x5110 168 #if ECB_GCC_VERSION(2,5) || defined __INTEL_COMPILER || (__llvm__ && __GNUC__) || __SUNPRO_C >= 0x5110 || __SUNPRO_CC >= 0x5110
169 #define ECB_MEMORY_FENCE_RELAXED __asm__ __volatile__ ("" : : : "memory")
154 #if __i386 || __i386__ 170 #if __i386 || __i386__
155 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("lock; orb $0, -1(%%esp)" : : : "memory") 171 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("lock; orb $0, -1(%%esp)" : : : "memory")
156 #define ECB_MEMORY_FENCE_ACQUIRE __asm__ __volatile__ ("" : : : "memory") 172 #define ECB_MEMORY_FENCE_ACQUIRE __asm__ __volatile__ ("" : : : "memory")
157 #define ECB_MEMORY_FENCE_RELEASE __asm__ __volatile__ ("") 173 #define ECB_MEMORY_FENCE_RELEASE __asm__ __volatile__ ("" : : : "memory")
158 #elif __amd64 || __amd64__ || __x86_64 || __x86_64__ 174 #elif ECB_GCC_AMD64
159 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("mfence" : : : "memory") 175 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("mfence" : : : "memory")
160 #define ECB_MEMORY_FENCE_ACQUIRE __asm__ __volatile__ ("" : : : "memory") 176 #define ECB_MEMORY_FENCE_ACQUIRE __asm__ __volatile__ ("" : : : "memory")
161 #define ECB_MEMORY_FENCE_RELEASE __asm__ __volatile__ ("") 177 #define ECB_MEMORY_FENCE_RELEASE __asm__ __volatile__ ("" : : : "memory")
162 #elif __powerpc__ || __ppc__ || __powerpc64__ || __ppc64__ 178 #elif __powerpc__ || __ppc__ || __powerpc64__ || __ppc64__
163 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("sync" : : : "memory") 179 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("sync" : : : "memory")
180 #elif defined __ARM_ARCH_2__ \
181 || defined __ARM_ARCH_3__ || defined __ARM_ARCH_3M__ \
182 || defined __ARM_ARCH_4__ || defined __ARM_ARCH_4T__ \
183 || defined __ARM_ARCH_5__ || defined __ARM_ARCH_5E__ \
184 || defined __ARM_ARCH_5T__ || defined __ARM_ARCH_5TE__ \
185 || defined __ARM_ARCH_5TEJ__
186 /* should not need any, unless running old code on newer cpu - arm doesn't support that */
164 #elif defined __ARM_ARCH_6__ || defined __ARM_ARCH_6J__ \ 187 #elif defined __ARM_ARCH_6__ || defined __ARM_ARCH_6J__ \
165 || defined __ARM_ARCH_6K__ || defined __ARM_ARCH_6ZK__ 188 || defined __ARM_ARCH_6K__ || defined __ARM_ARCH_6ZK__ \
189 || defined __ARM_ARCH_6T2__
166 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("mcr p15,0,%0,c7,c10,5" : : "r" (0) : "memory") 190 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("mcr p15,0,%0,c7,c10,5" : : "r" (0) : "memory")
167 #elif defined __ARM_ARCH_7__ || defined __ARM_ARCH_7A__ \ 191 #elif defined __ARM_ARCH_7__ || defined __ARM_ARCH_7A__ \
168 || defined __ARM_ARCH_7M__ || defined __ARM_ARCH_7R__ 192 || defined __ARM_ARCH_7R__ || defined __ARM_ARCH_7M__
169 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("dmb" : : : "memory") 193 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("dmb" : : : "memory")
170 #elif __aarch64__ 194 #elif __aarch64__
171 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("dmb ish" : : : "memory") 195 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("dmb ish" : : : "memory")
172 #elif (__sparc || __sparc__) && !__sparcv8 196 #elif (__sparc || __sparc__) && !(__sparc_v8__ || defined __sparcv8)
173 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("membar #LoadStore | #LoadLoad | #StoreStore | #StoreLoad" : : : "memory") 197 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("membar #LoadStore | #LoadLoad | #StoreStore | #StoreLoad" : : : "memory")
174 #define ECB_MEMORY_FENCE_ACQUIRE __asm__ __volatile__ ("membar #LoadStore | #LoadLoad" : : : "memory") 198 #define ECB_MEMORY_FENCE_ACQUIRE __asm__ __volatile__ ("membar #LoadStore | #LoadLoad" : : : "memory")
175 #define ECB_MEMORY_FENCE_RELEASE __asm__ __volatile__ ("membar #LoadStore | #StoreStore") 199 #define ECB_MEMORY_FENCE_RELEASE __asm__ __volatile__ ("membar #LoadStore | #StoreStore")
176 #elif defined __s390__ || defined __s390x__ 200 #elif defined __s390__ || defined __s390x__
177 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("bcr 15,0" : : : "memory") 201 #define ECB_MEMORY_FENCE __asm__ __volatile__ ("bcr 15,0" : : : "memory")
200 #if ECB_GCC_VERSION(4,7) 224 #if ECB_GCC_VERSION(4,7)
201 /* see comment below (stdatomic.h) about the C11 memory model. */ 225 /* see comment below (stdatomic.h) about the C11 memory model. */
202 #define ECB_MEMORY_FENCE __atomic_thread_fence (__ATOMIC_SEQ_CST) 226 #define ECB_MEMORY_FENCE __atomic_thread_fence (__ATOMIC_SEQ_CST)
203 #define ECB_MEMORY_FENCE_ACQUIRE __atomic_thread_fence (__ATOMIC_ACQUIRE) 227 #define ECB_MEMORY_FENCE_ACQUIRE __atomic_thread_fence (__ATOMIC_ACQUIRE)
204 #define ECB_MEMORY_FENCE_RELEASE __atomic_thread_fence (__ATOMIC_RELEASE) 228 #define ECB_MEMORY_FENCE_RELEASE __atomic_thread_fence (__ATOMIC_RELEASE)
229 #define ECB_MEMORY_FENCE_RELAXED __atomic_thread_fence (__ATOMIC_RELAXED)
205 230
206 #elif ECB_CLANG_EXTENSION(c_atomic) 231 #elif ECB_CLANG_EXTENSION(c_atomic)
207 /* see comment below (stdatomic.h) about the C11 memory model. */ 232 /* see comment below (stdatomic.h) about the C11 memory model. */
208 #define ECB_MEMORY_FENCE __c11_atomic_thread_fence (__ATOMIC_SEQ_CST) 233 #define ECB_MEMORY_FENCE __c11_atomic_thread_fence (__ATOMIC_SEQ_CST)
209 #define ECB_MEMORY_FENCE_ACQUIRE __c11_atomic_thread_fence (__ATOMIC_ACQUIRE) 234 #define ECB_MEMORY_FENCE_ACQUIRE __c11_atomic_thread_fence (__ATOMIC_ACQUIRE)
210 #define ECB_MEMORY_FENCE_RELEASE __c11_atomic_thread_fence (__ATOMIC_RELEASE) 235 #define ECB_MEMORY_FENCE_RELEASE __c11_atomic_thread_fence (__ATOMIC_RELEASE)
236 #define ECB_MEMORY_FENCE_RELAXED __c11_atomic_thread_fence (__ATOMIC_RELAXED)
211 237
212 #elif ECB_GCC_VERSION(4,4) || defined __INTEL_COMPILER || defined __clang__ 238 #elif ECB_GCC_VERSION(4,4) || defined __INTEL_COMPILER || defined __clang__
213 #define ECB_MEMORY_FENCE __sync_synchronize () 239 #define ECB_MEMORY_FENCE __sync_synchronize ()
214 #elif _MSC_VER >= 1500 /* VC++ 2008 */ 240 #elif _MSC_VER >= 1500 /* VC++ 2008 */
215 /* apparently, microsoft broke all the memory barrier stuff in Visual Studio 2008... */ 241 /* apparently, microsoft broke all the memory barrier stuff in Visual Studio 2008... */
225 #elif defined _WIN32 251 #elif defined _WIN32
226 #include <WinNT.h> 252 #include <WinNT.h>
227 #define ECB_MEMORY_FENCE MemoryBarrier () /* actually just xchg on x86... scary */ 253 #define ECB_MEMORY_FENCE MemoryBarrier () /* actually just xchg on x86... scary */
228 #elif __SUNPRO_C >= 0x5110 || __SUNPRO_CC >= 0x5110 254 #elif __SUNPRO_C >= 0x5110 || __SUNPRO_CC >= 0x5110
229 #include <mbarrier.h> 255 #include <mbarrier.h>
230 #define ECB_MEMORY_FENCE __machine_rw_barrier () 256 #define ECB_MEMORY_FENCE __machine_rw_barrier ()
231 #define ECB_MEMORY_FENCE_ACQUIRE __machine_r_barrier () 257 #define ECB_MEMORY_FENCE_ACQUIRE __machine_acq_barrier ()
232 #define ECB_MEMORY_FENCE_RELEASE __machine_w_barrier () 258 #define ECB_MEMORY_FENCE_RELEASE __machine_rel_barrier ()
259 #define ECB_MEMORY_FENCE_RELAXED __compiler_barrier ()
233 #elif __xlC__ 260 #elif __xlC__
234 #define ECB_MEMORY_FENCE __sync () 261 #define ECB_MEMORY_FENCE __sync ()
235 #endif 262 #endif
236#endif 263#endif
237 264
238#ifndef ECB_MEMORY_FENCE 265#ifndef ECB_MEMORY_FENCE
239 #if ECB_C11 && !defined __STDC_NO_ATOMICS__ 266 #if ECB_C11 && !defined __STDC_NO_ATOMICS__
240 /* we assume that these memory fences work on all variables/all memory accesses, */ 267 /* we assume that these memory fences work on all variables/all memory accesses, */
241 /* not just C11 atomics and atomic accesses */ 268 /* not just C11 atomics and atomic accesses */
242 #include <stdatomic.h> 269 #include <stdatomic.h>
243 /* Unfortunately, neither gcc 4.7 nor clang 3.1 generate any instructions for */
244 /* any fence other than seq_cst, which isn't very efficient for us. */
245 /* Why that is, we don't know - either the C11 memory model is quite useless */
246 /* for most usages, or gcc and clang have a bug */
247 /* I *currently* lean towards the latter, and inefficiently implement */
248 /* all three of ecb's fences as a seq_cst fence */
249 /* Update, gcc-4.8 generates mfence for all c++ fences, but nothing */
250 /* for all __atomic_thread_fence's except seq_cst */
251 #define ECB_MEMORY_FENCE atomic_thread_fence (memory_order_seq_cst) 270 #define ECB_MEMORY_FENCE atomic_thread_fence (memory_order_seq_cst)
271 #define ECB_MEMORY_FENCE_ACQUIRE atomic_thread_fence (memory_order_acquire)
272 #define ECB_MEMORY_FENCE_RELEASE atomic_thread_fence (memory_order_release)
252 #endif 273 #endif
253#endif 274#endif
254 275
255#ifndef ECB_MEMORY_FENCE 276#ifndef ECB_MEMORY_FENCE
256 #if !ECB_AVOID_PTHREADS 277 #if !ECB_AVOID_PTHREADS
276 297
277#if !defined ECB_MEMORY_FENCE_RELEASE && defined ECB_MEMORY_FENCE 298#if !defined ECB_MEMORY_FENCE_RELEASE && defined ECB_MEMORY_FENCE
278 #define ECB_MEMORY_FENCE_RELEASE ECB_MEMORY_FENCE 299 #define ECB_MEMORY_FENCE_RELEASE ECB_MEMORY_FENCE
279#endif 300#endif
280 301
302#if !defined ECB_MEMORY_FENCE_RELAXED && defined ECB_MEMORY_FENCE
303 #define ECB_MEMORY_FENCE_RELAXED ECB_MEMORY_FENCE /* very heavy-handed */
304#endif
305
281/*****************************************************************************/ 306/*****************************************************************************/
282 307
283#if __cplusplus 308#if ECB_CPP
284 #define ecb_inline static inline 309 #define ecb_inline static inline
285#elif ECB_GCC_VERSION(2,5) 310#elif ECB_GCC_VERSION(2,5)
286 #define ecb_inline static __inline__ 311 #define ecb_inline static __inline__
287#elif ECB_C99 312#elif ECB_C99
288 #define ecb_inline static inline 313 #define ecb_inline static inline
302 327
303#define ECB_CONCAT_(a, b) a ## b 328#define ECB_CONCAT_(a, b) a ## b
304#define ECB_CONCAT(a, b) ECB_CONCAT_(a, b) 329#define ECB_CONCAT(a, b) ECB_CONCAT_(a, b)
305#define ECB_STRINGIFY_(a) # a 330#define ECB_STRINGIFY_(a) # a
306#define ECB_STRINGIFY(a) ECB_STRINGIFY_(a) 331#define ECB_STRINGIFY(a) ECB_STRINGIFY_(a)
332#define ECB_STRINGIFY_EXPR(expr) ((expr), ECB_STRINGIFY_ (expr))
307 333
308#define ecb_function_ ecb_inline 334#define ecb_function_ ecb_inline
309 335
310#if ECB_GCC_VERSION(3,1) || ECB_CLANG_VERSION(2,8) 336#if ECB_GCC_VERSION(3,1) || ECB_CLANG_VERSION(2,8)
311 #define ecb_attribute(attrlist) __attribute__ (attrlist) 337 #define ecb_attribute(attrlist) __attribute__ (attrlist)
335 #define ecb_prefetch(addr,rw,locality) 361 #define ecb_prefetch(addr,rw,locality)
336#endif 362#endif
337 363
338/* no emulation for ecb_decltype */ 364/* no emulation for ecb_decltype */
339#if ECB_CPP11 365#if ECB_CPP11
366 // older implementations might have problems with decltype(x)::type, work around it
367 template<class T> struct ecb_decltype_t { typedef T type; };
340 #define ecb_decltype(x) decltype (x) 368 #define ecb_decltype(x) ecb_decltype_t<decltype (x)>::type
341#elif ECB_GCC_VERSION(3,0) || ECB_CLANG_VERSION(2,8) 369#elif ECB_GCC_VERSION(3,0) || ECB_CLANG_VERSION(2,8)
342 #define ecb_decltype(x) __typeof__ (x) 370 #define ecb_decltype(x) __typeof__ (x)
343#endif 371#endif
344 372
345#if _MSC_VER >= 1300 373#if _MSC_VER >= 1300
346 #define ecb_deprecated __declspec(deprecated) 374 #define ecb_deprecated __declspec (deprecated)
347#else 375#else
348 #define ecb_deprecated ecb_attribute ((__deprecated__)) 376 #define ecb_deprecated ecb_attribute ((__deprecated__))
349#endif 377#endif
350 378
379#if _MSC_VER >= 1500
380 #define ecb_deprecated_message(msg) __declspec (deprecated (msg))
381#elif ECB_GCC_VERSION(4,5)
382 #define ecb_deprecated_message(msg) ecb_attribute ((__deprecated__ (msg))
383#else
384 #define ecb_deprecated_message(msg) ecb_deprecated
385#endif
386
387#if _MSC_VER >= 1400
388 #define ecb_noinline __declspec (noinline)
389#else
351#define ecb_noinline ecb_attribute ((__noinline__)) 390 #define ecb_noinline ecb_attribute ((__noinline__))
391#endif
392
352#define ecb_unused ecb_attribute ((__unused__)) 393#define ecb_unused ecb_attribute ((__unused__))
353#define ecb_const ecb_attribute ((__const__)) 394#define ecb_const ecb_attribute ((__const__))
354#define ecb_pure ecb_attribute ((__pure__)) 395#define ecb_pure ecb_attribute ((__pure__))
355 396
356/* http://msdn.microsoft.com/en-us/library/k6ktzx3s.aspx __declspec(noreturn) */ 397#if ECB_C11 || __IBMC_NORETURN
357#if ECB_C11 398 /* http://www-01.ibm.com/support/knowledgecenter/SSGH3R_13.1.0/com.ibm.xlcpp131.aix.doc/language_ref/noreturn.html */
358 #define ecb_noreturn _Noreturn 399 #define ecb_noreturn _Noreturn
400#elif ECB_CPP11
401 #define ecb_noreturn [[noreturn]]
402#elif _MSC_VER >= 1200
403 /* http://msdn.microsoft.com/en-us/library/k6ktzx3s.aspx */
404 #define ecb_noreturn __declspec (noreturn)
359#else 405#else
360 #define ecb_noreturn ecb_attribute ((__noreturn__)) 406 #define ecb_noreturn ecb_attribute ((__noreturn__))
361#endif 407#endif
362 408
363#if ECB_GCC_VERSION(4,3) 409#if ECB_GCC_VERSION(4,3)
390 #define ecb_ctz32(x) __builtin_ctz (x) 436 #define ecb_ctz32(x) __builtin_ctz (x)
391 #define ecb_ctz64(x) __builtin_ctzll (x) 437 #define ecb_ctz64(x) __builtin_ctzll (x)
392 #define ecb_popcount32(x) __builtin_popcount (x) 438 #define ecb_popcount32(x) __builtin_popcount (x)
393 /* no popcountll */ 439 /* no popcountll */
394#else 440#else
395 ecb_function_ int ecb_ctz32 (uint32_t x) ecb_const; 441 ecb_function_ ecb_const int ecb_ctz32 (uint32_t x);
396 ecb_function_ int 442 ecb_function_ ecb_const int
397 ecb_ctz32 (uint32_t x) 443 ecb_ctz32 (uint32_t x)
398 { 444 {
445#if 1400 <= _MSC_VER && (_M_IX86 || _M_X64 || _M_IA64 || _M_ARM)
446 unsigned long r;
447 _BitScanForward (&r, x);
448 return (int)r;
449#else
399 int r = 0; 450 int r = 0;
400 451
401 x &= ~x + 1; /* this isolates the lowest bit */ 452 x &= ~x + 1; /* this isolates the lowest bit */
402 453
403#if ECB_branchless_on_i386 454#if ECB_branchless_on_i386
413 if (x & 0xff00ff00) r += 8; 464 if (x & 0xff00ff00) r += 8;
414 if (x & 0xffff0000) r += 16; 465 if (x & 0xffff0000) r += 16;
415#endif 466#endif
416 467
417 return r; 468 return r;
469#endif
418 } 470 }
419 471
420 ecb_function_ int ecb_ctz64 (uint64_t x) ecb_const; 472 ecb_function_ ecb_const int ecb_ctz64 (uint64_t x);
421 ecb_function_ int 473 ecb_function_ ecb_const int
422 ecb_ctz64 (uint64_t x) 474 ecb_ctz64 (uint64_t x)
423 { 475 {
476#if 1400 <= _MSC_VER && (_M_X64 || _M_IA64 || _M_ARM)
477 unsigned long r;
478 _BitScanForward64 (&r, x);
479 return (int)r;
480#else
424 int shift = x & 0xffffffffU ? 0 : 32; 481 int shift = x & 0xffffffff ? 0 : 32;
425 return ecb_ctz32 (x >> shift) + shift; 482 return ecb_ctz32 (x >> shift) + shift;
483#endif
426 } 484 }
427 485
428 ecb_function_ int ecb_popcount32 (uint32_t x) ecb_const; 486 ecb_function_ ecb_const int ecb_popcount32 (uint32_t x);
429 ecb_function_ int 487 ecb_function_ ecb_const int
430 ecb_popcount32 (uint32_t x) 488 ecb_popcount32 (uint32_t x)
431 { 489 {
432 x -= (x >> 1) & 0x55555555; 490 x -= (x >> 1) & 0x55555555;
433 x = ((x >> 2) & 0x33333333) + (x & 0x33333333); 491 x = ((x >> 2) & 0x33333333) + (x & 0x33333333);
434 x = ((x >> 4) + x) & 0x0f0f0f0f; 492 x = ((x >> 4) + x) & 0x0f0f0f0f;
435 x *= 0x01010101; 493 x *= 0x01010101;
436 494
437 return x >> 24; 495 return x >> 24;
438 } 496 }
439 497
440 ecb_function_ int ecb_ld32 (uint32_t x) ecb_const; 498 ecb_function_ ecb_const int ecb_ld32 (uint32_t x);
441 ecb_function_ int ecb_ld32 (uint32_t x) 499 ecb_function_ ecb_const int ecb_ld32 (uint32_t x)
442 { 500 {
501#if 1400 <= _MSC_VER && (_M_IX86 || _M_X64 || _M_IA64 || _M_ARM)
502 unsigned long r;
503 _BitScanReverse (&r, x);
504 return (int)r;
505#else
443 int r = 0; 506 int r = 0;
444 507
445 if (x >> 16) { x >>= 16; r += 16; } 508 if (x >> 16) { x >>= 16; r += 16; }
446 if (x >> 8) { x >>= 8; r += 8; } 509 if (x >> 8) { x >>= 8; r += 8; }
447 if (x >> 4) { x >>= 4; r += 4; } 510 if (x >> 4) { x >>= 4; r += 4; }
448 if (x >> 2) { x >>= 2; r += 2; } 511 if (x >> 2) { x >>= 2; r += 2; }
449 if (x >> 1) { r += 1; } 512 if (x >> 1) { r += 1; }
450 513
451 return r; 514 return r;
515#endif
452 } 516 }
453 517
454 ecb_function_ int ecb_ld64 (uint64_t x) ecb_const; 518 ecb_function_ ecb_const int ecb_ld64 (uint64_t x);
455 ecb_function_ int ecb_ld64 (uint64_t x) 519 ecb_function_ ecb_const int ecb_ld64 (uint64_t x)
456 { 520 {
521#if 1400 <= _MSC_VER && (_M_X64 || _M_IA64 || _M_ARM)
522 unsigned long r;
523 _BitScanReverse64 (&r, x);
524 return (int)r;
525#else
457 int r = 0; 526 int r = 0;
458 527
459 if (x >> 32) { x >>= 32; r += 32; } 528 if (x >> 32) { x >>= 32; r += 32; }
460 529
461 return r + ecb_ld32 (x); 530 return r + ecb_ld32 (x);
462 }
463#endif 531#endif
532 }
533#endif
464 534
465ecb_function_ ecb_bool ecb_is_pot32 (uint32_t x) ecb_const; 535ecb_function_ ecb_const ecb_bool ecb_is_pot32 (uint32_t x);
466ecb_function_ ecb_bool ecb_is_pot32 (uint32_t x) { return !(x & (x - 1)); } 536ecb_function_ ecb_const ecb_bool ecb_is_pot32 (uint32_t x) { return !(x & (x - 1)); }
467ecb_function_ ecb_bool ecb_is_pot64 (uint64_t x) ecb_const; 537ecb_function_ ecb_const ecb_bool ecb_is_pot64 (uint64_t x);
468ecb_function_ ecb_bool ecb_is_pot64 (uint64_t x) { return !(x & (x - 1)); } 538ecb_function_ ecb_const ecb_bool ecb_is_pot64 (uint64_t x) { return !(x & (x - 1)); }
469 539
470ecb_function_ uint8_t ecb_bitrev8 (uint8_t x) ecb_const; 540ecb_function_ ecb_const uint8_t ecb_bitrev8 (uint8_t x);
471ecb_function_ uint8_t ecb_bitrev8 (uint8_t x) 541ecb_function_ ecb_const uint8_t ecb_bitrev8 (uint8_t x)
472{ 542{
473 return ( (x * 0x0802U & 0x22110U) 543 return ( (x * 0x0802U & 0x22110U)
474 | (x * 0x8020U & 0x88440U)) * 0x10101U >> 16; 544 | (x * 0x8020U & 0x88440U)) * 0x10101U >> 16;
475} 545}
476 546
477ecb_function_ uint16_t ecb_bitrev16 (uint16_t x) ecb_const; 547ecb_function_ ecb_const uint16_t ecb_bitrev16 (uint16_t x);
478ecb_function_ uint16_t ecb_bitrev16 (uint16_t x) 548ecb_function_ ecb_const uint16_t ecb_bitrev16 (uint16_t x)
479{ 549{
480 x = ((x >> 1) & 0x5555) | ((x & 0x5555) << 1); 550 x = ((x >> 1) & 0x5555) | ((x & 0x5555) << 1);
481 x = ((x >> 2) & 0x3333) | ((x & 0x3333) << 2); 551 x = ((x >> 2) & 0x3333) | ((x & 0x3333) << 2);
482 x = ((x >> 4) & 0x0f0f) | ((x & 0x0f0f) << 4); 552 x = ((x >> 4) & 0x0f0f) | ((x & 0x0f0f) << 4);
483 x = ( x >> 8 ) | ( x << 8); 553 x = ( x >> 8 ) | ( x << 8);
484 554
485 return x; 555 return x;
486} 556}
487 557
488ecb_function_ uint32_t ecb_bitrev32 (uint32_t x) ecb_const; 558ecb_function_ ecb_const uint32_t ecb_bitrev32 (uint32_t x);
489ecb_function_ uint32_t ecb_bitrev32 (uint32_t x) 559ecb_function_ ecb_const uint32_t ecb_bitrev32 (uint32_t x)
490{ 560{
491 x = ((x >> 1) & 0x55555555) | ((x & 0x55555555) << 1); 561 x = ((x >> 1) & 0x55555555) | ((x & 0x55555555) << 1);
492 x = ((x >> 2) & 0x33333333) | ((x & 0x33333333) << 2); 562 x = ((x >> 2) & 0x33333333) | ((x & 0x33333333) << 2);
493 x = ((x >> 4) & 0x0f0f0f0f) | ((x & 0x0f0f0f0f) << 4); 563 x = ((x >> 4) & 0x0f0f0f0f) | ((x & 0x0f0f0f0f) << 4);
494 x = ((x >> 8) & 0x00ff00ff) | ((x & 0x00ff00ff) << 8); 564 x = ((x >> 8) & 0x00ff00ff) | ((x & 0x00ff00ff) << 8);
497 return x; 567 return x;
498} 568}
499 569
500/* popcount64 is only available on 64 bit cpus as gcc builtin */ 570/* popcount64 is only available on 64 bit cpus as gcc builtin */
501/* so for this version we are lazy */ 571/* so for this version we are lazy */
502ecb_function_ int ecb_popcount64 (uint64_t x) ecb_const; 572ecb_function_ ecb_const int ecb_popcount64 (uint64_t x);
503ecb_function_ int 573ecb_function_ ecb_const int
504ecb_popcount64 (uint64_t x) 574ecb_popcount64 (uint64_t x)
505{ 575{
506 return ecb_popcount32 (x) + ecb_popcount32 (x >> 32); 576 return ecb_popcount32 (x) + ecb_popcount32 (x >> 32);
507} 577}
508 578
509ecb_inline uint8_t ecb_rotl8 (uint8_t x, unsigned int count) ecb_const; 579ecb_inline ecb_const uint8_t ecb_rotl8 (uint8_t x, unsigned int count);
510ecb_inline uint8_t ecb_rotr8 (uint8_t x, unsigned int count) ecb_const; 580ecb_inline ecb_const uint8_t ecb_rotr8 (uint8_t x, unsigned int count);
511ecb_inline uint16_t ecb_rotl16 (uint16_t x, unsigned int count) ecb_const; 581ecb_inline ecb_const uint16_t ecb_rotl16 (uint16_t x, unsigned int count);
512ecb_inline uint16_t ecb_rotr16 (uint16_t x, unsigned int count) ecb_const; 582ecb_inline ecb_const uint16_t ecb_rotr16 (uint16_t x, unsigned int count);
513ecb_inline uint32_t ecb_rotl32 (uint32_t x, unsigned int count) ecb_const; 583ecb_inline ecb_const uint32_t ecb_rotl32 (uint32_t x, unsigned int count);
514ecb_inline uint32_t ecb_rotr32 (uint32_t x, unsigned int count) ecb_const; 584ecb_inline ecb_const uint32_t ecb_rotr32 (uint32_t x, unsigned int count);
515ecb_inline uint64_t ecb_rotl64 (uint64_t x, unsigned int count) ecb_const; 585ecb_inline ecb_const uint64_t ecb_rotl64 (uint64_t x, unsigned int count);
516ecb_inline uint64_t ecb_rotr64 (uint64_t x, unsigned int count) ecb_const; 586ecb_inline ecb_const uint64_t ecb_rotr64 (uint64_t x, unsigned int count);
517 587
518ecb_inline uint8_t ecb_rotl8 (uint8_t x, unsigned int count) { return (x >> ( 8 - count)) | (x << count); } 588ecb_inline ecb_const uint8_t ecb_rotl8 (uint8_t x, unsigned int count) { return (x >> ( 8 - count)) | (x << count); }
519ecb_inline uint8_t ecb_rotr8 (uint8_t x, unsigned int count) { return (x << ( 8 - count)) | (x >> count); } 589ecb_inline ecb_const uint8_t ecb_rotr8 (uint8_t x, unsigned int count) { return (x << ( 8 - count)) | (x >> count); }
520ecb_inline uint16_t ecb_rotl16 (uint16_t x, unsigned int count) { return (x >> (16 - count)) | (x << count); } 590ecb_inline ecb_const uint16_t ecb_rotl16 (uint16_t x, unsigned int count) { return (x >> (16 - count)) | (x << count); }
521ecb_inline uint16_t ecb_rotr16 (uint16_t x, unsigned int count) { return (x << (16 - count)) | (x >> count); } 591ecb_inline ecb_const uint16_t ecb_rotr16 (uint16_t x, unsigned int count) { return (x << (16 - count)) | (x >> count); }
522ecb_inline uint32_t ecb_rotl32 (uint32_t x, unsigned int count) { return (x >> (32 - count)) | (x << count); } 592ecb_inline ecb_const uint32_t ecb_rotl32 (uint32_t x, unsigned int count) { return (x >> (32 - count)) | (x << count); }
523ecb_inline uint32_t ecb_rotr32 (uint32_t x, unsigned int count) { return (x << (32 - count)) | (x >> count); } 593ecb_inline ecb_const uint32_t ecb_rotr32 (uint32_t x, unsigned int count) { return (x << (32 - count)) | (x >> count); }
524ecb_inline uint64_t ecb_rotl64 (uint64_t x, unsigned int count) { return (x >> (64 - count)) | (x << count); } 594ecb_inline ecb_const uint64_t ecb_rotl64 (uint64_t x, unsigned int count) { return (x >> (64 - count)) | (x << count); }
525ecb_inline uint64_t ecb_rotr64 (uint64_t x, unsigned int count) { return (x << (64 - count)) | (x >> count); } 595ecb_inline ecb_const uint64_t ecb_rotr64 (uint64_t x, unsigned int count) { return (x << (64 - count)) | (x >> count); }
526 596
527#if ECB_GCC_VERSION(4,3) || (ECB_CLANG_BUILTIN(__builtin_bswap32) && ECB_CLANG_BUILTIN(__builtin_bswap64)) 597#if ECB_GCC_VERSION(4,3) || (ECB_CLANG_BUILTIN(__builtin_bswap32) && ECB_CLANG_BUILTIN(__builtin_bswap64))
598 #if ECB_GCC_VERSION(4,8) || ECB_CLANG_BUILTIN(__builtin_bswap16)
599 #define ecb_bswap16(x) __builtin_bswap16 (x)
600 #else
528 #define ecb_bswap16(x) (__builtin_bswap32 (x) >> 16) 601 #define ecb_bswap16(x) (__builtin_bswap32 (x) >> 16)
602 #endif
529 #define ecb_bswap32(x) __builtin_bswap32 (x) 603 #define ecb_bswap32(x) __builtin_bswap32 (x)
530 #define ecb_bswap64(x) __builtin_bswap64 (x) 604 #define ecb_bswap64(x) __builtin_bswap64 (x)
605#elif _MSC_VER
606 #include <stdlib.h>
607 #define ecb_bswap16(x) ((uint16_t)_byteswap_ushort ((uint16_t)(x)))
608 #define ecb_bswap32(x) ((uint32_t)_byteswap_ulong ((uint32_t)(x)))
609 #define ecb_bswap64(x) ((uint64_t)_byteswap_uint64 ((uint64_t)(x)))
531#else 610#else
532 ecb_function_ uint16_t ecb_bswap16 (uint16_t x) ecb_const; 611 ecb_function_ ecb_const uint16_t ecb_bswap16 (uint16_t x);
533 ecb_function_ uint16_t 612 ecb_function_ ecb_const uint16_t
534 ecb_bswap16 (uint16_t x) 613 ecb_bswap16 (uint16_t x)
535 { 614 {
536 return ecb_rotl16 (x, 8); 615 return ecb_rotl16 (x, 8);
537 } 616 }
538 617
539 ecb_function_ uint32_t ecb_bswap32 (uint32_t x) ecb_const; 618 ecb_function_ ecb_const uint32_t ecb_bswap32 (uint32_t x);
540 ecb_function_ uint32_t 619 ecb_function_ ecb_const uint32_t
541 ecb_bswap32 (uint32_t x) 620 ecb_bswap32 (uint32_t x)
542 { 621 {
543 return (((uint32_t)ecb_bswap16 (x)) << 16) | ecb_bswap16 (x >> 16); 622 return (((uint32_t)ecb_bswap16 (x)) << 16) | ecb_bswap16 (x >> 16);
544 } 623 }
545 624
546 ecb_function_ uint64_t ecb_bswap64 (uint64_t x) ecb_const; 625 ecb_function_ ecb_const uint64_t ecb_bswap64 (uint64_t x);
547 ecb_function_ uint64_t 626 ecb_function_ ecb_const uint64_t
548 ecb_bswap64 (uint64_t x) 627 ecb_bswap64 (uint64_t x)
549 { 628 {
550 return (((uint64_t)ecb_bswap32 (x)) << 32) | ecb_bswap32 (x >> 32); 629 return (((uint64_t)ecb_bswap32 (x)) << 32) | ecb_bswap32 (x >> 32);
551 } 630 }
552#endif 631#endif
553 632
554#if ECB_GCC_VERSION(4,5) || ECB_CLANG_BUILTIN(__builtin_unreachable) 633#if ECB_GCC_VERSION(4,5) || ECB_CLANG_BUILTIN(__builtin_unreachable)
555 #define ecb_unreachable() __builtin_unreachable () 634 #define ecb_unreachable() __builtin_unreachable ()
556#else 635#else
557 /* this seems to work fine, but gcc always emits a warning for it :/ */ 636 /* this seems to work fine, but gcc always emits a warning for it :/ */
558 ecb_inline void ecb_unreachable (void) ecb_noreturn; 637 ecb_inline ecb_noreturn void ecb_unreachable (void);
559 ecb_inline void ecb_unreachable (void) { } 638 ecb_inline ecb_noreturn void ecb_unreachable (void) { }
560#endif 639#endif
561 640
562/* try to tell the compiler that some condition is definitely true */ 641/* try to tell the compiler that some condition is definitely true */
563#define ecb_assume(cond) if (!(cond)) ecb_unreachable (); else 0 642#define ecb_assume(cond) if (!(cond)) ecb_unreachable (); else 0
564 643
565ecb_inline unsigned char ecb_byteorder_helper (void) ecb_const; 644ecb_inline ecb_const uint32_t ecb_byteorder_helper (void);
566ecb_inline unsigned char 645ecb_inline ecb_const uint32_t
567ecb_byteorder_helper (void) 646ecb_byteorder_helper (void)
568{ 647{
569 /* the union code still generates code under pressure in gcc, */ 648 /* the union code still generates code under pressure in gcc, */
570 /* but less than using pointers, and always seems to */ 649 /* but less than using pointers, and always seems to */
571 /* successfully return a constant. */ 650 /* successfully return a constant. */
572 /* the reason why we have this horrible preprocessor mess */ 651 /* the reason why we have this horrible preprocessor mess */
573 /* is to avoid it in all cases, at least on common architectures */ 652 /* is to avoid it in all cases, at least on common architectures */
574 /* or when using a recent enough gcc version (>= 4.6) */ 653 /* or when using a recent enough gcc version (>= 4.6) */
575#if __i386 || __i386__ || _M_X86 || __amd64 || __amd64__ || _M_X64
576 return 0x44;
577#elif __BYTE_ORDER__ && __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__ 654#if (defined __BYTE_ORDER__ && __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__) \
655 || ((__i386 || __i386__ || _M_IX86 || ECB_GCC_AMD64 || ECB_MSVC_AMD64) && !__VOS__)
656 #define ECB_LITTLE_ENDIAN 1
578 return 0x44; 657 return 0x44332211;
579#elif __BYTE_ORDER__ && __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__ 658#elif (defined __BYTE_ORDER__ && __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__) \
659 || ((__AARCH64EB__ || __MIPSEB__ || __ARMEB__) && !__VOS__)
660 #define ECB_BIG_ENDIAN 1
580 return 0x11; 661 return 0x11223344;
581#else 662#else
582 union 663 union
583 { 664 {
665 uint8_t c[4];
584 uint32_t i; 666 uint32_t u;
585 uint8_t c;
586 } u = { 0x11223344 }; 667 } u = { 0x11, 0x22, 0x33, 0x44 };
587 return u.c; 668 return u.u;
588#endif 669#endif
589} 670}
590 671
591ecb_inline ecb_bool ecb_big_endian (void) ecb_const; 672ecb_inline ecb_const ecb_bool ecb_big_endian (void);
592ecb_inline ecb_bool ecb_big_endian (void) { return ecb_byteorder_helper () == 0x11; } 673ecb_inline ecb_const ecb_bool ecb_big_endian (void) { return ecb_byteorder_helper () == 0x11223344; }
593ecb_inline ecb_bool ecb_little_endian (void) ecb_const; 674ecb_inline ecb_const ecb_bool ecb_little_endian (void);
594ecb_inline ecb_bool ecb_little_endian (void) { return ecb_byteorder_helper () == 0x44; } 675ecb_inline ecb_const ecb_bool ecb_little_endian (void) { return ecb_byteorder_helper () == 0x44332211; }
595 676
596#if ECB_GCC_VERSION(3,0) || ECB_C99 677#if ECB_GCC_VERSION(3,0) || ECB_C99
597 #define ecb_mod(m,n) ((m) % (n) + ((m) % (n) < 0 ? (n) : 0)) 678 #define ecb_mod(m,n) ((m) % (n) + ((m) % (n) < 0 ? (n) : 0))
598#else 679#else
599 #define ecb_mod(m,n) ((m) < 0 ? ((n) - 1 - ((-1 - (m)) % (n))) : ((m) % (n))) 680 #define ecb_mod(m,n) ((m) < 0 ? ((n) - 1 - ((-1 - (m)) % (n))) : ((m) % (n)))
600#endif 681#endif
601 682
602#if __cplusplus 683#if ECB_CPP
603 template<typename T> 684 template<typename T>
604 static inline T ecb_div_rd (T val, T div) 685 static inline T ecb_div_rd (T val, T div)
605 { 686 {
606 return val < 0 ? - ((-val + div - 1) / div) : (val ) / div; 687 return val < 0 ? - ((-val + div - 1) / div) : (val ) / div;
607 } 688 }
624 } 705 }
625#else 706#else
626 #define ecb_array_length(name) (sizeof (name) / sizeof (name [0])) 707 #define ecb_array_length(name) (sizeof (name) / sizeof (name [0]))
627#endif 708#endif
628 709
710ecb_function_ ecb_const uint32_t ecb_binary16_to_binary32 (uint32_t x);
711ecb_function_ ecb_const uint32_t
712ecb_binary16_to_binary32 (uint32_t x)
713{
714 unsigned int s = (x & 0x8000) << (31 - 15);
715 int e = (x >> 10) & 0x001f;
716 unsigned int m = x & 0x03ff;
717
718 if (ecb_expect_false (e == 31))
719 /* infinity or NaN */
720 e = 255 - (127 - 15);
721 else if (ecb_expect_false (!e))
722 {
723 if (ecb_expect_true (!m))
724 /* zero, handled by code below by forcing e to 0 */
725 e = 0 - (127 - 15);
726 else
727 {
728 /* subnormal, renormalise */
729 unsigned int s = 10 - ecb_ld32 (m);
730
731 m = (m << s) & 0x3ff; /* mask implicit bit */
732 e -= s - 1;
733 }
734 }
735
736 /* e and m now are normalised, or zero, (or inf or nan) */
737 e += 127 - 15;
738
739 return s | (e << 23) | (m << (23 - 10));
740}
741
742ecb_function_ ecb_const uint16_t ecb_binary32_to_binary16 (uint32_t x);
743ecb_function_ ecb_const uint16_t
744ecb_binary32_to_binary16 (uint32_t x)
745{
746 unsigned int s = (x >> 16) & 0x00008000; /* sign bit, the easy part */
747 unsigned int e = ((x >> 23) & 0x000000ff) - (127 - 15); /* the desired exponent */
748 unsigned int m = x & 0x007fffff;
749
750 x &= 0x7fffffff;
751
752 /* if it's within range of binary16 normals, use fast path */
753 if (ecb_expect_true (0x38800000 <= x && x <= 0x477fefff))
754 {
755 /* mantissa round-to-even */
756 m += 0x00000fff + ((m >> (23 - 10)) & 1);
757
758 /* handle overflow */
759 if (ecb_expect_false (m >= 0x00800000))
760 {
761 m >>= 1;
762 e += 1;
763 }
764
765 return s | (e << 10) | (m >> (23 - 10));
766 }
767
768 /* handle large numbers and infinity */
769 if (ecb_expect_true (0x477fefff < x && x <= 0x7f800000))
770 return s | 0x7c00;
771
772 /* handle zero, subnormals and small numbers */
773 if (ecb_expect_true (x < 0x38800000))
774 {
775 /* zero */
776 if (ecb_expect_true (!x))
777 return s;
778
779 /* handle subnormals */
780
781 /* too small, will be zero */
782 if (e < (14 - 24)) /* might not be sharp, but is good enough */
783 return s;
784
785 m |= 0x00800000; /* make implicit bit explicit */
786
787 /* very tricky - we need to round to the nearest e (+10) bit value */
788 {
789 unsigned int bits = 14 - e;
790 unsigned int half = (1 << (bits - 1)) - 1;
791 unsigned int even = (m >> bits) & 1;
792
793 /* if this overflows, we will end up with a normalised number */
794 m = (m + half + even) >> bits;
795 }
796
797 return s | m;
798 }
799
800 /* handle NaNs, preserve leftmost nan bits, but make sure we don't turn them into infinities */
801 m >>= 13;
802
803 return s | 0x7c00 | m | !m;
804}
805
629/*******************************************************************************/ 806/*******************************************************************************/
630/* floating point stuff, can be disabled by defining ECB_NO_LIBM */ 807/* floating point stuff, can be disabled by defining ECB_NO_LIBM */
631 808
632/* basically, everything uses "ieee pure-endian" floating point numbers */ 809/* basically, everything uses "ieee pure-endian" floating point numbers */
633/* the only noteworthy exception is ancient armle, which uses order 43218765 */ 810/* the only noteworthy exception is ancient armle, which uses order 43218765 */
634#if 0 \ 811#if 0 \
635 || __i386 || __i386__ \ 812 || __i386 || __i386__ \
636 || __amd64 || __amd64__ || __x86_64 || __x86_64__ \ 813 || ECB_GCC_AMD64 \
637 || __powerpc__ || __ppc__ || __powerpc64__ || __ppc64__ \ 814 || __powerpc__ || __ppc__ || __powerpc64__ || __ppc64__ \
638 || defined __s390__ || defined __s390x__ \ 815 || defined __s390__ || defined __s390x__ \
639 || defined __mips__ \ 816 || defined __mips__ \
640 || defined __alpha__ \ 817 || defined __alpha__ \
641 || defined __hppa__ \ 818 || defined __hppa__ \
642 || defined __ia64__ \ 819 || defined __ia64__ \
643 || defined __m68k__ \ 820 || defined __m68k__ \
644 || defined __m88k__ \ 821 || defined __m88k__ \
645 || defined __sh__ \ 822 || defined __sh__ \
646 || defined _M_IX86 || defined _M_AMD64 || defined _M_IA64 \ 823 || defined _M_IX86 || defined ECB_MSVC_AMD64 || defined _M_IA64 \
647 || (defined __arm__ && (defined __ARM_EABI__ || defined __EABI__ || defined __VFP_FP__ || defined _WIN32_WCE || defined __ANDROID__)) \ 824 || (defined __arm__ && (defined __ARM_EABI__ || defined __EABI__ || defined __VFP_FP__ || defined _WIN32_WCE || defined __ANDROID__)) \
648 || defined __aarch64__ 825 || defined __aarch64__
649 #define ECB_STDFP 1 826 #define ECB_STDFP 1
650 #include <string.h> /* for memcpy */ 827 #include <string.h> /* for memcpy */
651#else 828#else
667 #define ECB_NAN NAN 844 #define ECB_NAN NAN
668 #else 845 #else
669 #define ECB_NAN ECB_INFINITY 846 #define ECB_NAN ECB_INFINITY
670 #endif 847 #endif
671 848
672 /* converts an ieee half/binary16 to a float */ 849 #if ECB_C99 || _XOPEN_VERSION >= 600 || _POSIX_VERSION >= 200112L
673 ecb_function_ float ecb_binary16_to_float (uint16_t x) ecb_const; 850 #define ecb_ldexpf(x,e) ldexpf ((x), (e))
674 ecb_function_ float 851 #define ecb_frexpf(x,e) frexpf ((x), (e))
675 ecb_binary16_to_float (uint16_t x) 852 #else
676 { 853 #define ecb_ldexpf(x,e) (float) ldexp ((double) (x), (e))
677 int e = (x >> 10) & 0x1f; 854 #define ecb_frexpf(x,e) (float) frexp ((double) (x), (e))
678 int m = x & 0x3ff; 855 #endif
679 float r;
680
681 if (!e ) r = ldexpf (m , -24);
682 else if (e != 31) r = ldexpf (m + 0x400, e - 25);
683 else if (m ) r = ECB_NAN;
684 else r = ECB_INFINITY;
685
686 return x & 0x8000 ? -r : r;
687 }
688 856
689 /* convert a float to ieee single/binary32 */ 857 /* convert a float to ieee single/binary32 */
690 ecb_function_ uint32_t ecb_float_to_binary32 (float x) ecb_const; 858 ecb_function_ ecb_const uint32_t ecb_float_to_binary32 (float x);
691 ecb_function_ uint32_t 859 ecb_function_ ecb_const uint32_t
692 ecb_float_to_binary32 (float x) 860 ecb_float_to_binary32 (float x)
693 { 861 {
694 uint32_t r; 862 uint32_t r;
695 863
696 #if ECB_STDFP 864 #if ECB_STDFP
703 if (x == 0e0f ) return 0x00000000U; 871 if (x == 0e0f ) return 0x00000000U;
704 if (x > +3.40282346638528860e+38f) return 0x7f800000U; 872 if (x > +3.40282346638528860e+38f) return 0x7f800000U;
705 if (x < -3.40282346638528860e+38f) return 0xff800000U; 873 if (x < -3.40282346638528860e+38f) return 0xff800000U;
706 if (x != x ) return 0x7fbfffffU; 874 if (x != x ) return 0x7fbfffffU;
707 875
708 m = frexpf (x, &e) * 0x1000000U; 876 m = ecb_frexpf (x, &e) * 0x1000000U;
709 877
710 r = m & 0x80000000U; 878 r = m & 0x80000000U;
711 879
712 if (r) 880 if (r)
713 m = -m; 881 m = -m;
725 893
726 return r; 894 return r;
727 } 895 }
728 896
729 /* converts an ieee single/binary32 to a float */ 897 /* converts an ieee single/binary32 to a float */
730 ecb_function_ float ecb_binary32_to_float (uint32_t x) ecb_const; 898 ecb_function_ ecb_const float ecb_binary32_to_float (uint32_t x);
731 ecb_function_ float 899 ecb_function_ ecb_const float
732 ecb_binary32_to_float (uint32_t x) 900 ecb_binary32_to_float (uint32_t x)
733 { 901 {
734 float r; 902 float r;
735 903
736 #if ECB_STDFP 904 #if ECB_STDFP
746 x |= 0x800000U; 914 x |= 0x800000U;
747 else 915 else
748 e = 1; 916 e = 1;
749 917
750 /* we distrust ldexpf a bit and do the 2**-24 scaling by an extra multiply */ 918 /* we distrust ldexpf a bit and do the 2**-24 scaling by an extra multiply */
751 r = ldexpf (x * (0.5f / 0x800000U), e - 126); 919 r = ecb_ldexpf (x * (0.5f / 0x800000U), e - 126);
752 920
753 r = neg ? -r : r; 921 r = neg ? -r : r;
754 #endif 922 #endif
755 923
756 return r; 924 return r;
757 } 925 }
758 926
759 /* convert a double to ieee double/binary64 */ 927 /* convert a double to ieee double/binary64 */
760 ecb_function_ uint64_t ecb_double_to_binary64 (double x) ecb_const; 928 ecb_function_ ecb_const uint64_t ecb_double_to_binary64 (double x);
761 ecb_function_ uint64_t 929 ecb_function_ ecb_const uint64_t
762 ecb_double_to_binary64 (double x) 930 ecb_double_to_binary64 (double x)
763 { 931 {
764 uint64_t r; 932 uint64_t r;
765 933
766 #if ECB_STDFP 934 #if ECB_STDFP
795 963
796 return r; 964 return r;
797 } 965 }
798 966
799 /* converts an ieee double/binary64 to a double */ 967 /* converts an ieee double/binary64 to a double */
800 ecb_function_ double ecb_binary64_to_double (uint64_t x) ecb_const; 968 ecb_function_ ecb_const double ecb_binary64_to_double (uint64_t x);
801 ecb_function_ double 969 ecb_function_ ecb_const double
802 ecb_binary64_to_double (uint64_t x) 970 ecb_binary64_to_double (uint64_t x)
803 { 971 {
804 double r; 972 double r;
805 973
806 #if ECB_STDFP 974 #if ECB_STDFP
824 #endif 992 #endif
825 993
826 return r; 994 return r;
827 } 995 }
828 996
829#endif 997 /* convert a float to ieee half/binary16 */
998 ecb_function_ ecb_const uint16_t ecb_float_to_binary16 (float x);
999 ecb_function_ ecb_const uint16_t
1000 ecb_float_to_binary16 (float x)
1001 {
1002 return ecb_binary32_to_binary16 (ecb_float_to_binary32 (x));
1003 }
830 1004
831#endif 1005 /* convert an ieee half/binary16 to float */
1006 ecb_function_ ecb_const float ecb_binary16_to_float (uint16_t x);
1007 ecb_function_ ecb_const float
1008 ecb_binary16_to_float (uint16_t x)
1009 {
1010 return ecb_binary32_to_float (ecb_binary16_to_binary32 (x));
1011 }
832 1012
1013#endif
1014
1015#endif
1016

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines