From 24a1c75dec5746acb75949b8f41d8044fe98040c Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Thu, 23 Sep 2021 14:18:06 -0400 Subject: Clean up errors from opcode renumbering in VM docs --- docs/implementation/vm.html | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'docs/implementation/vm.html') diff --git a/docs/implementation/vm.html b/docs/implementation/vm.html index 0bc9ef11..676e6548 100644 --- a/docs/implementation/vm.html +++ b/docs/implementation/vm.html @@ -163,7 +163,7 @@ 13 FN2O X -13 +11 Dyadic call, checking for · @@ -345,7 +345,7 @@ -

Stack effects for most instructions are given below. Instructions 16, 17, and 19 are identical to 5, 6, and 10 except that the indicated values in the higher-numbered instructions may be ·. Instruction 31 is identical to 21 but indicates that the local variable's value will never be used again, which may be useful for optimization. The lower-numbered instructions are not yet emitted by the self-hosted compiler and can be implemented simply by making them identical to the higher-numbered ones; however, it may be possible to make them faster by not checking for Nothing.

+

Stack effects for most instructions are given below. Instructions FN1O, FN2O, and TR3O are identical to FN1C, FN2C, and TR3D except that the indicated values in the higher-numbered instructions may be ·. The non-checking instructions can be implemented using the checking ones, but avoiding the check could improve speed. VARU is identical to VARM but indicates that the local variable's value will never be used again, which may be useful for optimization.

@@ -384,25 +384,25 @@ - + - + - + - + @@ -414,7 +414,7 @@ - + @@ -462,7 +462,7 @@ - + -- cgit v1.2.3
08 RETD x? → nClears stack, dropping 0 or 38 valueClears stack, dropping 0 or 1 value
0B ARRO x0 … xm → ⟨x0 … xm⟩N total variables (m=n-38)N total variables (m=n-1)
10 FN1C 𝕩 𝕤 → (𝕊 𝕩)18: 𝕩 may be ·12: 𝕩 may be ·
11 FN2C 𝕩 𝕤 𝕨 → (𝕨 𝕊 𝕩)19: 𝕨 or 𝕩 may be ·13: 𝕨 or 𝕩 may be ·
1415 TR3D h g f → (F G H)23: F may be ·17: F may be ·
1A30 SETN x r → (r←x)r is a reference; 47: no resultr is a reference; 2F: no result
31