低层二元指令
公开化「字符串」而(「或可有」于「网页指令」)
文言:生成:简树转 Wasm 指令。凡式皆留一三十二位整数于栈(单元为零);局部变量按作用域分配;内联循环与分派用结构化控制。汉语:把提升、化简之后的简树生成 `网页指令` 列表。值约定:每个式恰好在操作数栈上留下一个 i32(单元值为 0;写内存等无结果的原语在操作后补一个 0)。局部下标:形参在前,其后按作用域顺序分配,同级分支复用下标;总数由指令扫描得出。`深` 是当前打开的控制结构数,用于计算 `br` 的相对深度。
文言:二元运算之指令,未知则无。汉语:外部调用名对应的二元 Wasm 指令。
低层读指令
公开化「字符串」而(「或可有」于「网页指令」)
暂无说明。
低层写指令
公开化「字符串」而(「或可有」于「网页指令」)
暂无说明。
按段拆
公开化「字符串」而化「字符串」而(「列」于「字符串」)
暂无说明。
低层解自然数
公开化「字符串」而(「或可有」于「整数」)
暂无说明。
低层解导入名
公开化「字符串」而(「或可有」于(「字符串」合「字符串」合「整数」合「整数」))
文言:导入之名:导入:模块:字段:参数数:结果数。汉语:解析外部调用名中的导入声明;不是导入名则无。返回(模块、字段、参数数、结果数)。
生成上下文
公开「元类型」
暂无说明。
构造生成上下文
公开化(「列」于(「字符串」合「整数」))而化(「列」于(「字符串」合「整数」合(「列」于「整数」)))而化(「列」于(「字符串」合「整数」))而「生成上下文」
暂无说明。
低层查串整
公开化(「列」于(「字符串」合「整数」))而化「字符串」而(「或可有」于「整数」)
局部表(名、下标)、环表(标、打开时的深度、形参下标们)、函数号表(全局名或导入名、函数下标)
低层查环表
公开化(「列」于(「字符串」合「整数」合(「列」于「整数」)))而化「字符串」而(「或可有」于(「整数」合(「列」于「整数」)))
暂无说明。
低层局部下标
公开化「生成上下文」而化「字符串」而「整数」
暂无说明。
低层加局部
公开化「生成上下文」而化「字符串」而化「整数」而「生成上下文」
暂无说明。
低层加环
公开化「生成上下文」而化「字符串」而化「整数」而化(「列」于「整数」)而「生成上下文」
暂无说明。
低层函数下标
公开化「生成上下文」而化「字符串」而「整数」
暂无说明。
低层拼令
公开化(「列」于(「列」于「网页指令」))而(「列」于「网页指令」)
文言:串联多列指令。汉语:把若干指令列表按序拼接。
低层单令
公开化「网页指令」而(「列」于「网页指令」)
暂无说明。
低层插序
公开化(「整数」合「整数」)而化(「列」于(「整数」合「整数」))而(「列」于(「整数」合「整数」))
文言:一遍插序,键小者先。汉语:把(键、序)对按键升序插入;同键是编译错误(分派前已去重)。
低层排序
公开化(「列」于(「整数」合「整数」))而(「列」于(「整数」合「整数」))
暂无说明。
低层取前对
公开化「整数」而化(「列」于(「整数」合「整数」))而(「列」于(「整数」合「整数」))
暂无说明。
低层去前对
公开化「整数」而化(「列」于(「整数」合「整数」))而(「列」于(「整数」合「整数」))
暂无说明。
低层决策树
公开化「整数」而化(「列」于(「整数」合「整数」))而化「整数」而化「整数」而(「列」于「网页指令」)
文言:决策之树:少者线性而比,多者折半而分。汉语:在 `br` 目标为“第 序 号块”的约定下,生成对已排序(键、序)的判断:至多四项时逐项 `br_if`,最后无条件 `br` 到缺省;更多时以枢轴 `<` 分成 `if/else`,内嵌一层,故目标下标加一。
低层局部表
公开化「生成上下文」而(「列」于(「字符串」合「整数」))
暂无说明。
低层环表
公开化「生成上下文」而(「列」于(「字符串」合「整数」合(「列」于「整数」)))
暂无说明。
环分配结果
公开「元类型」
暂无说明。
构造环分配结果
公开化「生成上下文」而化「整数」而化(「列」于「整数」)而化(「列」于(「整数」合「低层项」))而「环分配结果」
暂无说明。
低层环分配
公开化「生成上下文」而化「整数」而化(「列」于「字符串」)而化(「列」于「低层项」)而化(「列」于「整数」)而化(「列」于(「整数」合「低层项」))而「环分配结果」
新上下文、新的下一个局部下标、各形参下标、须赋初值者(下标、初值)
文言:环之形参,若初值即形参自身且已有下标,则沿用,不复赋值;否则新立局部。汉语:为内联循环的形参分配局部下标。函数级循环的形参就是函数形参,初值是自身,故全部沿用。
低层生成外
公开化化「低层项」而(「列」于「网页指令」)而化「生成上下文」而化「字符串」而化(「列」于「低层项」)而(「列」于「网页指令」)
文言:外部调用之生成:运算、读写、内存、陷阱、选择、格、导入。导入之参数数为零者,调用处依豫言之例传单元 无,生成时弃之。汉语:`生成` 是把子项生成指令的函数(由 `低层生成` 传入自身,以便互递归)。声明为零个参数的导入,调用处按豫言的写法传一个单元 `无`,生成指令时丢弃这个实参。
低层生成
公开化「生成上下文」而化「整数」而化「整数」而化「低层项」而(「列」于「网页指令」)
文言:生成一式,栈上留一整数。汉语:`低层生成 上下 下个 深 项`:`下个` 是下一个可用局部下标,`深` 是当前控制结构层数。