Thomas Gleixner | 2874c5f | 2019-05-27 08:55:01 +0200 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0-or-later |
Yury Norov | 8f6f19d | 2015-04-16 12:43:16 -0700 | [diff] [blame] | 2 | /* bit search implementation |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 3 | * |
| 4 | * Copyright (C) 2004 Red Hat, Inc. All Rights Reserved. |
| 5 | * Written by David Howells (dhowells@redhat.com) |
| 6 | * |
Yury Norov | 8f6f19d | 2015-04-16 12:43:16 -0700 | [diff] [blame] | 7 | * Copyright (C) 2008 IBM Corporation |
| 8 | * 'find_last_bit' is written by Rusty Russell <rusty@rustcorp.com.au> |
| 9 | * (Inspired by David Howell's find_next_bit implementation) |
| 10 | * |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 11 | * Rewritten by Yury Norov <yury.norov@gmail.com> to decrease |
| 12 | * size and improve performance, 2015. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 13 | */ |
| 14 | |
| 15 | #include <linux/bitops.h> |
Yury Norov | 8f6f19d | 2015-04-16 12:43:16 -0700 | [diff] [blame] | 16 | #include <linux/bitmap.h> |
Paul Gortmaker | 8bc3bcc | 2011-11-16 21:29:17 -0500 | [diff] [blame] | 17 | #include <linux/export.h> |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 18 | #include <linux/kernel.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 19 | |
Clement Courbet | 0ade34c | 2018-02-06 15:38:34 -0800 | [diff] [blame] | 20 | #if !defined(find_next_bit) || !defined(find_next_zero_bit) || \ |
| 21 | !defined(find_next_and_bit) |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 22 | |
| 23 | /* |
Clement Courbet | 0ade34c | 2018-02-06 15:38:34 -0800 | [diff] [blame] | 24 | * This is a common helper function for find_next_bit, find_next_zero_bit, and |
| 25 | * find_next_and_bit. The differences are: |
| 26 | * - The "invert" argument, which is XORed with each fetched word before |
| 27 | * searching it for one bits. |
| 28 | * - The optional "addr2", which is anded with "addr1" if present. |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 29 | */ |
Clement Courbet | 0ade34c | 2018-02-06 15:38:34 -0800 | [diff] [blame] | 30 | static inline unsigned long _find_next_bit(const unsigned long *addr1, |
| 31 | const unsigned long *addr2, unsigned long nbits, |
| 32 | unsigned long start, unsigned long invert) |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 33 | { |
| 34 | unsigned long tmp; |
| 35 | |
Matthew Wilcox | e4afd2e | 2017-02-24 15:00:58 -0800 | [diff] [blame] | 36 | if (unlikely(start >= nbits)) |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 37 | return nbits; |
| 38 | |
Clement Courbet | 0ade34c | 2018-02-06 15:38:34 -0800 | [diff] [blame] | 39 | tmp = addr1[start / BITS_PER_LONG]; |
| 40 | if (addr2) |
| 41 | tmp &= addr2[start / BITS_PER_LONG]; |
| 42 | tmp ^= invert; |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 43 | |
| 44 | /* Handle 1st word. */ |
| 45 | tmp &= BITMAP_FIRST_WORD_MASK(start); |
| 46 | start = round_down(start, BITS_PER_LONG); |
| 47 | |
| 48 | while (!tmp) { |
| 49 | start += BITS_PER_LONG; |
| 50 | if (start >= nbits) |
| 51 | return nbits; |
| 52 | |
Clement Courbet | 0ade34c | 2018-02-06 15:38:34 -0800 | [diff] [blame] | 53 | tmp = addr1[start / BITS_PER_LONG]; |
| 54 | if (addr2) |
| 55 | tmp &= addr2[start / BITS_PER_LONG]; |
| 56 | tmp ^= invert; |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 57 | } |
| 58 | |
| 59 | return min(start + __ffs(tmp), nbits); |
| 60 | } |
| 61 | #endif |
Akinobu Mita | c7f612c | 2006-03-26 01:39:11 -0800 | [diff] [blame] | 62 | |
Akinobu Mita | 19de85e | 2011-05-26 16:26:09 -0700 | [diff] [blame] | 63 | #ifndef find_next_bit |
Alexander van Heukelum | 64970b6 | 2008-03-11 16:17:19 +0100 | [diff] [blame] | 64 | /* |
| 65 | * Find the next set bit in a memory region. |
Akinobu Mita | c7f612c | 2006-03-26 01:39:11 -0800 | [diff] [blame] | 66 | */ |
Thomas Gleixner | fee4b19 | 2008-04-29 12:01:02 +0200 | [diff] [blame] | 67 | unsigned long find_next_bit(const unsigned long *addr, unsigned long size, |
| 68 | unsigned long offset) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 69 | { |
Clement Courbet | 0ade34c | 2018-02-06 15:38:34 -0800 | [diff] [blame] | 70 | return _find_next_bit(addr, NULL, size, offset, 0UL); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 71 | } |
Thomas Gleixner | fee4b19 | 2008-04-29 12:01:02 +0200 | [diff] [blame] | 72 | EXPORT_SYMBOL(find_next_bit); |
Akinobu Mita | 19de85e | 2011-05-26 16:26:09 -0700 | [diff] [blame] | 73 | #endif |
Akinobu Mita | c7f612c | 2006-03-26 01:39:11 -0800 | [diff] [blame] | 74 | |
Akinobu Mita | 19de85e | 2011-05-26 16:26:09 -0700 | [diff] [blame] | 75 | #ifndef find_next_zero_bit |
Thomas Gleixner | fee4b19 | 2008-04-29 12:01:02 +0200 | [diff] [blame] | 76 | unsigned long find_next_zero_bit(const unsigned long *addr, unsigned long size, |
| 77 | unsigned long offset) |
Akinobu Mita | c7f612c | 2006-03-26 01:39:11 -0800 | [diff] [blame] | 78 | { |
Clement Courbet | 0ade34c | 2018-02-06 15:38:34 -0800 | [diff] [blame] | 79 | return _find_next_bit(addr, NULL, size, offset, ~0UL); |
Akinobu Mita | c7f612c | 2006-03-26 01:39:11 -0800 | [diff] [blame] | 80 | } |
Thomas Gleixner | fee4b19 | 2008-04-29 12:01:02 +0200 | [diff] [blame] | 81 | EXPORT_SYMBOL(find_next_zero_bit); |
Akinobu Mita | 19de85e | 2011-05-26 16:26:09 -0700 | [diff] [blame] | 82 | #endif |
Alexander van Heukelum | 77b9bd9 | 2008-04-01 11:46:19 +0200 | [diff] [blame] | 83 | |
Clement Courbet | 0ade34c | 2018-02-06 15:38:34 -0800 | [diff] [blame] | 84 | #if !defined(find_next_and_bit) |
| 85 | unsigned long find_next_and_bit(const unsigned long *addr1, |
| 86 | const unsigned long *addr2, unsigned long size, |
| 87 | unsigned long offset) |
| 88 | { |
| 89 | return _find_next_bit(addr1, addr2, size, offset, 0UL); |
| 90 | } |
| 91 | EXPORT_SYMBOL(find_next_and_bit); |
| 92 | #endif |
| 93 | |
Akinobu Mita | 19de85e | 2011-05-26 16:26:09 -0700 | [diff] [blame] | 94 | #ifndef find_first_bit |
Alexander van Heukelum | 77b9bd9 | 2008-04-01 11:46:19 +0200 | [diff] [blame] | 95 | /* |
| 96 | * Find the first set bit in a memory region. |
| 97 | */ |
Thomas Gleixner | fee4b19 | 2008-04-29 12:01:02 +0200 | [diff] [blame] | 98 | unsigned long find_first_bit(const unsigned long *addr, unsigned long size) |
Alexander van Heukelum | 77b9bd9 | 2008-04-01 11:46:19 +0200 | [diff] [blame] | 99 | { |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 100 | unsigned long idx; |
Alexander van Heukelum | 77b9bd9 | 2008-04-01 11:46:19 +0200 | [diff] [blame] | 101 | |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 102 | for (idx = 0; idx * BITS_PER_LONG < size; idx++) { |
| 103 | if (addr[idx]) |
| 104 | return min(idx * BITS_PER_LONG + __ffs(addr[idx]), size); |
Alexander van Heukelum | 77b9bd9 | 2008-04-01 11:46:19 +0200 | [diff] [blame] | 105 | } |
Alexander van Heukelum | 77b9bd9 | 2008-04-01 11:46:19 +0200 | [diff] [blame] | 106 | |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 107 | return size; |
Alexander van Heukelum | 77b9bd9 | 2008-04-01 11:46:19 +0200 | [diff] [blame] | 108 | } |
Thomas Gleixner | fee4b19 | 2008-04-29 12:01:02 +0200 | [diff] [blame] | 109 | EXPORT_SYMBOL(find_first_bit); |
Akinobu Mita | 19de85e | 2011-05-26 16:26:09 -0700 | [diff] [blame] | 110 | #endif |
Alexander van Heukelum | 77b9bd9 | 2008-04-01 11:46:19 +0200 | [diff] [blame] | 111 | |
Akinobu Mita | 19de85e | 2011-05-26 16:26:09 -0700 | [diff] [blame] | 112 | #ifndef find_first_zero_bit |
Alexander van Heukelum | 77b9bd9 | 2008-04-01 11:46:19 +0200 | [diff] [blame] | 113 | /* |
| 114 | * Find the first cleared bit in a memory region. |
| 115 | */ |
Thomas Gleixner | fee4b19 | 2008-04-29 12:01:02 +0200 | [diff] [blame] | 116 | unsigned long find_first_zero_bit(const unsigned long *addr, unsigned long size) |
Alexander van Heukelum | 77b9bd9 | 2008-04-01 11:46:19 +0200 | [diff] [blame] | 117 | { |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 118 | unsigned long idx; |
Alexander van Heukelum | 77b9bd9 | 2008-04-01 11:46:19 +0200 | [diff] [blame] | 119 | |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 120 | for (idx = 0; idx * BITS_PER_LONG < size; idx++) { |
| 121 | if (addr[idx] != ~0UL) |
| 122 | return min(idx * BITS_PER_LONG + ffz(addr[idx]), size); |
Alexander van Heukelum | 77b9bd9 | 2008-04-01 11:46:19 +0200 | [diff] [blame] | 123 | } |
Alexander van Heukelum | 77b9bd9 | 2008-04-01 11:46:19 +0200 | [diff] [blame] | 124 | |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 125 | return size; |
Alexander van Heukelum | 77b9bd9 | 2008-04-01 11:46:19 +0200 | [diff] [blame] | 126 | } |
Thomas Gleixner | fee4b19 | 2008-04-29 12:01:02 +0200 | [diff] [blame] | 127 | EXPORT_SYMBOL(find_first_zero_bit); |
Akinobu Mita | 19de85e | 2011-05-26 16:26:09 -0700 | [diff] [blame] | 128 | #endif |
Akinobu Mita | 930ae74 | 2006-03-26 01:39:15 -0800 | [diff] [blame] | 129 | |
Yury Norov | 8f6f19d | 2015-04-16 12:43:16 -0700 | [diff] [blame] | 130 | #ifndef find_last_bit |
| 131 | unsigned long find_last_bit(const unsigned long *addr, unsigned long size) |
| 132 | { |
| 133 | if (size) { |
| 134 | unsigned long val = BITMAP_LAST_WORD_MASK(size); |
| 135 | unsigned long idx = (size-1) / BITS_PER_LONG; |
| 136 | |
| 137 | do { |
| 138 | val &= addr[idx]; |
| 139 | if (val) |
| 140 | return idx * BITS_PER_LONG + __fls(val); |
| 141 | |
| 142 | val = ~0ul; |
| 143 | } while (idx--); |
| 144 | } |
| 145 | return size; |
| 146 | } |
| 147 | EXPORT_SYMBOL(find_last_bit); |
| 148 | #endif |
| 149 | |
Akinobu Mita | 930ae74 | 2006-03-26 01:39:15 -0800 | [diff] [blame] | 150 | #ifdef __BIG_ENDIAN |
| 151 | |
| 152 | /* include/linux/byteorder does not support "unsigned long" type */ |
Akinobu Mita | 930ae74 | 2006-03-26 01:39:15 -0800 | [diff] [blame] | 153 | static inline unsigned long ext2_swab(const unsigned long y) |
| 154 | { |
| 155 | #if BITS_PER_LONG == 64 |
| 156 | return (unsigned long) __swab64((u64) y); |
| 157 | #elif BITS_PER_LONG == 32 |
| 158 | return (unsigned long) __swab32((u32) y); |
| 159 | #else |
| 160 | #error BITS_PER_LONG not defined |
| 161 | #endif |
| 162 | } |
| 163 | |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 164 | #if !defined(find_next_bit_le) || !defined(find_next_zero_bit_le) |
Clement Courbet | 0ade34c | 2018-02-06 15:38:34 -0800 | [diff] [blame] | 165 | static inline unsigned long _find_next_bit_le(const unsigned long *addr1, |
| 166 | const unsigned long *addr2, unsigned long nbits, |
| 167 | unsigned long start, unsigned long invert) |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 168 | { |
| 169 | unsigned long tmp; |
| 170 | |
Matthew Wilcox | e4afd2e | 2017-02-24 15:00:58 -0800 | [diff] [blame] | 171 | if (unlikely(start >= nbits)) |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 172 | return nbits; |
| 173 | |
Clement Courbet | 0ade34c | 2018-02-06 15:38:34 -0800 | [diff] [blame] | 174 | tmp = addr1[start / BITS_PER_LONG]; |
| 175 | if (addr2) |
| 176 | tmp &= addr2[start / BITS_PER_LONG]; |
| 177 | tmp ^= invert; |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 178 | |
| 179 | /* Handle 1st word. */ |
| 180 | tmp &= ext2_swab(BITMAP_FIRST_WORD_MASK(start)); |
| 181 | start = round_down(start, BITS_PER_LONG); |
| 182 | |
| 183 | while (!tmp) { |
| 184 | start += BITS_PER_LONG; |
| 185 | if (start >= nbits) |
| 186 | return nbits; |
| 187 | |
Clement Courbet | 0ade34c | 2018-02-06 15:38:34 -0800 | [diff] [blame] | 188 | tmp = addr1[start / BITS_PER_LONG]; |
| 189 | if (addr2) |
| 190 | tmp &= addr2[start / BITS_PER_LONG]; |
| 191 | tmp ^= invert; |
Yury Norov | 2c57a0e | 2015-04-16 12:43:13 -0700 | [diff] [blame] | 192 | } |
| 193 | |
| 194 | return min(start + __ffs(ext2_swab(tmp)), nbits); |
| 195 | } |
| 196 | #endif |
| 197 | |
Akinobu Mita | 19de85e | 2011-05-26 16:26:09 -0700 | [diff] [blame] | 198 | #ifndef find_next_zero_bit_le |
Akinobu Mita | a56560b | 2011-03-23 16:41:50 -0700 | [diff] [blame] | 199 | unsigned long find_next_zero_bit_le(const void *addr, unsigned |
Akinobu Mita | 930ae74 | 2006-03-26 01:39:15 -0800 | [diff] [blame] | 200 | long size, unsigned long offset) |
| 201 | { |
Clement Courbet | 0ade34c | 2018-02-06 15:38:34 -0800 | [diff] [blame] | 202 | return _find_next_bit_le(addr, NULL, size, offset, ~0UL); |
Akinobu Mita | 930ae74 | 2006-03-26 01:39:15 -0800 | [diff] [blame] | 203 | } |
Akinobu Mita | c4945b9 | 2011-03-23 16:41:47 -0700 | [diff] [blame] | 204 | EXPORT_SYMBOL(find_next_zero_bit_le); |
Akinobu Mita | 19de85e | 2011-05-26 16:26:09 -0700 | [diff] [blame] | 205 | #endif |
Akinobu Mita | 930ae74 | 2006-03-26 01:39:15 -0800 | [diff] [blame] | 206 | |
Akinobu Mita | 19de85e | 2011-05-26 16:26:09 -0700 | [diff] [blame] | 207 | #ifndef find_next_bit_le |
Akinobu Mita | a56560b | 2011-03-23 16:41:50 -0700 | [diff] [blame] | 208 | unsigned long find_next_bit_le(const void *addr, unsigned |
Aneesh Kumar K.V | aa02ad6 | 2008-01-28 23:58:27 -0500 | [diff] [blame] | 209 | long size, unsigned long offset) |
| 210 | { |
Clement Courbet | 0ade34c | 2018-02-06 15:38:34 -0800 | [diff] [blame] | 211 | return _find_next_bit_le(addr, NULL, size, offset, 0UL); |
Aneesh Kumar K.V | aa02ad6 | 2008-01-28 23:58:27 -0500 | [diff] [blame] | 212 | } |
Akinobu Mita | c4945b9 | 2011-03-23 16:41:47 -0700 | [diff] [blame] | 213 | EXPORT_SYMBOL(find_next_bit_le); |
Akinobu Mita | 19de85e | 2011-05-26 16:26:09 -0700 | [diff] [blame] | 214 | #endif |
Akinobu Mita | 0664996 | 2011-03-23 16:41:59 -0700 | [diff] [blame] | 215 | |
Akinobu Mita | 930ae74 | 2006-03-26 01:39:15 -0800 | [diff] [blame] | 216 | #endif /* __BIG_ENDIAN */ |