16339747936

Committed 17 Jul 2025 08:09AM UTC coverage: 80.702% (-0.002%) from 80.704%

Build # 16339747936

Build Type

push

github

Committed by

web-flow

Commit Message

Use ptr::default in Rust 1.88 (#3896)

Signed-off-by: Nicholas Gates <nick@nickgates.com>

Run Details

0 of 14 new or added lines in 5 files covered. (0.0%)

2 existing lines in 1 file now uncovered.

41864 of 51875 relevant lines covered (80.7%)

157546.66 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

75.0

/vortex-array/src/compute/invert.rs

// SPDX-License-Identifier: Apache-2.0
// SPDX-FileCopyrightText: Copyright the Vortex contributors

use std::sync::LazyLock;

use arcref::ArcRef;
use vortex_dtype::DType;
use vortex_error::{VortexError, VortexResult, vortex_bail, vortex_err, vortex_panic};

use crate::compute::{ComputeFn, ComputeFnVTable, InvocationArgs, Kernel, Output, UnaryArgs};
use crate::vtable::VTable;
use crate::{Array, ArrayRef, IntoArray, ToCanonical};

/// Logically invert a boolean array, preserving its validity.
pub fn invert(array: &dyn Array) -> VortexResult<ArrayRef> {
    INVERT_FN
        .invoke(&InvocationArgs {
            inputs: &[array.into()],
            options: &(),
        })?
        .unwrap_array()
}

struct Invert;

impl ComputeFnVTable for Invert {
    fn invoke(
        &self,
        args: &InvocationArgs,
        kernels: &[ArcRef<dyn Kernel>],
    ) -> VortexResult<Output> {
        let UnaryArgs { array, .. } = UnaryArgs::<()>::try_from(args)?;

        for kernel in kernels {
            if let Some(output) = kernel.invoke(args)? {
                return Ok(output);
            }
        }
        if let Some(output) = array.invoke(&INVERT_FN, args)? {
            return Ok(output);
        }

        // Otherwise, we canonicalize into a boolean array and invert.
        log::debug!(
            "No invert implementation found for encoding {}",
            array.encoding_id(),
        );
        if array.is_canonical() {
            vortex_panic!("Canonical bool array does not implement invert");
        }
        Ok(invert(&array.to_bool()?.into_array())?.into())
    }

    fn return_dtype(&self, args: &InvocationArgs) -> VortexResult<DType> {
        let UnaryArgs { array, .. } = UnaryArgs::<()>::try_from(args)?;

        if !matches!(array.dtype(), DType::Bool(..)) {
            vortex_bail!("Expected boolean array, got {}", array.dtype());
        }
        Ok(array.dtype().clone())
    }

    fn return_len(&self, args: &InvocationArgs) -> VortexResult<usize> {
        let UnaryArgs { array, .. } = UnaryArgs::<()>::try_from(args)?;
        Ok(array.len())
    }

    fn is_elementwise(&self) -> bool {
        true
    }
}

struct InvertArgs<'a> {
    array: &'a dyn Array,
}

impl<'a> TryFrom<&InvocationArgs<'a>> for InvertArgs<'a> {
    type Error = VortexError;

    fn try_from(value: &InvocationArgs<'a>) -> Result<Self, Self::Error> {
        if value.inputs.len() != 1 {
            vortex_bail!("Invert expects exactly one argument",);
        }
        let array = value.inputs[0]
            .array()
            .ok_or_else(|| vortex_err!("Invert expects an array argument"))?;
        Ok(InvertArgs { array })
    }
}

pub struct InvertKernelRef(ArcRef<dyn Kernel>);
inventory::collect!(InvertKernelRef);

pub trait InvertKernel: VTable {
    /// Logically invert a boolean array. Converts true -> false, false -> true, null -> null.
    fn invert(&self, array: &Self::Array) -> VortexResult<ArrayRef>;
}

#[derive(Debug)]
pub struct InvertKernelAdapter<V: VTable>(pub V);

impl<V: VTable + InvertKernel> InvertKernelAdapter<V> {
    pub const fn lift(&'static self) -> InvertKernelRef {
        InvertKernelRef(ArcRef::new_ref(self))
    }
}

impl<V: VTable + InvertKernel> Kernel for InvertKernelAdapter<V> {
    fn invoke(&self, args: &InvocationArgs) -> VortexResult<Option<Output>> {
        let args = InvertArgs::try_from(args)?;
        let Some(array) = args.array.as_opt::<V>() else {
            return Ok(None);
        };
        Ok(Some(V::invert(&self.0, array)?.into()))
    }
}

pub static INVERT_FN: LazyLock<ComputeFn> = LazyLock::new(|| {
    let compute = ComputeFn::new("invert".into(), ArcRef::new_ref(&Invert));
    for kernel in inventory::iter::<InvertKernelRef> {
        compute.register_kernel(kernel.0.clone());
    }
    compute
});

1	// SPDX-License-Identifier: Apache-2.0
2	// SPDX-FileCopyrightText: Copyright the Vortex contributors
3
4	use std::sync::LazyLock;
5
6	use arcref::ArcRef;
7	use vortex_dtype::DType;
8	use vortex_error::{VortexError, VortexResult, vortex_bail, vortex_err, vortex_panic};
9
10	use crate::compute::{ComputeFn, ComputeFnVTable, InvocationArgs, Kernel, Output, UnaryArgs};
11	use crate::vtable::VTable;
12	use crate::{Array, ArrayRef, IntoArray, ToCanonical};
13
14	/// Logically invert a boolean array, preserving its validity.
15	pub fn invert(array: &dyn Array) -> VortexResult<ArrayRef> {	110✔
16	INVERT_FN	110✔
17	.invoke(&InvocationArgs {	110✔
18	inputs: &[array.into()],	110✔
19	options: &(),	110✔
20	})?	110✔
21	.unwrap_array()	110✔
22	}	110✔
23
24	struct Invert;
25
26	impl ComputeFnVTable for Invert {
27	fn invoke(	110✔
28	&self,	110✔
29	args: &InvocationArgs,	110✔
30	kernels: &[ArcRef<dyn Kernel>],	110✔
31	) -> VortexResult<Output> {	110✔
32	let UnaryArgs { array, .. } = UnaryArgs::<()>::try_from(args)?;	110✔
33
34	for kernel in kernels {	110✔
35	if let Some(output) = kernel.invoke(args)? {	110✔
36	return Ok(output);	110✔
UNCOV 37	}	×
38	}
39	if let Some(output) = array.invoke(&INVERT_FN, args)? {	×
40	return Ok(output);	×
41	}	×
42
43	// Otherwise, we canonicalize into a boolean array and invert.
44	log::debug!(	×
45	"No invert implementation found for encoding {}",	×
46	array.encoding_id(),	×
47	);
48	if array.is_canonical() {	×
49	vortex_panic!("Canonical bool array does not implement invert");	×
50	}	×
51	Ok(invert(&array.to_bool()?.into_array())?.into())	×
52	}	110✔
53
54	fn return_dtype(&self, args: &InvocationArgs) -> VortexResult<DType> {	110✔
55	let UnaryArgs { array, .. } = UnaryArgs::<()>::try_from(args)?;	110✔
56
57	if !matches!(array.dtype(), DType::Bool(..)) {	110✔
58	vortex_bail!("Expected boolean array, got {}", array.dtype());	×
59	}	110✔
60	Ok(array.dtype().clone())	110✔
61	}	110✔
62
63	fn return_len(&self, args: &InvocationArgs) -> VortexResult<usize> {	110✔
64	let UnaryArgs { array, .. } = UnaryArgs::<()>::try_from(args)?;	110✔
65	Ok(array.len())	110✔
66	}	110✔
67
68	fn is_elementwise(&self) -> bool {	110✔
69	true	110✔
70	}	110✔
71	}
72
73	struct InvertArgs<'a> {
74	array: &'a dyn Array,
75	}
76
77	impl<'a> TryFrom<&InvocationArgs<'a>> for InvertArgs<'a> {
78	type Error = VortexError;
79
80	fn try_from(value: &InvocationArgs<'a>) -> Result<Self, Self::Error> {	110✔
81	if value.inputs.len() != 1 {	110✔
82	vortex_bail!("Invert expects exactly one argument",);	×
83	}	110✔
84	let array = value.inputs[0]	110✔
85	.array()	110✔
86	.ok_or_else(\|\| vortex_err!("Invert expects an array argument"))?;	110✔
87	Ok(InvertArgs { array })	110✔
88	}	110✔
89	}
90
91	pub struct InvertKernelRef(ArcRef<dyn Kernel>);
92	inventory::collect!(InvertKernelRef);
93
94	pub trait InvertKernel: VTable {
95	/// Logically invert a boolean array. Converts true -> false, false -> true, null -> null.
96	fn invert(&self, array: &Self::Array) -> VortexResult<ArrayRef>;
97	}
98
99	#[derive(Debug)]
100	pub struct InvertKernelAdapter<V: VTable>(pub V);
101
102	impl<V: VTable + InvertKernel> InvertKernelAdapter<V> {
103	pub const fn lift(&'static self) -> InvertKernelRef {	×
104	InvertKernelRef(ArcRef::new_ref(self))	×
105	}	×
106	}
107
108	impl<V: VTable + InvertKernel> Kernel for InvertKernelAdapter<V> {
109	fn invoke(&self, args: &InvocationArgs) -> VortexResult<Option<Output>> {	110✔
110	let args = InvertArgs::try_from(args)?;	110✔
111	let Some(array) = args.array.as_opt::<V>() else {	110✔
UNCOV 112	return Ok(None);	×
113	};
114	Ok(Some(V::invert(&self.0, array)?.into()))	110✔
115	}	110✔
116	}
117
118	pub static INVERT_FN: LazyLock<ComputeFn> = LazyLock::new(\|\| {	109✔
119	let compute = ComputeFn::new("invert".into(), ArcRef::new_ref(&Invert));	109✔
120	for kernel in inventory::iter::<InvertKernelRef> {	508✔
121	compute.register_kernel(kernel.0.clone());	399✔
122	}	399✔
123	compute	109✔
124	});	109✔

vortex-data / vortex / 16339747936

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous