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.62 by root, Wed Feb 18 20:29:27 2015 UTC vs.
Revision 1.74 by root, Mon Nov 19 00:27:38 2018 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
186it. This is mainly useful to get the contents of a macro in string form, 186it. This is mainly useful to get the contents of a macro in string form,
187e.g.: 187e.g.:
188 188
189 #define SQL_LIMIT 100 189 #define SQL_LIMIT 100
190 sql_exec ("select * from table limit " ECB_STRINGIFY (SQL_LIMIT)); 190 sql_exec ("select * from table limit " ECB_STRINGIFY (SQL_LIMIT));
191
192=item ECB_STRINGIFY_EXPR (expr)
193
194Like C<ECB_STRINGIFY>, but additionally evaluates C<expr> to make sure it
195is a valid expression. This is useful to catch typos or cases where the
196macro isn't available:
197
198 #include <errno.h>
199
200 ECB_STRINGIFY (EDOM); // "33" (on my system at least)
201 ECB_STRINGIFY_EXPR (EDOM); // "33"
202
203 // now imagine we had a typo:
204
205 ECB_STRINGIFY (EDAM); // "EDAM"
206 ECB_STRINGIFY_EXPR (EDAM); // error: EDAM undefined
191 207
192=back 208=back
193 209
194=head2 ATTRIBUTES 210=head2 ATTRIBUTES
195 211
226Similar 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
227deprecated. This makes some compilers warn when the type is used. 243deprecated. This makes some compilers warn when the type is used.
228 244
229=item ecb_deprecated_message (message) 245=item ecb_deprecated_message (message)
230 246
231Same as C<ecb_deprecated>, but if possible, supply a diagnostic that is 247Same as C<ecb_deprecated>, but if possible, the specified diagnostic is
232used instead of a generic depreciation message when the object is being 248used instead of a generic depreciation message when the object is being
233used. 249used.
234 250
235=item ecb_inline 251=item ecb_inline
236 252
237Expands either to C<static inline> or to just C<static>, if inline 253Expands either to (a compiler-specific equivalent of) C<static inline> or
238isn'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
239inlined, for code size or speed reasons. 255functions that should be inlined, for code size or speed reasons.
240 256
241Example: inline this function, it surely will reduce codesize. 257Example: inline this function, it surely will reduce codesize.
242 258
243 ecb_inline int 259 ecb_inline int
244 negmul (int a, int b) 260 negmul (int a, int b)
246 return - (a * b); 262 return - (a * b);
247 } 263 }
248 264
249=item ecb_noinline 265=item ecb_noinline
250 266
251Prevent a function from being inlined - it might be optimised away, but 267Prevents a function from being inlined - it might be optimised away, but
252not 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
253is rarely called and large enough for inlining not to be helpful. 269is rarely called and large enough for inlining not to be helpful.
254 270
255=item ecb_noreturn 271=item ecb_noreturn
256 272
473 real_reserve_method (size); /* presumably noinline */ 489 real_reserve_method (size); /* presumably noinline */
474 } 490 }
475 491
476=item ecb_assume (cond) 492=item ecb_assume (cond)
477 493
478Try to tell the compiler that some condition is true, even if it's not 494Tries to tell the compiler that some condition is true, even if it's not
479obvious. 495obvious. This is not a function, but a statement: it cannot be used in
496another expression.
480 497
481This can be used to teach the compiler about invariants or other 498This can be used to teach the compiler about invariants or other
482conditions that might improve code generation, but which are impossible to 499conditions that might improve code generation, but which are impossible to
483deduce form the code itself. 500deduce form the code itself.
484 501
505 522
506=item ecb_unreachable () 523=item ecb_unreachable ()
507 524
508This function does nothing itself, except tell the compiler that it will 525This function does nothing itself, except tell the compiler that it will
509never be executed. Apart from suppressing a warning in some cases, this 526never be executed. Apart from suppressing a warning in some cases, this
510function can be used to implement C<ecb_assume> or similar functions. 527function can be used to implement C<ecb_assume> or similar functionality.
511 528
512=item ecb_prefetch (addr, rw, locality) 529=item ecb_prefetch (addr, rw, locality)
513 530
514Tells the compiler to try to prefetch memory at the given C<addr>ess 531Tells the compiler to try to prefetch memory at the given C<addr>ess
515for either reading (C<rw> = 0) or writing (C<rw> = 1). A C<locality> of 532for either reading (C<rw> = 0) or writing (C<rw> = 1). A C<locality> of
517the data will likely be accessed very often, and values in between mean 534the data will likely be accessed very often, and values in between mean
518something... in between. The memory pointed to by the address does not 535something... in between. The memory pointed to by the address does not
519need to be accessible (it could be a null pointer for example), but C<rw> 536need to be accessible (it could be a null pointer for example), but C<rw>
520and C<locality> must be compile-time constants. 537and C<locality> must be compile-time constants.
521 538
539This is a statement, not a function: you cannot use it as part of an
540expression.
541
522An obvious way to use this is to prefetch some data far away, in a big 542An obvious way to use this is to prefetch some data far away, in a big
523array you loop over. This prefetches memory some 128 array elements later, 543array you loop over. This prefetches memory some 128 array elements later,
524in the hope that it will be ready when the CPU arrives at that location. 544in the hope that it will be ready when the CPU arrives at that location.
525 545
526 int sum = 0; 546 int sum = 0;
578 598
579=item bool ecb_is_pot32 (uint32_t x) 599=item bool ecb_is_pot32 (uint32_t x)
580 600
581=item bool ecb_is_pot64 (uint32_t x) 601=item bool ecb_is_pot64 (uint32_t x)
582 602
583Return true iff C<x> is a power of two or C<x == 0>. 603Returns true iff C<x> is a power of two or C<x == 0>.
584 604
585For smaller types then C<uint32_t> you can safely use C<ecb_is_pot32>. 605For smaller types than C<uint32_t> you can safely use C<ecb_is_pot32>.
586 606
587=item int ecb_ld32 (uint32_t x) 607=item int ecb_ld32 (uint32_t x)
588 608
589=item int ecb_ld64 (uint64_t x) 609=item int ecb_ld64 (uint64_t x)
590 610
666 686
667=head2 FLOATING POINT FIDDLING 687=head2 FLOATING POINT FIDDLING
668 688
669=over 4 689=over 4
670 690
671=item ECB_INFINITY 691=item ECB_INFINITY [-UECB_NO_LIBM]
672 692
673Evaluates to positive infinity if supported by the platform, otherwise to 693Evaluates to positive infinity if supported by the platform, otherwise to
674a truly huge number. 694a truly huge number.
675 695
676=item ECB_NON 696=item ECB_NAN [-UECB_NO_LIBM]
677 697
678Evaluates to a quiet NAN if supported by the platform, otherwise to 698Evaluates to a quiet NAN if supported by the platform, otherwise to
679C<ECB_INFINITY>. 699C<ECB_INFINITY>.
680 700
681=item float ecb_ldexpf (float x, int exp) 701=item float ecb_ldexpf (float x, int exp) [-UECB_NO_LIBM]
682 702
683Same as C<ldexpf>, but always available. 703Same as C<ldexpf>, but always available.
684 704
705=item uint32_t ecb_float_to_binary16 (float x) [-UECB_NO_LIBM]
706
685=item uint32_t ecb_float_to_binary32 (float x) [-UECB_NO_LIBM] 707=item uint32_t ecb_float_to_binary32 (float x) [-UECB_NO_LIBM]
686 708
687=item uint64_t ecb_double_to_binary64 (double x) [-UECB_NO_LIBM] 709=item uint64_t ecb_double_to_binary64 (double x) [-UECB_NO_LIBM]
688 710
689These functions each take an argument in the native C<float> or C<double> 711These functions each take an argument in the native C<float> or C<double>
690type and return the IEEE 754 bit representation of it. 712type and return the IEEE 754 bit representation of it (binary16/half,
713binary32/single or binary64/double precision).
691 714
692The bit representation is just as IEEE 754 defines it, i.e. the sign bit 715The bit representation is just as IEEE 754 defines it, i.e. the sign bit
693will be the most significant bit, followed by exponent and mantissa. 716will be the most significant bit, followed by exponent and mantissa.
694 717
695This function should work even when the native floating point format isn't 718This function should work even when the native floating point format isn't
699 722
700On all modern platforms (where C<ECB_STDFP> is true), the compiler should 723On all modern platforms (where C<ECB_STDFP> is true), the compiler should
701be able to optimise away this function completely. 724be able to optimise away this function completely.
702 725
703These functions can be helpful when serialising floats to the network - you 726These functions can be helpful when serialising floats to the network - you
704can serialise the return value like a normal uint32_t/uint64_t. 727can serialise the return value like a normal uint16_t/uint32_t/uint64_t.
705 728
706Another use for these functions is to manipulate floating point values 729Another use for these functions is to manipulate floating point values
707directly. 730directly.
708 731
709Silly example: toggle the sign bit of a float. 732Silly example: toggle the sign bit of a float.
716 739
717=item float ecb_binary16_to_float (uint16_t x) [-UECB_NO_LIBM] 740=item float ecb_binary16_to_float (uint16_t x) [-UECB_NO_LIBM]
718 741
719=item float ecb_binary32_to_float (uint32_t x) [-UECB_NO_LIBM] 742=item float ecb_binary32_to_float (uint32_t x) [-UECB_NO_LIBM]
720 743
721=item double ecb_binary32_to_double (uint64_t x) [-UECB_NO_LIBM] 744=item double ecb_binary64_to_double (uint64_t x) [-UECB_NO_LIBM]
722 745
723The reverse operation of the previous function - takes the bit 746The reverse operation of the previous function - takes the bit
724representation of an IEEE binary16, binary32 or binary64 number and 747representation of an IEEE binary16, binary32 or binary64 number (half,
725converts it to the native C<float> or C<double> format. 748single or double precision) and converts it to the native C<float> or
749C<double> format.
726 750
727This function should work even when the native floating point format isn't 751This function should work even when the native floating point format isn't
728IEEE compliant, of course at a speed and code size penalty, and of course 752IEEE compliant, of course at a speed and code size penalty, and of course
729also within reasonable limits (it tries to convert normals and denormals, 753also within reasonable limits (it tries to convert normals and denormals,
730and might be lucky for infinities, and with extraordinary luck, also for 754and might be lucky for infinities, and with extraordinary luck, also for
731negative zero). 755negative zero).
732 756
733On all modern platforms (where C<ECB_STDFP> is true), the compiler should 757On all modern platforms (where C<ECB_STDFP> is true), the compiler should
734be able to optimise away this function completely. 758be able to optimise away this function completely.
759
760=item uint16_t ecb_binary32_to_binary16 (uint32_t x)
761
762=item uint32_t ecb_binary16_to_binary32 (uint16_t x)
763
764Convert a IEEE binary32/single precision to binary16/half format, and vice
765versa, handling all details (round-to-nearest-even, subnormals, infinity
766and NaNs) correctly.
767
768These are functions are available under C<-DECB_NO_LIBM>, since
769they do not rely on the platform floating point format. The
770C<ecb_float_to_binary16> and C<ecb_binary16_to_float> functions are
771usually what you want.
735 772
736=back 773=back
737 774
738=head2 ARITHMETIC 775=head2 ARITHMETIC
739 776
820dependencies on the math library (usually called F<-lm>) - these are 857dependencies on the math library (usually called F<-lm>) - these are
821marked with [-UECB_NO_LIBM]. 858marked with [-UECB_NO_LIBM].
822 859
823=back 860=back
824 861
862=head1 UNDOCUMENTED FUNCTIONALITY
825 863
864F<ecb.h> is full of undocumented functionality as well, some of which is
865intended to be internal-use only, some of which we forgot to document, and
866some of which we hide because we are not sure we will keep the interface
867stable.
868
869While you are welcome to rummage around and use whatever you find useful
870(we can't stop you), keep in mind that we will change undocumented
871functionality in incompatible ways without thinking twice, while we are
872considerably more conservative with documented things.
873
874=head1 AUTHORS
875
876C<libecb> is designed and maintained by:
877
878 Emanuele Giaquinta <e.giaquinta@glauco.it>
879 Marc Alexander Lehmann <schmorp@schmorp.de>
880
881

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines