From: Florin Coras Date: Fri, 29 Jun 2018 10:22:44 +0000 (-0700) Subject: bitmap: add nocheck variants for bit ops X-Git-Tag: v18.07-rc1~68 X-Git-Url: https://gerrit.fd.io/r/gitweb?p=vpp.git;a=commitdiff_plain;h=fcd23686c4c5bed8066ea902e0bc1489c0a50daf bitmap: add nocheck variants for bit ops Change-Id: Ifd155e2980a9f8e6af9bb6b08619c15b2bf18ef1 Signed-off-by: Florin Coras --- diff --git a/src/vppinfra/bitmap.h b/src/vppinfra/bitmap.h index 574f4c1b0a8..d6dfe86da0b 100644 --- a/src/vppinfra/bitmap.h +++ b/src/vppinfra/bitmap.h @@ -533,8 +533,12 @@ clib_bitmap_##name (uword * ai, uword * bi) \ } /* ALU functions: */ +/* *INDENT-OFF* */ _(and, a = a & b, 1) -_(andnot, a = a & ~b, 1) _(or, a = a | b, 0) _(xor, a = a ^ b, 1) +_(andnot, a = a & ~b, 1) +_(or, a = a | b, 0) +_(xor, a = a ^ b, 1) +/* *INDENT-ON* */ #undef _ /** Logical operator across two bitmaps which duplicates the first bitmap @@ -542,8 +546,7 @@ _(andnot, a = a & ~b, 1) _(or, a = a | b, 0) _(xor, a = a ^ b, 1) @param bi - pointer to the source bitmap @returns aiDup = ai and bi. Neither ai nor bi are modified */ - always_inline uword * - clib_bitmap_dup_and (uword * ai, uword * bi); +always_inline uword *clib_bitmap_dup_and (uword * ai, uword * bi); /** Logical operator across two bitmaps which duplicates the first bitmap @@ -551,8 +554,7 @@ _(andnot, a = a & ~b, 1) _(or, a = a | b, 0) _(xor, a = a ^ b, 1) @param bi - pointer to the source bitmap @returns aiDup = ai & ~bi. Neither ai nor bi are modified */ - always_inline uword * - clib_bitmap_dup_andnot (uword * ai, uword * bi); +always_inline uword *clib_bitmap_dup_andnot (uword * ai, uword * bi); /** Logical operator across two bitmaps which duplicates the first bitmap @@ -560,8 +562,7 @@ _(andnot, a = a & ~b, 1) _(or, a = a | b, 0) _(xor, a = a ^ b, 1) @param bi - pointer to the source bitmap @returns aiDup = ai or bi. Neither ai nor bi are modified */ - always_inline uword * - clib_bitmap_dup_or (uword * ai, uword * bi); +always_inline uword *clib_bitmap_dup_or (uword * ai, uword * bi); /** Logical operator across two bitmaps which duplicates the first bitmap @@ -569,22 +570,23 @@ _(andnot, a = a & ~b, 1) _(or, a = a | b, 0) _(xor, a = a ^ b, 1) @param bi - pointer to the source bitmap @returns aiDup = ai xor bi. Neither ai nor bi are modified */ - always_inline uword * - clib_bitmap_dup_xor (uword * ai, uword * bi); +always_inline uword *clib_bitmap_dup_xor (uword * ai, uword * bi); #define _(name) \ always_inline uword * \ clib_bitmap_dup_##name (uword * ai, uword * bi) \ { return clib_bitmap_##name (clib_bitmap_dup (ai), bi); } +/* *INDENT-OFF* */ _(and); _(andnot); _(or); _(xor); - +/* *INDENT-ON* */ #undef _ -/* ALU function definition macro for functions taking one bitmap and an immediate. */ +/* ALU function definition macro for functions taking one bitmap and an + * immediate. */ #define _(name, body, check_zero) \ always_inline uword * \ clib_bitmap_##name (uword * ai, uword i) \ @@ -603,17 +605,48 @@ clib_bitmap_##name (uword * ai, uword i) \ } /* ALU functions immediate: */ +/* *INDENT-OFF* */ _(andi, a = a & b, 1) -_(andnoti, a = a & ~b, 1) _(ori, a = a | b, 0) _(xori, a = a ^ b, 1) +_(andnoti, a = a & ~b, 1) +_(ori, a = a | b, 0) +_(xori, a = a ^ b, 1) +/* *INDENT-ON* */ #undef _ + +/* ALU function definition macro for functions taking one bitmap and an + * immediate. No tail trimming */ +#define _(name, body) \ +always_inline uword * \ +clib_bitmap_##name##_notrim (uword * ai, uword i) \ +{ \ + uword i0 = i / BITS (ai[0]); \ + uword i1 = i % BITS (ai[0]); \ + uword a, b; \ + clib_bitmap_vec_validate (ai, i0); \ + a = ai[i0]; \ + b = (uword) 1 << i1; \ + do { body; } while (0); \ + ai[i0] = a; \ + return ai; \ +} + +/* ALU functions immediate: */ +/* *INDENT-OFF* */ +_(andi, a = a & b) +_(andnoti, a = a & ~b) +_(ori, a = a | b) +_(xori, a = a ^ b) +#undef _ +/* *INDENT-ON* */ + /** Return a random bitmap of the requested length @param ai - pointer to the destination bitmap @param n_bits - number of bits to allocate @param [in,out] seed - pointer to the random number seed @returns a reasonably random bitmap based. See random.h. */ - always_inline uword * - clib_bitmap_random (uword * ai, uword n_bits, u32 * seed) +always_inline uword * +clib_bitmap_random (uword * ai, uword n_bits, u32 * seed) { vec_reset_length (ai); diff --git a/src/vppinfra/pool.h b/src/vppinfra/pool.h index d1a2be9ddcd..2b8e0581e38 100644 --- a/src/vppinfra/pool.h +++ b/src/vppinfra/pool.h @@ -201,8 +201,9 @@ do { \ /* Return free element from free list. */ \ uword _pool_var (i) = _pool_var (p)->free_indices[_pool_var (l) - 1]; \ (E) = (P) + _pool_var (i); \ - clib_bitmap_set_no_check (_pool_var (p)->free_bitmap, \ - _pool_var (i), 0); \ + _pool_var (p)->free_bitmap = \ + clib_bitmap_andnoti_notrim (_pool_var (p)->free_bitmap, \ + _pool_var (i)); \ _vec_len (_pool_var (p)->free_indices) = _pool_var (l) - 1; \ } \ else \ @@ -220,7 +221,6 @@ do { \ pool_aligned_header_bytes, \ /* align */ (A)); \ E = vec_end (P) - 1; \ - pool_validate_index (P, vec_len(P)-1); \ } \ } while (0) @@ -264,7 +264,7 @@ do { \ ({ \ pool_header_t * _pool_var (p) = pool_header (P); \ uword _pool_var (i) = (E) - (P); \ - (_pool_var (i) < vec_len (P)) ? clib_bitmap_get_no_check (_pool_var (p)->free_bitmap, _pool_i) : 1; \ + (_pool_var (i) < vec_len (P)) ? clib_bitmap_get (_pool_var (p)->free_bitmap, _pool_i) : 1; \ }) /** Use free bitmap to query whether given index is free */ @@ -279,8 +279,9 @@ do { \ ASSERT (! pool_is_free (P, E)); \ \ /* Add element to free bitmap and to free list. */ \ - clib_bitmap_set_no_check (_pool_var (p)->free_bitmap, \ - _pool_var (l), 1); \ + _pool_var (p)->free_bitmap = \ + clib_bitmap_ori_notrim (_pool_var (p)->free_bitmap, \ + _pool_var (l)); \ \ /* Preallocated pool? */ \ if (_pool_var (p)->max_elts) \