diff --git a/docs/LoongArch-instruction-format-conventions-CN.adoc b/docs/LoongArch-instruction-format-conventions-CN.adoc
new file mode 100644
index 0000000..c834458
--- /dev/null
+++ b/docs/LoongArch-instruction-format-conventions-CN.adoc
@@ -0,0 +1,1946 @@
+= LoongArch 指令格式约定
+LoongArch 社区开发者一同
+v1.00
+:docinfodir: ../themes
+:docinfo: shared
+:doctype: book
+:toc: left
+:toc-title: 目录
+:scripts: cjk
+
+== 背景
+
+作为指令集生态的重要组成部分，许多编译器、虚拟机运行时等相关项目都有处理
+LoongArch 机器语言的需求，进而有必要感知 LoongArch 的具体指令编码。
+但是，目前《龙芯架构参考手册》v1.00 所规定的“9 种基本指令格式”（下称“**手册格式名**”）无法完全满足需求：
+
+- 一些指令不属于 9 种格式中的任何一种，如 `lu12i.w`、`asrt{le,gt}.d`、`bstrpick.[wd]`。
+  其中甚至包括一些最常用的指令，如 `lu12i.w`。相关项目必须自行发明一些新名字用来称呼这些非标准格式，
+  进而造成命名上的不统一、跨项目无法共享知识。
+- 多数**手册格式名**都以数字打头（如 `1RI21`），导致这些名字无法被用作绝大多数编程语言的标识符。
+  相关项目仍然需要发明一些新名字，或在本来可以直接称呼的场合仍然不得不前缀以 `FMT` 之类字样。
+- **手册格式名**较为写意，不反映具体编码细节。这对需要处理这些细节的软件、开发者而言不够直白。
+  例如同为单寄存器操作数、单立即数的格式，`1RI21` 和所谓“`1RI20`”（`lu12i.w` 指令的真正格式）在编码细节上完全不同。
+  这些信息不能直白地从命名中看出，因此即使有经验的开发者也要付出一层额外理解成本。
+
+我们认为，尽管作为编译器、虚拟机开发者，熟读参考手册自然属于必备素养，
+但在合适的场合尽量降低理解与沟通成本，提升开发者体验，仍然是 LoongArch 作为一个新时代、对开发者友好的指令集架构的题中应有之义。
+
+本文将对 LoongArch 的指令格式作出补充、细化约定，意在实现 LoongArch
+指令编码信息的标准化描述、机器可读性、可处理性，
+降低维护人员心智负担，以及提倡跨项目的知识共享。
+
+
+== 约定
+
+=== 设计思想
+
+一个好的指令格式命名方案，应当满足：
+
+* 指令格式名称应当在多数编程语言都是合法标识符。
++
+这是为了方便下游项目原样使用。
+如果指令格式名称不能直接作标识符使用，下游项目则不得不各自发明一些新名字。
+这会导致不同项目使用的名称不同，不利于基础软件开发者学习掌握。
+
+* 指令格式名称最好不需要严格区分大小写。
++
+这是为了适应不同项目、编程语言的编码风格要求。
+例如一些项目、语言要求常量、枚举值名称必须全大写；或如 Go 语言，标识符的首字母大小写会改变语义。
+如果存在仅能通过大小写不同区分的指令格式名称，在此种情形下，下游项目则也需要发明一些新名字，带来的坏处同前一种情形。
+
+* 指令格式名称应当尽量精确表意。
++
+不同项目对指令格式划分精确与否的需求不同，但从精确表意的名字中去除信息，比向粗略表意的名字添加信息要方便得多。
+具体而言：
++
+** 相同操作数个数，但种类不同的指令，应当归属不同的指令格式。
+** 相同操作数个数、种类，但操作数大小和/或布局不同的指令，应当归属不同的指令格式。
+
+* 指令格式命名方案最好具有前向兼容性。
++
+对于有意迅速迭代发展的指令集架构而言，添加新的指令乃至指令格式应被视作一件经常会发生的事。
+因而，作为下游项目的维护者，会希望各个下游的代码不需太多调整即可支持新指令；
+作为规范制定者，会希望不需要每次发布指令集的新版本，都要对相关规范作大范围修改；
+作为指令集规范的读者与用户，也会希望每次新增指令之后，记忆负担能尽量小，尽量可用已有知识辅助新内容的记忆。
+
+下文将“按照本约定书写的指令格式名称”称作“**规范格式名**”。
+
+[NOTE]
+====
+本文档为“**手册格式名**”、“**规范格式名**”两个词组赋予的特定含义，仅仅用来方便本文档之内的描述。
+这种用法不应“泄漏”到本文档之外。
+
+在本文档成为 LoongArch 的正式规范文档之后，我们预期“**手册格式名**”将渐渐淡出历史舞台。
+对规范读者群体而言，直接称呼“指令格式”、“指令格式名”就相当于本文中所说的“**规范格式名**”了。
+====
+
+[NOTE]
+====
+本约定只覆盖 LoongArch 机器语言（指令字）的格式描述，而不覆盖 LoongArch 汇编语言。
+
+目前 LoongArch 汇编语法中，也存在书写顺序与本约定不一致（如下文有讨论的 `bstrins/bstrpick` 等指令），以及一些需要额外记忆的情形（如有些指令带的立即数，按照手册语法，汇编写法与指令位域的内容不同，存在 `+1`、`<<2` 等特殊处理），本约定不予以感知、处理。
+这些情形将在其他文档进行规范。
+====
+
+=== 形式化描述
+
+**规范格式名**的语法遵循以下 ABNF 描述：
+
+```
+insn-format  =  "EMPTY"
+insn-format  =/ reg-slots
+insn-format  =/ imm-slots
+insn-format  =/ reg-slots imm-slots
+
+reg-slots    = 1*reg
+reg          = int-reg / fp-reg / fcc-reg
+int-reg      = "D" / "J" / "K" / "A"
+fp-reg       = "F" index
+fcc-reg      = "C" index
+
+index-length = index length
+index        = "d" / "j" / "k" / "a" / "m"
+length       = 1*DIGIT
+
+imm-slots    = 1*imm
+imm          = signedness 1*index-length
+signedness   = "S" / "U"
+```
+
+=== 自然语言描述
+
+每条 LoongArch 指令定长 32 位，我们通过**规范格式名**描述的是每条指令中为操作数挖出的槽。
+那些没有对应到槽位的位（比特）都属于指令字中固定的、为硬件译码单元所识别的操作码部分。
+规定位序号从 0 开始，序号为 0 的位为最低位（LSB）。
+
+有些指令没有操作数槽，其所有操作对象都由指令语义隐含。
+人为规定不带操作数槽的**规范格式名**为 `EMPTY` 以避免空字符串带来的不便。
+
+操作数分为寄存器操作数、立即数操作数两类。
+根据具体指令格式不同，寄存器操作数标记的是某个寄存器类别（register bank）中的一个寄存器编号；
+立即数操作数也存在有符号、无符号之分。
+
+为求表示形式统一、易处理，规定**规范格式名**中的操作数槽书写顺序为：
+
+* 先寄存器槽后立即数槽，
+* 每组内从低位到高位。
+
+对于寄存器操作数，为缩减常用指令的**规范格式名**长度，通用寄存器都有单字母的名字，与汇编中常用的 `rd rj rk ra` 占位符保持一致。
+其他类别的寄存器操作数都以形如 `类别 位置标记` 的方式指定，例如 `Fj` 意为占据 `j` 位置（具体含义见下文）的浮点寄存器。
+
+.寄存器操作数槽位
+[%header,cols="^1,2,^1,2"]
+|===
+|槽位名称
+|起始位序号
+|位域宽度
+|寄存器类别
+
+|`D`
+|0
+|5
+|通用寄存器
+
+|`J`
+|5
+|5
+|通用寄存器
+
+|`K`
+|10
+|5
+|通用寄存器
+
+|`A`
+|15
+|5
+|通用寄存器
+
+|`C`
+|由位置标记指定
+|3
+|浮点条件码寄存器
+
+|`F`
+|由位置标记指定
+|5
+|浮点寄存器
+|===
+
+为节省大写字母以便未来使用，本约定不将浮点控制状态寄存器（FCSR）操作数视作一类寄存器，
+而是将其视作用来寻址 FCSR 地址空间的**立即数**；一如控制状态寄存器（CSR）操作指令的立即数被看作对 CSR 地址空间的寻址。
+
+[NOTE]
+====
+手册将 FCSR 视为单独一类寄存器。
+但正如其名，FCSR 无论在理解上还是使用上都与 CSR 更为相似：并不会因为存在 FCSR0 ~ FCSR3 四个名字，
+就意味着硬件上存在四个真实的寄存器。
+实际上 FCSR1 ~ FCSR3 也确实只是 FCSR0 的个别位域的“视图”。
+其次，FCSR 也不像 GPR、FPR、FCC 一样可以参与寄存器分配，因此将其强行与其他寄存器类别相提并论，并无太大意义。
+
+此外，由于历史原因，binutils、LLVM 等一些项目将 FCSR 操作数实现成了 GPR（仅汇编语法意义上；并不是在 FCSR 位置写了 `$r0` 就是访问真正的 `$zero`，实际访问的还是 FCSR0），这更是错误的。
+比起建立一个新的不能当寄存器用的“寄存器类别”，还不如将其视作立即数来得正确、方便。
+====
+
+对于非通用寄存器类型的寄存器操作数，以及立即数操作数，需要指定其位域的起始位编号。
+为方便记忆，对于那些与各个通用寄存器起始位重合的位置，以表示相应通用寄存器操作数的字母的小写形式为相应的位置标记。
+
+[NOTE]
+====
+由于**规范格式名**语法的前缀构造，复用这些字母不会造成歧义，且即使指令格式名称中的所有字母都变为大写或小写，也不会有歧义。
+
+**规范格式名**仍然同时使用大小写字母，是为了可读性（除 EMPTY 外，名称含有多少大写字母，相应的格式就有多少操作数）。
+====
+
+在 LoongArch 基础指令中，存在从第 16 位开始的立即数操作数，没有寄存器操作数从该位开始。
+为方便记忆，人为规定字母 `m` （middle）为对应的位置标记。
+
+.位置标记
+[%header,cols="^1,1"]
+|===
+|位置标记名
+|代表的位序号
+
+|`d`
+|0
+
+|`j`
+|5
+
+|`k`
+|10
+
+|`a`
+|15
+
+|`m`
+|16
+|===
+
+对于立即数操作数，有些指令将立即数域的内容视作有符号数，有些则视作无符号数。
+立即数操作数的表示格式为 `符号 1或多个立即数槽`，以 `S` 代表有符号（signed）立即数、 `U` 代表无符号（unsigned）立即数。
+每个立即数槽的表示格式为 `位置标记 宽度`，宽度即为十进制阿拉伯数字。
+
+由多个槽组成的立即数操作数所表示的数值，是将组成它的每个槽按顺序从高到低排列之后，将其内容连接而得到的值。
+例如 `Sd5k16` 这个立即数有两个槽 `d5` 与 `k16`，其表示的数值为 `(d5 << 16) | k16`。
+
+[NOTE]
+====
+来自 RISC-V 背景的读者需要注意：LoongArch 保留了逻辑操作指令立即数无符号的传统，这一点与 RISC-V 不同。
+（否则只需单个字母如 `I` 即可表示所有立即数了。）
+====
+
+=== 示例与讨论
+
+在实际工程实践中，编译器、汇编器、反汇编器等组件经常需要区分不同的寄存器类别。
+**手册格式名**不作该区分，而使用**规范格式名**则可方便区分。
+
+.“相同格式”，但寄存器类别不同的指令示例
+[%header,cols="^1,^1,^1"]
+|===
+|指令名
+|**手册格式名**
+|**规范格式名**
+
+|`rdtime`
+|2R
+|DJ
+
+|`movgr2fr.w`
+|2R
+|FdJ
+
+|`movfr2gr.s`
+|2R
+|DFj
+
+|`add.d`
+|3R
+|DJK
+
+|`fadd.d`
+|3R
+|FdFjFk
+
+|`ld.w`
+|2RI12
+|DJSk12
+
+|`fld.s`
+|2RI12
+|FdJSk12
+|===
+
+在处理机器语言时，操作数位置、形状不同，指令格式显然不同；并非汇编语法相似，指令编码就一定相似。
+**手册格式名**不考虑具体编码方式，而使用**规范格式名**则能精确区分。
+
+.“相同格式”，但具体编码不同的指令示例
+[%header,cols="^1,^1,^1"]
+|===
+|指令名
+|**手册格式名**
+|**规范格式名**
+
+|`clo.w`
+|2R
+|DJ
+
+|`asrtgt.d`
+|无（2R？3R 变体？）
+|JK
+
+|`movgr2cf`
+|2R
+|CdJ
+
+|`movcf2gr`
+|2R
+|DCj
+
+|`lu12i.w`
+|无（“1RI20”？1RI21 变体？）
+|DSj20
+
+|`beqz`
+|1RI21
+|JSd5k16
+|===
+
+可见 `asrtle/asrtgt`、`lu12i.w` 等指令的格式其实相当特殊，和其他一些指令实际一点关系也没有，尽管那些指令的格式的**手册格式名**也是“2R”、“1RI21”。
+
+在实现汇编器、JIT 等组件时，经常需要在生成机器语言前，确保指令的立即数都不溢出相应位域。此时需要感知立即数是否有符号。
+**手册格式名**不作该区分，用**规范格式名**则可实现。
+
+.“相同格式”，但立即数符号不同的指令示例
+[%header,cols="^1,^1,^1"]
+|===
+|指令名
+|**手册格式名**
+|**规范格式名**
+
+|`addi.w`
+|2RI12
+|DJSk12
+
+|`ori`
+|2RI12
+|DJUk12
+|===
+
+最后，由于严格遵循“从低位到高位”的描述原则，有时透过**规范格式名**，可以窥见 LoongArch 个别一些被手册语法的不对称、不一致所掩盖的深层逻辑。
+
+.被手册语法掩盖的设计思路：整数大小比较
+[%header,cols="^1,^1,^2,^1"]
+|===
+|指令名
+|**规范格式名**
+|手册语法
+|“手册规范格式名”
+
+|`blt`
+|DJSk16
+|`blt rj, rd, offs16`
+|*JDSk16
+
+|`bge`
+|DJSk16
+|`bge rj, rd, offs16`
+|*JDSk16
+
+|`asrtgt.d`
+|JK
+|`asrtgt.d rj, rk`
+|JK
+
+|`asrtle.d`
+|JK
+|`asrtle.d rj, rk`
+|JK
+
+|`ldgt.d`
+|DJK
+|`ldgt.d rd, rj, rk`
+|DJK
+
+|`ldle.d`
+|DJK
+|`ldle.d rd, rj, rk`
+|DJK
+|===
+
+“手册规范格式名”是假设直接将手册语法转写为**规范格式名**，而得到的不一定合法的“规范格式名”。
+星号代表相应的“规范格式名”不合法。
+
+我们于是可以发现，LoongArch 的整数大小比较操作其实是统一按“大于、小于等于”划分的。
+条件分支指令 `b{lt/ge}[u]` 实际是交换了被比较操作数顺序的 `b{gt/le}[u]`。
+这样交换之后，所有涉及整数大小比较的指令，其比较方式就都一致了。
+
+.被手册语法掩盖的设计思路：位域操作指令的立即数含义
+[%header,cols="^1,^1,^2,^1"]
+|===
+|指令名
+|**规范格式名**
+|手册语法
+|“手册规范格式名”
+
+|`bstrins.w`
+|DJUk5Um5
+|`bstrins.w rd, rj, msbw, lsbw`
+|*DJUm5Uk5
+
+|`bstrpick.w`
+|DJUk5Um5
+|`bstrpick.w rd, rj, msbw, lsbw`
+|*DJUm5Uk5
+|===
+
+`bstrins/bstrpick` 系列指令有两个立即数，但与其他指令不同，写在前面的立即数实际是较高的那个。
+两个立即数分别代表被操作的位域起止位序号（闭区间），顺序不能反，否则行为不确定。
+那么哪个是高位哪个是低位呢？
+
+答案其实很简单：较高位置的立即数代表位域最高位（含）序号，较低位置的则代表最低位（含）序号。
+手册汇编语法刻意将两个立即数位置颠倒，可能是为了使汇编形状更像自然语言，如 `rd = rj[msbw:lsbw]`。
+但这样做相当于引入了一组需要记忆的特例，其实不见得有必要。
+
+== 附一：**手册格式名**与**规范格式名**的对应关系
+
+为方便查阅、学习，此处将**手册格式名**与**规范格式名**的对应关系整理为表格。
+
+.**手册格式名**与**规范格式名**的对应关系
+[%header,cols="^1,^2,4"]
+|===
+|**手册格式名**
+|**规范格式名**
+|备注
+
+|2R
+|DJ、FdFj 等等
+|**手册格式名**不区分寄存器类别
+
+|3R
+|DJK、FdFjFk 等等
+|同上
+
+|4R
+|FdFjFkFa、FdFjFkCa
+|同上
+
+|2RI8
+|DJUk8
+|仅 `lddir` （ `ldpte` 是少一个寄存器操作数的变体 JUk8）
+
+|2RI12
+|DJSk12、DJUk12、FdJSk12 等等
+|多数带单个立即数的指令
+
+|2RI14
+|DJSk14、DJUk14
+|仅 `ldptr` `stptr` 系列及 `csrxchg`
+
+|2RI16
+|DJSk16
+|条件分支指令、 `jirl`
+
+|1RI21
+|JSd5k16、CjSd5k16
+|`beqz/bnez` 、 `bceqz/bcnez` ，比其他条件分支指令省了一个寄存器操作数
+
+|I26
+|Sd10k16
+|`b` `bl` ，无条件跳转不需要（或隐含寻址了）寄存器操作数
+|===
+
+== 附二：目前（2022.07）主要开源项目对 LoongArch 指令格式的描述
+
+在本文档发布前，已经有不同的龙芯团队在许多开源项目添加 LoongArch 支持了。
+由于“背景”一节中提到的那些原因，这些项目中对 LoongArch 指令格式的描述五花八门，不利于未来的软件维护者、下游开发者理解，这也是本文作者撰写本约定的缘由。
+
+此表忠实反映了本约定生效前各主要开源项目的 LoongArch 指令格式描述现状，是为本约定背后的数据支撑。
+
+[NOTE]
+====
+1. 对应 fcmp 系列指令。
++
+QEMU 将判断条件当作一个立即数，因此多了个操作数。
+
+2. 实际是相同格式，仅为与手册汇编语法保持一致而区分。
+
+3. 涉及对 csrrd/csrwr 指令编码与 csrxchg 重叠这一事实的不同认知。
++
+本约定将 csrrd/csrwr 视作 csrxchg 行为上的特例，从而 csrrd/csrwr 在汇编上应被视作 csrxchg 的语法糖，因而实际只存在 csrxchg 一条指令，程序不需要在机器语言层面考虑编码重叠的情况（而是在语义分析的层面考虑）；而手册认为它们是三条不同的指令。
+
+4. 不区分寄存器类别。
+5. 本约定将 FCSR 视作类似于 CSR，因而使用立即数表示 FCSR。
+6. 疑似实现错误：由于复用了格式，FCC 也占了 5 位宽，实际应占 3 位。
+7. 不区分有无符号。
+8. 同时表示了编码与汇编语法。
+9. 目前的实现较为混乱：Go 汇编指令与机器码不是 1:1 对应，而根据指令性质区分了 50 多种情况。
++
+此处只列举那些有明确对应的辅助函数（而非直接写死）的情形。
+
+10. 实现错误：用 GPR 表示了 FCSR。
+====
+
+.各开源项目采用的指令格式名称及其与**规范格式名**的对应关系
+[%header,cols="1,1,1,1,1,1,1"]
+|===
+|**规范格式名**
+|**手册格式名**
+|binutils *8
+|LLVM
+|QEMU
+|Linux
+|Go *9
+
+|CdFj
+|2R
+|`c0:3,f5:5`
+|`FPFmtMOV` *6
+|`@cf`
+|
+|
+
+|CdFjFk
+|
+|`c0:3,f5:5,f10:5`
+|`FPFmtFCMP` *1
+|`@cff_fcond` *1
+|
+|
+
+|CdJ
+|2R
+|`c0:3,r5:5`
+|`FPFmtMOV` *6
+|`@cr`
+|
+|
+
+|CjSd5k16
+|1RI21
+|`c5:3,sb0:5\|10:16<<2`
+|`FPFmtBR`
+|`@c_offs21`
+|
+|`OP_16IR_5I`
+
+|DCj
+|2R
+|`r0:5,c5:3`
+|`FPFmtMOV` *6
+|`@rc`
+|
+|
+
+|DFj
+|2R
+|`r0:5,f5:5`
+|`FPFmtMOV` *4
+|`@rf`
+|
+|`OP_TEN`
+
+|DJ
+|2R
+|`r0:5,r5:5`
+|`Fmt2R`
+|`@rr`
+|
+|`OP_RR`
+
+|DJK
+|3R
+|`r0:5,r5:5,r10:5`
+|`Fmt3R`
+|`@rrr`
+|
+|`OP_RRR`
+
+|DJKUa2
+|
+|`r0:5,r5:5,r10:5,u15:2+1`
+|`Fmt3RI2`
+|`@rrr_sa2`, `@rrr_sa2p1` *2
+|
+|
+
+|DJKUa3
+|
+|`r0:5,r5:5,r10:5,u15:3`
+|`Fmt3RI3`
+|`@rrr_sa3`
+|
+|
+
+|DJSk12
+|2RI12
+|`r0:5,r5:5,s10:12`
+|`Fmt2RI12` *7
+|`@rr_i12`
+|`reg2i12_format`
+|`OP_12IRR`
+
+|DJSk14
+|2RI14
+|`r0:5,r5:5,s10:14<<2`
+|`Fmt2RI14`
+|`@rr_i14s2`
+|
+|
+
+|DJSk16
+|2RI16
+|`r0:5,r5:5,s10:16<<2`
+|`Fmt2RI16`
+|`@rr_i16`, `@rr_offs16` *2
+|`reg2i16_format`
+|`OP_16IRR`
+
+|DJUk12
+|2RI12
+|`r0:5,r5:5,u10:12`
+|`Fmt2RI12` *7
+|`@rr_ui12`
+|
+|`OP_12IRR`
+
+|DJUk14
+|2RI14
+|`r0:5,r5:5,u10:14`
+|`FmtCSR`, `FmtCSRXCHG` *3
+|`@r_csr`, `@rr_csr` *3
+|
+|
+
+|DJUk5
+|
+|`r0:5,r5:5,u10:5`
+|`Fmt2RI5`
+|`@rr_ui5`
+|
+|
+
+|DJUk5Um5
+|
+|`r0:5,r5:5,u16:5,u10:5`
+|`FmtBSTR_W`
+|`@rr_2bw`
+|
+|
+
+|DJUk6
+|
+|`r0:5,r5:5,u10:6`
+|`Fmt2RI6`
+|`@rr_ui6`
+|
+|
+
+|DJUk6Um6
+|
+|`r0:5,r5:5,u16:6,u10:6`
+|`FmtBSTR_D`
+|`@rr_2bd`
+|
+|
+
+|DJUk8
+|2RI8
+|`r0:5,r5:5,u10:8`
+|`Fmt2RI8`
+|`@rr_ui8`
+|
+|
+
+|DSj20
+|
+|`r0:5,s5:20`
+|`Fmt1RI20`
+|`@r_i20`
+|`reg1i20_format`
+|`OP_IR`
+
+|DUj5
+|
+|`r0:5,r5:5` *10
+|`FPFmtMOV` *5
+|`@r_fcsrs`
+|
+|
+
+|EMPTY
+|
+|空字符串
+|`FmtIMM32`
+|`@empty`
+|
+|
+
+|FdCj
+|2R
+|`f0:5,c5:3`
+|`FPFmtMOV` *6
+|`@fc`
+|
+|
+
+|FdFj
+|2R
+|`f0:5,f5:5`
+|`FPFmt2R`
+|`@ff`
+|
+|`OP_RR`
+
+|FdFjFk
+|3R
+|`f0:5,f5:5,f10:5`
+|`FPFmt3R`
+|`@fff`
+|
+|`OP_RRR`
+
+|FdFjFkCa
+|4R
+|`f0:5,f5:5,f10:5,c15:3`
+|`FPFmtFSEL`
+|`@fffc`
+|
+|
+
+|FdFjFkFa
+|4R
+|`f0:5,f5:5,f10:5,f15:5`
+|`FPFmt4R`
+|`@ffff`
+|
+|
+
+|FdJ
+|2R
+|`f0:5,r5:5`
+|`FPFmtMOV` *4
+|`@fr`
+|
+|`OP_TEN`
+
+|FdJK
+|3R
+|`f0:5,r5:5,r10:5`
+|`FPFmtMEM`
+|`@frr`
+|
+|
+
+|FdJSk12
+|2RI12
+|`f0:5,r5:5,s10:12`
+|`FPFmt2RI12`
+|`@fr_i12`
+|
+|`OP_12IRR`
+
+|JK
+|
+|`r5:5,r10:5`
+|`FmtASRT`
+|`@rr_jk`
+|
+|
+
+|JKUd5
+|
+|`u0:5,r5:5,r10:5`
+|`FmtPRELDX`, `FmtINVTLB`
+|`@i_rr`
+|
+|
+
+|JSd5k16
+|1RI21
+|`r5:5,sb10:16<<2`
+|`Fmt1RI21`
+|`@r_offs21`
+|`reg1i21_format`
+|
+
+|JUd5
+|
+|`r0:5,r5:5` *10
+|`FPFmtMOV` *5
+|`@fcsrd_r`
+|
+|
+
+|JUd5Sk12
+|
+|`u0:5,r5:5,s10:12`
+|`FmtPRELD`, `FmtCACOP`
+|`@hint_r_i12`, `@cop_r_i` *2
+|
+|
+
+|JUk8
+|
+|`r5:5,u10:8`
+|`FmtLDPTE`
+|`@j_i`
+|
+|
+
+|Sd10k16
+|I26
+|`sb0:10\|10:16<<2`
+|`FmtI26`
+|`@offs26`
+|`reg0i26_format`
+|`OP_B_BL`
+
+|Ud15
+|
+|`u0:15`
+|`FmtI15`
+|`@i15`
+|
+|
+|===
+
+== 附三：LoongArch 基础指令集各指令的**规范格式名**
+
+为方便查阅，以下将 LoongArch 基础指令集所有指令的**规范格式名**整理为表格。
+
+[NOTE]
+====
+* FCSR 操作指令的 FCSR 操作数按立即数处理。
+* 不将浮点比较指令的条件码视作操作数，而按分立指令处理（与 binutils 处理方式一致）。
+====
+
+.LoongArch 基础指令集各指令的**规范格式名**
+[%header,cols="1,1,1,1,1,1,1,1"]
+|===
+|指令名
+|**规范格式名**
+|指令名
+|**规范格式名**
+|指令名
+|**规范格式名**
+|指令名
+|**规范格式名**
+
+|`clo.w`
+|DJ
+
+|`clz.w`
+|DJ
+
+|`cto.w`
+|DJ
+
+|`ctz.w`
+|DJ
+
+|`clo.d`
+|DJ
+
+|`clz.d`
+|DJ
+
+|`cto.d`
+|DJ
+
+|`ctz.d`
+|DJ
+
+|`revb.2h`
+|DJ
+
+|`revb.4h`
+|DJ
+
+|`revb.2w`
+|DJ
+
+|`revb.d`
+|DJ
+
+|`revh.2w`
+|DJ
+
+|`revh.d`
+|DJ
+
+|`bitrev.4b`
+|DJ
+
+|`bitrev.8b`
+|DJ
+
+|`bitrev.w`
+|DJ
+
+|`bitrev.d`
+|DJ
+
+|`ext.w.h`
+|DJ
+
+|`ext.w.b`
+|DJ
+
+|`rdtimel.w`
+|DJ
+
+|`rdtimeh.w`
+|DJ
+
+|`rdtime.d`
+|DJ
+
+|`cpucfg`
+|DJ
+
+|`asrtle.d`
+|JK
+
+|`asrtgt.d`
+|JK
+
+|`alsl.w`
+|DJKUa2
+
+|`alsl.wu`
+|DJKUa2
+
+|`bytepick.w`
+|DJKUa2
+
+|`bytepick.d`
+|DJKUa3
+
+|`add.w`
+|DJK
+
+|`add.d`
+|DJK
+
+|`sub.w`
+|DJK
+
+|`sub.d`
+|DJK
+
+|`slt`
+|DJK
+
+|`sltu`
+|DJK
+
+|`maskeqz`
+|DJK
+
+|`masknez`
+|DJK
+
+|`nor`
+|DJK
+
+|`and`
+|DJK
+
+|`or`
+|DJK
+
+|`xor`
+|DJK
+
+|`orn`
+|DJK
+
+|`andn`
+|DJK
+
+|`sll.w`
+|DJK
+
+|`srl.w`
+|DJK
+
+|`sra.w`
+|DJK
+
+|`sll.d`
+|DJK
+
+|`srl.d`
+|DJK
+
+|`sra.d`
+|DJK
+
+|`rotr.w`
+|DJK
+
+|`rotr.d`
+|DJK
+
+|`mul.w`
+|DJK
+
+|`mulh.w`
+|DJK
+
+|`mulh.wu`
+|DJK
+
+|`mul.d`
+|DJK
+
+|`mulh.d`
+|DJK
+
+|`mulh.du`
+|DJK
+
+|`mulw.d.w`
+|DJK
+
+|`mulw.d.wu`
+|DJK
+
+|`div.w`
+|DJK
+
+|`mod.w`
+|DJK
+
+|`div.wu`
+|DJK
+
+|`mod.wu`
+|DJK
+
+|`div.d`
+|DJK
+
+|`mod.d`
+|DJK
+
+|`div.du`
+|DJK
+
+|`mod.du`
+|DJK
+
+|`crc.w.b.w`
+|DJK
+
+|`crc.w.h.w`
+|DJK
+
+|`crc.w.w.w`
+|DJK
+
+|`crc.w.d.w`
+|DJK
+
+|`crcc.w.b.w`
+|DJK
+
+|`crcc.w.h.w`
+|DJK
+
+|`crcc.w.w.w`
+|DJK
+
+|`crcc.w.d.w`
+|DJK
+
+|`break`
+|Ud15
+
+|`dbcl`
+|Ud15
+
+|`syscall`
+|Ud15
+
+|`alsl.d`
+|DJKUa2
+
+|`slli.w`
+|DJUk5
+
+|`slli.d`
+|DJUk6
+
+|`srli.w`
+|DJUk5
+
+|`srli.d`
+|DJUk6
+
+|`srai.w`
+|DJUk5
+
+|`srai.d`
+|DJUk6
+
+|`rotri.w`
+|DJUk5
+
+|`rotri.d`
+|DJUk6
+
+|`bstrins.w`
+|DJUk5Um5
+
+|`bstrpick.w`
+|DJUk5Um5
+
+|`bstrins.d`
+|DJUk6Um6
+
+|`bstrpick.d`
+|DJUk6Um6
+
+|`fadd.s`
+|FdFjFk
+
+|`fadd.d`
+|FdFjFk
+
+|`fsub.s`
+|FdFjFk
+
+|`fsub.d`
+|FdFjFk
+
+|`fmul.s`
+|FdFjFk
+
+|`fmul.d`
+|FdFjFk
+
+|`fdiv.s`
+|FdFjFk
+
+|`fdiv.d`
+|FdFjFk
+
+|`fmax.s`
+|FdFjFk
+
+|`fmax.d`
+|FdFjFk
+
+|`fmin.s`
+|FdFjFk
+
+|`fmin.d`
+|FdFjFk
+
+|`fmaxa.s`
+|FdFjFk
+
+|`fmaxa.d`
+|FdFjFk
+
+|`fmina.s`
+|FdFjFk
+
+|`fmina.d`
+|FdFjFk
+
+|`fscaleb.s`
+|FdFjFk
+
+|`fscaleb.d`
+|FdFjFk
+
+|`fcopysign.s`
+|FdFjFk
+
+|`fcopysign.d`
+|FdFjFk
+
+|`fabs.s`
+|FdFj
+
+|`fabs.d`
+|FdFj
+
+|`fneg.s`
+|FdFj
+
+|`fneg.d`
+|FdFj
+
+|`flogb.s`
+|FdFj
+
+|`flogb.d`
+|FdFj
+
+|`fclass.s`
+|FdFj
+
+|`fclass.d`
+|FdFj
+
+|`fsqrt.s`
+|FdFj
+
+|`fsqrt.d`
+|FdFj
+
+|`frecip.s`
+|FdFj
+
+|`frecip.d`
+|FdFj
+
+|`frsqrt.s`
+|FdFj
+
+|`frsqrt.d`
+|FdFj
+
+|`fmov.s`
+|FdFj
+
+|`fmov.d`
+|FdFj
+
+|`movgr2fr.w`
+|FdJ
+
+|`movgr2fr.d`
+|FdJ
+
+|`movgr2frh.w`
+|FdJ
+
+|`movfr2gr.s`
+|DFj
+
+|`movfr2gr.d`
+|DFj
+
+|`movfrh2gr.s`
+|DFj
+
+|`movgr2fcsr`
+|JUd5
+
+|`movfcsr2gr`
+|DUj5
+
+|`movfr2cf`
+|CdFj
+
+|`movcf2fr`
+|FdCj
+
+|`movgr2cf`
+|CdJ
+
+|`movcf2gr`
+|DCj
+
+|`fcvt.s.d`
+|FdFj
+
+|`fcvt.d.s`
+|FdFj
+
+|`ftintrm.w.s`
+|FdFj
+
+|`ftintrm.w.d`
+|FdFj
+
+|`ftintrm.l.s`
+|FdFj
+
+|`ftintrm.l.d`
+|FdFj
+
+|`ftintrp.w.s`
+|FdFj
+
+|`ftintrp.w.d`
+|FdFj
+
+|`ftintrp.l.s`
+|FdFj
+
+|`ftintrp.l.d`
+|FdFj
+
+|`ftintrz.w.s`
+|FdFj
+
+|`ftintrz.w.d`
+|FdFj
+
+|`ftintrz.l.s`
+|FdFj
+
+|`ftintrz.l.d`
+|FdFj
+
+|`ftintrne.w.s`
+|FdFj
+
+|`ftintrne.w.d`
+|FdFj
+
+|`ftintrne.l.s`
+|FdFj
+
+|`ftintrne.l.d`
+|FdFj
+
+|`ftint.w.s`
+|FdFj
+
+|`ftint.w.d`
+|FdFj
+
+|`ftint.l.s`
+|FdFj
+
+|`ftint.l.d`
+|FdFj
+
+|`ffint.s.w`
+|FdFj
+
+|`ffint.s.l`
+|FdFj
+
+|`ffint.d.w`
+|FdFj
+
+|`ffint.d.l`
+|FdFj
+
+|`frint.s`
+|FdFj
+
+|`frint.d`
+|FdFj
+
+|`slti`
+|DJSk12
+
+|`sltui`
+|DJSk12
+
+|`addi.w`
+|DJSk12
+
+|`addi.d`
+|DJSk12
+
+|`lu52i.d`
+|DJSk12
+
+|`andi`
+|DJUk12
+
+|`ori`
+|DJUk12
+
+|`xori`
+|DJUk12
+
+|`csrxchg`
+|DJUk14
+
+|`cacop`
+|JUd5Sk12
+
+|`lddir`
+|DJUk8
+
+|`ldpte`
+|JUk8
+
+|`iocsrrd.b`
+|DJ
+
+|`iocsrrd.h`
+|DJ
+
+|`iocsrrd.w`
+|DJ
+
+|`iocsrrd.d`
+|DJ
+
+|`iocsrwr.b`
+|DJ
+
+|`iocsrwr.h`
+|DJ
+
+|`iocsrwr.w`
+|DJ
+
+|`iocsrwr.d`
+|DJ
+
+|`tlbclr`
+|EMPTY
+
+|`tlbflush`
+|EMPTY
+
+|`tlbsrch`
+|EMPTY
+
+|`tlbrd`
+|EMPTY
+
+|`tlbwr`
+|EMPTY
+
+|`tlbfill`
+|EMPTY
+
+|`ertn`
+|EMPTY
+
+|`idle`
+|Ud15
+
+|`invtlb`
+|JKUd5
+
+|`fmadd.s`
+|FdFjFkFa
+
+|`fmadd.d`
+|FdFjFkFa
+
+|`fmsub.s`
+|FdFjFkFa
+
+|`fmsub.d`
+|FdFjFkFa
+
+|`fnmadd.s`
+|FdFjFkFa
+
+|`fnmadd.d`
+|FdFjFkFa
+
+|`fnmsub.s`
+|FdFjFkFa
+
+|`fnmsub.d`
+|FdFjFkFa
+
+|`fcmp.caf.s`
+|CdFjFk
+
+|`fcmp.saf.s`
+|CdFjFk
+
+|`fcmp.clt.s`
+|CdFjFk
+
+|`fcmp.slt.s`
+|CdFjFk
+
+|`fcmp.ceq.s`
+|CdFjFk
+
+|`fcmp.seq.s`
+|CdFjFk
+
+|`fcmp.cle.s`
+|CdFjFk
+
+|`fcmp.sle.s`
+|CdFjFk
+
+|`fcmp.cun.s`
+|CdFjFk
+
+|`fcmp.sun.s`
+|CdFjFk
+
+|`fcmp.cult.s`
+|CdFjFk
+
+|`fcmp.sult.s`
+|CdFjFk
+
+|`fcmp.cueq.s`
+|CdFjFk
+
+|`fcmp.sueq.s`
+|CdFjFk
+
+|`fcmp.cule.s`
+|CdFjFk
+
+|`fcmp.sule.s`
+|CdFjFk
+
+|`fcmp.cne.s`
+|CdFjFk
+
+|`fcmp.sne.s`
+|CdFjFk
+
+|`fcmp.cor.s`
+|CdFjFk
+
+|`fcmp.sor.s`
+|CdFjFk
+
+|`fcmp.cune.s`
+|CdFjFk
+
+|`fcmp.sune.s`
+|CdFjFk
+
+|`fcmp.caf.d`
+|CdFjFk
+
+|`fcmp.saf.d`
+|CdFjFk
+
+|`fcmp.clt.d`
+|CdFjFk
+
+|`fcmp.slt.d`
+|CdFjFk
+
+|`fcmp.ceq.d`
+|CdFjFk
+
+|`fcmp.seq.d`
+|CdFjFk
+
+|`fcmp.cle.d`
+|CdFjFk
+
+|`fcmp.sle.d`
+|CdFjFk
+
+|`fcmp.cun.d`
+|CdFjFk
+
+|`fcmp.sun.d`
+|CdFjFk
+
+|`fcmp.cult.d`
+|CdFjFk
+
+|`fcmp.sult.d`
+|CdFjFk
+
+|`fcmp.cueq.d`
+|CdFjFk
+
+|`fcmp.sueq.d`
+|CdFjFk
+
+|`fcmp.cule.d`
+|CdFjFk
+
+|`fcmp.sule.d`
+|CdFjFk
+
+|`fcmp.cne.d`
+|CdFjFk
+
+|`fcmp.sne.d`
+|CdFjFk
+
+|`fcmp.cor.d`
+|CdFjFk
+
+|`fcmp.sor.d`
+|CdFjFk
+
+|`fcmp.cune.d`
+|CdFjFk
+
+|`fcmp.sune.d`
+|CdFjFk
+
+|`fsel`
+|FdFjFkCa
+
+|`addu16i.d`
+|DJSk16
+
+|`lu12i.w`
+|DSj20
+
+|`lu32i.d`
+|DSj20
+
+|`pcaddi`
+|DSj20
+
+|`pcalau12i`
+|DSj20
+
+|`pcaddu12i`
+|DSj20
+
+|`pcaddu18i`
+|DSj20
+
+|`ll.w`
+|DJSk14
+
+|`sc.w`
+|DJSk14
+
+|`ll.d`
+|DJSk14
+
+|`sc.d`
+|DJSk14
+
+|`ldptr.w`
+|DJSk14
+
+|`stptr.w`
+|DJSk14
+
+|`ldptr.d`
+|DJSk14
+
+|`stptr.d`
+|DJSk14
+
+|`ld.b`
+|DJSk12
+
+|`ld.h`
+|DJSk12
+
+|`ld.w`
+|DJSk12
+
+|`ld.d`
+|DJSk12
+
+|`st.b`
+|DJSk12
+
+|`st.h`
+|DJSk12
+
+|`st.w`
+|DJSk12
+
+|`st.d`
+|DJSk12
+
+|`ld.bu`
+|DJSk12
+
+|`ld.hu`
+|DJSk12
+
+|`ld.wu`
+|DJSk12
+
+|`preld`
+|JUd5Sk12
+
+|`fld.s`
+|FdJSk12
+
+|`fst.s`
+|FdJSk12
+
+|`fld.d`
+|FdJSk12
+
+|`fst.d`
+|FdJSk12
+
+|`ldx.b`
+|DJK
+
+|`ldx.h`
+|DJK
+
+|`ldx.w`
+|DJK
+
+|`ldx.d`
+|DJK
+
+|`stx.b`
+|DJK
+
+|`stx.h`
+|DJK
+
+|`stx.w`
+|DJK
+
+|`stx.d`
+|DJK
+
+|`ldx.bu`
+|DJK
+
+|`ldx.hu`
+|DJK
+
+|`ldx.wu`
+|DJK
+
+|`preldx`
+|JKUd5
+
+|`fldx.s`
+|FdJK
+
+|`fldx.d`
+|FdJK
+
+|`fstx.s`
+|FdJK
+
+|`fstx.d`
+|FdJK
+
+|`amswap.w`
+|DJK
+
+|`amswap.d`
+|DJK
+
+|`amadd.w`
+|DJK
+
+|`amadd.d`
+|DJK
+
+|`amand.w`
+|DJK
+
+|`amand.d`
+|DJK
+
+|`amor.w`
+|DJK
+
+|`amor.d`
+|DJK
+
+|`amxor.w`
+|DJK
+
+|`amxor.d`
+|DJK
+
+|`ammax.w`
+|DJK
+
+|`ammax.d`
+|DJK
+
+|`ammin.w`
+|DJK
+
+|`ammin.d`
+|DJK
+
+|`ammax.wu`
+|DJK
+
+|`ammax.du`
+|DJK
+
+|`ammin.wu`
+|DJK
+
+|`ammin.du`
+|DJK
+
+|`amswap_db.w`
+|DJK
+
+|`amswap_db.d`
+|DJK
+
+|`amadd_db.w`
+|DJK
+
+|`amadd_db.d`
+|DJK
+
+|`amand_db.w`
+|DJK
+
+|`amand_db.d`
+|DJK
+
+|`amor_db.w`
+|DJK
+
+|`amor_db.d`
+|DJK
+
+|`amxor_db.w`
+|DJK
+
+|`amxor_db.d`
+|DJK
+
+|`ammax_db.w`
+|DJK
+
+|`ammax_db.d`
+|DJK
+
+|`ammin_db.w`
+|DJK
+
+|`ammin_db.d`
+|DJK
+
+|`ammax_db.wu`
+|DJK
+
+|`ammax_db.du`
+|DJK
+
+|`ammin_db.wu`
+|DJK
+
+|`ammin_db.du`
+|DJK
+
+|`dbar`
+|Ud15
+
+|`ibar`
+|Ud15
+
+|`fldgt.s`
+|FdJK
+
+|`fldgt.d`
+|FdJK
+
+|`fldle.s`
+|FdJK
+
+|`fldle.d`
+|FdJK
+
+|`fstgt.s`
+|FdJK
+
+|`fstgt.d`
+|FdJK
+
+|`fstle.s`
+|FdJK
+
+|`fstle.d`
+|FdJK
+
+|`ldgt.b`
+|DJK
+
+|`ldgt.h`
+|DJK
+
+|`ldgt.w`
+|DJK
+
+|`ldgt.d`
+|DJK
+
+|`ldle.b`
+|DJK
+
+|`ldle.h`
+|DJK
+
+|`ldle.w`
+|DJK
+
+|`ldle.d`
+|DJK
+
+|`stgt.b`
+|DJK
+
+|`stgt.h`
+|DJK
+
+|`stgt.w`
+|DJK
+
+|`stgt.d`
+|DJK
+
+|`stle.b`
+|DJK
+
+|`stle.h`
+|DJK
+
+|`stle.w`
+|DJK
+
+|`stle.d`
+|DJK
+
+|`beqz`
+|JSd5k16
+
+|`bnez`
+|JSd5k16
+
+|`bceqz`
+|CjSd5k16
+
+|`bcnez`
+|CjSd5k16
+
+|`jirl`
+|DJSk16
+
+|`b`
+|Sd10k16
+
+|`bl`
+|Sd10k16
+
+|`beq`
+|DJSk16
+
+|`bne`
+|DJSk16
+
+|`bgt`
+|DJSk16
+
+|`ble`
+|DJSk16
+
+|`bgtu`
+|DJSk16
+
+|`bleu`
+|DJSk16
+|===
diff --git a/docs/README-CN.adoc b/docs/README-CN.adoc
index 9f62768..3678fd2 100644
--- a/docs/README-CN.adoc
+++ b/docs/README-CN.adoc
@@ -46,6 +46,9 @@
 * 龙芯架构 SMBIOS 规范：该文档定义了龙芯架构处理器附加信息，是 SMBIOS 结构 type 44 的补充。本文档仅提供 *英文版*。
 ** link:LoongArch-Processor-SMBIOS-Spec-EN.html[HTML 版本]。
 
+* 龙芯架构指令格式约定：该文档面向需要处理 LoongArch 机器语言的项目、开发者，介绍了龙芯架构指令格式、操作数槽的统一命名约定。
+** link:LoongArch-instruction-format-conventions-CN.html[HTML 版本]。
+** link:LoongArch-instruction-format-conventions-CN.pdf[PDF 版本]。
 
 [[getting-start]]
 == 开始