豫言源码浏览器 / Source Browser

浏览项目文件与源码

解释。豫
yuyan · 911 行 · 49671 字节 · UTF-8
§
寻观「底层库」之书。
寻观「客体二号」之「布局」之书。
寻观「客体二号」之「平台」之书。
寻观「客体二号」之「基础」之书。
寻观「客体二号」之「实例」之书。
寻观「客体二号」之「模块」之书。
寻观「客体二号」之「控制」之书。
寻观「客体二号」之「堆」之书。
寻观「客体二号」之「对象」之书。
寻观「客体二号」之「异常」之书。
寻观「客体二号」之「运算」之书。
寻观「客体二号」之「浮点指令」之书。
寻观「客体二号」之「表指令」之书。
寻观「客体二号」之「访存」之书。
寻观「客体二号」之「主机」之书。
寻观「客体二号」之「调用」之书。

「：文言：解释之主循环：读一字节码，行之，循环不已。汉语：主解释循环。寄存器（指令针、帧针、边偏、栈针）作为循环参数传递；控制转移类指令（throw、end、br 系、return、调用系、GC 前缀）经状态格 状态_新指令针/新帧针/边偏 交回新现场，其余指令直接续行。新指令针为零表示最外层函数已返回，循环结束并返回栈针。：」

「：文言：控制转移之判。汉语：是否属于“控制转移类”指令：0x08–0x15（throw、throw_ref、end、br 系、return、调用系）、0xD5/0xD6（br_on_null/non_null）、0xFB（GC 前缀，可能分支）。：」
「是控制转移」乃化「整数」而「爻」也。
「是控制转移」者会「码」而
  「或者」
    于（「无符号小等」于（「减」于「码」于「八」）于「一三」）
    于（「或者」于（「无符号小等」于（「减」于「码」于「二一三」）于「一」）于（「等」于「码」于「二五一」））
也。

「：文言：现场之交：诸控制转移之末，把新现场写入状态格。汉语：把新指令针、新帧针、边偏写入状态格，返回栈针。分支收尾：分支若指向函数级标签（新指令针为零）则按函数返回处理，否则保持原帧针与边偏。异常收尾：转移到处理器后，若目标为函数级则同样返回。：」
「续于」乃化「整数」而化「整数」而化「整数」而化「整数」而「整数」也。
「续于」者会「新址」而会「帧针」而会「边基」而会「栈针」而
  虑「无」者（「设新现场」于「新址」于「帧针」于「边基」）而
  「栈针」
也。

「分支收尾」乃化「整数」而化「整数」而化「整数」而「整数」也。
「分支收尾」者会「栈针」而会「帧针」而会「边基」而
  若「等零」于（「读四」于「状态_新指令针」）
  则
    「返回处理」于「栈针」于「帧针」
  否则
    「续于」于（「读四」于「状态_新指令针」）于「帧针」于「边基」于「栈针」
也。

「异常收尾」乃化「整数」而「整数」也。
「异常收尾」者会「栈针」而
  若「等零」于（「读四」于「状态_新指令针」）
  则
    「返回处理」于「栈针」于（「读四」于「状态_新帧针」）
  否则
    「栈针」
也。

「分支表深度」乃化「整数」而化「整数」而化「整数」而化「整数」而「整数」也。
「分支表深度」者会「游」而会「个数」而会「序」而会「位」而
  虑「深」者「读无符号变长」于「游」而
  虑「后游」者「读四」于「状态_读址」而
  若「或者」于（「等」于「位」于「序」）于（「等」于「位」于「个数」）
  则
    「深」
  否则
    「分支表深度」于「后游」于「个数」于「序」于（「加」于「位」于「一」）
也。

「弹出块标签」乃化「有」而「有」也。
「弹出块标签」者会「无」而
  虑「标」者「减」于（「读四」于「状态_标签顶」）于「标签栈条长」而
  虑「无」者
    （
      若「等」于（「读字段」于「标」于「标签_种类」）于「标签尝试」
      则
        「写四」于「状态_处理顶」于（「减」于（「读四」于「状态_处理顶」）于「处理条长」）
      否则
        「元」
    ）
  而
  「写四」于「状态_标签顶」于「标」
也。

「：文言：控制转移之行。汉语：各控制转移指令的实现：每个函数取立即数、更新栈与标签，返回新栈针，并把新现场（新指令针、新帧针、边偏）留在状态格；新指令针为零表示最外层函数已返回。：」
「控制抛出」乃化「整数」而化「整数」而「整数」也。
「控制抛出」者会「后」而会「栈针」而
  虑「标签」者「读无符号变长」于「后」而
  「异常收尾」于（「执行抛出」于「标签」于「栈针」）
也。

「控制再抛」乃化「整数」而「整数」也。
「控制再抛」者会「栈针」而
  「异常收尾」于（「执行再抛」于「栈针」）
也。

「控制结束」乃化「整数」而化「整数」而化「整数」而化「整数」而「整数」也。
「控制结束」者会「后」而会「帧针」而会「边基」而会「栈针」而
  若「等」于（「读四」于（「减」于（「读四」于「状态_标签顶」）于「四」））于「标签函数」
  则
    「返回处理」于「栈针」于「帧针」
  否则
    虑「无」者「弹出块标签」于「元」而
    「续于」于「后」于「帧针」于「边基」于「栈针」
也。

「控制分支」乃化「整数」而化「整数」而化「整数」而化「整数」而「整数」也。
「控制分支」者会「后」而会「帧针」而会「边基」而会「栈针」而
  虑「深」者「读无符号变长」于「后」而
  「分支收尾」于（「分支」于「深」于「栈针」）于「帧针」于「边基」
也。

「控制条件分支」乃化「整数」而化「整数」而化「整数」而化「整数」而「整数」也。
「控制条件分支」者会「后」而会「帧针」而会「边基」而会「栈针」而
  虑「深」者「读无符号变长」于「后」而
  虑「新址」者「读四」于「状态_读址」而
  虑「新栈」者「减」于「栈针」于「八」而
  若「不等于」于（「读四」于「新栈」）于「零」
  则
    「分支收尾」于（「分支」于「深」于「新栈」）于「帧针」于「边基」
  否则
    「续于」于「新址」于「帧针」于「边基」于「新栈」
也。

「控制分支表」乃化「整数」而化「整数」而化「整数」而化「整数」而「整数」也。
「控制分支表」者会「后」而会「帧针」而会「边基」而会「栈针」而
  虑「个数」者「读无符号变长」于「后」而
  虑「首」者「读四」于「状态_读址」而
  虑「新栈」者「减」于「栈针」于「八」而
  虑「序」者「读四」于「新栈」而
  虑「深」者「分支表深度」于「首」于「个数」于「序」于「零」而
  「分支收尾」于（「分支」于「深」于「新栈」）于「帧针」于「边基」
也。

「控制调用」乃化「整数」而化「整数」而化「整数」而「整数」也。
「控制调用」者会「后」而会「帧针」而会「栈针」而
  虑「函数号」者「读无符号变长」于「后」而
  虑「新址」者「读四」于「状态_读址」而
  「调用」于「函数号」于「栈针」于「新址」于「帧针」
也。

「间接目标」乃化「整数」而化「整数」而化「整数」而「整数」也。
「间接目标」者会「类型号」而会「表号」而会「新栈」而
  虑「函数号」者「表函数」于「表号」于（「读四」于「新栈」）而
  虑「无」者
    （「若则致命」
      于（「等零」于（「爻整」于（「函数类型等价」于（「读四」于（「函数条」于「函数号」））于「类型号」）））
      于「一二四」
      于（「静态串」于『间接调用签名不符』））
  而
  「函数号」
也。

「控制间接调用」乃化「整数」而化「整数」而化「整数」而「整数」也。
「控制间接调用」者会「后」而会「帧针」而会「栈针」而
  虑「类型号」者「读双立即数」于「后」而
  虑「表号」者「读四」于「状态_读高」而
  虑「新址」者「读四」于「状态_读址」而
  虑「新栈」者「减」于「栈针」于「八」而
  「调用」于（「间接目标」于「类型号」于「表号」于「新栈」）于「新栈」于「新址」于「帧针」
也。

「控制尾调用」乃化「整数」而化「整数」而化「整数」而「整数」也。
「控制尾调用」者会「后」而会「帧针」而会「栈针」而
  虑「函数号」者「读无符号变长」于「后」而
  「尾调用」于「函数号」于「栈针」于「帧针」
也。

「控制间接尾调用」乃化「整数」而化「整数」而化「整数」而「整数」也。
「控制间接尾调用」者会「后」而会「帧针」而会「栈针」而
  虑「类型号」者「读双立即数」于「后」而
  虑「表号」者「读四」于「状态_读高」而
  虑「新栈」者「减」于「栈针」于「八」而
  「尾调用」于（「间接目标」于「类型号」于「表号」于「新栈」）于「新栈」于「帧针」
也。

「控制引用调用」乃化「整数」而化「整数」而化「整数」而化「整数」而「整数」也。
「控制引用调用」者会「操作码」而会「后」而会「帧针」而会「栈针」而
  虑「新址」者「变长后」于「后」而
  虑「新栈」者「减」于「栈针」于「八」而
  虑「引用」者「读四」于「新栈」而
  虑「无」者
    （「若则致命」于（「不等于」于（「位与」于「引用」于「七」）于「二」）于「一二四」于（「静态串」于『空函数引用』））
  而
  虑「函数号」者「无符号右移」于「引用」于「三」而
  若「等」于「操作码」于「二零」
  则
    「调用」于「函数号」于「新栈」于「新址」于「帧针」
  否则
    「尾调用」于「函数号」于「新栈」于「帧针」
也。

「控制空分支」乃化「整数」而化「整数」而化「整数」而化「整数」而「整数」也。
「控制空分支」者会「后」而会「帧针」而会「边基」而会「栈针」而
  虑「深」者「读无符号变长」于「后」而
  虑「新址」者「读四」于「状态_读址」而
  若「等零」于（「栈槽字」于「栈针」于「一」）
  则
    「分支收尾」于（「分支」于「深」于（「减」于「栈针」于「八」））于「帧针」于「边基」
  否则
    「续于」于「新址」于「帧针」于「边基」于「栈针」
也。

「控制非空分支」乃化「整数」而化「整数」而化「整数」而化「整数」而「整数」也。
「控制非空分支」者会「后」而会「帧针」而会「边基」而会「栈针」而
  虑「深」者「读无符号变长」于「后」而
  虑「新址」者「读四」于「状态_读址」而
  若「不等于」于（「栈槽字」于「栈针」于「一」）于「零」
  则
    「分支收尾」于（「分支」于「深」于「栈针」）于「帧针」于「边基」
  否则
    「续于」于「新址」于「帧针」于「边基」于（「减」于「栈针」于「八」）
也。

「控制GC」乃化「整数」而化「整数」而化「整数」而化「整数」而「整数」也。
「控制GC」者会「后」而会「帧针」而会「边基」而会「栈针」而
  虑「子」者「读无符号变长」于「后」而
  虑「新址」者「读四」于「状态_读址」而
  虑「新栈」者「执行GC」于「子」于「新址」于「栈针」而
  若「等零」于（「读四」于「状态_新指令针」）
  则
    「返回处理」于「新栈」于「帧针」
  否则
    （（「写四」于「状态_新帧针」于「帧针」）；
      （「写四」于「状态_边偏」于「边基」）；
      「新栈」）
也。

「执行控制」乃
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  「整数」
也。
「执行控制」者会「操作码」而会「后」而会「帧针」而会「边基」而会「栈针」而
  鉴「操作码」而
    有「八」则
      「控制抛出」于「后」于「栈针」
    或有「一零」则
      「控制再抛」于「栈针」
    或有「一一」则
      「控制结束」于「后」于「帧针」于「边基」于「栈针」
    或有「一二」则
      「控制分支」于「后」于「帧针」于「边基」于「栈针」
    或有「一三」则
      「控制条件分支」于「后」于「帧针」于「边基」于「栈针」
    或有「一四」则
      「控制分支表」于「后」于「帧针」于「边基」于「栈针」
    或有「一五」则
      「返回处理」于「栈针」于「帧针」
    或有「一六」则
      「控制调用」于「后」于「帧针」于「栈针」
    或有「一七」则
      「控制间接调用」于「后」于「帧针」于「栈针」
    或有「一八」则
      「控制尾调用」于「后」于「帧针」于「栈针」
    或有「一九」则
      「控制间接尾调用」于「后」于「帧针」于「栈针」
    或有「二零」则
      「控制引用调用」于「操作码」于「后」于「帧针」于「栈针」
    或有「二一」则
      「控制引用调用」于「操作码」于「后」于「帧针」于「栈针」
    或有「二一三」则
      「控制空分支」于「后」于「帧针」于「边基」于「栈针」
    或有「二一四」则
      「控制非空分支」于「后」于「帧针」于「边基」于「栈针」
    或有「二五一」则
      「控制GC」于「后」于「帧针」于「边基」于「栈针」
    或有「其他」则
      （（「致命退出」于「一三零」于（「静态串」于『未知操作码』））；
        「栈针」）
也。

「：文言：诸简单指令之助。汉语：简单指令的辅助函数：try_table、select、表读写、memory.grow。：」
「执行尝试表」乃
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  「整数」
也。
「执行尝试表」者会「指针」而会「后」而会「帧针」而会「边基」而会「栈针」而
  虑「块后」者「读块类型」于「后」而
  虑「个数」者「读无符号变长」于「块后」而
  虑「子句起」者「读四」于「状态_读址」而
  虑「基」者
    「减」于「栈针」于（「乘」于（「读四」于「状态_块参」）于「八」）而
    虑「处理」者「读四」于「状态_处理顶」而
    虑「无」者
      （「若则致命」
        于（「无符号大等」于「处理」于（「读四」于「状态_处理栈限」））于「一二二」
          于（「静态串」于『处理器栈溢出』））而
          虑「无」者
            （「写字段」于「处理」于「处理_子句起」于「子句起」）而
            虑「无」者
              （「写字段」于「处理」于「处理_子句数」于「个数」）而
              虑「无」者
                （「写字段」于「处理」于「处理_帧顶」于（「读四」于「状态_帧顶」））而
                虑「无」者
                  （「写字段」于「处理」于「处理_栈基」于「基」）而
                  虑「无」者
                    （「写字段」于「处理」于「处理_标签顶」于（「读四」于「状态_标签顶」））而
                    虑「无」者
                      （「写字段」于「处理」于「处理_帧针」于「帧针」）而
                      虑「无」者
                        （「写字段」于「处理」于「处理_函数」于（「读四」于「状态_函」））而
                        虑「无」者
                          （「写字段」于「处理」于「处理_实例」于（「读四」于「状态_当前实例」））而
                          虑「无」者
                            （「写四」于「状态_处理顶」于（「加」于「处理」于「处理条长」））而
                            虑「新址」者
                              「跳过捕获子句们」于「子句起」于「个数」而
                              虑「边」者
                                「加」于「边基」于（「乘」于「指针」于「八」）而
                                虑「无」者
                                  （「压标签」
                                    于（「读四」于「边」）
                                    于「基」
                                    于（「读四」于「状态_块果」）于「标签尝试」）
                                而
                                「新址」
也。

「执行选择」乃化「整数」而「整数」也。
「执行选择」者会「栈针」而
  虑「新栈」者「减」于「栈针」于「一六」而
  虑「无」者
    （若「等零」于（「读字段」于「新栈」于「八」）则「拷槽」于（「减」于「新栈」于「八」）于「新栈」否则「元」）
  而
  「新栈」
也。

「表获取」乃化「整数」而化「整数」而「有」也。
「表获取」者会「表号」而会「栈针」而
  虑「描述」者「表描述址」于「表号」而
  虑「序」者「栈槽字」于「栈针」于「一」而
  虑「无」者（「表项检查」于「描述」于「序」）而
  「置栈槽」
    于「栈针」
    于「一」
    于（「读四」于（「加」于（「读字段」于「描述」于「表描述_数据」）于（「乘」于「序」于「四」）））于「零」
也。

「表设置」乃化「整数」而化「整数」而「整数」也。
「表设置」者会「表号」而会「栈针」而
  虑「描述」者「表描述址」于「表号」而
  虑「新栈」者「减」于「栈针」于「一六」而
  虑「序」者「读四」于「新栈」而
  虑「无」者（「表项检查」于「描述」于「序」）而
  虑「无」者
    （「写四」
      于（「加」于（「读字段」于「描述」于「表描述_数据」）于（「乘」于「序」于「四」））
      于（「读字段」于「新栈」于「八」））
  而
  「新栈」
也。

「客内存增长」乃化「整数」而「有」也。
「客内存增长」者会「栈针」而
  虑「个数」者「栈槽字」于「栈针」于「一」而
  虑「现」者「读四」于「状态_客页数」而
  若「无符号小等」于（「加」于「现」于「个数」）于（「读四」于「状态_客页上限」）
  则
    （（「置栈槽字」于「栈针」于「一」于「现」）；
      （「写四」于「状态_客页数」于（「加」于「现」于「个数」）））
  否则
    「置栈槽字」于「栈针」于「一」于「负一」
也。

「是浮点操作码」乃化「整数」而「爻」也。
「是浮点操作码」者会「码」而
  「或者」
    于（「或者」
      于（「无符号小于」于（「减」于「码」于「九一」）于「一二」）
      于（「无符号小于」于（「减」于「码」于「一三九」）于「二八」））
      于（「或者」
        于（「无符号小于」于（「减」于「码」于「一六八」）于「四」）
        于（「无符号小于」于（「减」于「码」于「一七四」）于「一四」））
也。

「执行宽或浮点」乃化「整数」而化「整数」而「整数」也。
「执行宽或浮点」者会「操作码」而会「栈针」而
  若「是浮点操作码」于「操作码」则
    「执行浮点」于「操作码」于「栈针」
  否则
    「执行i64」于「操作码」于「栈针」
也。

「：文言：主循环：先辨控制转移类与否；简单指令直接续行，控制转移类经 执行控制 交回现场。汉语：主解释循环。简单指令：常量、局部与全局变量、表读写、访存、i32/i64 运算、引用、块/循环/条件的入口；每个情形以“「解释循环」于（新指令针）于「帧针」于「边基」于（新栈针）”（展开为对本函数的尾调用，即回到循环起点）结束。：」
「解释循环」乃化「整数」而化「整数」而化「整数」而化「整数」而「整数」也。
「解释循环」者会「指针」而会「帧针」而会「边基」而会「栈针」而
  虑「操作码」者「读一」于「指针」而
  虑「后」者「加」于「指针」于「一」而
  若「非」于（「是控制转移」于「操作码」）
  则
    （
      鉴「操作码」而
        有「零」则
          （（「致命退出」于「一二八」于（「静态串」于『unreachable』））；
            「栈针」）
        或有「一」则
          「解释循环」于（「后」）于「帧针」于「边基」于（「栈针」）
        或有「二」则（
          虑「新址」者「读块类型」于「后」而
          虑「边」者「加」于「边基」于（「乘」于「指针」于「八」）而
          虑「无」者
            （「压标签」
              于（「读四」于「边」）
              于（「减」于「栈针」于（「乘」于（「读四」于「状态_块参」）于「八」））
              于（「读四」于「状态_块果」）于「标签块」）
          而
          「解释循环」于（「新址」）于「帧针」于「边基」于（「栈针」）
        ）
        或有「三」则（
          虑「新址」者「读块类型」于「后」而
          虑「无」者
            （「压标签」
              于「新址」
              于（「减」于「栈针」于（「乘」于（「读四」于「状态_块参」）于「八」））
              于（「读四」于「状态_块参」）于「标签循环」）
          而
          「解释循环」于（「新址」）于「帧针」于「边基」于（「栈针」）
        ）
        或有「四」则（
          虑「新址」者「读块类型」于「后」而
          虑「条件栈」者「减」于「栈针」于「八」而
          虑「边」者「加」于「边基」于（「乘」于「指针」于「八」）而
          虑「基」者
            「减」于「条件栈」于（「乘」于（「读四」于「状态_块参」）于「八」）而
            虑「无」者
              （「压标签」于（「读四」于「边」）于「基」于（「读四」于「状态_块果」）于「标签条件」）而
              虑「否则址」者
                「选择」
                  于（「不等于」于（「读字段」于「边」于「四」）于「零」）
                  于（「读字段」于「边」于「四」）
                  于（「减」于（「读四」于「边」）于「一」）
              而
              「解释循环」
                于（「选择」于（「不等于」于（「读四」于「条件栈」）于「零」）于「新址」于「否则址」）
                于「帧针」于「边基」
                于（「条件栈」）
        ）
        或有「五」则
          「解释循环」
            于（「减」于（「读四」于（「加」于「边基」于（「乘」于「指针」于「八」）））于「一」）
            于「帧针」于「边基」
            于（「栈针」）
        或有「二六」则
          「解释循环」
            于（「后」）
            于「帧针」于「边基」
            于（「减」于「栈针」于「八」）
        或有「二七」则
          「解释循环」
            于（「后」）
            于「帧针」于「边基」
            于（「执行选择」于「栈针」）
        或有「二八」则
          「解释循环」
            于（「跳过带类型选择立即数」于「后」）
            于「帧针」于「边基」
            于（「执行选择」于「栈针」）
        或有「三一」则（
          虑「新址」者
            「执行尝试表」于「指针」于「后」于「帧针」于「边基」于「栈针」
          而
          「解释循环」于（「新址」）于「帧针」于「边基」于（「栈针」）
        ）
        或有「三二」则（
          虑「序」者「读无符号变长」于「后」而
          虑「新址」者「读四」于「状态_读址」而
          虑「无」者
            （「拷槽」于「栈针」于（「加」于「帧针」于（「乘」于「序」于「八」）））
          而
          「解释循环」
            于（「新址」）于「帧针」于「边基」
              于（「加」于「栈针」于「八」）
        ）
        或有「三三」则（
          虑「序」者「读无符号变长」于「后」而
          虑「新址」者「读四」于「状态_读址」而
          虑「新栈」者「减」于「栈针」于「八」而
          虑「无」者
            （「拷槽」于（「加」于「帧针」于（「乘」于「序」于「八」））于「新栈」）
          而
          「解释循环」于（「新址」）于「帧针」于「边基」于（「新栈」）
        ）
        或有「三四」则（
          虑「序」者「读无符号变长」于「后」而
          虑「新址」者「读四」于「状态_读址」而
          虑「无」者
            （「拷槽」于（「加」于「帧针」于（「乘」于「序」于「八」））于（「减」于「栈针」于「八」））
          而
          「解释循环」于（「新址」）于「帧针」于「边基」于（「栈针」）
        ）
        或有「三五」则（
          虑「序」者「读无符号变长」于「后」而
          虑「新址」者「读四」于「状态_读址」而
          虑「无」者
            （「拷槽」于「栈针」于（「加」于（「读四」于「状态_全局表」）于（「乘」于「序」于「八」）））
          而
          「解释循环」
            于（「新址」）于「帧针」于「边基」
              于（「加」于「栈针」于「八」）
        ）
        或有「三六」则（
          虑「序」者「读无符号变长」于「后」而
          虑「新址」者「读四」于「状态_读址」而
          虑「新栈」者「减」于「栈针」于「八」而
          虑「无」者
            （「拷槽」于（「加」于（「读四」于「状态_全局表」）于（「乘」于「序」于「八」））于「新栈」）
          而
          「解释循环」于（「新址」）于「帧针」于「边基」于（「新栈」）
        ）
        或有「三七」则（
          虑「序」者「读无符号变长」于「后」而
          虑「新址」者「读四」于「状态_读址」而
          虑「无」者「表获取」于「序」于「栈针」而
          「解释循环」于（「新址」）于「帧针」于「边基」于（「栈针」）
        ）
        或有「三八」则（
          虑「序」者「读无符号变长」于「后」而
          虑「新址」者「读四」于「状态_读址」而
          虑「新栈」者「表设置」于「序」于「栈针」而
          「解释循环」于（「新址」）于「帧针」于「边基」于（「新栈」）
        ）
        或有「六三」则（
          虑「无」者
            （「写四」于「栈针」于（「读四」于「状态_客页数」））
          而
          「解释循环」
            于（「加」于「后」于「一」）
            于「帧针」于「边基」
            于（「加」于「栈针」于「八」）
        ）
        或有「六四」则（
          虑「无」者「客内存增长」于「栈针」而
          「解释循环」
            于（「加」于「后」于「一」）于「帧针」于「边基」
              于（「栈针」）
        ）
        或有「六五」则（
          虑「值」者「读有符号变长」于「后」而
          虑「新址」者「读四」于「状态_读址」而
          虑「无」者（「写四」于「栈针」于「值」）而
          「解释循环」
            于（「新址」）于「帧针」于「边基」
              于（「加」于「栈针」于「八」）
        ）
        或有「六六」则（
          虑「值」者「读有符号宽变长」于「后」而
          虑「新址」者「读四」于「状态_读址」而
          虑「无」者
            （「宽存」于「栈针」于「值」于（「读四」于「状态_读高」））
          而
          「解释循环」
            于（「新址」）于「帧针」于「边基」
              于（「加」于「栈针」于「八」）
        ）
        或有「六七」则（
          虑「无」者（「写四」于「栈针」于（「读四」于「后」））而
          「解释循环」
            于（「加」于「后」于「四」）
            于「帧针」于「边基」
            于（「加」于「栈针」于「八」）
        ）
        或有「六八」则（
          虑「无」者
            （「宽存」于「栈针」于（「读四」于「后」）于（「读四」于（「加」于「后」于「四」）））
          而
          「解释循环」
            于（「加」于「后」于「八」）
            于「帧针」于「边基」
            于（「加」于「栈针」于「八」）
        ）
        或有「六九」则
          （（「置栈槽字」于「栈针」于「一」于（「爻整」于（「等零」于（「栈槽字」于「栈针」于「一」））））；
            「解释循环」于（「后」）于「帧针」于「边基」于（「栈针」））
        或有「二零九」则
          （（「置栈槽字」于「栈针」于「一」于（「爻整」于（「等零」于（「栈槽字」于「栈针」于「一」））））；
            「解释循环」于（「后」）于「帧针」于「边基」于（「栈针」））
        或有「一零三」则
          （（「置栈槽字」于「栈针」于「一」于（「前导零」于（「栈槽字」于「栈针」于「一」）））；
            「解释循环」于（「后」）于「帧针」于「边基」于（「栈针」））
        或有「一零四」则
          （（「置栈槽字」于「栈针」于「一」于（「尾随零」于（「栈槽字」于「栈针」于「一」）））；
            「解释循环」于（「后」）于「帧针」于「边基」于（「栈针」））
        或有「一零五」则
          （（「置栈槽字」于「栈针」于「一」于（「一计数」于（「栈槽字」于「栈针」于「一」）））；
            「解释循环」于（「后」）于「帧针」于「边基」于（「栈针」））
        或有「一九二」则
          （（「置栈槽字」
            于「栈针」
            于「一」
            于（「有符号右移」于（「左移」于（「栈槽字」于「栈针」于「一」）于「二四」）于「二四」））；
            「解释循环」于（「后」）于「帧针」于「边基」于（「栈针」））
        或有「一九三」则
          （（「置栈槽字」
            于「栈针」
            于「一」
            于（「有符号右移」于（「左移」于（「栈槽字」于「栈针」于「一」）于「一六」）于「一六」））；
            「解释循环」于（「后」）于「帧针」于「边基」于（「栈针」））
        或有「七零」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「爻整」于（「等」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」））））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「七一」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「爻整」于（「不等于」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」））））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「七二」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「爻整」于（「小于」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」））））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「七三」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「爻整」于（「无符号小于」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」））））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「七四」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「爻整」于（「大于」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」））））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「七五」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「爻整」于（「无符号大于」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」））））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「七六」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「爻整」于（「有符号小等」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」））））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「七七」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「爻整」于（「无符号小等」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」））））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「七八」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「爻整」于（「有符号大等」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」））））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「七九」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「爻整」于（「无符号大等」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」））））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「二一一」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「爻整」于（「等」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」））））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「一零六」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「加」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」）））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「一零七」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「减」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」）））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「一零八」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「乘」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」）））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「一一三」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「位与」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」）））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「一一四」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「位或」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」）））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「一一五」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「位异或」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」）））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「一一六」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「左移」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」）））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「一一七」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「有符号右移」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」）））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「一一八」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「无符号右移」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」）））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「一一九」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「循环左移」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」）））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「一二零」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「循环右移」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」）））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「一零九」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「i32除法」于「操作码」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」）））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「一一零」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「i32除法」于「操作码」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」）））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「一一一」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「i32除法」于「操作码」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」）））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「一一二」则
          （（「置栈槽字」
            于「栈针」
            于「二」
            于（「i32除法」于「操作码」于（「栈槽字」于「栈针」于「二」）于（「栈槽字」于「栈针」于「一」）））；
            「解释循环」
              于（「后」）于「帧针」于「边基」
                于（「减」于「栈针」于「八」））
        或有「一八八」则
          「解释循环」
            于（「后」）于「帧针」于「边基」
              于（「栈针」）
        或有「一九零」则
          「解释循环」
            于（「后」）于「帧针」于「边基」
              于（「栈针」）
        或有「二零八」则（
          虑「新址」者「变长后」于「后」而
          虑「无」者（「宽存」于「栈针」于「零」于「零」）而
          「解释循环」
            于（「新址」）于「帧针」于「边基」
              于（「加」于「栈针」于「八」）
        ）
        或有「二一零」则（
          虑「值」者「读无符号变长」于「后」而
          虑「新址」者「读四」于「状态_读址」而
          虑「无」者
            （「宽存」于「栈针」于（「位或」于（「左移」于「值」于「三」）于「二」）于「零」）
          而
          「解释循环」
            于（「新址」）于「帧针」于「边基」
              于（「加」于「栈针」于「八」）
        ）
        或有「二一二」则（
          虑「无」者
            （「若则致命」于（「等零」于（「栈槽字」于「栈针」于「一」））于「一二九」于（「静态串」于『空引用』））
          而
          「解释循环」于（「后」）于「帧针」于「边基」于（「栈针」）
        ）
        或有「二五二」则（
          虑「子」者「读无符号变长」于「后」而
          虑「新址」者「读四」于「状态_读址」而
          虑「新栈」者「执行杂项」于「子」于「新址」于「栈针」而
          「解释循环」
            于（「读四」于「状态_新指令针」）于「帧针」于「边基」
              于（「新栈」）
        ）
        或有「其他」则（
          若「且」
            于（「无符号大等」于「操作码」于「四零」）
            于（「无符号小等」于「操作码」于「六二」）
          则
            （
              虑「新栈」者「执行访存」于「操作码」于「后」于「栈针」而
              「解释循环」
                于（「读四」于「状态_新指令针」）
                于「帧针」于「边基」
                于（「新栈」）
            ）
          否则
            （
              若「且」
                于（「无符号大等」于「操作码」于「八零」）
                于（「无符号小等」于「操作码」于「一九六」）
              则
                「解释循环」
                  于（「后」）
                  于「帧针」
                  于「边基」
                  于（「执行宽或浮点」于「操作码」于「栈针」）
              否则
                （（「致命退出」于「一三零」于（「静态串」于『未知操作码』））；
                  「栈针」）
            ）
        ）
    ）
  否则
    虑「新栈针」者
      「执行控制」于「操作码」于「后」于「帧针」于「边基」于「栈针」
    而
    虑「新址」者「读四」于「状态_新指令针」而
    若「等零」于「新址」
    则
      （（「写四」于「状态_栈针」于「新栈针」）；
        「新栈针」）
    否则
      「解释循环」于「新址」于（「读四」于「状态_新帧针」）于（「读四」于「状态_边偏」）于「新栈针」
也。

「：文言：运行一函数：立伪帧，调之，循环至最外层返回。汉语：运行函数 f：参数在栈针之下，返回时结果在新栈针之下（返回新栈针）。先压一个返回地址为 0 的伪帧，再经 调用 进入函数，从状态格取得初始现场后进入解释循环。：」
「运行函数」乃化「整数」而化「整数」而「整数」也。
「运行函数」者会「函数号」而会「栈针」而
  虑「帧」者「读四」于「状态_帧顶」而
  虑「无」者（「写四」于「帧」于「零」）而
  虑「无」者（「写字段」于「帧」于「四」于「零」）而
  虑「无」者（「写字段」于「帧」于「八」于「负一」）而
  虑「无」者
    （「写字段」于「帧」于「一二」于（「读四」于「状态_标签顶」））而
    虑「无」者
      （「写字段」于「帧」于「一六」于（「读四」于「状态_处理顶」））而
      虑「无」者
        （「写字段」于「帧」于「帧_实例」于（「读四」于「状态_当前实例」））而
        虑「无」者（「写字段」于「帧」于「帧_钩」于「零」）而
        虑「无」者
          （「写四」于「状态_帧顶」于（「加」于「帧」于「帧条长」））而
          虑「无」者（「写四」于「状态_函」于「负一」）而
          虑「新栈针」者「调用」于「函数号」于「栈针」于「零」于「零」而
          「解释循环」
            于（「读四」于「状态_新指令针」）
            于（「读四」于「状态_新帧针」）
            于（「读四」于「状态_边偏」）于「新栈针」
也。