豫言源码浏览器 / Source Browser

浏览项目文件与源码

浮点指令。豫
yuyan · 747 行 · 38460 字节 · UTF-8
§
寻观「底层库」之书。
寻观「客体二号」之「布局」之书。
寻观「客体二号」之「基础」之书。
寻观「客体二号」之「软浮点」之书。

「：文言：浮点指令：Wasm 之 f32、f64 诸指令（比较、算术、取整、开方、转换、饱和截断），以软浮点为本；单精度以格式格切换，与双精度共用解包、舍入之法。汉语：Wasm 浮点指令的语义：比较、绝对值/取负/复制符号、最小最大、上取整/下取整/截断/就近取偶、开方、四则、整数与浮点互转、f32 与 f64 互转、（饱和）截断转整数。值栈槽 8 字节：f64 占满，f32 只用低字。单精度运算把 浮格_格式 置 1，复用同一套解包、对阶、舍入的代码（尾数 64 位，首位 1 在第 62 位），算完必须置回 0。非数结果一律是安静非数；陷阱（无效转换、整数溢出）以退出码 125 结束任务。：」

「：文言：置格式，浮之拷，符号字之址，是否为零。汉语：置 浮格_格式；按当前格式拷贝一个浮点槽（单精度时高字置零）；符号位所在字的地址（双精度在高字、单精度在低字）；当前格式下的值是否为 ±0。：」
「置浮格式」乃化「整数」而「有」也。
「置浮格式」者会「单」而
  「写四」于「浮格_格式」于「单」
也。

「浮拷」乃化「整数」而化「整数」而「有」也。
「浮拷」者会「果」而会「源」而
  若「等零」于（「读四」于「浮格_格式」）则
    「拷槽」于「果」于「源」
  否则
    「宽存」于「果」于（「宽低」于「源」）于「零」
也。

「符字址」乃化「整数」而「整数」也。
「符字址」者会「槽」而
  「选择」于（「等零」于（「读四」于「浮格_格式」））于（「加」于「槽」于「四」）于「槽」
也。

「浮为零」乃化「整数」而「爻」也。
「浮为零」者会「槽」而
  若「等零」于（「读四」于「浮格_格式」）
  则
    「且」
      于（「等零」于（「位与」于（「宽高」于「槽」）于「二一四七四八三六四七」））
      于（「等零」于（「宽低」于「槽」））
  否则
    「等零」于（「位与」于（「宽低」于「槽」）于「二一四七四八三六四七」）
也。

「：文言：比较：位型直较，不解包；零等、一小、二大、三无序（有非数）。汉语：按当前格式比较两个浮点数：0 相等（含 +0 与 -0），1 甲小于乙，2 甲大于乙，3 无序（任一为非数）。单精度当作“高字为位型、低字为零”的双精度同样处理，仅无穷的位型不同。：」
「浮比较」乃化「整数」而化「整数」而「整数」也。
「浮比较」者会「甲」而会「乙」而
  虑「双」者「等零」于（「读四」于「浮格_格式」）而
  虑「甲字」者「读四」于（「符字址」于「甲」）而
  虑「乙字」者「读四」于（「符字址」于「乙」）而
  虑「甲低」者「选择」于「双」于（「宽低」于「甲」）于「零」而
  虑「乙低」者「选择」于「双」于（「宽低」于「乙」）于「零」而
  虑「无穷字」者
    「选择」于「双」于「二一四六四三五零七二」于「二一三九零九五零四零」而
    虑「甲幅」者「位与」于「甲字」于「二一四七四八三六四七」而
    虑「乙幅」者「位与」于「乙字」于「二一四七四八三六四七」而
    虑「甲非数」者
      「或者」
        于（「无符号大于」于「甲幅」于「无穷字」）
        于（「且」于（「等」于「甲幅」于「无穷字」）于（「不等于」于「甲低」于「零」））而
        虑「乙非数」者
          「或者」
            于（「无符号大于」于「乙幅」于「无穷字」）
            于（「且」于（「等」于「乙幅」于「无穷字」）于（「不等于」于「乙低」于「零」））而
        若「或者」于「甲非数」于「乙非数」则
          「三」
        否则
          （
            若「且」
              于（「等零」于（「位或」于「甲幅」于「甲低」））
              于（「等零」于（「位或」于「乙幅」于「乙低」））
            则
              「零」
            否则
              （
                虑「甲符」者「无符号右移」于「甲字」于「三一」
                而
                虑「乙符」者「无符号右移」于「乙字」于「三一」
                而
                若「不等于」于「甲符」于「乙符」
                则
                  「选择」于（「不等于」于「甲符」于「零」）于「一」于「二」
                否则
                  （
                    虑「较」者
                      （
                        若「不等于」于「甲幅」于「乙幅」则
                          「无符号三路」于「甲幅」于「乙幅」
                        否则
                          「无符号三路」于「甲低」于「乙低」
                      ）
                    而
                    若「等零」于「较」则
                      「零」
                    否则
                      （
                        若「等零」于「甲符」则（
                          若「小于」于「较」于「零」则
                            「一」
                          否则
                            「二」）
                        否则
                          （若「小于」于「较」于「零」则
                            「二」
                            否则
                              「一」）
                      ）
                  ）
              ）
          ）
也。

「：文言：比较指令之果：序者 eq ne lt gt le ge 之次；较者浮比较之果。汉语：把 浮比较 的结果换成比较指令的 0/1：序 0 eq、1 ne、2 lt、3 gt、4 le、5 ge（无序时只有 ne 为 1）。：」
「浮比较结果」乃化「整数」而化「整数」而「整数」也。
「浮比较结果」者会「序」而会「较」而
  鉴「序」而
    有「零」则
      「爻整」于（「等零」于「较」）
    或有「一」则
      「爻整」于（「不等于」于「较」于「零」）
    或有「二」则
      「爻整」于（「等」于「较」于「一」）
    或有「三」则
      「爻整」于（「等」于「较」于「二」）
    或有「四」则
      「爻整」于（「无符号小于」于「较」于「二」）
    或有「其他」则
      「爻整」于（「或者」于（「等零」于「较」）于（「等」于「较」于「二」））
也。

「：文言：绝对值、取负、复制符号，皆只动符号位，非数之载荷不变。汉语：abs、neg、copysign：只改符号位所在字的最高位，不动其余位（非数的载荷原样保留）。：」
「浮绝对」乃化「整数」而「有」也。
「浮绝对」者会「槽」而
  「写四」于（「符字址」于「槽」）于（「位与」于（「读四」于（「符字址」于「槽」））于「二一四七四八三六四七」）
也。

「浮取负」乃化「整数」而「有」也。
「浮取负」者会「槽」而
  「写四」于（「符字址」于「槽」）于（「位异或」于（「读四」于（「符字址」于「槽」））于「二一四七四八三六四八」）
也。

「浮复制符号」乃化「整数」而化「整数」而「有」也。
「浮复制符号」者会「甲」而会「乙」而
  「写四」
    于（「符字址」于「甲」）
    于（「位或」
      于（「位与」于（「读四」于（「符字址」于「甲」））于「二一四七四八三六四七」）
      于（「位与」于（「读四」于（「符字址」于「乙」））于「二一四七四八三六四八」））
也。

「：文言：最小最大：有非数则得非数；两零异号，取小得负零，取大得正零。汉语：min/max（结果写回甲槽）：任一为非数得安静非数；数值相等时若是两个零，取小得符号位相或的零、取大得符号位相与的零；否则取较小/较大者。：」
「浮最值」乃化「整数」而化「整数」而化「整数」而「有」也。
「浮最值」者会「甲」而会「乙」而会「取小」而
  虑「较」者「浮比较」于「甲」于「乙」而
  若「等」于「较」于「三」则
    「浮存非数」于「甲」
  否则
    （
      若「等零」于「较」
      则
        （
          若「浮为零」于「甲」
          则
            （
              虑「甲符」者
                「无符号右移」于（「读四」于（「符字址」于「甲」））于「三一」
              而
              虑「乙符」者
                「无符号右移」于（「读四」于（「符字址」于「乙」））于「三一」
              而
              「浮存零」
                于（「选择」
                  于（「不等于」于「取小」于「零」）
                  于（「位或」于「甲符」于「乙符」）
                  于（「位与」于「甲符」于「乙符」））
                  于「甲」
            ）
          否则
            「元」
        ）
      否则
        （
          若「等」
            于（「爻整」于（「等」于「较」于「一」））
            于（「爻整」于（「不等于」于「取小」于「零」））
          则
            「元」
          否则
            「浮拷」于「甲」于「乙」
        ）
    ）
也。

「：文言：取整：|x|<1 者，视模式得零或正负一；否则截去小数位，必要时于尾数加一单位。模式：零上取整、一下取整、二截断、三就近取偶。汉语：浮点取整（ceil、floor、trunc、nearest）。先解包：非数得非数，无穷、零与已是整数者原样返回；指数小于 0（|x|<1）时结果是 ±0 或 ±1（nearest 时 |x|>0.5 才得 ±1）；否则用尾数的低 (62-指数) 位做掩码，按模式决定是否把尾数加上一个单位（2^(62-指数)），再交 浮打包（加一后的值必可精确表示）。：」
「浮取整小」乃化「整数」而化「整数」而化「整数」而化「整数」而「有」也。
「浮取整小」者会「果」而会「符」而会「指」而会「模式」而
  虑「大于半」者
    「且」
      于（「等」于「指」于「负一」）
      于（「或者」
        于（「不等于」于（「宽高」于「浮槽_尾甲」）于「一零七三七四一八二四」）
        于（「不等于」于（「宽低」于「浮槽_尾甲」）于「零」））而
        虑「入」者
          「选择」
            于（「等」于「模式」于「零」）
            于（「爻整」于（「等零」于「符」））
            于（「选择」
              于（「等」于「模式」于「一」）
              于（「爻整」于（「不等于」于「符」于「零」））
              于（「选择」于（「等」于「模式」于「二」）于「零」于（「爻整」于「大于半」）））而
        若「等零」于「入」
        则
          「浮存零」于「符」于「果」
        否则
          （
            虑「无」者
              （「宽存」于「浮槽_暂一」于「零」于「一零七三七四一八二四」）
            而
            「浮打包」于「符」于「零」于「浮槽_暂一」于「果」
          ）
也。

「浮取整含」乃
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  「有」
也。
「浮取整含」者会「果」而会「源」而会「符」而会「指」而会「模式」而
  虑「位」者「减」于「六二」于「指」而
  虑「单位」者「浮槽_暂一」而
  虑「掩」者「浮槽_暂二」而
  虑「小数」者「浮槽_暂三」而
  虑「半」者「浮槽_暂四」而
  虑「尾」者「浮槽_尾甲」而
  虑「无」者（「宽存」于「单位」于「一」于「零」）而
  虑「无」者（「宽左移」于「单位」于「单位」于「位」）而
  虑「无」者（「宽存」于「掩」于「一」于「零」）而
  虑「无」者（「宽减」于「掩」于「单位」于「掩」）而
  虑「无」者
    （「宽存」
      于「小数」
      于（「位与」于（「宽低」于「尾」）于（「宽低」于「掩」））
      于（「位与」于（「宽高」于「尾」）于（「宽高」于「掩」）））而
  若「宽为零」于「小数」
  则
    「浮拷」于「果」于「源」
  否则
    （
      虑「无」者（「宽无符号右移」于「浮槽_积低」于「尾」于「位」）
      而
      虑「奇」者「位与」于（「宽低」于「浮槽_积低」）于「一」
      而
      虑「无」者（「宽存」于「半」于「一」于「零」）
      而
      虑「无」者
        （「宽左移」于「半」于「半」于（「减」于「位」于「一」））
      而
      虑「较半」者「宽无符号比较」于「小数」于「半」
      而
      虑「入」者
        「选择」
          于（「等」于「模式」于「零」）
          于（「爻整」于（「等零」于「符」））
          于（「选择」
            于（「等」于「模式」于「一」）
            于（「爻整」于（「不等于」于「符」于「零」））
            于（「选择」
              于（「等」于「模式」于「二」）
              于「零」
              于（「爻整」
                于（「或者」
                  于（「大于」于「较半」于「零」）
                  于（「且」于（「等零」于「较半」）于（「不等于」于「奇」于「零」））））））
      而
      虑「无」者
        （「宽存」
          于「尾」
          于（「位与」于（「宽低」于「尾」）于（「位非」于（「宽低」于「掩」）））
          于（「位与」于（「宽高」于「尾」）于（「位非」于（「宽高」于「掩」））））
      而
      虑「无」者
        （若「不等于」于「入」于「零」则「宽加」于「尾」于「尾」于「单位」否则「元」）
      而
      「浮打包」于「符」于「指」于「尾」于「果」
    ）
也。

「浮取整」乃化「整数」而化「整数」而化「整数」而「有」也。
「浮取整」者会「果」而会「源」而会「模式」而
  虑「无」者（「浮解包」于「源」于「浮槽_尾甲」于「浮格_甲」）而
  虑「符」者「读四」于「浮格_甲」而
  虑「指」者「读四」于（「加」于「浮格_甲」于「四」）而
  虑「类」者「读四」于（「加」于「浮格_甲」于「八」）而
  若「等」于「类」于「三」则
    「浮存非数」于「果」
  否则
    （
      若「或者」于（「等」于「类」于「二」）于（「或者」于（「等零」于「类」）于（「有符号大等」于「指」于「六二」））
      则
        「浮拷」于「果」于「源」
      否则
        （
          若「小于」于「指」于「零」
          则
            「浮取整小」于「果」于「符」于「指」于「模式」
          否则
            「浮取整含」于「果」于「源」于「符」于「指」于「模式」
        ）
    ）
也。

「：文言：开方：被开方数乘二之六十二次方为一百二十八位，逐位求其整数平方根，余则置粘位。汉语：开方：解包后指数若为奇数就把尾数左移一位并把指数减一（使指数为偶），被开方数 N = 尾数 × 2^62（128 位，高、低各一槽），用逐位试根求 ⌊√N⌋（结果首位 1 恰在第 62 位，可直接打包），根的平方不等于 N 则最低位置粘位，指数取一半。负数（含 -∞）得非数，±0 与 +∞ 原样，非数得非数。：」
「开方逐位」乃化「整数」而「有」也。
「开方逐位」者会「位」而
  若「小于」于「位」于「零」则
    「元」
  否则
    虑「无」者（「拷槽」于「浮槽_候」于「浮槽_根」）而
    虑「无」者
      （
        若「小于」于「位」于「三二」则
          「写四」
            于「浮槽_候」
            于（「位或」于（「宽低」于「浮槽_候」）于（「左移」于「一」于「位」））
        否则
          「写四」
            于（「加」于「浮槽_候」于「四」）
            于（「位或」于（「宽高」于「浮槽_候」）于（「左移」于「一」于（「减」于「位」于「三二」）））
      ）
    而
    虑「无」者
      （「乘全」于「浮槽_候」于「浮槽_候」于「浮槽_方高」于「浮槽_方低」）
    而
    虑「高较」者「宽无符号比较」于「浮槽_方高」于「浮槽_被高」而
    虑「低较」者「宽无符号比较」于「浮槽_方低」于「浮槽_被低」而
    虑「不超」者
      「或者」于（「小于」于「高较」于「零」）于（「且」于（「等零」于「高较」）于（「有符号小等」于「低较」于「零」））
    而
    虑「无」者
      （若「不超」则「拷槽」于「浮槽_根」于「浮槽_候」否则「元」）
    而
    「开方逐位」于（「减」于「位」于「一」）
也。

「浮开方」乃化「整数」而化「整数」而「有」也。
「浮开方」者会「果」而会「源」而
  虑「无」者（「浮解包」于「源」于「浮槽_尾甲」于「浮格_甲」）而
  虑「符」者「读四」于「浮格_甲」而
  虑「指」者「读四」于（「加」于「浮格_甲」于「四」）而
  虑「类」者「读四」于（「加」于「浮格_甲」于「八」）而
  若「等」于「类」于「三」则
    「浮存非数」于「果」
  否则
    （
      若「等零」于「类」则
        「浮拷」于「果」于「源」
      否则
        （
          若「不等于」于「符」于「零」则
            「浮存非数」于「果」
          否则
            （
              若「等」于「类」于「二」则
                「浮拷」于「果」于「源」
              否则
                （
                  虑「奇」者「位与」于「指」于「一」
                  而
                  虑「半指」者
                    「有符号右移」于（「减」于「指」于「奇」）于「一」
                  而
                  虑「无」者
                    （若「不等于」于「奇」于「零」则「宽左移」于「浮槽_尾甲」于「浮槽_尾甲」于「一」否则「元」）
                  而
                  虑「无」者
                    （「宽左移」于「浮槽_被低」于「浮槽_尾甲」于「六二」）
                  而
                  虑「无」者
                    （「宽无符号右移」于「浮槽_被高」于「浮槽_尾甲」于「二」）
                  而
                  虑「无」者（「宽存」于「浮槽_根」于「零」于「零」）
                  而
                  虑「无」者（「开方逐位」于「六二」）
                  而
                  虑「无」者
                    （「乘全」于「浮槽_根」于「浮槽_根」于「浮槽_方高」于「浮槽_方低」）
                  而
                  虑「不精确」者
                    「或者」
                      于（「不等于」于（「宽无符号比较」于「浮槽_方高」于「浮槽_被高」）于「零」）
                      于（「不等于」于（「宽无符号比较」于「浮槽_方低」于「浮槽_被低」）于「零」）
                  而
                  虑「无」者
                    （若「不精确」则「写四」于「浮槽_根」于（「位或」于（「宽低」于「浮槽_根」）于「一」）否则「元」）
                  而
                  「浮打包」于「零」于「半指」于「浮槽_根」于「果」
                ）
            ）
        ）
    ）
也。

「：文言：截断转整数：先得尾数之整数部分（幅），依目标之宽与有无符号判其溢否；饱和者溢则取极值、非数得零；否则溢与非数皆陷。汉语：浮点截断为整数。模式位：1 目标 64 位（否则 32 位），2 无符号，4 饱和。先解包：非数按饱和得 0 或以“无效的整数转换”陷入；无穷或指数大于 63 视为溢出；指数小于 0 的幅为 0；否则幅 = 尾数右移 (62-指数) 位（指数为 63 则左移一位）。再按符号与范围判溢出：有符号 32 位正数至多 0x7FFFFFFF、负数至多 0x80000000，无符号 32 位负数只允许幅为 0，64 位同理。溢出时饱和则写极值，否则以“整数溢出”陷入。：」
「截断溢出」乃化「整数」而化「整数」而化「整数」而化「整数」而「爻」也。
「截断溢出」者会「负」而会「幅」而会「宽」而会「无符号」而
  虑「幅低」者「宽低」于「幅」而
  虑「幅高」者「宽高」于「幅」而
  若「等零」于「宽」
  则
    （
      若「不等于」于「幅高」于「零」则
        「等」于「零」于「零」
      否则
        （
          若「不等于」于「无符号」于「零」
          则
            「且」
              于（「不等于」于「负」于「零」）
              于（「不等于」于「幅低」于「零」）
          否则
            （
              若「不等于」于「负」于「零」
              则
                「无符号大于」于「幅低」于「二一四七四八三六四八」
              否则
                「无符号大于」于「幅低」于「二一四七四八三六四七」
            ）
        ）
    ）
  否则
    （
      若「不等于」于「无符号」于「零」
      则
        「且」
          于（「不等于」于「负」于「零」）
          于（「或者」于（「不等于」于「幅高」于「零」）于（「不等于」于「幅低」于「零」））
      否则
        （
          若「不等于」于「负」于「零」
          则
            「非」于（「或者」
              于（「无符号小于」于「幅高」于「二一四七四八三六四八」）
              于（「且」于（「等」于「幅高」于「二一四七四八三六四八」）于（「等零」于「幅低」）））
          否则
            「无符号大等」于「幅高」于「二一四七四八三六四八」
        ）
    ）
也。

「浮存饱和」乃化「整数」而化「整数」而化「整数」而化「整数」而「有」也。
「浮存饱和」者会「果」而会「负」而会「无符号」而会「宽」而
  若「等零」于「宽」
  则
    「写四」
      于「果」
      于（「选择」
        于（「不等于」于「负」于「零」）
        于（「选择」于（「不等于」于「无符号」于「零」）于「零」于「二一四七四八三六四八」）
        于（「选择」于（「不等于」于「无符号」于「零」）于「负一」于「二一四七四八三六四七」））
  否则
    「宽存」
      于「果」
      于（「选择」于（「不等于」于「负」于「零」）于「零」于「负一」）
      于（「选择」
        于（「不等于」于「负」于「零」）
        于（「选择」于（「不等于」于「无符号」于「零」）于「零」于「二一四七四八三六四八」）
        于（「选择」于（「不等于」于「无符号」于「零」）于「负一」于「二一四七四八三六四七」））
也。

「浮截断」乃化「整数」而化「整数」而化「整数」而「有」也。
「浮截断」者会「果」而会「源」而会「模式」而
  虑「宽」者「位与」于「模式」于「一」而
  虑「无符号」者「位与」于「模式」于「二」而
  虑「饱和」者「位与」于「模式」于「四」而
  虑「无」者（「浮解包」于「源」于「浮槽_尾甲」于「浮格_甲」）而
  虑「符」者「读四」于「浮格_甲」而
  虑「指」者「读四」于（「加」于「浮格_甲」于「四」）而
  虑「类」者「读四」于（「加」于「浮格_甲」于「八」）而
  若「等」于「类」于「三」
  则
    （
      若「不等于」于「饱和」于「零」
      则
        （若「不等于」于「宽」于「零」则「宽存」于「果」于「零」于「零」否则「写四」于「果」于「零」）
      否则
        「致命退出」于「一二五」于（「静态串」于『无效的整数转换』）
    ）
  否则
    （
      虑「幅」者「浮槽_暂一」
      而
      虑「无」者（「宽存」于「幅」于「零」于「零」）
      而
      虑「溢出」者
        （
          若「等」于「类」于「二」则
            「一」
          否则
            （
              若「或者」于（「等零」于「类」）于（「小于」于「指」于「零」）则
                「零」
              否则
                （
                  若「大于」于「指」于「六三」则
                    「一」
                  否则
                    （
                      虑「无」者
                        （
                          若「等」于「指」于「六三」则
                            「宽左移」于「幅」于「浮槽_尾甲」于「一」
                          否则
                            「宽无符号右移」
                              于「幅」
                              于「浮槽_尾甲」
                              于（「减」于「六二」于「指」）
                        ）
                      而
                      「爻整」于（「截断溢出」于「符」于「幅」于「宽」于「无符号」）
                    ）
                ）
            ）
        ）
      而
      若「不等于」于「溢出」于「零」
      则
        （
          若「不等于」于「饱和」于「零」
          则
            「浮存饱和」于「果」于「符」于「无符号」于「宽」
          否则
            「致命退出」于「一二五」于（「静态串」于『整数溢出』）
        ）
      否则
        （
          虑「无」者
            （若「不等于」于「符」于「零」则「宽取负」于「幅」于「幅」否则「元」）
          而
          若「不等于」于「宽」于「零」则
            「拷槽」于「果」于「幅」
          否则
            「写四」于「果」于（「宽低」于「幅」）
        ）
    ）
也。

「：文言：整数转浮点、单双精度互转。汉语：整数转浮点：源为 32 位则先按有符号/无符号扩成 64 位槽，再按目标精度（单/双）一次舍入，无双重舍入；f32 与 f64 互转：按源格式解包、按目标格式打包（非数得非数，无穷、零保号）。：」
「浮整转」乃化「整数」而化「整数」而化「整数」而化「整数」而「有」也。
「浮整转」者会「果」而会「宽源」而会「有符号」而会「单目标」而
  虑「无」者（「置浮格式」于「单目标」）而
  虑「无」者
    （
      若「不等于」于「宽源」于「零」
      则
        「整转浮核」于「果」于「果」于「有符号」
      否则
        （
          虑「低」者「宽低」于「果」
          而
          虑「无」者
            （「宽存」
              于「浮槽_根」
              于「低」
              于（「选择」于（「不等于」于「有符号」于「零」）于（「有符号右移」于「低」于「三一」）于「零」））
          而
          「整转浮核」于「果」于「浮槽_根」于「有符号」
        ）
    ）
  而
  「置浮格式」于「零」
也。

「浮换格式」乃化「整数」而化「整数」而化「整数」而化「整数」而「有」也。
「浮换格式」者会「果」而会「源」而会「从单」而会「到单」而
  虑「无」者（「置浮格式」于「从单」）而
  虑「无」者（「浮解包」于「源」于「浮槽_尾甲」于「浮格_甲」）而
  虑「无」者（「置浮格式」于「到单」）而
  虑「符」者「读四」于「浮格_甲」而
  虑「指」者「读四」于（「加」于「浮格_甲」于「四」）而
  虑「类」者「读四」于（「加」于「浮格_甲」于「八」）而
  虑「无」者
    （
      鉴「类」而
        有「零」则
          「浮存零」于「符」于「果」
        或有「一」则
          「浮打包」于「符」于「指」于「浮槽_尾甲」于「果」
        或有「二」则
          「浮存无穷」于「符」于「果」
        或有「其他」则「浮存非数」于「果」
    ）
  而
  「置浮格式」于「零」
也。

「浮截断指令」乃化「整数」而化「整数」而化「整数」而「有」也。
「浮截断指令」者会「槽」而会「型」而会「模式高」而
  虑「无」者
    （「置浮格式」于（「选择」于（「不等于」于（「位与」于「型」于「二」）于「零」）于「零」于「一」））而
    虑「无」者
      （「浮截断」
        于「槽」
        于「槽」
        于（「位或」于「模式高」于（「选择」于（「不等于」于（「位与」于「型」于「一」）于「零」）于「二」于「零」）））
    而
    「置浮格式」于「零」
也。

「：文言：一元、二元之算术，子者：零 abs、一 neg、二 ceil、三 floor、四 trunc、五 nearest、六 sqrt、七 add、八 sub、九 mul、十 div、十一 min、十二 max、十三 copysign。汉语：算术指令的一元（子 0–6）与二元（子 7–13）分派；甲槽是结果槽，乙槽是第二操作数槽。：」
「浮一元」乃化「整数」而化「整数」而「有」也。
「浮一元」者会「子」而会「槽」而
  鉴「子」而
    有「零」则「浮绝对」于「槽」
    或有「一」则「浮取负」于「槽」
    或有「二」则
      「浮取整」于「槽」于「槽」于「零」
    或有「三」则
      「浮取整」于「槽」于「槽」于「一」
    或有「四」则
      「浮取整」于「槽」于「槽」于「二」
    或有「五」则
      「浮取整」于「槽」于「槽」于「三」
    或有「其他」则
      「浮开方」于「槽」于「槽」
也。

「浮二元」乃化「整数」而化「整数」而化「整数」而「有」也。
「浮二元」者会「子」而会「甲」而会「乙」而
  鉴「子」而
    有「七」则
      「浮加减」于「甲」于「甲」于「乙」于「零」
    或有「八」则
      「浮加减」于「甲」于「甲」于「乙」于「一」
    或有「九」则
      「浮乘」于「甲」于「甲」于「乙」
    或有「一零」则
      「浮除」于「甲」于「甲」于「乙」
    或有「一一」则
      「浮最值」于「甲」于「乙」于「一」
    或有「一二」则
      「浮最值」于「甲」于「乙」于「零」
    或有「其他」则
      「浮复制符号」于「甲」于「乙」
也。

「：文言：比较指令 0x5B–0x66、算术指令 0x8B–0xA6、转换指令 0xA8–0xAB 与 0xAE–0xBB。汉语：Wasm 浮点指令入口，返回新的栈针：比较（f32 0x5B–0x60、f64 0x61–0x66）弹两个槽得一个 32 位结果；算术（f32 0x8B–0x98、f64 0x99–0xA6）一元不变栈针、二元弹一个槽；转换（0xA8–0xB1 截断转整数、0xB2–0xBA 整数转浮点与 demote/promote、0xBB promote）一进一出。单精度运算在算完后必把 浮格_格式 置回 0。：」
「比较指令」乃化「整数」而化「整数」而「整数」也。
「比较指令」者会「操作码」而会「栈针」而
  虑「单」者「无符号小于」于（「减」于「操作码」于「九一」）于「六」而
  虑「序」者
    「选择」于「单」于（「减」于「操作码」于「九一」）于（「减」于「操作码」于「九七」）而
    虑「无」者（「置浮格式」于（「爻整」于「单」））而
    虑「较」者
      「浮比较」于（「栈槽址」于「栈针」于「二」）于（「栈槽址」于「栈针」于「一」）而
      虑「无」者（「置浮格式」于「零」）而
      虑「无」者
        （「置栈槽字」于「栈针」于「二」于（「浮比较结果」于「序」于「较」））
      而
      「减」于「栈针」于「八」
也。

「算术指令」乃化「整数」而化「整数」而「整数」也。
「算术指令」者会「操作码」而会「栈针」而
  虑「序」者「减」于「操作码」于「一三九」而
  虑「单」者「小于」于「序」于「一四」而
  虑「子」者「选择」于「单」于「序」于（「减」于「序」于「一四」）而
  虑「无」者（「置浮格式」于（「爻整」于「单」））而
  虑「新栈」者
    （
      若「无符号小于」于「子」于「七」
      则
        （（「浮一元」于「子」于（「栈槽址」于「栈针」于「一」））；
          「栈针」）
      否则
        （（「浮二元」于「子」于（「栈槽址」于「栈针」于「二」）于（「栈槽址」于「栈针」于「一」））；
          （「减」于「栈针」于「八」））
    ）而
    虑「无」者（「置浮格式」于「零」）而
    「新栈」
也。

「转换指令」乃化「整数」而化「整数」而「整数」也。
「转换指令」者会「操作码」而会「栈针」而
  虑「顶」者「栈槽址」于「栈针」于「一」而
  虑「无」者
    （
      若「无符号小于」于（「减」于「操作码」于「一六八」）于「四」
      则
        「浮截断指令」于「顶」于（「减」于「操作码」于「一六八」）于「零」
      否则
        （
          若「无符号小于」于（「减」于「操作码」于「一七四」）于「四」
          则
            「浮截断指令」于「顶」于（「减」于「操作码」于「一七四」）于「一」
          否则
            （
              鉴「操作码」而
                有「一七八」则
                  「浮整转」于「顶」于「零」于「一」于「一」
                或有「一七九」则
                  「浮整转」于「顶」于「零」于「零」于「一」
                或有「一八零」则
                  「浮整转」于「顶」于「一」于「一」于「一」
                或有「一八一」则
                  「浮整转」于「顶」于「一」于「零」于「一」
                或有「一八二」则
                  「浮换格式」于「顶」于「顶」于「零」于「一」
                或有「一八三」则
                  「浮整转」于「顶」于「零」于「一」于「零」
                或有「一八四」则
                  「浮整转」于「顶」于「零」于「零」于「零」
                或有「一八五」则
                  「浮整转」于「顶」于「一」于「一」于「零」
                或有「一八六」则
                  「浮整转」于「顶」于「一」于「零」于「零」
                或有「其他」则
                  「浮换格式」于「顶」于「顶」于「一」于「零」
            ）
        ）
    ）
  而
  「栈针」
也。

「执行浮点」乃化「整数」而化「整数」而「整数」也。
「执行浮点」者会「操作码」而会「栈针」而
  若「无符号小于」于（「减」于「操作码」于「九一」）于「一二」
  则
    「比较指令」于「操作码」于「栈针」
  否则
    （
      若「无符号小于」于（「减」于「操作码」于「一三九」）于「二八」
      则
        「算术指令」于「操作码」于「栈针」
      否则
        「转换指令」于「操作码」于「栈针」
    ）
也。

「：文言：饱和截断（0xFC 前缀之零至七）：位零无符号、位一双精度源、位二六十四位目标。汉语：trunc_sat 指令（0xFC 前缀的子操作码 0–7）：位 0 无符号、位 1 源是 f64、位 2 目标是 i64；不再有立即数，故新指令针就是子操作码之后的 址；一进一出，栈针不变。：」
「浮饱和截断」乃化「整数」而化「整数」而化「整数」而「整数」也。
「浮饱和截断」者会「子」而会「址」而会「栈针」而
  虑「无」者（「写四」于「状态_新指令针」于「址」）而
  虑「无」者
    （「浮截断指令」
      于（「栈槽址」于「栈针」于「一」）
      于（「位与」于「子」于「三」）
      于（「选择」于（「不等于」于（「位与」于「子」于「四」）于「零」）于「五」于「四」））
  而
  「栈针」
也。