豫言源码浏览器

yuyan · 624 行 · 32699 字节 · UTF-8
寻观「标准库」之书。
寻观「裸机后端」之「机器编码」之书。

「：文言：臂之指令，以寄存器与立即数计其字，不假汇编器。汉语：ARM64 指令编码器。每个函数返回一个 四字节 机器片或机器片列表；寄存器号零至三十，三十一在支持处表示栈指针。所有字节均由 llvm-mc 生成的参考编码核对，见「臂汇编。测试。豫」。：」

「：add 目，甲，乙：」
「臂加寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂加寄」者会「目」而会「甲」而会「乙」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「一八四五四九三七六」）于（「乘」于「乙」于「六五五三六」））
      于（「乘」于「甲」于「三二」））于「目」）
也。

「：sub 目，甲，乙：」
「臂减寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂减寄」者会「目」而会「甲」而会「乙」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「一二五八二九一二零零」）于（「乘」于「乙」于「六五五三六」））
      于（「乘」于「甲」于「三二」））于「目」）
也。

「：and 目，甲，乙：」
「臂与寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂与寄」者会「目」而会「甲」而会「乙」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「一六七七七二一六零」）于（「乘」于「乙」于「六五五三六」））
      于（「乘」于「甲」于「三二」））于「目」）
也。

「：orr 目，甲，乙：」
「臂或寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂或寄」者会「目」而会「甲」而会「乙」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「七零四六四三零七二」）于（「乘」于「乙」于「六五五三六」））
      于（「乘」于「甲」于「三二」））于「目」）
也。

「：eor 目，甲，乙：」
「臂异或寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂异或寄」者会「目」而会「甲」而会「乙」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「一二四一五一三九八四」）于（「乘」于「乙」于「六五五三六」））
      于（「乘」于「甲」于「三二」））于「目」）
也。

「：mul 目，甲，乙：」
「臂乘寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂乘寄」者会「目」而会「甲」而会「乙」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「四五三零一六五七六」）于（「乘」于「乙」于「六五五三六」））
      于（「乘」于「甲」于「三二」））于「目」）
也。

「：udiv 目，甲，乙：」
「臂无除寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂无除寄」者会「目」而会「甲」而会「乙」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「四四八七九二五七六」）于（「乘」于「乙」于「六五五三六」））
      于（「乘」于「甲」于「三二」））于「目」）
也。

「：sdiv 目，甲，乙：」
「臂有除寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂有除寄」者会「目」而会「甲」而会「乙」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「四四八七九三六零零」）于（「乘」于「乙」于「六五五三六」））
      于（「乘」于「甲」于「三二」））于「目」）
也。

「：lsl 目，甲，乙：」
「臂左移寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂左移寄」者会「目」而会「甲」而会「乙」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「四四八七九八七二零」）于（「乘」于「乙」于「六五五三六」））
      于（「乘」于「甲」于「三二」））于「目」）
也。

「：lsr 目，甲，乙：」
「臂无右移寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂无右移寄」者会「目」而会「甲」而会「乙」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「四四八七九九七四四」）于（「乘」于「乙」于「六五五三六」））
      于（「乘」于「甲」于「三二」））于「目」）
也。

「：asr 目，甲，乙：」
「臂有右移寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂有右移寄」者会「目」而会「甲」而会「乙」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「四四八八零零七六八」）于（「乘」于「乙」于「六五五三六」））
      于（「乘」于「甲」于「三二」））于「目」）
也。

「：ror 目，甲，乙：」
「臂循右寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂循右寄」者会「目」而会「甲」而会「乙」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「四四八八零一七九二」）于（「乘」于「乙」于「六五五三六」））
      于（「乘」于「甲」于「三二」））于「目」）
也。

「：add 目，甲，乙：」
「臂加寄八」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂加寄八」者会「目」而会「甲」而会「乙」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「二三三二零三三零二四」）于（「乘」于「乙」于「六五五三六」））
      于（「乘」于「甲」于「三二」））于「目」）
也。

「：cmp wA, wB：」
「臂比较寄」乃化「整数」而化「整数」而「机器片」也。
「臂比较寄」者会「甲」而会「乙」而
  「字片」于（「加」
    于（「加」于（「一七九五一六二一四三」）于（「乘」于「乙」于「六五五三六」））
    于（「乘」于「甲」于「三二」））
也。

「：cmp xA, xB：」
「臂比较寄八」乃化「整数」而化「整数」而「机器片」也。
「臂比较寄八」者会「甲」而会「乙」而
  「字片」于（「加」
    于（「加」于（「三九四二六四五七九一」）于（「乘」于「乙」于「六五五三六」））
    于（「乘」于「甲」于「三二」））
也。

「：cmp wA, #imm12：」
「臂比较立」乃化「整数」而化「整数」而「机器片」也。
「臂比较立」者会「甲」而会「值」而
  「字片」于（「加」
    于（「加」于（「一八九五八二五四三九」）于（「乘」于「值」于「一零二四」））
    于（「乘」于「甲」于「三二」））
也。

「：add w0, w0, #0：」
「臂加立」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂加立」者会「目」而会「甲」而会「值」而
  「字片」于（「加」
    于（「加」于（「加」于（「二八五二一二六七二」）于（「乘」于「值」于「一零二四」））于（「乘」于「甲」于「三二」））
    于「目」）
也。

「：sub w0, w0, #0：」
「臂减立」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂减立」者会「目」而会「甲」而会「值」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「一三五八九五四四九六」）于（「乘」于「值」于「一零二四」））
      于（「乘」于「甲」于「三二」））于「目」）
也。

「：add x0, x0, #0：」
「臂加立八」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂加立八」者会「目」而会「甲」而会「值」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「二四三二六九六三二零」）于（「乘」于「值」于「一零二四」））
      于（「乘」于「甲」于「三二」））于「目」）
也。

「：sub x0, x0, #0：」
「臂减立八」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂减立八」者会「目」而会「甲」而会「值」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「三五零六四三八一四四」）于（「乘」于「值」于「一零二四」））
      于（「乘」于「甲」于「三二」））于「目」）
也。

「：mov wD, wS：」
「臂移寄」乃化「整数」而化「整数」而「机器片」也。
「臂移寄」者会「目」而会「源」而
  「字片」于（「加」于（「加」于（「七零四六四四零六四」）于（「乘」于「源」于「六五五三六」））于「目」）
也。

「：文言：sxtw xD, wS：取低三十二位，依符号扩为六十四位。汉语：sxtw xD, wS（即 sbfm xD, xS, #0, #31）：把低 32 位按符号扩展成 64 位。：」
「臂符扩」乃化「整数」而化「整数」而「机器片」也。
「臂符扩」者会「目」而会「源」而
  「字片」于（「加」于（「加」于「二四七零四七六八零零」于（「乘」于「源」于「三二」））于「目」）
也。

「：文言：brk #0：于 Linux 与苹果，发断点之信号而终其进程。汉语：brk #0：在 Linux 与 macOS 上触发 SIGTRAP、结束进程（裸机用 svc #7 的「臂陷阱」）。：」
「臂断点」乃「机器片」也。
「臂断点」者「字片」于「三五五八八六六九四四」也。

「：文言：线性内存基址之低高：mov w0, w28 与 lsr x0, x28, #32。汉语：取线性内存基址（x28）的低 32 位（mov w0, w28）与高 32 位（lsr x0, x28, #32）。：」
「臂取基低」乃「机器片」也。
「臂取基低」者「字片」于「七零六四七九零七二」也。

「臂取基高」乃「机器片」也。
「臂取基高」者「字片」于「三五四六三四九四四零」也。

「：mov xD, xS：」
「臂移寄八」乃化「整数」而化「整数」而「机器片」也。
「臂移寄八」者会「目」而会「源」而
  「字片」于（「加」于（「加」于（「二八五二一二七七一二」）于（「乘」于「源」于「六五五三六」））于「目」）
也。

「：msub wD, wA, wB, wC（D = C - A*B）：」
「臂乘减」乃化「整数」而化「整数」而化「整数」而化「整数」而「机器片」也。
「臂乘减」者会「目」而会「甲」而会「乙」而会「丙」而
  「字片」于（「加」
    于（「加」
      于（「加」
        于（「加」于（「四五三零一七六零零」）于（「乘」于「乙」于「六五五三六」））
        于（「乘」于「丙」于「一零二四」））
        于（「乘」于「甲」于「三二」））于「目」）
也。

「：csel wD, wA, wB, cond：」
「臂选」乃化「整数」而化「整数」而化「整数」而化「整数」而「机器片」也。
「臂选」者会「目」而会「甲」而会「乙」而会「条件」而
  「字片」于（「加」
    于（「加」
      于（「加」
        于（「加」于（「四四四五九六二二四」）于（「乘」于「乙」于「六五五三六」））
        于（「乘」于「条件」于「四零九六」））
        于（「乘」于「甲」于「三二」））于「目」）
也。

「：cset wD, cond（编码用相反条件）：」
「臂置」乃化「整数」而化「整数」而「机器片」也。
「臂置」者会「目」而会「条件」而
  「字片」于（「加」
    于（「加」
      于「四四六六二九八五六」
      于（「乘」
        于（
          若「等于」于（「整数余数」于「条件」于「二」）于「零」则「加」
            于「条件」于「一」
          否则
            「减」于「条件」于「一」
        ）
        于「四零九六」））于「目」）
也。

「：ldr w0, [x0, #0]：」
「臂载字」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂载字」者会「目」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」于「三一零七九七九二六四」于（「乘」于（「除以」于「偏」于「四」）于「一零二四」））
      于（「乘」于「基」于「三二」））于「目」）
也。

「：str w0, [x0, #0]：」
「臂存字」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂存字」者会「目」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」于「三一零三七八四九六零」于（「乘」于（「除以」于「偏」于「四」）于「一零二四」））
      于（「乘」于「基」于「三二」））于「目」）
也。

「：ldr x0, [x0, #0]：」
「臂载八」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂载八」者会「目」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」于「四一八一七二一零八八」于（「乘」于（「除以」于「偏」于「八」）于「一零二四」））
      于（「乘」于「基」于「三二」））于「目」）
也。

「：str x0, [x0, #0]：」
「臂存八」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂存八」者会「目」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」于「四一七七五二六七八四」于（「乘」于（「除以」于「偏」于「八」）于「一零二四」））
      于（「乘」于「基」于「三二」））于「目」）
也。

「：ldrb w0, [x0, #0]：」
「臂载字节」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂载字节」者会「目」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」于「九六零四九五六一六」于（「乘」于（「除以」于「偏」于「一」）于「一零二四」））
      于（「乘」于「基」于「三二」））于「目」）
也。

「：ldrsb w0, [x0, #0]：」
「臂载字节符」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂载字节符」者会「目」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」于「九六八八八四二二四」于（「乘」于（「除以」于「偏」于「一」）于「一零二四」））
      于（「乘」于「基」于「三二」））于「目」）
也。

「：strb w0, [x0, #0]：」
「臂存字节」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂存字节」者会「目」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」于「九五六三零一三一二」于（「乘」于（「除以」于「偏」于「一」）于「一零二四」））
      于（「乘」于「基」于「三二」））于「目」）
也。

「：ldrh w0, [x0, #0]：」
「臂载半」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂载半」者会「目」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」于「二零三四二三七四四零」于（「乘」于（「除以」于「偏」于「二」）于「一零二四」））
      于（「乘」于「基」于「三二」））于「目」）
也。

「：ldrsh w0, [x0, #0]：」
「臂载半符」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂载半符」者会「目」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」于「二零四二六二六零四八」于（「乘」于（「除以」于「偏」于「二」）于「一零二四」））
      于（「乘」于「基」于「三二」））于「目」）
也。

「：strh w0, [x0, #0]：」
「臂存半」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂存半」者会「目」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」于「二零三零零四三一三六」于（「乘」于（「除以」于「偏」于「二」）于「一零二四」））
      于（「乘」于「基」于「三二」））于「目」）
也。

「：ldr w0, [x0, x0]：」
「臂载字寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂载字寄」者会「目」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「三零九三三二五八二四」）于（「乘」于「偏」于「六五五三六」））
      于（「乘」于「基」于「三二」））于「目」）
也。

「：ldrb w0, [x0, x0]：」
「臂载字节寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂载字节寄」者会「目」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「九四五八四二一七六」）于（「乘」于「偏」于「六五五三六」））
      于（「乘」于「基」于「三二」））于「目」）
也。

「：ldrsb w0, [x0, x0]：」
「臂载字节符寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂载字节符寄」者会「目」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「九五四二三零七八四」）于（「乘」于「偏」于「六五五三六」））
      于（「乘」于「基」于「三二」））于「目」）
也。

「：ldrh w0, [x0, x0]：」
「臂载半寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂载半寄」者会「目」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「二零一九五八四零零零」）于（「乘」于「偏」于「六五五三六」））
      于（「乘」于「基」于「三二」））于「目」）
也。

「：ldrsh w0, [x0, x0]：」
「臂载半符寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂载半符寄」者会「目」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「二零二七九七二六零八」）于（「乘」于「偏」于「六五五三六」））
      于（「乘」于「基」于「三二」））于「目」）
也。

「：str w0, [x0, x0]：」
「臂存字寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂存字寄」者会「目」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「三零八九一三一五二零」）于（「乘」于「偏」于「六五五三六」））
      于（「乘」于「基」于「三二」））于「目」）
也。

「：strb w0, [x0, x0]：」
「臂存字节寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂存字节寄」者会「目」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「九四一六四七八七二」）于（「乘」于「偏」于「六五五三六」））
      于（「乘」于「基」于「三二」））于「目」）
也。

「：strh w0, [x0, x0]：」
「臂存半寄」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂存半寄」者会「目」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」于（「二零一五三八九六九六」）于（「乘」于「偏」于「六五五三六」））
      于（「乘」于「基」于「三二」））于「目」）
也。

「：stp x0, x0, [x0, #0]：」
「臂双存」乃化「整数」而化「整数」而化「整数」而化「整数」而「机器片」也。
「臂双存」者会「甲」而会「乙」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」
        于（「加」于「二八三五三四九五零四」于（「乘」于（「除以」于「偏」于「八」）于「三二七六八」））
        于（「乘」于「乙」于「一零二四」））
        于（「乘」于「基」于「三二」））于「甲」）
也。

「：ldp x0, x0, [x0, #0]：」
「臂双载」乃化「整数」而化「整数」而化「整数」而化「整数」而「机器片」也。
「臂双载」者会「甲」而会「乙」而会「基」而会「偏」而
  「字片」于（「加」
    于（「加」
      于（「加」
        于（「加」于「二八三九五四三八零八」于（「乘」于（「除以」于「偏」于「八」）于「三二七六八」））
        于（「乘」于「乙」于「一零二四」））
        于（「乘」于「基」于「三二」））于「甲」）
也。

「：lsl wD, wA, #s：」
「臂左移立」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂左移立」者会「目」而会「甲」而会「位」而
  「字片」于（「加」
    于（「加」
      于（「加」
        于「一三九二五零八九二八」
        于（「乘」于（「整数余数」于（「减」于「三二」于「位」）于「三二」）于「六五五三六」））
        于（「乘」于（「减」于「三一」于「位」）于「一零二四」））
        于（「加」于（「乘」于「甲」于「三二」）于「目」））
也。

「：lsr wD, wA, #s：」
「臂无右移立」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂无右移立」者会「目」而会「甲」而会「位」而
  「字片」于（「加」
    于（「加」于（「加」于「一三九二五零八九二八」于（「乘」于「位」于「六五五三六」））于「三一七四四」）
    于（「加」于（「乘」于「甲」于「三二」）于「目」））
也。

「：asr wD, wA, #s：」
「臂有右移立」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂有右移立」者会「目」而会「甲」而会「位」而
  「字片」于（「加」
    于（「加」于（「加」于「三一八七六七一零四」于（「乘」于「位」于「六五五三六」））于「三一七四四」）
    于（「加」于（「乘」于「甲」于「三二」）于「目」））
也。

「：ror wD, wA, #s：」
「臂循右立」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂循右立」者会「目」而会「甲」而会「位」而
  「字片」于（「加」
    于（「加」
      于（「加」
        于（「加」于「三二七一五五七一二」于（「乘」于「甲」于「六五五三六」））
        于（「乘」于「位」于「一零二四」））
        于（「乘」于「甲」于「三二」））于「目」）
也。

「：svc #7（用户陷阱）：」
「臂陷阱」乃「机器片」也。
「臂陷阱」者「字片」于「三五五六七七零零一七」也。

「：ret：」
「臂返回」乃「机器片」也。
「臂返回」者「字片」于「三五九六五五一一零四」也。

「：svc #号：」
「臂服务」乃化「整数」而「机器片」也。
「臂服务」者会「号」而
  「字片」于（「加」于「三五五六七六九七九三」于（「乘」于「号」于「三二」））
也。

「：文言：一常量，宜以一二令载之：高半为零、低半为零、高半全一、低半全一者皆一令而足，余以清零载与高移二令。汉语：把三十二位常量装入 w 寄存器。高十六位为零用 MOVZ；低十六位为零用 MOVZ 加十六位移位；高十六位全一用 MOVN；低十六位全一用带移位的 MOVN；其余用 MOVZ 加 MOVK。返回一到两条指令。：」
「臂立即」乃化「整数」而化「整数」而（「列」于「机器片」）也。
「臂立即」者会「目」而会「数」而
  若「或者」于（「小于」于「目」于「零」）于（「大于」于「目」于「三零」）则
    「发生事故」于『臂通用寄存器编号越界』
  否则
    虑「位」者
      若「小于」于「数」于「零」则「加」于「数」于「四二九四九六七二九六」否则「数」
    而
    若「或者」于（「小于」于「位」于「零」）于（「大于」于「位」于「四二九四九六七二九五」）则
      「发生事故」于『机器常量超出三十二位位形』
    否则
      虑「低」者「整数余数」于「位」于「六五五三六」
      而
      虑「高」者「除以」于「位」于「六五五三六」
      而
      若「等于」于「高」于「零」则
        「列」【「字片」于（「加」于「一三八四一二零三二零」于（「加」于（「乘」于「低」于「三二」）于「目」））】
      否则
        若「等于」于「低」于「零」则
          「列」【「字片」于（「加」于「一三八六二一七四七二」于（「加」于（「乘」于「高」于「三二」）于「目」））】
        否则
          若「等于」于「高」于「六五五三五」则
            「列」【
              「字片」于（「加」
                于「三一零三七八四九六」
                于（「加」于（「乘」于（「减」于「六五五三五」于「低」）于「三二」）于「目」））
            】
          否则
            若「等于」于「低」于「六五五三五」则
              「列」【
                「字片」于（「加」
                  于「三一二四七五六四八」
                  于（「加」于（「乘」于（「减」于「六五五三五」于「高」）于「三二」）于「目」））
              】
            否则
              「列」【
                「字片」于（「加」于「一三八四一二零三二零」于（「加」于（「乘」于「低」于「三二」）于「目」）），
                「字片」于（「加」于「一九二三零八八三八四」于（「加」于（「乘」于「高」于「三二」）于「目」））
              】
也。

「：文言：三十二位之字，若一串相连之一而环旋之，可以立即数之形入位运算；否则须先载入寄存器。汉语：判断三十二位值能否编码为 ARM64 逻辑立即数，返回旋转量与连续一的个数减一。值为零或全一不可编码。：」
「二的幂」乃化「整数」而「整数」也。
「二的幂」者会「次」而
  若「等于」于「次」于「零」则
    「一」
  否则
    「乘」于「二」于（「二的幂」于（「减」于「次」于「一」））
也。

「臂一的个数」乃化「整数」而「整数」也。
「臂一的个数」者会「值」而
  若「等于」于「值」于「零」则
    「零」
  否则
    「加」于（「整数余数」于「值」于「二」）于（「臂一的个数」于（「除以」于「值」于「二」））
也。

「臂右旋三二」乃化「整数」而化「整数」而「整数」也。
「臂右旋三二」者会「值」而会「量」而
  若「等于」于「量」于「零」则
    「值」
  否则
    「加」
      于（「除以」于「值」于（「二的幂」于「量」））
      于（「乘」于（「整数余数」于「值」于（「二的幂」于「量」））于（「二的幂」于（「减」于「三二」于「量」）））
也。

「臂逻辑立位」乃化「整数」而（「或可有」于（「整数」合「整数」））也。
「臂逻辑立位」者会「值」而
  若「或者」于（「等于」于「值」于「零」）于（「等于」于「值」于「四二九四九六七二九五」）则
    「可无」
  否则
    虑「个」者「臂一的个数」于「值」
    而
    虑「基」者「减」于（「二的幂」于「个」）于「一」而
    递归虑「寻」其化「整数」而（「或可有」于（「整数」合「整数」））者会「量」而
      若「等于」于「量」于「三二」则「可无」否则
        若「等于」于（「臂右旋三二」于「基」于「量」）于「值」则
          「可有」于（「量」与（「减」于「个」于「一」））
        否则
          「寻」于（「加」于「量」于「一」）
    而
    「寻」于「零」
也。

「：文言：与、或、异或之立即形，先验能否入码。汉语：种类零是 AND，一是 ORR，二是 EOR。可编码时返回一条 32 位指令，否则返回可无，由调用者先把常量装入临时寄存器。：」
「臂逻辑立」乃
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  （「或可有」于「机器片」）
也。
「臂逻辑立」者会「种」而会「目」而会「甲」而会「值」而
  鉴「臂逻辑立位」于（若「小于」于「值」于「零」则「加」于「值」于「四二九四九六七二九六」否则「值」）而
    有「可无」则「可无」
    或有「可有」于「位」则
      「可有」于（「字片」于（「加」
        于（「加」
          于（「加」
            于（「加」
              于（
              若「等于」于「种」于「零」则「三零一九八九八八八」
              否则
                若「等于」于「种」于「一」则「八三八八六零八零零」否则「一三七五七三一七一二」）
                于（「乘」于（「位」中「零」）于「六五五三六」））
                于（「乘」于（「位」中「一」）于「一零二四」））
                于（「乘」于「甲」于「三二」））于「目」））
也。

「：cmn wA, #imm12（与 cmp 同，只是加而非减，用于比较负一）：」
「臂比较负立」乃化「整数」而化「整数」而「机器片」也。
「臂比较负立」者会「甲」而会「值」而
  「字片」于（「加」于（「加」于「八二二零八三六一五」于（「乘」于「值」于「一零二四」））
  于（「乘」于「甲」于「三二」））
也。

「：sub xD, xA, #imm12, lsl #12 与 add：」
「臂减立八移」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂减立八移」者会「目」而会「甲」而会「值」而
  「字片」于（「加」
    于（「加」于「三五一零六三二四四八」于（「乘」于「值」于「一零二四」））
    于（「加」于（「乘」于「甲」于「三二」）于「目」））
也。

「臂加立八移」乃化「整数」而化「整数」而化「整数」而「机器片」也。
「臂加立八移」者会「目」而会「甲」而会「值」而
  「字片」于（「加」
    于（「加」于「二四三六八九零六二四」于（「乘」于「值」于「一零二四」））
    于（「加」于（「乘」于「甲」于「三二」）于「目」））
也。

「：mov wD, #0（MOVZ）：」
「臂零」乃化「整数」而「机器片」也。
「臂零」者会「目」而
  「字片」于（「加」于「一三八四一二零三二零」于「目」）
也。