feat: Dynamic Address for Out-of-Domain Row in TASM AIR Evaluation

constraint-evaluation-generator/src/codegen.rs

@@ -40,7 +40,21 @@ pub(crate) struct TasmBackend {
     scope: HashSet<usize>,
 
     /// The number of elements written to the output list.
-    ///
-    /// See [`TasmBackend::doc_comment`] for details.
     elements_written: usize,
+
+    /// Whether the code that is to be generated can assume statically provided
+    /// addresses for the various input arrays.
+    input_location_is_static: bool,
+}
+
+#[cfg(test)]
+pub mod tests {
+    use super::*;
+
+    pub fn print_constraints<B: Codegen>(constraints: &Constraints) {
+        let code = B::constraint_evaluation_code(constraints);
+        let syntax_tree = syn::parse2(code).unwrap();
+        let code = prettyplease::unparse(&syntax_tree);
+        println!("{code}");
+    }
 }

constraint-evaluation-generator/src/codegen/rust.rs

@@ -332,6 +332,8 @@ impl RustBackend {
 mod tests {
     use twenty_first::prelude::*;
 
+    use crate::codegen::tests::print_constraints;
+
     use super::*;
 
     #[test]
@@ -352,20 +354,13 @@ mod tests {
         assert_eq!(expected, RustBackend::tokenize_xfe(xfe).to_string());
     }
 
-    fn print_constraints_as_rust(constraints: &Constraints) {
-        let rust = RustBackend::constraint_evaluation_code(constraints);
-        let syntax_tree = syn::parse2(rust).unwrap();
-        let code = prettyplease::unparse(&syntax_tree);
-        println!("{code}");
-    }
-
     #[test]
-    fn print_mini_constraints_as_rust() {
-        print_constraints_as_rust(&Constraints::mini_constraints());
+    fn print_mini_constraints() {
+        print_constraints::<RustBackend>(&Constraints::mini_constraints());
     }
 
     #[test]
-    fn print_test_constraints_as_rust() {
-        print_constraints_as_rust(&Constraints::test_constraints());
+    fn print_test_constraints() {
+        print_constraints::<RustBackend>(&Constraints::test_constraints());
     }
 }