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.60 by sf-exg, Wed Feb 11 19:16:12 2015 UTC vs.
Revision 1.64 by root, Wed Feb 18 20:48:59 2015 UTC

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>.
72 72
73=head2 LANGUAGE/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
77ensure it's either C<0> or C<1> if you need that). 77ensure it's either C<0> or C<1> if you need that).
78 78
163C<__x86_64> stands for, well, the x86-64 ABI, making these macros 163C<__x86_64> stands for, well, the x86-64 ABI, making these macros
164necessary. 164necessary.
165 165
166=back 166=back
167 167
168=head2 MACRO TRICKERY
169
170=over 4
171
172=item ECB_CONCAT (a, b)
173
174Expands any macros in C<a> and C<b>, then concatenates the result to form
175a single token. This is mainly useful to form identifiers from components,
176e.g.:
177
178 #define S1 str
179 #define S2 cpy
180
181 ECB_CONCAT (S1, S2)(dst, src); // == strcpy (dst, src);
182
183=item ECB_STRINGIFY (arg)
184
185Expands any macros in C<arg> and returns the stringified version of
186it. This is mainly useful to get the contents of a macro in string form,
187e.g.:
188
189 #define SQL_LIMIT 100
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
207
208=back
209
168=head2 ATTRIBUTES 210=head2 ATTRIBUTES
169 211
170A major part of libecb deals with additional attributes that can be 212A major part of libecb deals with additional attributes that can be
171assigned to functions, variables and sometimes even types - much like 213assigned to functions, variables and sometimes even types - much like
172C<const> or C<volatile> in C. They are implemented using either GCC 214C<const> or C<volatile> in C. They are implemented using either GCC
183Marks a function or a variable as "unused", which simply suppresses a 225Marks a function or a variable as "unused", which simply suppresses a
184warning by GCC when it detects it as unused. This is useful when you e.g. 226warning by GCC when it detects it as unused. This is useful when you e.g.
185declare a variable but do not always use it: 227declare a variable but do not always use it:
186 228
187 { 229 {
188 int var ecb_unused; 230 ecb_unused int var;
189 231
190 #ifdef SOMECONDITION 232 #ifdef SOMECONDITION
191 var = ...; 233 var = ...;
192 return var; 234 return var;
193 #else 235 #else
198=item ecb_deprecated 240=item ecb_deprecated
199 241
200Similar 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
201deprecated. This makes some compilers warn when the type is used. 243deprecated. This makes some compilers warn when the type is used.
202 244
245=item ecb_deprecated_message (message)
246
247Same as C<ecb_deprecated>, but if possible, supply a diagnostic that is
248used instead of a generic depreciation message when the object is being
249used.
250
203=item ecb_inline 251=item ecb_inline
204 252
205Expands either to C<static inline> or to just C<static>, if inline 253Expands either to C<static inline> or to just C<static>, if inline
206isn't supported. It should be used to declare functions that should be 254isn't supported. It should be used to declare functions that should be
207inlined, for code size or speed reasons. 255inlined, for code size or speed reasons.
245 293
246Example: multiply a vector, and allow the compiler to parallelise the 294Example: multiply a vector, and allow the compiler to parallelise the
247loop, because it knows it doesn't overwrite input values. 295loop, because it knows it doesn't overwrite input values.
248 296
249 void 297 void
250 multiply (float *ecb_restrict src, 298 multiply (ecb_restrict float *src,
251 float *ecb_restrict dst, 299 ecb_restrict float *dst,
252 int len, float factor) 300 int len, float factor)
253 { 301 {
254 int i; 302 int i;
255 303
256 for (i = 0; i < len; ++i) 304 for (i = 0; i < len; ++i)
382 return is_constant (n) && !(n & (n - 1)) 430 return is_constant (n) && !(n & (n - 1))
383 ? rndm16 () & (num - 1) 431 ? rndm16 () & (num - 1)
384 : (n * (uint32_t)rndm16 ()) >> 16; 432 : (n * (uint32_t)rndm16 ()) >> 16;
385 } 433 }
386 434
387=item bool ecb_expect (expr, value) 435=item ecb_expect (expr, value)
388 436
389Evaluates C<expr> and returns it. In addition, it tells the compiler that 437Evaluates C<expr> and returns it. In addition, it tells the compiler that
390the C<expr> evaluates to C<value> a lot, which can be used for static 438the C<expr> evaluates to C<value> a lot, which can be used for static
391branch optimisations. 439branch optimisations.
392 440
439 { 487 {
440 if (ecb_expect_false (current + size > end)) 488 if (ecb_expect_false (current + size > end))
441 real_reserve_method (size); /* presumably noinline */ 489 real_reserve_method (size); /* presumably noinline */
442 } 490 }
443 491
444=item bool ecb_assume (cond) 492=item ecb_assume (cond)
445 493
446Try to tell the compiler that some condition is true, even if it's not 494Try to tell the compiler that some condition is true, even if it's not
447obvious. 495obvious.
448 496
449This can be used to teach the compiler about invariants or other 497This can be used to teach the compiler about invariants or other
469 517
470Then the compiler I<might> be able to optimise out the second call 518Then the compiler I<might> be able to optimise out the second call
471completely, as it knows that C<< current + 1 > end >> is false and the 519completely, as it knows that C<< current + 1 > end >> is false and the
472call will never be executed. 520call will never be executed.
473 521
474=item bool ecb_unreachable () 522=item ecb_unreachable ()
475 523
476This function does nothing itself, except tell the compiler that it will 524This function does nothing itself, except tell the compiler that it will
477never be executed. Apart from suppressing a warning in some cases, this 525never be executed. Apart from suppressing a warning in some cases, this
478function can be used to implement C<ecb_assume> or similar functions. 526function can be used to implement C<ecb_assume> or similar functions.
479 527
480=item bool ecb_prefetch (addr, rw, locality) 528=item ecb_prefetch (addr, rw, locality)
481 529
482Tells the compiler to try to prefetch memory at the given C<addr>ess 530Tells the compiler to try to prefetch memory at the given C<addr>ess
483for either reading (C<rw> = 0) or writing (C<rw> = 1). A C<locality> of 531for either reading (C<rw> = 0) or writing (C<rw> = 1). A C<locality> of
484C<0> means that there will only be one access later, C<3> means that 532C<0> means that there will only be one access later, C<3> means that
485the data will likely be accessed very often, and values in between mean 533the data will likely be accessed very often, and values in between mean
634 682
635=head2 FLOATING POINT FIDDLING 683=head2 FLOATING POINT FIDDLING
636 684
637=over 4 685=over 4
638 686
687=item ECB_INFINITY
688
689Evaluates to positive infinity if supported by the platform, otherwise to
690a truly huge number.
691
692=item ECB_NAN
693
694Evaluates to a quiet NAN if supported by the platform, otherwise to
695C<ECB_INFINITY>.
696
697=item float ecb_ldexpf (float x, int exp)
698
699Same as C<ldexpf>, but always available.
700
639=item uint32_t ecb_float_to_binary32 (float x) [-UECB_NO_LIBM] 701=item uint32_t ecb_float_to_binary32 (float x) [-UECB_NO_LIBM]
640 702
641=item uint64_t ecb_double_to_binary64 (double x) [-UECB_NO_LIBM] 703=item uint64_t ecb_double_to_binary64 (double x) [-UECB_NO_LIBM]
642 704
643These functions each take an argument in the native C<float> or C<double> 705These functions each take an argument in the native C<float> or C<double>

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines