X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=appx%2Fbytecode.tex;fp=appx%2Fbytecode.tex;h=ce6c4dffbadc31f2a65651d9e81fe73e4519a53c;hb=6e1620de7fd37b567a1b52b022ed43ab5dfa9015;hp=6884e53478645ff3899135ef8cc27d3b7cacf752;hpb=5a27c37e8d41687aae6fc84e92c7d630880618bf;p=phd-thesis.git diff --git a/appx/bytecode.tex b/appx/bytecode.tex index 6884e53..ce6c4df 100644 --- a/appx/bytecode.tex +++ b/appx/bytecode.tex @@ -75,7 +75,7 @@ The byte code instructions are of variable length and automatically encoded and & & \multicolumn{3}{l}{similar for Real and Long variants}\\ \texttt{cast}\textsubscript{f-t} & & $st[sp\shortminus{}1] = cast_{f-t} (st[sp\shortminus{}1])$ & $sp$ & $pc+1$\\ & & \multicolumn{3}{l}{{\bf for all} $f,t\in\{Int, Real, Long\}$}\\ - \pagebreak +% \pagebreak \texttt{mkTask} & \texttt{Stable\textsubscript{n}} & $st[sp\shortminus{}n\shortminus{}1] = node (stable,$ & $sp\shortminus{}n+1$ & $pc+2$\\ & & $\qquad\qquad st[sp\shortminus{}1], \ldots, st[sp\shortminus{}n\shortminus{}1])$\\ & \texttt{Unstable\textsubscript{n}} & $st[sp\shortminus{}n\shortminus{}1] = node (unstable,$ & $sp\shortminus{}n+1$ & $pc+2$\\