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

模块 / 37

模块。豫

模块。豫

43公开名称

串_启动

公开
「整数」

文言:模块之解:节表、类型、导入、函数、代码、全局、表、元素、数据、导出。汉语:客体模块解析:读节表,建立类型表、函数表、全局表、表描述、标签、元素段、数据段、线性内存声明,并按名查找导出。诸表布局见 布局。豫。 文言:所需之名。汉语:模块解析要比较的固定名字(零结尾静态串)。

串_导入宿

公开
「整数」

暂无说明。

串_导入名

公开
「整数」

暂无说明。

相同字节

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

文言:字节与名之比。汉语:字节串比较;零结尾串的长度;模块内字节 (址,长) 与零结尾串是否相同。

零串长

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

暂无说明。

名相同

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

暂无说明。

节起

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

文言:节表之读:诸节之起与长存于节表。汉语:读节表:模块头八字节之后是若干节,节号一字节、长度 LEB、内容;起点与长度记入 状态_节表。

节长

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

暂无说明。

读节

公开
化「有」而「有」

暂无说明。

值类别

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

文言:值类型之类:零为四字节数值,一为八字节数值,二为引用;新址存于 状态_读址。汉语:值类型类别:0=四字节数值 1=八字节数值 2=引用;新位置写入 状态_读址。存储类别另有:3 字节、4 半字。

存储类别

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

暂无说明。

跳过值类型们

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

暂无说明。

解析函数类型

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

文言:复合类型之解:函数、结构、数组。汉语:解析复合类型(0x60 函数、0x5F 结构、0x5E 数组)到类型条 e,返回新位置。函数类型记参数与结果的编码起止;结构类型把各字段的存储类别逐字节存入元数据池;数组记元素类别与字节数。

登记结构字段们

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

暂无说明。

解析结构类型

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

暂无说明。

数组元素字节数

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

暂无说明。

解析数组类型

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

暂无说明。

解析复合类型

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

暂无说明。

登记超类们

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

暂无说明。

解析子类型

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

暂无说明。

解析子类型们

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

暂无说明。

解析类型段

公开
化「有」而「有」

暂无说明。

函数类型等价

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

文言:函数类型之等。汉语:两个函数类型是否结构等价:同号即等;否则须皆为函数类型,参数数、结果数与编码字节相同。

读计数

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

文言:函数表之立,导入、函数、代码之解;WASI 之名亦于导入时辨之。汉语:节内向量元素个数(节不存在为 0);建立并清零函数表;解析导入段(只支持函数导入,识别 gc-host.call 与 WASI preview1)、函数段、代码段。

建函数表

公开
化「有」而「有」

暂无说明。

解析导入段

公开
化「有」而「有」

暂无说明。

解析函数段

公开
化「有」而「有」

暂无说明。

解析代码段

公开
化「有」而「有」

暂无说明。

解析全局段

公开
化「有」而「有」

文言:全局、表、标签之解。汉语:解析全局段(每项 8 字节)、表段(描述 16 字节:数据指针、大小、上限、元素类别;元素每项 4 字节)、标签段(每项 8 字节:类型、参数数)。

解析表段

公开
化「有」而「有」

暂无说明。

解析标签段

公开
化「有」而「有」

暂无说明。

跳过结构常量指令

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

文言:常量式之越。汉语:跳过常量表达式,返回 end(0x0B)之后的位置;只识别本执行器会遇到的常量指令。

跳过常量指令

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

暂无说明。

跳过常量式

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

暂无说明。

跳过常量式们

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

暂无说明。

标志属

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

文言:元素段与数据段之解。汉语:元素段条 24 字节 [向量起 个数 标志 已弃 偏移式指针 表号],标志即元素段种类 0..7;数据段条 20 字节 [数据指针 长度 被动 已弃 偏移式指针]。

跳过引用类型

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

暂无说明。

解析元素段

公开
化「有」而「有」

暂无说明。

解析数据段

公开
化「有」而「有」

暂无说明。

查导出

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

文言:导出之查,起始之解,线性内存之解。汉语:按名查导出(返回索引,没有为 -1,种类存 状态_读高);解析起始函数;解析客体线性内存声明(至多一个,页数上限 128)。

解析起始

公开
化「有」而「有」

暂无说明。

解析内存段

公开
化「有」而「有」

暂无说明。

解析各段

公开
化「有」而「有」

文言:诸段之解,初与次级之实例共用。汉语:解析模块各节:读节表、分配元数据池、依序解析类型、函数表、导入、函数、代码、全局、表、标签、元素、数据、内存与起始函数。初始实例的区域顶等全局格由 入口 先设好;次级实例由装载器先切换到新实例的上下文;元数据与各表都经 取存 分配(初始实例走区域分配器,其余实例走堆里的原始块)。