feat: ssa fuzzer

Cargo.toml

@@ -37,6 +37,9 @@ members = [
     "acvm-repo/bn254_blackbox_solver",
     # Utility crates
     "utils/iter-extended",
+
+    "tooling/ssa_fuzzer",
+    "tooling/ssa_fuzzer/fuzzer",
     "utils/protobuf",
 ]
 default-members = [

compiler/noirc_evaluator/src/acir/generated_acir.rs

@@ -32,55 +32,55 @@ pub(crate) const PLACEHOLDER_BRILLIG_INDEX: BrilligFunctionId = BrilligFunctionI
 
 #[derive(Debug, Default)]
 /// The output of the Acir-gen pass, which should only be produced for entry point Acir functions
-pub(crate) struct GeneratedAcir<F: AcirField> {
+pub struct GeneratedAcir<F: AcirField> {
     /// The next witness index that may be declared.
     /// If witness index is `None` then we have not yet created a witness
     /// and thus next witness index that be declared is zero.
     /// This field is private should only ever be accessed through its getter and setter.
     ///
     /// Equivalent to acvm::acir::circuit::Circuit's field of the same name.
-    current_witness_index: Option<u32>,
+    pub current_witness_index: Option<u32>,
 
     /// The opcodes of which the compiled ACIR will comprise.
-    opcodes: Vec<AcirOpcode<F>>,
+    pub opcodes: Vec<AcirOpcode<F>>,
 
     /// All witness indices that comprise the final return value of the program
-    pub(crate) return_witnesses: Vec<Witness>,
+    pub return_witnesses: Vec<Witness>,
 
     /// All witness indices which are inputs to the main function
-    pub(crate) input_witnesses: Vec<Witness>,
+    pub input_witnesses: Vec<Witness>,
 
-    pub(crate) locations: OpcodeToLocationsMap,
+    pub locations: OpcodeToLocationsMap,
 
     /// Brillig function id -> Opcodes locations map
     /// This map is used to prevent redundant locations being stored for the same Brillig entry point.
-    pub(crate) brillig_locations: BTreeMap<BrilligFunctionId, BrilligOpcodeToLocationsMap>,
+    pub brillig_locations: BTreeMap<BrilligFunctionId, BrilligOpcodeToLocationsMap>,
 
     /// Source code location of the current instruction being processed
     /// None if we do not know the location
-    pub(crate) call_stack: CallStack,
+    pub call_stack: CallStack,
 
     /// Correspondence between an opcode index and the error message associated with it.
-    pub(crate) assertion_payloads: BTreeMap<OpcodeLocation, AssertionPayload<F>>,
+    pub assertion_payloads: BTreeMap<OpcodeLocation, AssertionPayload<F>>,
 
     /// Correspondence between error selectors and types associated with them.
-    pub(crate) error_types: BTreeMap<ErrorSelector, ErrorType>,
+    pub error_types: BTreeMap<ErrorSelector, ErrorType>,
 
-    pub(crate) warnings: Vec<SsaReport>,
+    pub warnings: Vec<SsaReport>,
 
     /// Name for the corresponding entry point represented by this Acir-gen output.
     /// Only used for debugging and benchmarking purposes
-    pub(crate) name: String,
+    pub name: String,
 
     /// Maps the opcode index to a Brillig std library function call.
     /// As to avoid passing the ACIR gen shared context into each individual ACIR
     /// we can instead keep this map and resolve the Brillig calls at the end of code generation.
-    pub(crate) brillig_stdlib_func_locations: BTreeMap<OpcodeLocation, BrilligStdlibFunc>,
+    pub brillig_stdlib_func_locations: BTreeMap<OpcodeLocation, BrilligStdlibFunc>,
 
     /// Brillig function id -> Brillig procedure locations map
     /// This maps allows a profiler to determine which Brillig opcodes
     /// originated from a reusable procedure.
-    pub(crate) brillig_procedure_locs: BTreeMap<BrilligFunctionId, BrilligProcedureRangeMap>,
+    pub brillig_procedure_locs: BTreeMap<BrilligFunctionId, BrilligProcedureRangeMap>,
 }
 
 /// Correspondence between an opcode index (in opcodes) and the source code call stack which generated it
@@ -91,7 +91,7 @@ pub(crate) type BrilligOpcodeToLocationsMap = BTreeMap<BrilligOpcodeLocation, Ca
 pub(crate) type BrilligProcedureRangeMap = BTreeMap<ProcedureDebugId, (usize, usize)>;
 
 #[derive(Debug, Clone, Copy, Hash, PartialEq, Eq)]
-pub(crate) enum BrilligStdlibFunc {
+pub enum BrilligStdlibFunc {
     Inverse,
     Quotient,
     ToLeBytes,
@@ -109,7 +109,7 @@ impl BrilligStdlibFunc {
 
 impl<F: AcirField> GeneratedAcir<F> {
     /// Returns the current witness index.
-    pub(crate) fn current_witness_index(&self) -> Witness {
+    pub fn current_witness_index(&self) -> Witness {
         Witness(self.current_witness_index.unwrap_or(0))
     }
 
@@ -121,11 +121,11 @@ impl<F: AcirField> GeneratedAcir<F> {
         }
     }
 
-    pub(crate) fn opcodes(&self) -> &[AcirOpcode<F>] {
+    pub fn opcodes(&self) -> &[AcirOpcode<F>] {
         &self.opcodes
     }
 
-    pub(crate) fn take_opcodes(&mut self) -> Vec<AcirOpcode<F>> {
+    pub fn take_opcodes(&mut self) -> Vec<AcirOpcode<F>> {
         std::mem::take(&mut self.opcodes)
     }