subef opt

succinctlabs · Aug 1, 2024 · ed7a602 · ed7a602
1 parent 9e980eb
commit ed7a602
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/recursion/compiler/src/ir/types.rs b/recursion/compiler/src/ir/types.rs
@@ -1041,6 +1041,9 @@ impl<F: Field, EF: ExtensionField<F>> Ext<F, EF> {
                 (SymbolicExt::Val(lhs, _), SymbolicExt::Val(rhs, _)) => {
                     builder.push(DslIr::SubE(*self, *lhs, *rhs));
                 }
+                (SymbolicExt::Val(lhs, _), SymbolicExt::Base(rhs, _)) => {
+                    builder.push(DslIr::SubEF(*self, *lhs, *rhs));
+                }
                 (SymbolicExt::Val(lhs, _), rhs) => {
                     let rhs_value = Self::uninit(builder);
                     rhs_value.assign_with_caches(rhs.clone(), builder, ext_cache, base_cache);