[1/3] RISC-V 指令集的一个特点就是它的 32 位和 64 位版本是同时设计的,64 位指令集并不是通过扩展 32 位指令集得到的,64 位处理器也不要求可以区分和执行 32 位的指令(编码后可能是一样的),而是额外添加了几条处理 32 位数据的指令。这就确保了一个 “纯” 64 位实现在软硬件实现上最简,没有像 x86 和 ARM 那样的历史包袱。
https://postimg.cc/WFtNMN56
豆腐脑不是豆腐花:伞哥都自己接指令集了,有打算试将 hol 定理证明器前段语言生成 llvm ir 中间语言吗,这样就可以用 llvm 后端的工具链了,不知道是不是可以减少些工作量。
Please Login to reply.
田春冰河
:PolyML 的字节码模式也许以后可以改为 LLVM IR,然后用 LLVM 的 JIT 加速执行吧。但我手搓 RISC-V 应该是最快的道路。