豫豫言文档API ATLAS
入口包说明.html
62 模块1862 名称
← 全部模块

模块 / 54

解释。豫

解释。豫

31公开名称

是控制转移

公开
化「整数」而「爻」

文言:解释之主循环:读一字节码,行之,循环不已。汉语:主解释循环。寄存器(指令针、帧针、边偏、栈针)作为循环参数传递;控制转移类指令(throw、end、br 系、return、调用系、GC 前缀)经状态格 状态_新指令针/新帧针/边偏 交回新现场,其余指令直接续行。新指令针为零表示最外层函数已返回,循环结束并返回栈针。 文言:控制转移之判。汉语:是否属于“控制转移类”指令:0x08–0x15(throw、throw_ref、end、br 系、return、调用系)、0xD5/0xD6(br_on_null/non_null)、0xFB(GC 前缀,可能分支)。

续于

公开
化「整数」而化「整数」而化「整数」而化「整数」而「整数」

文言:现场之交:诸控制转移之末,把新现场写入状态格。汉语:把新指令针、新帧针、边偏写入状态格,返回栈针。分支收尾:分支若指向函数级标签(新指令针为零)则按函数返回处理,否则保持原帧针与边偏。异常收尾:转移到处理器后,若目标为函数级则同样返回。

分支收尾

公开
化「整数」而化「整数」而化「整数」而「整数」

暂无说明。

异常收尾

公开
化「整数」而「整数」

暂无说明。

分支表深度

公开
化「整数」而化「整数」而化「整数」而化「整数」而「整数」

暂无说明。

弹出块标签

公开
化「有」而「有」

暂无说明。

控制抛出

公开
化「整数」而化「整数」而「整数」

文言:控制转移之行。汉语:各控制转移指令的实现:每个函数取立即数、更新栈与标签,返回新栈针,并把新现场(新指令针、新帧针、边偏)留在状态格;新指令针为零表示最外层函数已返回。

控制再抛

公开
化「整数」而「整数」

暂无说明。

控制结束

公开
化「整数」而化「整数」而化「整数」而化「整数」而「整数」

暂无说明。

控制分支

公开
化「整数」而化「整数」而化「整数」而化「整数」而「整数」

暂无说明。

控制条件分支

公开
化「整数」而化「整数」而化「整数」而化「整数」而「整数」

暂无说明。

控制分支表

公开
化「整数」而化「整数」而化「整数」而化「整数」而「整数」

暂无说明。

控制调用

公开
化「整数」而化「整数」而化「整数」而「整数」

暂无说明。

间接目标

公开
化「整数」而化「整数」而化「整数」而「整数」

暂无说明。

控制间接调用

公开
化「整数」而化「整数」而化「整数」而「整数」

暂无说明。

控制尾调用

公开
化「整数」而化「整数」而化「整数」而「整数」

暂无说明。

控制间接尾调用

公开
化「整数」而化「整数」而化「整数」而「整数」

暂无说明。

控制引用调用

公开
化「整数」而化「整数」而化「整数」而化「整数」而「整数」

暂无说明。

控制空分支

公开
化「整数」而化「整数」而化「整数」而化「整数」而「整数」

暂无说明。

控制非空分支

公开
化「整数」而化「整数」而化「整数」而化「整数」而「整数」

暂无说明。

控制GC

公开
化「整数」而化「整数」而化「整数」而化「整数」而「整数」

暂无说明。

执行控制

公开
化「整数」而化「整数」而化「整数」而化「整数」而化「整数」而「整数」

暂无说明。

执行尝试表

公开
化「整数」而化「整数」而化「整数」而化「整数」而化「整数」而「整数」

文言:诸简单指令之助。汉语:简单指令的辅助函数:try_table、select、表读写、memory.grow。

执行选择

公开
化「整数」而「整数」

暂无说明。

表获取

公开
化「整数」而化「整数」而「有」

暂无说明。

表设置

公开
化「整数」而化「整数」而「整数」

暂无说明。

客内存增长

公开
化「整数」而「有」

暂无说明。

是浮点操作码

公开
化「整数」而「爻」

暂无说明。

执行宽或浮点

公开
化「整数」而化「整数」而「整数」

暂无说明。

解释循环

公开
化「整数」而化「整数」而化「整数」而化「整数」而「整数」

文言:主循环:先辨控制转移类与否;简单指令直接续行,控制转移类经 执行控制 交回现场。汉语:主解释循环。简单指令:常量、局部与全局变量、表读写、访存、i32/i64 运算、引用、块/循环/条件的入口;每个情形以“「解释循环」于(新指令针)于「帧针」于「边基」于(新栈针)”(展开为对本函数的尾调用,即回到循环起点)结束。

运行函数

公开
化「整数」而化「整数」而「整数」

文言:运行一函数:立伪帧,调之,循环至最外层返回。汉语:运行函数 f:参数在栈针之下,返回时结果在新栈针之下(返回新栈针)。先压一个返回地址为 0 的伪帧,再经 调用 进入函数,从状态格取得初始现场后进入解释循环。