vortex_alp/alp_rd/compute/
cast.rs

1// SPDX-License-Identifier: Apache-2.0
2// SPDX-FileCopyrightText: Copyright the Vortex contributors
3
4use vortex_array::ArrayRef;
5use vortex_array::ArrayView;
6use vortex_array::IntoArray;
7use vortex_array::builtins::ArrayBuiltins;
8use vortex_array::dtype::DType;
9use vortex_array::scalar_fn::fns::cast::CastReduce;
10use vortex_error::VortexResult;
11
12use crate::ALPRDArrayExt;
13use crate::ALPRDArraySlotsExt;
14use crate::alp_rd::ALPRD;
15
16impl CastReduce for ALPRD {
17    fn cast(array: ArrayView<'_, Self>, dtype: &DType) -> VortexResult<Option<ArrayRef>> {
18        // Check if this is just a nullability change
19        if !array.dtype().eq_ignore_nullability(dtype) {
20            return Ok(None);
21        }
22
23        // For nullability-only changes, we need to cast the left_parts array
24        // since it carries the validity information
25        let new_left_parts = array.left_parts().cast(
26            array
27                .left_parts()
28                .dtype()
29                .with_nullability(dtype.nullability()),
30        )?;
31
32        Ok(Some(
33            unsafe {
34                ALPRD::new_unchecked(
35                    dtype.clone(),
36                    new_left_parts,
37                    array.left_parts_dictionary().clone(),
38                    array.right_parts().clone(),
39                    array.right_bit_width(),
40                    array.left_parts_patches(),
41                )
42            }
43            .into_array(),
44        ))
45    }
46}
47
48#[cfg(test)]
49mod tests {
50    use rstest::rstest;
51    use vortex_array::IntoArray;
52    use vortex_array::VortexSessionExecute;
53    use vortex_array::array_session;
54    use vortex_array::arrays::PrimitiveArray;
55    use vortex_array::assert_arrays_eq;
56    use vortex_array::builtins::ArrayBuiltins;
57    use vortex_array::compute::conformance::cast::test_cast_conformance;
58    use vortex_array::dtype::DType;
59    use vortex_array::dtype::Nullability;
60    use vortex_array::dtype::PType;
61
62    use crate::RDEncoder;
63    use crate::RDEncoderExt;
64
65    #[test]
66    fn test_cast_alprd_f32_to_f64() {
67        let mut ctx = array_session().create_execution_ctx();
68        let values = vec![1.0f32, 1.1, 1.2, 1.3, 1.4];
69        let arr = PrimitiveArray::from_iter(values.clone());
70        let encoder = RDEncoder::new(&values);
71        let alprd = encoder.encode(arr.as_view());
72
73        let casted = alprd
74            .into_array()
75            .cast(DType::Primitive(PType::F64, Nullability::NonNullable))
76            .unwrap();
77        assert_eq!(
78            casted.dtype(),
79            &DType::Primitive(PType::F64, Nullability::NonNullable)
80        );
81
82        let expected = PrimitiveArray::from_iter(values.into_iter().map(f64::from));
83        assert_arrays_eq!(casted, expected, &mut ctx);
84    }
85
86    #[test]
87    fn test_cast_alprd_nullable() {
88        let mut ctx = array_session().create_execution_ctx();
89        let arr =
90            PrimitiveArray::from_option_iter([Some(10.0f64), None, Some(10.1), Some(10.2), None]);
91        let values = vec![10.0f64, 10.1, 10.2];
92        let encoder = RDEncoder::new(&values);
93        let alprd = encoder.encode(arr.as_view());
94
95        // Cast to NonNullable should fail since we have nulls. The failure surfaces during
96        // execution since the reduce path defers when the validity stat is not cached.
97        let result = alprd
98            .clone()
99            .into_array()
100            .cast(DType::Primitive(PType::F64, Nullability::NonNullable))
101            .and_then(|a| {
102                a.execute::<PrimitiveArray>(&mut ctx)
103                    .map(|p| p.into_array())
104            });
105        assert!(result.is_err(), "Expected error, got: {result:?}");
106
107        // Cast to same type with Nullable should succeed
108        let casted = alprd
109            .into_array()
110            .cast(DType::Primitive(PType::F64, Nullability::Nullable))
111            .unwrap();
112        assert_eq!(
113            casted.dtype(),
114            &DType::Primitive(PType::F64, Nullability::Nullable)
115        );
116    }
117
118    #[rstest]
119    #[case::f32({
120        let values = vec![1.23f32, 4.56, 7.89, 10.11, 12.13];
121        let arr = PrimitiveArray::from_iter(values.clone());
122        let encoder = RDEncoder::new(&values);
123        encoder.encode(arr.as_view())
124    })]
125    #[case::f64({
126        let values = vec![100.1f64, 200.2, 300.3, 400.4, 500.5];
127        let arr = PrimitiveArray::from_iter(values.clone());
128        let encoder = RDEncoder::new(&values);
129        encoder.encode(arr.as_view())
130    })]
131    #[case::single({
132        let values = vec![42.42f64];
133        let arr = PrimitiveArray::from_iter(values.clone());
134        let encoder = RDEncoder::new(&values);
135        encoder.encode(arr.as_view())
136    })]
137    #[case::negative({
138        let values = vec![0.0f32, -1.5, 2.5, -3.5, 4.5];
139        let arr = PrimitiveArray::from_iter(values.clone());
140        let encoder = RDEncoder::new(&values);
141        encoder.encode(arr.as_view())
142    })]
143    #[case::nullable({
144        let arr = PrimitiveArray::from_option_iter([Some(1.1f32), None, Some(2.2), Some(3.3), None]);
145        let values = vec![1.1f32, 2.2, 3.3];
146        let encoder = RDEncoder::new(&values);
147        encoder.encode(arr.as_view())
148    })]
149    fn test_cast_alprd_conformance(#[case] alprd: crate::alp_rd::ALPRDArray) {
150        test_cast_conformance(
151            &alprd.into_array(),
152            &mut array_session().create_execution_ctx(),
153        );
154    }
155}
vortex_alp/alp_rd/compute/cast.rs

vortex_alp/alp_rd/compute/
cast.rs
