use std::mem;
use std::mem::MaybeUninit;
use fastlanes::BitPacking;
use vortex_array::ArrayRef;
use vortex_array::ArrayView;
use vortex_array::ExecutionCtx;
use vortex_array::IntoArray;
use vortex_array::arrays::PrimitiveArray;
use vortex_array::arrays::dict::TakeExecute;
use vortex_array::dtype::IntegerPType;
use vortex_array::dtype::NativePType;
use vortex_array::dtype::PType;
use vortex_array::match_each_integer_ptype;
use vortex_array::match_each_unsigned_integer_ptype;
use vortex_array::validity::Validity;
use vortex_buffer::Buffer;
use vortex_buffer::BufferMut;
use vortex_error::VortexExpect as _;
use vortex_error::VortexResult;
use super::chunked_indices;
use crate::BitPacked;
use crate::BitPackedArrayExt;
use crate::bitpack_decompress;
pub(super) const UNPACK_CHUNK_THRESHOLD: usize = 8;
impl TakeExecute for BitPacked {
fn take(
array: ArrayView<'_, Self>,
indices: &ArrayRef,
ctx: &mut ExecutionCtx,
) -> VortexResult<Option<ArrayRef>> {
if indices.len() * UNPACK_CHUNK_THRESHOLD > array.len() {
let prim = array.array().clone().execute::<PrimitiveArray>(ctx)?;
return prim.into_array().take(indices.clone()).map(Some);
}
let ptype: PType = PType::try_from(array.dtype())?;
let validity = array.validity()?;
let taken_validity = validity.take(indices)?;
let indices = indices.clone().execute::<PrimitiveArray>(ctx)?;
let taken = match_each_unsigned_integer_ptype!(ptype.to_unsigned(), |T| {
match_each_integer_ptype!(indices.ptype(), |I| {
take_primitive::<T, I>(array, &indices, taken_validity, ctx)?
})
});
let taken = if ptype.is_signed_int() {
PrimitiveArray::from_buffer_handle(
taken.buffer_handle().clone(),
ptype,
taken.validity()?,
)
} else {
taken
};
Ok(Some(taken.into_array()))
}
}
fn take_primitive<T: NativePType + BitPacking, I: IntegerPType>(
array: ArrayView<'_, BitPacked>,
indices: &PrimitiveArray,
taken_validity: Validity,
ctx: &mut ExecutionCtx,
) -> VortexResult<PrimitiveArray> {
if indices.is_empty() {
return Ok(PrimitiveArray::new(Buffer::<T>::empty(), taken_validity));
}
let offset = array.offset() as usize;
let bit_width = array.bit_width() as usize;
let packed = array.packed_slice::<T>();
let indices_iter = indices.as_slice::<I>().iter().map(|i| {
i.to_usize()
.vortex_expect("index must be expressible as usize")
});
let mut output = BufferMut::<T>::with_capacity(indices.len());
let mut unpacked = [const { MaybeUninit::uninit() }; 1024];
let chunk_len = 128 * bit_width / size_of::<T>();
chunked_indices(indices_iter, offset, |chunk_idx, indices_within_chunk| {
let packed = &packed[chunk_idx * chunk_len..][..chunk_len];
let mut have_unpacked = false;
let mut offset_chunk_iter = indices_within_chunk.chunks_exact(UNPACK_CHUNK_THRESHOLD);
for offset_chunk in &mut offset_chunk_iter {
assert_eq!(offset_chunk.len(), UNPACK_CHUNK_THRESHOLD); if !have_unpacked {
unsafe {
let dst: &mut [MaybeUninit<T>] = &mut unpacked;
let dst: &mut [T] = mem::transmute(dst);
BitPacking::unchecked_unpack(bit_width, packed, dst);
}
have_unpacked = true;
}
for &index in offset_chunk {
output.push(unsafe { unpacked[index].assume_init() });
}
}
if !offset_chunk_iter.remainder().is_empty() {
if have_unpacked {
for &index in offset_chunk_iter.remainder() {
output.push(unsafe { unpacked[index].assume_init() });
}
} else {
for &index in offset_chunk_iter.remainder() {
output.push(unsafe {
bitpack_decompress::unpack_single_primitive::<T>(packed, bit_width, index)
});
}
}
}
});
let unpatched_taken = if array.dtype().as_ptype().is_signed_int() {
let primitive = PrimitiveArray::new(output, taken_validity);
PrimitiveArray::from_buffer_handle(
primitive.buffer_handle().clone(),
array.dtype().as_ptype(),
primitive.validity()?,
)
} else {
PrimitiveArray::new(output, taken_validity)
};
if let Some(patches) = array.patches()
&& let Some(patches) = patches.take(&indices.clone().into_array(), ctx)?
{
let cast_patches = patches.cast_values(unpatched_taken.dtype())?;
return unpatched_taken.patch(&cast_patches, ctx);
}
Ok(unpatched_taken)
}
#[cfg(test)]
#[expect(clippy::cast_possible_truncation)]
mod test {
use rand::RngExt;
use rand::distr::Uniform;
use rand::rng;
use rstest::rstest;
use vortex_array::IntoArray;
use vortex_array::LEGACY_SESSION;
use vortex_array::VortexSessionExecute;
use vortex_array::arrays::PrimitiveArray;
use vortex_array::assert_arrays_eq;
use vortex_array::validity::Validity;
use vortex_buffer::Buffer;
use vortex_buffer::buffer;
use crate::BitPackedArray;
use crate::BitPackedData;
use crate::bitpacking::array::BitPackedArrayExt;
use crate::bitpacking::compute::take::take_primitive;
#[test]
fn take_indices() {
let mut ctx = LEGACY_SESSION.create_execution_ctx();
let indices = buffer![0, 125, 2047, 2049, 2151, 2790].into_array();
let unpacked = PrimitiveArray::from_iter((0..4096).map(|i| (i % 63) as u8));
let bitpacked = BitPackedData::encode(&unpacked.into_array(), 6, &mut ctx).unwrap();
let primitive_result = bitpacked.take(indices).unwrap();
assert_arrays_eq!(
primitive_result,
PrimitiveArray::from_iter([0u8, 62, 31, 33, 9, 18])
);
}
#[test]
fn take_with_patches() {
let mut ctx = LEGACY_SESSION.create_execution_ctx();
let unpacked = Buffer::from_iter(0u32..1024).into_array();
let bitpacked = BitPackedData::encode(&unpacked, 2, &mut ctx).unwrap();
let indices = buffer![0, 2, 4, 6].into_array();
let primitive_result = bitpacked.take(indices).unwrap();
assert_arrays_eq!(primitive_result, PrimitiveArray::from_iter([0u32, 2, 4, 6]));
}
#[test]
fn take_sliced_indices() {
let mut ctx = LEGACY_SESSION.create_execution_ctx();
let indices = buffer![1919, 1921].into_array();
let unpacked = PrimitiveArray::from_iter((0..4096).map(|i| (i % 63) as u8));
let bitpacked = BitPackedData::encode(&unpacked.into_array(), 6, &mut ctx).unwrap();
let sliced = bitpacked.slice(128..2050).unwrap();
let primitive_result = sliced.take(indices).unwrap();
assert_arrays_eq!(primitive_result, PrimitiveArray::from_iter([31u8, 33]));
}
#[test]
#[cfg_attr(miri, ignore)] fn take_random_indices() {
let mut ctx = LEGACY_SESSION.create_execution_ctx();
let num_patches: usize = 128;
let values = (0..u16::MAX as u32 + num_patches as u32).collect::<Buffer<_>>();
let uncompressed = PrimitiveArray::new(values.clone(), Validity::NonNullable);
let packed = BitPackedData::encode(&uncompressed.into_array(), 16, &mut ctx).unwrap();
assert!(packed.patches().is_some());
let rng = rng();
let range = Uniform::new(0, values.len()).unwrap();
let random_indices =
PrimitiveArray::from_iter(rng.sample_iter(range).take(10_000).map(|i| i as u32));
let taken = packed.take(random_indices.clone().into_array()).unwrap();
random_indices
.as_slice::<u32>()
.iter()
.enumerate()
.for_each(|(ti, i)| {
assert_eq!(
u32::try_from(&packed.execute_scalar(*i as usize, &mut ctx).unwrap()).unwrap(),
values[*i as usize]
);
assert_eq!(
u32::try_from(&taken.execute_scalar(ti, &mut ctx).unwrap()).unwrap(),
values[*i as usize]
);
});
}
#[test]
#[cfg_attr(miri, ignore)]
fn take_signed_with_patches() {
let mut ctx = LEGACY_SESSION.create_execution_ctx();
let start =
BitPackedData::encode(&buffer![1i32, 2i32, 3i32, 4i32].into_array(), 1, &mut ctx)
.unwrap();
let taken_primitive = take_primitive::<u32, u64>(
start.as_view(),
&PrimitiveArray::from_iter([0u64, 1, 2, 3]),
Validity::NonNullable,
&mut ctx,
)
.unwrap();
assert_arrays_eq!(taken_primitive, PrimitiveArray::from_iter([1i32, 2, 3, 4]));
}
#[test]
fn take_nullable_with_nullables() {
let mut ctx = LEGACY_SESSION.create_execution_ctx();
let start =
BitPackedData::encode(&buffer![1i32, 2i32, 3i32, 4i32].into_array(), 1, &mut ctx)
.unwrap();
let taken_primitive = start
.take(
PrimitiveArray::from_option_iter([Some(0u64), Some(1), None, Some(3)]).into_array(),
)
.unwrap();
assert_arrays_eq!(
taken_primitive,
PrimitiveArray::from_option_iter([Some(1i32), Some(2), None, Some(4)])
);
let taken_primitive_prim = taken_primitive.execute::<PrimitiveArray>(&mut ctx).unwrap();
assert_eq!(taken_primitive_prim.invalid_count(&mut ctx).unwrap(), 1);
}
fn bp(array: vortex_array::ArrayRef, bit_width: u8) -> BitPackedArray {
BitPackedData::encode(
&array,
bit_width,
&mut LEGACY_SESSION.create_execution_ctx(),
)
.unwrap()
}
#[rstest]
#[case(bp(PrimitiveArray::from_iter((0..100).map(|i| (i % 63) as u8)).into_array(), 6))]
#[case(bp(PrimitiveArray::from_iter((0..256).map(|i| i as u32)).into_array(), 8))]
#[case(bp(buffer![1i32, 2, 3, 4, 5, 6, 7, 8].into_array(), 3))]
#[case(bp(
PrimitiveArray::from_option_iter([Some(10u16), None, Some(20), Some(30), None]).into_array(),
5
))]
#[case(bp(buffer![42u32].into_array(), 6))]
#[case(bp(PrimitiveArray::from_iter((0..1024).map(|i| i as u32)).into_array(), 8))]
fn test_take_bitpacked_conformance(#[case] bitpacked: BitPackedArray) {
use vortex_array::compute::conformance::take::test_take_conformance;
test_take_conformance(&bitpacked.into_array());
}
}