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

模块 / 86

编译步骤/代码生成/底层后端/底层生成。豫

编译步骤/代码生成/底层后端/底层生成。豫

28公开名称

低层二元指令

公开
化「字符串」而(「或可有」于「网页指令」)

文言:生成:简树转 Wasm 指令。凡式皆留一三十二位整数于栈(单元为零);局部变量按作用域分配;内联循环与分派用结构化控制。汉语:把提升、化简之后的简树生成 `网页指令` 列表。值约定:每个式恰好在操作数栈上留下一个 i32(单元值为 0;写内存等无结果的原语在操作后补一个 0)。局部下标:形参在前,其后按作用域顺序分配,同级分支复用下标;总数由指令扫描得出。`深` 是当前打开的控制结构数,用于计算 `br` 的相对深度。 文言:二元运算之指令,未知则无。汉语:外部调用名对应的二元 Wasm 指令。

低层读指令

公开
化「字符串」而(「或可有」于「网页指令」)

暂无说明。

低层写指令

公开
化「字符串」而(「或可有」于「网页指令」)

暂无说明。

按段拆

公开
化「字符串」而化「字符串」而(「列」于「字符串」)

暂无说明。

低层解自然数

公开
化「字符串」而(「或可有」于「整数」)

暂无说明。

低层解导入名

公开
化「字符串」而(「或可有」于(「字符串」合「字符串」合「整数」合「整数」))

文言:导入之名:导入:模块:字段:参数数:结果数。汉语:解析外部调用名中的导入声明;不是导入名则无。返回(模块、字段、参数数、结果数)。

生成上下文

公开
「元类型」

暂无说明。

构造生成上下文

公开
化(「列」于(「字符串」合「整数」))而化(「列」于(「字符串」合「整数」合(「列」于「整数」)))而化(「列」于(「字符串」合「整数」))而「生成上下文」

暂无说明。

低层查串整

公开
化(「列」于(「字符串」合「整数」))而化「字符串」而(「或可有」于「整数」)

局部表(名、下标)、环表(标、打开时的深度、形参下标们)、函数号表(全局名或导入名、函数下标)

低层查环表

公开
化(「列」于(「字符串」合「整数」合(「列」于「整数」)))而化「字符串」而(「或可有」于(「整数」合(「列」于「整数」)))

暂无说明。

低层局部下标

公开
化「生成上下文」而化「字符串」而「整数」

暂无说明。

低层加局部

公开
化「生成上下文」而化「字符串」而化「整数」而「生成上下文」

暂无说明。

低层加环

公开
化「生成上下文」而化「字符串」而化「整数」而化(「列」于「整数」)而「生成上下文」

暂无说明。

低层函数下标

公开
化「生成上下文」而化「字符串」而「整数」

暂无说明。

低层拼令

公开
化(「列」于(「列」于「网页指令」))而(「列」于「网页指令」)

文言:串联多列指令。汉语:把若干指令列表按序拼接。

低层单令

公开
化「网页指令」而(「列」于「网页指令」)

暂无说明。

低层插序

公开
化(「整数」合「整数」)而化(「列」于(「整数」合「整数」))而(「列」于(「整数」合「整数」))

文言:一遍插序,键小者先。汉语:把(键、序)对按键升序插入;同键是编译错误(分派前已去重)。

低层排序

公开
化(「列」于(「整数」合「整数」))而(「列」于(「整数」合「整数」))

暂无说明。

低层取前对

公开
化「整数」而化(「列」于(「整数」合「整数」))而(「列」于(「整数」合「整数」))

暂无说明。

低层去前对

公开
化「整数」而化(「列」于(「整数」合「整数」))而(「列」于(「整数」合「整数」))

暂无说明。

低层决策树

公开
化「整数」而化(「列」于(「整数」合「整数」))而化「整数」而化「整数」而(「列」于「网页指令」)

文言:决策之树:少者线性而比,多者折半而分。汉语:在 `br` 目标为“第 序 号块”的约定下,生成对已排序(键、序)的判断:至多四项时逐项 `br_if`,最后无条件 `br` 到缺省;更多时以枢轴 `<` 分成 `if/else`,内嵌一层,故目标下标加一。

低层局部表

公开
化「生成上下文」而(「列」于(「字符串」合「整数」))

暂无说明。

低层环表

公开
化「生成上下文」而(「列」于(「字符串」合「整数」合(「列」于「整数」)))

暂无说明。

环分配结果

公开
「元类型」

暂无说明。

构造环分配结果

公开
化「生成上下文」而化「整数」而化(「列」于「整数」)而化(「列」于(「整数」合「低层项」))而「环分配结果」

暂无说明。

低层环分配

公开
化「生成上下文」而化「整数」而化(「列」于「字符串」)而化(「列」于「低层项」)而化(「列」于「整数」)而化(「列」于(「整数」合「低层项」))而「环分配结果」

新上下文、新的下一个局部下标、各形参下标、须赋初值者(下标、初值) 文言:环之形参,若初值即形参自身且已有下标,则沿用,不复赋值;否则新立局部。汉语:为内联循环的形参分配局部下标。函数级循环的形参就是函数形参,初值是自身,故全部沿用。

低层生成外

公开
化化「低层项」而(「列」于「网页指令」)而化「生成上下文」而化「字符串」而化(「列」于「低层项」)而(「列」于「网页指令」)

文言:外部调用之生成:运算、读写、内存、陷阱、选择、格、导入。导入之参数数为零者,调用处依豫言之例传单元 无,生成时弃之。汉语:`生成` 是把子项生成指令的函数(由 `低层生成` 传入自身,以便互递归)。声明为零个参数的导入,调用处按豫言的写法传一个单元 `无`,生成指令时丢弃这个实参。

低层生成

公开
化「生成上下文」而化「整数」而化「整数」而化「低层项」而(「列」于「网页指令」)

文言:生成一式,栈上留一整数。汉语:`低层生成 上下 下个 深 项`:`下个` 是下一个可用局部下标,`深` 是当前控制结构层数。