Fixes verification rules around call instructions.

solana-labs · Sep 6, 2024 · 3036099 · 3036099
1 parent cf8066c
commit 3036099
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/doc/bytecode.md b/doc/bytecode.md
@@ -323,5 +323,6 @@ Verification
 - `hor64` is allowed
 - The offset of jump instructions must be limited to the range of the current function
 - `callx` source register is encoded in the src field
-- The targets of syscalls (`call` instructions with src ≠ 0) must have been registered at verification time
+- The targets of internal calls (`call` instructions with src ≠ 0) must have been registered at verification time
+- The targets of syscalls (`call` instructions with src = 0) must have been registered at verification time
 - `add64 reg, imm` can use `r11` as destination register