feat: added a new variant of Constraint struct, to enable support for

discrete constant values

Author: madhav-madhusoodanan

crates/intrinsic-test/src/common/constraint.rs

@@ -8,13 +8,15 @@ pub enum Constraint {
     Equal(i64),
     /// Test a range of values, e.g. `0..16`.
     Range(Range<i64>),
+    Set(Vec<i64>),
 }
 
 impl Constraint {
-    pub fn to_range(&self) -> Range<i64> {
+    pub fn to_vector(&self) -> Vec<i64> {
         match self {
-            Constraint::Equal(eq) => *eq..*eq + 1,
-            Constraint::Range(range) => range.clone(),
+            Constraint::Equal(eq) => vec![*eq],
+            Constraint::Range(range) => range.clone().collect::<Vec<i64>>(),
+            Constraint::Set(values) => values.clone(),
         }
     }
 }

crates/intrinsic-test/src/common/gen_c.rs

@@ -40,7 +40,7 @@ pub fn generate_c_constraint_blocks<'a, T: IntrinsicTypeDefinition + 'a>(
     };
 
     let body_indentation = indentation.nested();
-    for i in current.constraint.iter().flat_map(|c| c.to_range()) {
+    for i in current.constraint.iter().flat_map(|c| c.to_vector()) {
         let ty = current.ty.c_type();
 
         writeln!(w, "{indentation}{{")?;