use proptest::prelude::*;

use re_arrow2::bitmap::utils::*;

use crate::bitmap::bitmap_strategy;

mod bit_chunks_exact;
mod chunk_iter;
mod fmt;
mod iterator;
mod slice_iterator;
mod zip_validity;

#[test]
fn get_bit_basics() {
    let input: &[u8] = &[
        0b00000000, 0b00000001, 0b00000010, 0b00000100, 0b00001000, 0b00010000, 0b00100000,
        0b01000000, 0b11111111,
    ];
    for i in 0..8 {
        assert!(!get_bit(input, i));
    }
    assert!(get_bit(input, 8));
    for i in 8 + 1..2 * 8 {
        assert!(!get_bit(input, i));
    }
    assert!(get_bit(input, 2 * 8 + 1));
    for i in 2 * 8 + 2..3 * 8 {
        assert!(!get_bit(input, i));
    }
    assert!(get_bit(input, 3 * 8 + 2));
    for i in 3 * 8 + 3..4 * 8 {
        assert!(!get_bit(input, i));
    }
    assert!(get_bit(input, 4 * 8 + 3));
}

#[test]
fn count_zeros_basics() {
    let input: &[u8] = &[
        0b01001001, 0b00000001, 0b00000010, 0b00000100, 0b00001000, 0b00010000, 0b00100000,
        0b01000000, 0b11111111,
    ];
    assert_eq!(count_zeros(input, 0, 8), 8 - 3);
    assert_eq!(count_zeros(input, 1, 7), 7 - 2);
    assert_eq!(count_zeros(input, 1, 8), 8 - 3);
    assert_eq!(count_zeros(input, 2, 7), 7 - 3);
    assert_eq!(count_zeros(input, 0, 32), 32 - 6);
    assert_eq!(count_zeros(input, 9, 2), 2);

    let input: &[u8] = &[0b01000000, 0b01000001];
    assert_eq!(count_zeros(input, 8, 2), 1);
    assert_eq!(count_zeros(input, 8, 3), 2);
    assert_eq!(count_zeros(input, 8, 4), 3);
    assert_eq!(count_zeros(input, 8, 5), 4);
    assert_eq!(count_zeros(input, 8, 6), 5);
    assert_eq!(count_zeros(input, 8, 7), 5);
    assert_eq!(count_zeros(input, 8, 8), 6);

    let input: &[u8] = &[0b01000000, 0b01010101];
    assert_eq!(count_zeros(input, 9, 2), 1);
    assert_eq!(count_zeros(input, 10, 2), 1);
    assert_eq!(count_zeros(input, 11, 2), 1);
    assert_eq!(count_zeros(input, 12, 2), 1);
    assert_eq!(count_zeros(input, 13, 2), 1);
    assert_eq!(count_zeros(input, 14, 2), 1);
}

#[test]
fn count_zeros_1() {
    // offset = 10, len = 90 => remainder
    let input: &[u8] = &[73, 146, 36, 73, 146, 36, 73, 146, 36, 73, 146, 36, 9];
    assert_eq!(count_zeros(input, 10, 90), 60);
}

proptest! {
    /// Asserts that `Bitmap::null_count` equals the number of unset bits
    #[test]
    #[cfg_attr(miri, ignore)] // miri and proptest do not work well :(
    fn null_count(bitmap in bitmap_strategy()) {
        let sum_of_sets: usize = (0..bitmap.len()).map(|x| (!bitmap.get_bit(x)) as usize).sum();
        assert_eq!(bitmap.unset_bits(), sum_of_sets);
    }
}