豫言源码浏览器 / Source Browser

浏览项目文件与源码

yuyan · 135 行 · 7630 字节 · UTF-8
§
寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编编码基础」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编混合整数」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编私有签名」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编私有整组」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编返回证明」之书。

「:文言:私约定其参,返回之证定其果;快体之事实勿流入后备。汉语:首批为已证明的单个宽整数数组调用链生成整数返回入口。结果资格只在当前快体传播,后备体恢复传播前的局部表示表。:」
「私有整数返回表」者「新引用」授以(「数组引用类」于「爻」)
于(「新数组引用」授以「爻」于「阴」于「零」)
也。

「当前整数返回体」者「新引用」授以「爻」于「阴」也。

「当前整数返回调用」者「新引用」授以(「数组引用类」于「爻」)
于(「新数组引用」授以「爻」于「阴」于「零」)
也。

「返回旧整位」者「新引用」授以(「数组引用类」于「爻」)
于(「新数组引用」授以「爻」于「阴」于「零」)
也。

「备私有整数返回」乃化「正则模块」而「有」也。
「备私有整数返回」者会「诸函」而
  虑「表」者
    「新数组引用」授以「爻」于「阴」于(「长度」授以「正则函数」于「诸函」)而
    虑「无」者「写引用」于「私有整数返回表」于「表」而
    虑「无」者
      「态射」授以「正则函数」授以「有」
      于「诸函」
      于(会「函」而
      虑「号」者
        「查编号」于(「读引用」于「函数索引」)于(「函」中「零」)而
        虑「约」者
          「读数组引用」授以「私有签名」
          于(「读引用」于「私有签名表」)于「号」而
          虑「签」者「约」中「一」而
          若「小于」
            于(「读数组引用」授以「整数」于(「读引用」于「整组参数表」)于「号」)
            于「零」则「元」
          否则
            若「等于」
              于(「长度」授以「整数」于「签」)
              于(「长度」授以「整数」于(「函」中「二」))则
              虑「整参」者
                「滤」授以「整数」
                于(会「位」而「等于」于(「第N个」授以「整数」于「位」于「签」)于「一」)
                于(「函」中「二」)
              而
              若「等于」于(「长度」授以「整数」于「整参」)于「零」则
                「元」
              否则
                「写数组引用」授以「爻」
                于「表」于「号」
                于(「验整数返回」于「函」于「整参」)
            否则
              「元」
      )
    而
    「元」
也。

「备当前整数返回」乃化「正则函数」而「有」也。
「备当前整数返回」者会「函」而
  虑「旧」者「读引用」于「混整位」而
  虑「新」者「新数组引用」授以「爻」于「阴」于(「函」中「四」)而
  虑「调用」者「新数组引用」授以「爻」于「阴」于(「函」中「四」)而
  虑「无」者
    「态射」授以「整数」授以「有」
    于(「整数范围」于「零」于(「函」中「四」))
    于(会「号」而「写数组引用」授以「爻」于「新」于「号」于(「读数组引用」授以「爻」于「旧」于「号」))而
    虑「无」者「写引用」于「返回旧整位」于「旧」而
    虑「无」者「写引用」于「混整位」于「新」而
    虑「无」者「写引用」于「当前整数返回调用」于「调用」而
    递归虑「扫」其化「正则区域」而「有」者会「段」而
      鉴「段」而
        有(「正则段」于「诸令」于「终」)则
          虑「无」者
            「态射」授以「正则指令」授以「有」
            于「诸令」
            于(会「令」而鉴「令」而
              有(「正则运算」于「号」于「类」于「正则调用」于(「缀」于(「正则函数引用」于「名」)于「参」))则(
                虑「往」者
                  「查编号」于(「读引用」于「函数索引」)于「名」而
                若「小于」于「往」于「零」则
                  「元」
                否则若「读数组引用」授以「爻」
                于(「读引用」于「私有整数返回表」)于「往」则
                  虑「签」者
                    (「读数组引用」授以「私有签名」于(「读引用」于「私有签名表」)于「往」)中「一」而
                    虑「组位」者
                      「读数组引用」授以「整数」
                      于(「读引用」于「整组参数表」)于「往」而
                    若「等于」
                      于(「长度」授以「正则原子」于「参」)
                      于(「长度」授以「整数」于「签」)则
                      虑「组」者
                        「第N个」授以「正则原子」于「组位」于「参」而
                      若「且」
                        于(「整组原子」于「组」)
                        于(「非」于(「整组字节原子」于「组」))则
                        若「整组快参已知」于「签」于「参」则
                          ((「写数组引用」授以「爻」于「调用」于「号」于「阳」);
                            (「写数组引用」授以「爻」于「新」于「号」于「阳」))
                        否则
                          「元」
                      否则
                        「元」
                    否则
                      「元」
                否则
                  「元」
              )
              或有(「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」)则
                (「扫」于「阳体」;
                  「扫」于「阴体」;
                  若「且」
                    于(「混整区域产整数」于「阳体」)
                    于(「混整区域产整数」于「阴体」)则
                      「写数组引用」授以「爻」于「新」于「号」于「阳」
                  否则
                    「元」)
              或有「其他」则「元」)
          而
          「元」
    而
    「扫」于(「函」中「三」)
也。

「还原整数返回」乃化「正则函数」而「有」也。
「还原整数返回」者会「函」而
  (「写引用」于「混整位」于(「读引用」于「返回旧整位」);
    「写引用」于「当前整数返回调用」于(「新数组引用」授以「爻」于「阴」于(「函」中「四」)))
也。