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_cg/src/sched_gen.rs

@@ -1213,7 +1213,7 @@ impl<'a> FunctionContext<'a> {
     fn compile_dynamic_constant(
         &self,
         dc: DynamicConstantID,
-        _block: &mut SBlock,
+        block: &mut SBlock,
         partition_idx: usize,
         manifest: &Manifest,
     ) -> SValue {
@@ -1228,6 +1228,30 @@ impl<'a> FunctionContext<'a> {
                     .position(|(_, kind)| *kind == ParameterKind::DynamicConstant(idx))
                     .unwrap(),
             ),
+
+            DynamicConstant::Add(left, right)
+            | DynamicConstant::Sub(left, right)
+            | DynamicConstant::Mul(left, right)
+            | DynamicConstant::Div(left, right) => {
+                let left = self.compile_dynamic_constant(left, block, partition_idx, manifest);
+                let right = self.compile_dynamic_constant(right, block, partition_idx, manifest);
+                let output_virt_reg = self.make_virt_reg(partition_idx);
+                block.insts.push(SInst::Binary {
+                    left,
+                    right,
+                    op: match self.dynamic_constants[dc.idx()] {
+                        DynamicConstant::Add(_, _) => SBinaryOperator::Add,
+                        DynamicConstant::Sub(_, _) => SBinaryOperator::Sub,
+                        DynamicConstant::Mul(_, _) => SBinaryOperator::Mul,
+                        DynamicConstant::Div(_, _) => SBinaryOperator::Div,
+                        _ => panic!(),
+                    },
+                });
+                block
+                    .virt_regs
+                    .push((output_virt_reg, SType::UnsignedInteger64));
+                SValue::VirtualRegister(output_virt_reg)
+            }
         }
     }