Skip to content

Commit

Permalink
6795: review feedback
Browse files Browse the repository at this point in the history
  • Loading branch information
jeanmon committed May 31, 2024
1 parent a652ae5 commit 1ccab1d
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions barretenberg/cpp/pil/avm/avm_main.pil
Original file line number Diff line number Diff line change
Expand Up @@ -381,6 +381,8 @@ namespace avm_main(256);
#[PC_JUMPI]
sel_jumpi * ((1 - id_zero) * (pc' - ia) + id_zero * (pc' - pc - 1)) = 0;

// TODO: Consolidation with #[PC_JUMP] and sel_internal_call * (pc' - ia) = 0; sel_internal_return * (pc' - ia) = 0;

//===== INTERNAL_CALL ======================================================
// - The program counter in the next row should be equal to the value loaded from the ia register
// - We then write the return location (pc + 1) into the call stack (in memory)
Expand Down

0 comments on commit 1ccab1d

Please sign in to comment.