Provide caller range constraints for solving. (#2466)

Author: chriseth

executor/src/witgen/data_structures/caller_data.rs

@@ -2,9 +2,10 @@ use itertools::Itertools;
 use powdr_number::FieldElement;
 
 use crate::witgen::{
+    global_constraints::RangeConstraintSet,
     machines::LookupCell,
     processor::{Arguments, OuterQuery},
-    EvalError, EvalResult, EvalValue,
+    AlgebraicVariable, EvalError, EvalResult, EvalValue,
 };
 
 /// A representation of the caller's data.
@@ -15,6 +16,8 @@ pub struct CallerData<'a, 'b, T> {
     data: Vec<T>,
     /// The affine expressions of the caller.
     arguments: &'b Arguments<'a, T>,
+    /// Range constraints coming from the caller.
+    range_constraints: &'b dyn RangeConstraintSet<AlgebraicVariable<'a>, T>,
 }
 
 impl<'a, 'b, T: FieldElement> From<&'b OuterQuery<'a, '_, T>> for CallerData<'a, 'b, T> {
@@ -28,6 +31,7 @@ impl<'a, 'b, T: FieldElement> From<&'b OuterQuery<'a, '_, T>> for CallerData<'a,
         Self {
             data,
             arguments: &outer_query.arguments,
+            range_constraints: outer_query.range_constraints,
         }
     }
 }
@@ -55,7 +59,7 @@ impl<'a, 'b, T: FieldElement> From<CallerData<'a, 'b, T>> for EvalResult<'a, T>
         for (l, v) in data.arguments.iter().zip_eq(data.data.iter()) {
             if !l.is_constant() {
                 let evaluated = l.clone() - (*v).into();
-                match evaluated.solve() {
+                match evaluated.solve_with_range_constraints(data.range_constraints) {
                     Ok(constraints) => {
                         result.combine(constraints);
                     }