[1/3] 开始移植 HOL 定理证明器背后的 PolyML 到 RISC-V 64 处理器。我先读了一遍现有的 ARM64 支持代码，再简单看了下 X86 的相关代码，再复习了一遍 RISC-V 指令集手册，然后再确认了一下 ARM64 指令集文档，最后信心十足地写下了肯定正确的这些代码（完成度大约百分之一）。感觉跟 RISC-V 相比，ARM 指令集设计得太啰嗦了，根本不配叫精简指令集。