git.ozlabs.org Git - ccan/blob - ccan/likely/likely.h

   1 #ifndef CCAN_LIKELY_H
   2 #define CCAN_LIKELY_H
   3 #include "config.h"
   4 #include <ccan/str/str.h>
   5 #include <stdbool.h>
   6
   7 #ifndef DEBUG
   8 #if HAVE_BUILTIN_EXPECT
   9 /**
  10  * likely - indicate that a condition is likely to be true.
  11  * @cond: the condition
  12  *
  13  * This uses a compiler extension where available to indicate a likely
  14  * code path and optimize appropriately; it's also useful for readers
  15  * to quickly identify exceptional paths through functions.  The
  16  * threshold for "likely" is usually considered to be between 90 and
  17  * 99%; marginal cases should not be marked either way.
  18  *
  19  * See Also:
  20  *      unlikely(), likely_stats()
  21  *
  22  * Example:
  23  *      // Returns false if we overflow.
  24  *      static inline bool inc_int(unsigned int *val)
  25  *      {
  26  *              (*val)++;
  27  *              if (likely(*val))
  28  *                      return true;
  29  *              return false;
  30  *      }
  31  */
  32 #define likely(cond) __builtin_expect(!!(cond), 1)
  33
  34 /**
  35  * unlikely - indicate that a condition is unlikely to be true.
  36  * @cond: the condition
  37  *
  38  * This uses a compiler extension where available to indicate an unlikely
  39  * code path and optimize appropriately; see likely() above.
  40  *
  41  * See Also:
  42  *      likely(), likely_stats(), COLD (compiler.h)
  43  *
  44  * Example:
  45  *      // Prints a warning if we overflow.
  46  *      static inline void inc_int(unsigned int *val)
  47  *      {
  48  *              (*val)++;
  49  *              if (unlikely(*val == 0))
  50  *                      fprintf(stderr, "Overflow!");
  51  *      }
  52  */
  53 #define unlikely(cond) __builtin_expect(!!(cond), 0)
  54 #else
  55 #define likely(cond) (!!(cond))
  56 #define unlikely(cond) (!!(cond))
  57 #endif
  58 #else /* DEBUG versions */
  59 #define likely(cond) \
  60         (_likely_trace(!!(cond), 1, stringify(cond), __FILE__, __LINE__))
  61 #define unlikely(cond) \
  62         (_likely_trace(!!(cond), 0, stringify(cond), __FILE__, __LINE__))
  63
  64 long _likely_trace(bool cond, bool expect,
  65                    const char *condstr,
  66                    const char *file, unsigned int line);
  67 #endif
  68
  69 #ifdef DEBUG
  70 /**
  71  * likely_stats - return description of abused likely()/unlikely()
  72  * @min_hits: minimum number of hits
  73  * @percent: maximum percentage correct
  74  *
  75  * When DEBUG is defined, likely() and unlikely() trace their results: this
  76  * causes a significant slowdown, but allows analysis of whether the stats
  77  * are correct.
  78  *
  79  * This function returns a malloc'ed description of the least-correct
  80  * usage of likely() or unlikely().  It ignores places which have been
  81  * called less than @min_hits times, and those which were predicted
  82  * correctly more than @percent of the time.  It returns NULL when
  83  * nothing meets those criteria.
  84  *
  85  * Note that this call is destructive; the returned offender is
  86  * removed from the trace so that the next call to likely_stats() will
  87  * return the next-worst likely()/unlikely() usage.
  88  *
  89  * Example:
  90  *      // Print every place hit more than twice which was wrong > 5%.
  91  *      static void report_stats(void)
  92  *      {
  93  *      #ifdef DEBUG
  94  *              const char *bad;
  95  *
  96  *              while ((bad = likely_stats(2, 95)) != NULL) {
  97  *                      printf("Suspicious likely: %s", bad);
  98  *                      free(bad);
  99  *              }
 100  *      #endif
 101  *      }
 102  */
 103 const char *likely_stats(unsigned int min_hits, unsigned int percent);
 104 #endif /* DEBUG */
 105 #endif /* CCAN_LIKELY_H */