tract_hir/ops/array/
dyn_slice.rs

1use tract_core::ops::array::DynSlice;
2use crate::internal::*;
3
4impl InferenceRulesOp for DynSlice {
5    fn rules<'r, 'p: 'r, 's: 'r>(
6            &'s self,
7            s: &mut crate::infer::Solver<'r>,
8            inputs: &'p [crate::infer::TensorProxy],
9            outputs: &'p [crate::infer::TensorProxy],
10        ) -> InferenceResult {
11        check_input_arity(inputs, 3)?;
12        check_output_arity(outputs, 1)?;
13        s.equals(&inputs[0].datum_type, &outputs[0].datum_type)?;
14        s.equals(&inputs[0].rank, &outputs[0].rank)?;
15        s.equals(&inputs[1].rank, 0)?;
16        s.equals(&inputs[2].rank, 0)?;
17        s.given(&inputs[0].rank, move |s, rank| {
18            for axis in 0..rank as usize {
19                if axis == self.axis {
20                    s.equals(&outputs[0].shape[axis], self.len.clone())?;
21                } else {
22                    s.equals(&outputs[0].shape[axis], &inputs[0].shape[axis])?;
23                }
24            }
25            Ok(())
26        })?;
27        Ok(())
28    }
29
30    as_op!();
31    to_typed!();
32}
tract_hir/ops/array/dyn_slice.rs

tract_hir/ops/array/
dyn_slice.rs
