2019-09-08 17:45:51 +03:00
|
|
|
module bitfield
|
2019-07-09 22:11:09 +03:00
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
/*
|
2019-09-08 17:45:51 +03:00
|
|
|
bitfield is a module for
|
2019-07-23 19:29:04 +03:00
|
|
|
manipulating arrays of bits, i.e. series of zeroes and ones spread across an
|
|
|
|
array of storage units (unsigned 32-bit integers).
|
|
|
|
|
|
|
|
BitField structure
|
|
|
|
------------------
|
|
|
|
|
|
|
|
Bit arrays are stored in data structures called 'BitField'. The structure is
|
|
|
|
'opaque', i.e. its internals are not available to the end user. This module
|
|
|
|
provides API (functions and methods) for accessing and modifying bit arrays.
|
|
|
|
*/
|
|
|
|
|
2019-07-09 22:11:09 +03:00
|
|
|
struct BitField {
|
|
|
|
mut:
|
|
|
|
size int
|
|
|
|
//field *u32
|
|
|
|
field []u32
|
|
|
|
}
|
|
|
|
|
2019-09-08 17:45:51 +03:00
|
|
|
// helper functions
|
2019-07-09 22:11:09 +03:00
|
|
|
const (
|
|
|
|
SLOT_SIZE = 32
|
|
|
|
)
|
|
|
|
|
|
|
|
fn bitmask(bitnr int) u32 {
|
2019-07-12 21:46:37 +03:00
|
|
|
return u32(u32(1) << u32(bitnr % SLOT_SIZE))
|
2019-07-09 22:11:09 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
fn bitslot(size int) int {
|
|
|
|
return size / SLOT_SIZE
|
|
|
|
}
|
|
|
|
|
|
|
|
fn bitget(instance BitField, bitnr int) int {
|
2019-11-06 01:02:50 +03:00
|
|
|
return (instance.field[bitslot(bitnr)] >> (bitnr % SLOT_SIZE)) & u32(1)
|
2019-07-09 22:11:09 +03:00
|
|
|
}
|
|
|
|
|
2019-08-07 10:53:33 +03:00
|
|
|
fn bitset(instance mut BitField, bitnr int) {
|
2019-07-09 22:11:09 +03:00
|
|
|
instance.field[bitslot(bitnr)] = instance.field[bitslot(bitnr)] | bitmask(bitnr)
|
|
|
|
}
|
|
|
|
|
2019-08-07 10:53:33 +03:00
|
|
|
fn bitclear(instance mut BitField, bitnr int) {
|
2019-07-09 22:11:09 +03:00
|
|
|
instance.field[bitslot(bitnr)] = instance.field[bitslot(bitnr)] & ~bitmask(bitnr)
|
|
|
|
}
|
|
|
|
|
2019-08-07 10:53:33 +03:00
|
|
|
fn bittoggle(instance mut BitField, bitnr int) {
|
2019-07-09 22:11:09 +03:00
|
|
|
instance.field[bitslot(bitnr)] = instance.field[bitslot(bitnr)] ^ bitmask(bitnr)
|
|
|
|
}
|
|
|
|
/*
|
|
|
|
#define BITTEST(a, b) ((a)->field[BITSLOT(b)] & BITMASK(b))
|
|
|
|
*/
|
|
|
|
|
|
|
|
fn min(input1 int, input2 int) int {
|
|
|
|
if input1 < input2 {
|
|
|
|
return input1
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
return input2
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn bitnslots(length int) int {
|
|
|
|
return (length - 1) / SLOT_SIZE + 1
|
2019-09-08 17:45:51 +03:00
|
|
|
}
|
2019-07-09 22:11:09 +03:00
|
|
|
|
2019-08-07 10:53:33 +03:00
|
|
|
fn cleartail(instance mut BitField) {
|
2019-07-09 22:11:09 +03:00
|
|
|
tail := instance.size % SLOT_SIZE
|
|
|
|
if tail != 0 {
|
2019-09-08 17:45:51 +03:00
|
|
|
// create a mask for the tail
|
2019-07-09 22:11:09 +03:00
|
|
|
mask := u32((1 << tail) - 1)
|
2019-09-08 17:45:51 +03:00
|
|
|
// clear the extra bits
|
2019-07-09 22:11:09 +03:00
|
|
|
instance.field[bitnslots(instance.size) - 1] = instance.field[bitnslots(instance.size) - 1] & mask
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-09-08 17:45:51 +03:00
|
|
|
// public functions
|
2019-07-09 22:11:09 +03:00
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// str2bf() converts a string of characters ('0' and '1') to a bit
|
|
|
|
// array. Any character different from '0' is treated as '1'.
|
|
|
|
|
2019-07-14 18:56:48 +03:00
|
|
|
pub fn str2bf(input string) BitField {
|
|
|
|
mut output := new(input.len)
|
|
|
|
for i := 0; i < input.len; i++ {
|
|
|
|
if input[i] != 48 {
|
|
|
|
output.setbit(i)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return output
|
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// string() converts the bit array to a string of characters ('0' and '1') and
|
|
|
|
// return the string
|
|
|
|
|
2019-07-14 18:56:48 +03:00
|
|
|
pub fn (input BitField) string() string {
|
|
|
|
mut output := ''
|
|
|
|
for i := 0; i < input.size; i++ {
|
|
|
|
if input.getbit(i) == 1 {
|
|
|
|
output = output + '1'
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
output = output + '0'
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return output
|
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
//new() creates an empty bit array of capable of storing 'size' bits.
|
|
|
|
|
2019-07-09 22:11:09 +03:00
|
|
|
pub fn new(size int) BitField {
|
|
|
|
output := BitField{
|
2019-09-08 17:45:51 +03:00
|
|
|
size: size
|
2019-07-09 22:11:09 +03:00
|
|
|
//field: *u32(calloc(bitnslots(size) * SLOT_SIZE / 8))
|
2019-10-08 13:24:02 +03:00
|
|
|
field: [u32(0)].repeat(bitnslots(size))
|
2019-07-09 22:11:09 +03:00
|
|
|
}
|
|
|
|
return output
|
|
|
|
}
|
|
|
|
/*
|
|
|
|
pub fn del(instance *BitField) {
|
|
|
|
free(instance.field)
|
|
|
|
free(instance)
|
|
|
|
}
|
|
|
|
*/
|
2019-07-23 19:29:04 +03:00
|
|
|
|
|
|
|
// getbit() returns the value (0 or 1) of bit number 'bit_nr' (count from
|
|
|
|
// 0)
|
|
|
|
|
2019-07-09 22:11:09 +03:00
|
|
|
pub fn (instance BitField) getbit(bitnr int) int {
|
|
|
|
if bitnr >= instance.size {return 0}
|
|
|
|
return bitget(instance, bitnr)
|
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// setbit() set bit number 'bit_nr' to 1 (count from 0)
|
|
|
|
|
2019-07-09 22:11:09 +03:00
|
|
|
pub fn (instance mut BitField) setbit(bitnr int) {
|
|
|
|
if bitnr >= instance.size {return}
|
2019-08-07 15:04:10 +03:00
|
|
|
bitset(mut instance, bitnr)
|
2019-07-09 22:11:09 +03:00
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// clearbit() clears (sets to zero) bit number 'bit_nr' (count from 0)
|
|
|
|
|
2019-07-09 22:11:09 +03:00
|
|
|
pub fn (instance mut BitField) clearbit(bitnr int) {
|
|
|
|
if bitnr >= instance.size {return}
|
2019-08-07 15:04:10 +03:00
|
|
|
bitclear(mut instance, bitnr)
|
2019-07-09 22:11:09 +03:00
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// setall() sets all bits in the array to 1
|
|
|
|
|
2019-07-14 18:56:48 +03:00
|
|
|
pub fn (instance mut BitField) setall() {
|
|
|
|
for i := 0; i < bitnslots(instance.size); i++ {
|
|
|
|
instance.field[i] = u32(-1)
|
|
|
|
}
|
2019-08-07 15:04:10 +03:00
|
|
|
cleartail(mut instance)
|
2019-07-14 18:56:48 +03:00
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// clearall() clears (sets to zero) all bits in the array
|
|
|
|
|
2019-07-14 18:56:48 +03:00
|
|
|
pub fn (instance mut BitField) clearall() {
|
|
|
|
for i := 0; i < bitnslots(instance.size); i++ {
|
|
|
|
instance.field[i] = u32(0)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// togglebit() change the value (from 0 to 1 or from 1 to 0) of bit
|
|
|
|
// number 'bit_nr'
|
|
|
|
|
2019-07-09 22:11:09 +03:00
|
|
|
pub fn (instance mut BitField) togglebit(bitnr int) {
|
|
|
|
if bitnr >= instance.size {return}
|
2019-08-07 15:04:10 +03:00
|
|
|
bittoggle(mut instance, bitnr)
|
2019-07-09 22:11:09 +03:00
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// bfand() perform logical AND operation on every pair of bits from 'input1'
|
|
|
|
// and 'input2' and return the result as a new array. If inputs differ in size,
|
|
|
|
// the tail of the longer one is ignored.
|
|
|
|
|
2019-07-09 22:11:09 +03:00
|
|
|
pub fn bfand(input1 BitField, input2 BitField) BitField {
|
|
|
|
size := min(input1.size, input2.size)
|
|
|
|
bitnslots := bitnslots(size)
|
|
|
|
mut output := new(size)
|
|
|
|
mut i := 0
|
|
|
|
for i < bitnslots {
|
|
|
|
output.field[i] = input1.field[i] & input2.field[i]
|
|
|
|
i++
|
|
|
|
}
|
2019-08-07 15:04:10 +03:00
|
|
|
cleartail(mut output)
|
2019-07-09 22:11:09 +03:00
|
|
|
return output
|
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// bfnot() toggle all bits in a bit array and return the result as a new array
|
|
|
|
|
2019-07-09 22:11:09 +03:00
|
|
|
pub fn bfnot(input BitField) BitField {
|
|
|
|
size := input.size
|
|
|
|
bitnslots := bitnslots(size)
|
|
|
|
mut output := new(size)
|
|
|
|
mut i := 0
|
|
|
|
for i < bitnslots {
|
|
|
|
output.field[i] = ~input.field[i]
|
|
|
|
i++
|
|
|
|
}
|
2019-08-07 15:04:10 +03:00
|
|
|
cleartail(mut output)
|
2019-07-09 22:11:09 +03:00
|
|
|
return output
|
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// bfor() perform logical OR operation on every pair of bits from 'input1' and
|
|
|
|
// 'input2' and return the result as a new array. If inputs differ in size, the
|
|
|
|
// tail of the longer one is ignored.
|
|
|
|
|
2019-07-09 22:11:09 +03:00
|
|
|
pub fn bfor(input1 BitField, input2 BitField) BitField {
|
|
|
|
size := min(input1.size, input2.size)
|
|
|
|
bitnslots := bitnslots(size)
|
|
|
|
mut output := new(size)
|
|
|
|
mut i := 0
|
|
|
|
for i < bitnslots {
|
|
|
|
output.field[i] = input1.field[i] | input2.field[i]
|
|
|
|
i++
|
|
|
|
}
|
2019-08-07 15:04:10 +03:00
|
|
|
cleartail(mut output)
|
2019-07-09 22:11:09 +03:00
|
|
|
return output
|
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// bfxor(input1 BitField, input2 BitField) perform logical XOR operation on
|
|
|
|
// every pair of bits from 'input1' and 'input2' and return the result as a new
|
|
|
|
// array. If inputs differ in size, the tail of the longer one is ignored.
|
|
|
|
|
2019-07-09 22:11:09 +03:00
|
|
|
pub fn bfxor(input1 BitField, input2 BitField) BitField {
|
|
|
|
size := min(input1.size, input2.size)
|
|
|
|
bitnslots := bitnslots(size)
|
|
|
|
mut output := new(size)
|
|
|
|
mut i := 0
|
|
|
|
for i < bitnslots {
|
|
|
|
output.field[i] = input1.field[i] ^ input2.field[i]
|
|
|
|
i++
|
|
|
|
}
|
2019-08-07 15:04:10 +03:00
|
|
|
cleartail(mut output)
|
2019-07-09 22:11:09 +03:00
|
|
|
return output
|
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// join() concatenates two bit arrays and return the result as a new array.
|
|
|
|
|
2019-07-12 21:46:37 +03:00
|
|
|
pub fn join(input1 BitField, input2 BitField) BitField {
|
|
|
|
output_size := input1.size + input2.size
|
|
|
|
mut output := new(output_size)
|
|
|
|
// copy the first input to output as is
|
|
|
|
for i := 0; i < bitnslots(input1.size); i++ {
|
|
|
|
output.field[i] = input1.field[i]
|
|
|
|
}
|
|
|
|
|
|
|
|
// find offset bit and offset slot
|
|
|
|
offset_bit := input1.size % SLOT_SIZE
|
|
|
|
offset_slot := input1.size / SLOT_SIZE
|
|
|
|
|
|
|
|
for i := 0; i < bitnslots(input2.size); i++ {
|
2019-10-12 22:03:18 +03:00
|
|
|
output.field[i + offset_slot] |=
|
2019-07-12 21:46:37 +03:00
|
|
|
u32(input2.field[i] << u32(offset_bit))
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* If offset_bit is not zero, additional operations are needed.
|
|
|
|
* Number of iterations depends on the nr of slots in output. Two
|
|
|
|
* options:
|
|
|
|
* (a) nr of slots in output is the sum of inputs' slots. In this
|
|
|
|
* case, the nr of bits in the last slot of output is less than the
|
2019-09-14 23:54:14 +03:00
|
|
|
* nr of bits in the second input (i.e. ), OR
|
2019-07-12 21:46:37 +03:00
|
|
|
* (b) nr of slots of output is the sum of inputs' slots less one
|
|
|
|
* (i.e. less iterations needed). In this case, the nr of bits in
|
2019-09-14 23:54:14 +03:00
|
|
|
* the last slot of output is greater than the nr of bits in the second
|
2019-07-12 21:46:37 +03:00
|
|
|
* input.
|
|
|
|
* If offset_bit is zero, no additional copies needed.
|
|
|
|
*/
|
|
|
|
if (output_size - 1) % SLOT_SIZE < (input2.size - 1) % SLOT_SIZE {
|
|
|
|
for i := 0; i < bitnslots(input2.size); i++ {
|
2019-10-12 22:03:18 +03:00
|
|
|
output.field[i + offset_slot + 1] |=
|
2019-07-12 21:46:37 +03:00
|
|
|
u32(input2.field[i] >> u32(SLOT_SIZE - offset_bit))
|
|
|
|
}
|
|
|
|
} else if (output_size - 1) % SLOT_SIZE > (input2.size - 1) % SLOT_SIZE {
|
|
|
|
for i := 0; i < bitnslots(input2.size) - 1; i++ {
|
2019-10-12 22:03:18 +03:00
|
|
|
output.field[i + offset_slot + 1] |=
|
2019-07-12 21:46:37 +03:00
|
|
|
u32(input2.field[i] >> u32(SLOT_SIZE - offset_bit))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return output
|
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// print(instance BitField) send the content of a bit array to stdout as a
|
|
|
|
// string of characters ('0' and '1').
|
|
|
|
|
2019-07-09 22:11:09 +03:00
|
|
|
pub fn print(instance BitField) {
|
|
|
|
mut i := 0
|
|
|
|
for i < instance.size {
|
|
|
|
if instance.getbit(i) == 1 {
|
|
|
|
print('1')
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
print('0')
|
|
|
|
}
|
|
|
|
i++
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// getsize() returns the number of bits the array can hold
|
|
|
|
|
2019-07-09 22:11:09 +03:00
|
|
|
pub fn (instance BitField) getsize() int {
|
|
|
|
return instance.size
|
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// clone() create a copy of a bit array
|
|
|
|
|
2019-07-09 22:11:09 +03:00
|
|
|
pub fn clone(input BitField) BitField {
|
|
|
|
bitnslots := bitnslots(input.size)
|
|
|
|
mut output := new(input.size)
|
|
|
|
mut i := 0
|
|
|
|
for i < bitnslots {
|
|
|
|
output.field[i] = input.field[i]
|
|
|
|
i++
|
|
|
|
}
|
|
|
|
return output
|
2019-07-10 23:05:50 +03:00
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// cmp() compare two bit arrays bit by bit and return 'true' if they are
|
|
|
|
// identical by length and contents and 'false' otherwise.
|
|
|
|
|
2019-07-12 21:46:37 +03:00
|
|
|
pub fn cmp(input1 BitField, input2 BitField) bool {
|
|
|
|
if input1.size != input2.size {return false}
|
|
|
|
for i := 0; i < bitnslots(input1.size); i++ {
|
|
|
|
if input1.field[i] != input2.field[i] {return false}
|
|
|
|
}
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// popcount() returns the number of set bits (ones) in the array
|
|
|
|
|
2019-07-12 21:46:37 +03:00
|
|
|
pub fn (instance BitField) popcount() int {
|
|
|
|
size := instance.size
|
|
|
|
bitnslots := bitnslots(size)
|
|
|
|
tail := size % SLOT_SIZE
|
|
|
|
mut count := 0
|
|
|
|
for i := 0; i < bitnslots - 1; i++ {
|
|
|
|
for j := 0; j < SLOT_SIZE; j++ {
|
|
|
|
if u32(instance.field[i] >> u32(j)) & u32(1) == u32(1) {
|
|
|
|
count++
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
for j := 0; j < tail; j++ {
|
|
|
|
if u32(instance.field[bitnslots - 1] >> u32(j)) & u32(1) == u32(1) {
|
|
|
|
count++
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return count
|
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// hamming () compute the Hamming distance between two bit arrays.
|
|
|
|
|
2019-07-12 21:46:37 +03:00
|
|
|
pub fn hamming (input1 BitField, input2 BitField) int {
|
|
|
|
input_xored := bfxor(input1, input2)
|
|
|
|
return input_xored.popcount()
|
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// pos() checks if the array contains a sub-array 'needle' and returns its
|
|
|
|
// position if it does, -1 if it does not, and -2 on error.
|
|
|
|
|
2019-07-15 20:07:07 +03:00
|
|
|
pub fn (haystack BitField) pos(needle BitField) int {
|
|
|
|
heystack_size := haystack.size
|
|
|
|
needle_size := needle.size
|
|
|
|
diff := heystack_size - needle_size
|
|
|
|
|
|
|
|
// needle longer than haystack; return error code -2
|
|
|
|
if diff < 0 {
|
|
|
|
return -2
|
|
|
|
}
|
|
|
|
for i := 0; i <= diff; i++ {
|
|
|
|
needle_candidate := haystack.slice(i, needle_size + i)
|
|
|
|
if cmp(needle_candidate, needle) {
|
|
|
|
// needle matches a sub-array of haystack; return starting position of the sub-array
|
|
|
|
return i
|
|
|
|
}
|
|
|
|
}
|
|
|
|
// nothing matched; return -1
|
|
|
|
return -1
|
|
|
|
}
|
|
|
|
|
2019-09-08 17:45:51 +03:00
|
|
|
// slice() return a sub-array of bits between 'start_bit_nr' (included) and
|
2019-07-23 19:29:04 +03:00
|
|
|
// 'end_bit_nr' (excluded)
|
|
|
|
|
2019-07-12 21:46:37 +03:00
|
|
|
pub fn (input BitField) slice(_start int, _end int) BitField {
|
|
|
|
// boundary checks
|
|
|
|
mut start := _start
|
|
|
|
mut end := _end
|
|
|
|
if end > input.size {
|
|
|
|
end = input.size // or panic?
|
|
|
|
}
|
|
|
|
if start > end {
|
|
|
|
start = end // or panic?
|
|
|
|
}
|
|
|
|
|
|
|
|
mut output := new(end - start)
|
|
|
|
start_offset := start % SLOT_SIZE
|
|
|
|
end_offset := (end - 1) % SLOT_SIZE
|
|
|
|
start_slot := start / SLOT_SIZE
|
|
|
|
end_slot := (end - 1) / SLOT_SIZE
|
|
|
|
output_slots := bitnslots(end - start)
|
|
|
|
|
|
|
|
if output_slots > 1 {
|
|
|
|
if start_offset != 0 {
|
|
|
|
for i := 0; i < output_slots - 1; i++ {
|
|
|
|
output.field[i] =
|
|
|
|
u32(input.field[start_slot + i] >> u32(start_offset))
|
|
|
|
output.field[i] = output.field[i] |
|
|
|
|
u32(input.field[start_slot + i + 1] <<
|
|
|
|
u32(SLOT_SIZE - start_offset))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
for i := 0; i < output_slots - 1; i++ {
|
|
|
|
output.field[i] =
|
|
|
|
u32(input.field[start_slot + i])
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if start_offset > end_offset {
|
|
|
|
output.field[(end - start - 1) / SLOT_SIZE] =
|
|
|
|
u32(input.field[end_slot - 1] >> u32(start_offset))
|
|
|
|
mut mask := u32((1 << (end_offset + 1)) - 1)
|
|
|
|
mask = input.field[end_slot] & mask
|
|
|
|
mask = u32(mask << u32(SLOT_SIZE - start_offset))
|
2019-10-12 22:03:18 +03:00
|
|
|
output.field[(end - start - 1) / SLOT_SIZE] |= mask
|
2019-07-12 21:46:37 +03:00
|
|
|
}
|
|
|
|
else if start_offset == 0 {
|
|
|
|
mut mask := u32(0)
|
|
|
|
if end_offset == SLOT_SIZE - 1 {
|
|
|
|
mask = u32(-1)
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
mask = u32(u32(1) << u32(end_offset + 1))
|
|
|
|
mask = mask - u32(1)
|
|
|
|
}
|
|
|
|
output.field[(end - start - 1) / SLOT_SIZE] =
|
|
|
|
(input.field[end_slot] & mask)
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
mut mask := u32(((1 << (end_offset - start_offset + 1)) - 1) << start_offset)
|
|
|
|
mask = input.field[end_slot] & mask
|
|
|
|
mask = u32(mask >> u32(start_offset))
|
2019-10-12 22:03:18 +03:00
|
|
|
output.field[(end - start - 1) / SLOT_SIZE] |= mask
|
2019-07-12 21:46:37 +03:00
|
|
|
}
|
|
|
|
return output
|
|
|
|
}
|
2019-07-15 20:07:07 +03:00
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// reverse() reverses the order of bits in the array (swap the first with the
|
|
|
|
// last, the second with the last but one and so on)
|
|
|
|
|
2019-07-15 20:07:07 +03:00
|
|
|
pub fn (instance mut BitField) reverse() BitField {
|
|
|
|
size := instance.size
|
|
|
|
bitnslots := bitnslots(size)
|
|
|
|
mut output := new(size)
|
|
|
|
for i:= 0; i < (bitnslots - 1); i++ {
|
|
|
|
for j := 0; j < SLOT_SIZE; j++ {
|
|
|
|
if u32(instance.field[i] >> u32(j)) & u32(1) == u32(1) {
|
2019-08-07 15:04:10 +03:00
|
|
|
bitset(mut output, size - i * SLOT_SIZE - j - 1)
|
2019-07-15 20:07:07 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
bits_in_last_input_slot := (size - 1) % SLOT_SIZE + 1
|
|
|
|
for j := 0; j < bits_in_last_input_slot; j++ {
|
|
|
|
if u32(instance.field[bitnslots - 1] >> u32(j)) & u32(1) == u32(1) {
|
2019-08-07 15:04:10 +03:00
|
|
|
bitset(mut output, bits_in_last_input_slot - j - 1)
|
2019-07-15 20:07:07 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
return output
|
|
|
|
}
|
|
|
|
|
2019-09-08 18:53:40 +03:00
|
|
|
// resize changes the size of the bit array to 'new_size'
|
|
|
|
pub fn (instance mut BitField) resize(new_size int) {
|
|
|
|
new_bitnslots := bitnslots(new_size)
|
2019-07-15 20:07:07 +03:00
|
|
|
old_size := instance.size
|
|
|
|
old_bitnslots := bitnslots(old_size)
|
2019-09-15 12:26:05 +03:00
|
|
|
mut field := [u32(0)].repeat(new_bitnslots)
|
2019-07-29 11:37:39 +03:00
|
|
|
for i := 0; i < old_bitnslots && i < new_bitnslots; i++ {
|
2019-07-15 20:07:07 +03:00
|
|
|
field[i] = instance.field[i]
|
|
|
|
}
|
2019-09-08 16:10:59 +03:00
|
|
|
instance.field = field.clone()
|
2019-09-08 18:53:40 +03:00
|
|
|
instance.size = new_size
|
2019-09-09 02:38:15 +03:00
|
|
|
if new_size < old_size && new_size % SLOT_SIZE != 0 {
|
2019-08-07 15:04:10 +03:00
|
|
|
cleartail(mut instance)
|
2019-07-15 20:07:07 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-07-23 19:29:04 +03:00
|
|
|
// rotate(offset int) circular-shift the bits by 'offset' positions (move
|
|
|
|
// 'offset' bit to 0, 'offset+1' bit to 1, and so on)
|
|
|
|
|
2019-07-15 20:07:07 +03:00
|
|
|
pub fn (instance BitField) rotate(offset int) BitField {
|
|
|
|
/**
|
|
|
|
* This function "cuts" the bitfield into two and swaps them.
|
|
|
|
* If the offset is positive, the cutting point is counted from the
|
|
|
|
* beginning of the bit array, otherwise from the end.
|
|
|
|
**/
|
|
|
|
size := instance.size
|
|
|
|
// removing extra rotations
|
|
|
|
|
|
|
|
mut offset_internal := offset % size
|
|
|
|
if (offset_internal == 0) {
|
|
|
|
// nothing to shift
|
|
|
|
return instance
|
|
|
|
}
|
|
|
|
if offset_internal < 0 {
|
|
|
|
offset_internal = offset_internal + size
|
|
|
|
}
|
|
|
|
|
|
|
|
first_chunk := instance.slice(0, offset_internal)
|
|
|
|
second_chunk := instance.slice(offset_internal, size)
|
|
|
|
output := join(second_chunk, first_chunk)
|
|
|
|
return output
|
|
|
|
}
|