寻观「标准库」之书。

寻观「编译器核心」之「编译步骤」之「代码生成」之「低级虚拟机」之「代码生成工具」之书。

「生成数值比较代码」乃化「字符串」 「：左名：」而
  化「字符串」 「：右名：」而
  化「字符串」 「：保留字段：」而
  化「字符串」 「：类型名：」而
  化「字符串」 「：比较名：」而
  化「字符串」 「：结果名：」而
  （「列」于「字符串」）也。
「生成数值比较代码」者会「左名」而会「右名」而会「保留字段」而会「类型名」而会「比较名」而会「返回名」而
  「列」【（『%"左值』附「保留字段」附『" = trunc i128 %"』附「左名」附『" to 』附「类型名」附『「：换行：」』附
    『%"右值』附「保留字段」附『" = trunc i128 %"』附「右名」附『" to 』附「类型名」附『「：换行：」』附
    『%"短结果值』附「保留字段」附『" = icmp 』附「比较名」附『 』附「类型名」附『 %"左值』附「保留字段」附
      『", %"右值』附「保留字段」附『"「：换行：」』附
      『%"长结果值』附「保留字段」附『" = zext i1 %"短结果值』附「保留字段」附『" to i128「：换行：」』附
      『%"』附「返回名」附『" = or i128 %"长结果值』附「保留字段」附『", 』附「爻类型标记值」附『「：换行：」』
  ）】
也。

「生成数值计算代码」乃化「字符串」 「：左名：」而
  化「字符串」 「：右名：」而
  化「字符串」 「：保留字段：」而
  化「字符串」 「：类型名：」而
  化「字符串」 「：计算名：」而
  化「字符串」 「：类型标记值：」而
  化「字符串」 「：结果名：」而
  （「列」于「字符串」）也。
「生成数值计算代码」者会「左名」而会「右名」而会「保留字段」而会「类型名」而会「计算名」而会「类型标记值」而会「返回名」
    而
    「列」【（『%"左值』附「保留字段」附『" = trunc i128 %"』附「左名」附『" to 』附「类型名」附『「：换行：」』附
      『%"右值』附「保留字段」附『" = trunc i128 %"』附「右名」附『" to 』附「类型名」附『「：换行：」』附
      『%"短结果值』附「保留字段」附『" = 』附「计算名」附『 』附「类型名」附『 %"左值』附「保留字段」附
        『", %"右值』附「保留字段」附『"「：换行：」』附
        『%"长结果值』附「保留字段」附『" = zext 』附「类型名」附『 %"短结果值』附「保留字段」附
        『" to i128「：换行：」』附
        『%"』附「返回名」附『" = or i128 %"长结果值』附「保留字段」附『", 』附「类型标记值」
    ）】
也。
