pub(super) fn transform_internal<F: AcirField>(
acir: Circuit<F>,
expression_width: ExpressionWidth,
acir_opcode_positions: Vec<usize>,
brillig_side_effects: &BTreeMap<BrilligFunctionId, bool>,
) -> (Circuit<F>, Vec<usize>)Expand description
Applies backend specific optimizations to a Circuit.
Accepts an injected acir_opcode_positions to allow transformations to be applied directly after optimizations.
Does multiple passes until the output stabilizes.