fix(addi): Increase instruction pointer by two

TritonVM · Aug 7, 2024 · 3eb6b39 · 3eb6b39
1 parent 7ada437
commit 3eb6b39
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/triton-vm/src/table/processor_table.rs b/triton-vm/src/table/processor_table.rs
@@ -2090,7 +2090,7 @@ impl ExtProcessorTable {
             vec![next_base_row(ST0) - curr_base_row(ST0) - curr_base_row(NIA)];
         [
             specific_constraints,
-            Self::instruction_group_step_1(circuit_builder),
+            Self::instruction_group_step_2(circuit_builder),
             Self::instruction_group_op_stack_remains_except_top_n(circuit_builder, 1),
             Self::instruction_group_no_ram(circuit_builder),
             Self::instruction_group_no_io(circuit_builder),

diff --git a/triton-vm/src/vm.rs b/triton-vm/src/vm.rs
@@ -587,7 +587,7 @@ impl VMState {
     fn addi(&mut self, field_element: BFieldElement) -> Result<Vec<CoProcessorCall>> {
         let lhs = self.op_stack.pop()?;
         self.op_stack.push(lhs + field_element);
-        self.instruction_pointer += 1;
+        self.instruction_pointer += 2;
         Ok(vec![])
     }