Dynamic Constant Math

Adding dynamic constant math to Hercules.

• IR definitions
• Parsing (what syntax do people like for the IR? I used a prefix function notation like +(x, y) but this doesn't necessarily fit well with the syntax of the rest of the IR)
• Type checking

Marked as Draft until I implement Juno code-gen for dynamic constant math.

hercules_ir/src/build.rs

@@ -376,8 +376,8 @@ impl<'a> Builder<'a> {
             Type::Float64 => self.create_constant_f64(0.0),
             Type::Product(fs) => {
                 let mut cs = vec![];
-                for t in fs.clone() {
-                    cs.push(self.create_constant_zero(t));
+                for t in fs.clone().iter() {
+                    cs.push(self.create_constant_zero(*t));
                 }
                 self.create_constant_prod(cs.into())
             },
@@ -399,6 +399,26 @@ impl<'a> Builder<'a> {
         self.intern_dynamic_constant(DynamicConstant::Parameter(val))
     }
 
+    pub fn create_dynamic_constant_add(&mut self, x : DynamicConstantID,
+                                       y : DynamicConstantID) -> DynamicConstantID {
+        self.intern_dynamic_constant(DynamicConstant::Add(x, y))
+    }
+
+    pub fn create_dynamic_constant_sub(&mut self, x : DynamicConstantID,
+                                       y : DynamicConstantID) -> DynamicConstantID {
+        self.intern_dynamic_constant(DynamicConstant::Sub(x, y))
+    }
+
+    pub fn create_dynamic_constant_mul(&mut self, x : DynamicConstantID,
+                                       y : DynamicConstantID) -> DynamicConstantID {
+        self.intern_dynamic_constant(DynamicConstant::Mul(x, y))
+    }
+
+    pub fn create_dynamic_constant_div(&mut self, x : DynamicConstantID,
+                                       y : DynamicConstantID) -> DynamicConstantID {
+        self.intern_dynamic_constant(DynamicConstant::Div(x, y))
+    }
+
     pub fn create_field_index(&self, idx: usize) -> Index {
         Index::Field(idx)
     }