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

Comparing cvsroot/libecb/ecb.pod (file contents):
Revision 1.64 by root, Wed Feb 18 20:48:59 2015 UTC vs.
Revision 1.75 by root, Sat Dec 28 08:01:05 2019 UTC

66 66
67The macro C<ECB_PTRSIZE> is defined to the size of a pointer on this 67The macro C<ECB_PTRSIZE> is defined to the size of a pointer on this
68platform (currently C<4> or C<8>) and can be used in preprocessor 68platform (currently C<4> or C<8>) and can be used in preprocessor
69expressions. 69expressions.
70 70
71For C<ptrdiff_t> and C<size_t> use C<stddef.h>. 71For C<ptrdiff_t> and C<size_t> use C<stddef.h>/C<cstddef>.
72 72
73=head2 LANGUAGE/ENVIRONMENT/COMPILER VERSIONS 73=head2 LANGUAGE/ENVIRONMENT/COMPILER VERSIONS
74 74
75All the following symbols expand to an expression that can be tested in 75All the following symbols expand to an expression that can be tested in
76preprocessor instructions as well as treated as a boolean (use C<!!> to 76preprocessor instructions as well as treated as a boolean (use C<!!> to
899899:1999) or any later version, while not claiming to be C++. 899899:1999) or any later version, while not claiming to be C++.
90 90
91Note that later versions (ECB_C11) remove core features again (for 91Note that later versions (ECB_C11) remove core features again (for
92example, variable length arrays). 92example, variable length arrays).
93 93
94=item ECB_C11 94=item ECB_C11, ECB_C17
95 95
96True if the implementation claims to be compliant to C11 (ISO/IEC 96True if the implementation claims to be compliant to C11/C17 (ISO/IEC
979899:2011) or any later version, while not claiming to be C++. 979899:2011, :20187) or any later version, while not claiming to be C++.
98 98
99=item ECB_CPP 99=item ECB_CPP
100 100
101True if the implementation defines the C<__cplusplus__> macro to a true 101True if the implementation defines the C<__cplusplus__> macro to a true
102value, which is typically true for C++ compilers. 102value, which is typically true for C++ compilers.
103 103
104=item ECB_CPP11 104=item ECB_CPP11, ECB_CPP14, ECB_CPP17
105 105
106True if the implementation claims to be compliant to ISO/IEC 14882:2011 106True if the implementation claims to be compliant to C++11/C++14/C++17
107(C++11) or any later version. 107(ISO/IEC 14882:2011, :2014, :2017) or any later version.
108 108
109=item ECB_GCC_VERSION (major, minor) 109=item ECB_GCC_VERSION (major, minor)
110 110
111Expands to a true value (suitable for testing in by the preprocessor) 111Expands to a true value (suitable for testing in by the preprocessor)
112if the compiler used is GNU C and the version is the given version, or 112if the compiler used is GNU C and the version is the given version, or
242Similar to C<ecb_unused>, but marks a function, variable or type as 242Similar to C<ecb_unused>, but marks a function, variable or type as
243deprecated. This makes some compilers warn when the type is used. 243deprecated. This makes some compilers warn when the type is used.
244 244
245=item ecb_deprecated_message (message) 245=item ecb_deprecated_message (message)
246 246
247Same as C<ecb_deprecated>, but if possible, supply a diagnostic that is 247Same as C<ecb_deprecated>, but if possible, the specified diagnostic is
248used instead of a generic depreciation message when the object is being 248used instead of a generic depreciation message when the object is being
249used. 249used.
250 250
251=item ecb_inline 251=item ecb_inline
252 252
253Expands either to C<static inline> or to just C<static>, if inline 253Expands either to (a compiler-specific equivalent of) C<static inline> or
254isn't supported. It should be used to declare functions that should be 254to just C<static>, if inline isn't supported. It should be used to declare
255inlined, for code size or speed reasons. 255functions that should be inlined, for code size or speed reasons.
256 256
257Example: inline this function, it surely will reduce codesize. 257Example: inline this function, it surely will reduce codesize.
258 258
259 ecb_inline int 259 ecb_inline int
260 negmul (int a, int b) 260 negmul (int a, int b)
262 return - (a * b); 262 return - (a * b);
263 } 263 }
264 264
265=item ecb_noinline 265=item ecb_noinline
266 266
267Prevent a function from being inlined - it might be optimised away, but 267Prevents a function from being inlined - it might be optimised away, but
268not inlined into other functions. This is useful if you know your function 268not inlined into other functions. This is useful if you know your function
269is rarely called and large enough for inlining not to be helpful. 269is rarely called and large enough for inlining not to be helpful.
270 270
271=item ecb_noreturn 271=item ecb_noreturn
272 272
401=back 401=back
402 402
403=head2 OPTIMISATION HINTS 403=head2 OPTIMISATION HINTS
404 404
405=over 4 405=over 4
406
407=item ECB_OPTIMIZE_SIZE
408
409Is C<1> when the compiler optimizes for size, C<0> otherwise. This symbol
410can also be defined before including F<ecb.h>, in which case it will be
411unchanged.
406 412
407=item bool ecb_is_constant (expr) 413=item bool ecb_is_constant (expr)
408 414
409Returns true iff the expression can be deduced to be a compile-time 415Returns true iff the expression can be deduced to be a compile-time
410constant, and false otherwise. 416constant, and false otherwise.
489 real_reserve_method (size); /* presumably noinline */ 495 real_reserve_method (size); /* presumably noinline */
490 } 496 }
491 497
492=item ecb_assume (cond) 498=item ecb_assume (cond)
493 499
494Try to tell the compiler that some condition is true, even if it's not 500Tries to tell the compiler that some condition is true, even if it's not
495obvious. 501obvious. This is not a function, but a statement: it cannot be used in
502another expression.
496 503
497This can be used to teach the compiler about invariants or other 504This can be used to teach the compiler about invariants or other
498conditions that might improve code generation, but which are impossible to 505conditions that might improve code generation, but which are impossible to
499deduce form the code itself. 506deduce form the code itself.
500 507
521 528
522=item ecb_unreachable () 529=item ecb_unreachable ()
523 530
524This function does nothing itself, except tell the compiler that it will 531This function does nothing itself, except tell the compiler that it will
525never be executed. Apart from suppressing a warning in some cases, this 532never be executed. Apart from suppressing a warning in some cases, this
526function can be used to implement C<ecb_assume> or similar functions. 533function can be used to implement C<ecb_assume> or similar functionality.
527 534
528=item ecb_prefetch (addr, rw, locality) 535=item ecb_prefetch (addr, rw, locality)
529 536
530Tells the compiler to try to prefetch memory at the given C<addr>ess 537Tells the compiler to try to prefetch memory at the given C<addr>ess
531for either reading (C<rw> = 0) or writing (C<rw> = 1). A C<locality> of 538for either reading (C<rw> = 0) or writing (C<rw> = 1). A C<locality> of
533the data will likely be accessed very often, and values in between mean 540the data will likely be accessed very often, and values in between mean
534something... in between. The memory pointed to by the address does not 541something... in between. The memory pointed to by the address does not
535need to be accessible (it could be a null pointer for example), but C<rw> 542need to be accessible (it could be a null pointer for example), but C<rw>
536and C<locality> must be compile-time constants. 543and C<locality> must be compile-time constants.
537 544
545This is a statement, not a function: you cannot use it as part of an
546expression.
547
538An obvious way to use this is to prefetch some data far away, in a big 548An obvious way to use this is to prefetch some data far away, in a big
539array you loop over. This prefetches memory some 128 array elements later, 549array you loop over. This prefetches memory some 128 array elements later,
540in the hope that it will be ready when the CPU arrives at that location. 550in the hope that it will be ready when the CPU arrives at that location.
541 551
542 int sum = 0; 552 int sum = 0;
594 604
595=item bool ecb_is_pot32 (uint32_t x) 605=item bool ecb_is_pot32 (uint32_t x)
596 606
597=item bool ecb_is_pot64 (uint32_t x) 607=item bool ecb_is_pot64 (uint32_t x)
598 608
599Return true iff C<x> is a power of two or C<x == 0>. 609Returns true iff C<x> is a power of two or C<x == 0>.
600 610
601For smaller types then C<uint32_t> you can safely use C<ecb_is_pot32>. 611For smaller types than C<uint32_t> you can safely use C<ecb_is_pot32>.
602 612
603=item int ecb_ld32 (uint32_t x) 613=item int ecb_ld32 (uint32_t x)
604 614
605=item int ecb_ld64 (uint64_t x) 615=item int ecb_ld64 (uint64_t x)
606 616
682 692
683=head2 FLOATING POINT FIDDLING 693=head2 FLOATING POINT FIDDLING
684 694
685=over 4 695=over 4
686 696
687=item ECB_INFINITY 697=item ECB_INFINITY [-UECB_NO_LIBM]
688 698
689Evaluates to positive infinity if supported by the platform, otherwise to 699Evaluates to positive infinity if supported by the platform, otherwise to
690a truly huge number. 700a truly huge number.
691 701
692=item ECB_NAN 702=item ECB_NAN [-UECB_NO_LIBM]
693 703
694Evaluates to a quiet NAN if supported by the platform, otherwise to 704Evaluates to a quiet NAN if supported by the platform, otherwise to
695C<ECB_INFINITY>. 705C<ECB_INFINITY>.
696 706
697=item float ecb_ldexpf (float x, int exp) 707=item float ecb_ldexpf (float x, int exp) [-UECB_NO_LIBM]
698 708
699Same as C<ldexpf>, but always available. 709Same as C<ldexpf>, but always available.
700 710
711=item uint32_t ecb_float_to_binary16 (float x) [-UECB_NO_LIBM]
712
701=item uint32_t ecb_float_to_binary32 (float x) [-UECB_NO_LIBM] 713=item uint32_t ecb_float_to_binary32 (float x) [-UECB_NO_LIBM]
702 714
703=item uint64_t ecb_double_to_binary64 (double x) [-UECB_NO_LIBM] 715=item uint64_t ecb_double_to_binary64 (double x) [-UECB_NO_LIBM]
704 716
705These functions each take an argument in the native C<float> or C<double> 717These functions each take an argument in the native C<float> or C<double>
706type and return the IEEE 754 bit representation of it. 718type and return the IEEE 754 bit representation of it (binary16/half,
719binary32/single or binary64/double precision).
707 720
708The bit representation is just as IEEE 754 defines it, i.e. the sign bit 721The bit representation is just as IEEE 754 defines it, i.e. the sign bit
709will be the most significant bit, followed by exponent and mantissa. 722will be the most significant bit, followed by exponent and mantissa.
710 723
711This function should work even when the native floating point format isn't 724This function should work even when the native floating point format isn't
715 728
716On all modern platforms (where C<ECB_STDFP> is true), the compiler should 729On all modern platforms (where C<ECB_STDFP> is true), the compiler should
717be able to optimise away this function completely. 730be able to optimise away this function completely.
718 731
719These functions can be helpful when serialising floats to the network - you 732These functions can be helpful when serialising floats to the network - you
720can serialise the return value like a normal uint32_t/uint64_t. 733can serialise the return value like a normal uint16_t/uint32_t/uint64_t.
721 734
722Another use for these functions is to manipulate floating point values 735Another use for these functions is to manipulate floating point values
723directly. 736directly.
724 737
725Silly example: toggle the sign bit of a float. 738Silly example: toggle the sign bit of a float.
732 745
733=item float ecb_binary16_to_float (uint16_t x) [-UECB_NO_LIBM] 746=item float ecb_binary16_to_float (uint16_t x) [-UECB_NO_LIBM]
734 747
735=item float ecb_binary32_to_float (uint32_t x) [-UECB_NO_LIBM] 748=item float ecb_binary32_to_float (uint32_t x) [-UECB_NO_LIBM]
736 749
737=item double ecb_binary32_to_double (uint64_t x) [-UECB_NO_LIBM] 750=item double ecb_binary64_to_double (uint64_t x) [-UECB_NO_LIBM]
738 751
739The reverse operation of the previous function - takes the bit 752The reverse operation of the previous function - takes the bit
740representation of an IEEE binary16, binary32 or binary64 number and 753representation of an IEEE binary16, binary32 or binary64 number (half,
741converts it to the native C<float> or C<double> format. 754single or double precision) and converts it to the native C<float> or
755C<double> format.
742 756
743This function should work even when the native floating point format isn't 757This function should work even when the native floating point format isn't
744IEEE compliant, of course at a speed and code size penalty, and of course 758IEEE compliant, of course at a speed and code size penalty, and of course
745also within reasonable limits (it tries to convert normals and denormals, 759also within reasonable limits (it tries to convert normals and denormals,
746and might be lucky for infinities, and with extraordinary luck, also for 760and might be lucky for infinities, and with extraordinary luck, also for
747negative zero). 761negative zero).
748 762
749On all modern platforms (where C<ECB_STDFP> is true), the compiler should 763On all modern platforms (where C<ECB_STDFP> is true), the compiler should
750be able to optimise away this function completely. 764be able to optimise away this function completely.
765
766=item uint16_t ecb_binary32_to_binary16 (uint32_t x)
767
768=item uint32_t ecb_binary16_to_binary32 (uint16_t x)
769
770Convert a IEEE binary32/single precision to binary16/half format, and vice
771versa, handling all details (round-to-nearest-even, subnormals, infinity
772and NaNs) correctly.
773
774These are functions are available under C<-DECB_NO_LIBM>, since
775they do not rely on the platform floating point format. The
776C<ecb_float_to_binary16> and C<ecb_binary16_to_float> functions are
777usually what you want.
751 778
752=back 779=back
753 780
754=head2 ARITHMETIC 781=head2 ARITHMETIC
755 782
836dependencies on the math library (usually called F<-lm>) - these are 863dependencies on the math library (usually called F<-lm>) - these are
837marked with [-UECB_NO_LIBM]. 864marked with [-UECB_NO_LIBM].
838 865
839=back 866=back
840 867
868=head1 UNDOCUMENTED FUNCTIONALITY
841 869
870F<ecb.h> is full of undocumented functionality as well, some of which is
871intended to be internal-use only, some of which we forgot to document, and
872some of which we hide because we are not sure we will keep the interface
873stable.
874
875While you are welcome to rummage around and use whatever you find useful
876(we can't stop you), keep in mind that we will change undocumented
877functionality in incompatible ways without thinking twice, while we are
878considerably more conservative with documented things.
879
880=head1 AUTHORS
881
882C<libecb> is designed and maintained by:
883
884 Emanuele Giaquinta <e.giaquinta@glauco.it>
885 Marc Alexander Lehmann <schmorp@schmorp.de>
886
887

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines