LLVM后端怎么添加汇编解析支持

轻晨小哥_3214

轻晨小哥_3214

2026-10-05

673人浏览

原创

必须实现mctargetasmparser子类:在目标目录建asmparser/子目录,添加继承该类的xxxasmparser.cpp;需重写parseinstruction(拆token为操作数)和matchandemitinstruction(调用tablegen生成的matcher匹配并填充mcinst);须包含get_assembler_header和对应.inc头文件;须在cmakelists.txt中加入源文件,并在末尾实现llvminitializexxxasmparser注册函数。

llvm后端怎么添加汇编解析支持

怎么给 LLVM 后端加 AsmParser(汇编解析器)

LLVM 后端要支持从汇编文本生成 MCInst,必须实现一个 MCTargetAsmParser 子类。这不是可选的“锦上添花”,而是启用 llvm-mc -assemble 或 llc -filetype=asm 输出可重汇编代码的前提。没它,.s 文件直接报错 error: unknown token in expression。

  • 在目标目录(如 lib/Target/RISCVN/)下新建 AsmParser/ 子目录
  • 创建 RISCVNAsmParser.cpp,继承 MCTargetAsmParser,重写 ParseInstruction 和 MatchAndEmitInstruction
  • 必须包含 #define GET_ASSEMBLER_HEADER 和 #include "RISCVNGenAsmMatcher.inc" —— 这些由 TableGen 自动生成,漏掉就无法识别指令助记符
  • 在 CMakeLists.txt 中把该文件加入 add_llvm_target 的源列表,否则编译时不会链接进去

ParseInstruction 里到底要干啥

ParseInstruction 是汇编解析的入口,负责把当前 token 流(比如 addi x1, x2, 42)拆成操作数对象 MCParsedAsmOperand,并验证语法合法性。它不负责语义匹配,只管“是不是合法字符串”。常见坑:

  • 没调用 getLexer().Lex() 推进 token,导致无限循环或跳过后续指令
  • 对立即数、寄存器名等操作数类型不做范围检查(比如 RISC-V 的 imm[11:0]),留到 MatchAndEmitInstruction 再报错,用户看到的是模糊的 invalid operand for instruction
  • 忽略大小写处理:RISC-V 规范允许 ADDI 和 addi,但默认 lexer 区分大小写,需在 AsmParser 构造函数中调用 setParsingInlineAsm(true) 并手动 normalize

MatchAndEmitInstruction 怎么把操作数变成 MCInst

这一步才是真正做指令匹配和编码。LLVM 期望你在这里调用 MatchInstructionImpl(由 TableGen 生成的 RISCVNGenAsmMatcher.inc 提供),传入解析好的 MCParsedAsmOperand 数组。关键点:

灵珠AI
灵珠AI

一款AI开发辅助工具,主要用于零代码AI应用创作平台,适合需要提升相关任务效率的用户。

下载
  • 必须把 MCParsedAsmOperand 转成目标后端能理解的内部表示(如 RISCVNOperand),再喂给 matcher;直接传原始 operand 会触发断言失败
  • matcher 返回 Match_Success 时,你要调用 inst.addOperand() 显式填充 MCInst 的操作数字段,不能只依赖 matcher 的副作用
  • 遇到 Match_MnemonicFail 或 Match_InvalidOperand,必须返回对应错误码,否则 llvm-mc 会静默跳过该行
  • 自定义伪指令(如 .option push)不能走 matcher 流程,得在 ParseInstruction 里提前拦截并调用 getStreamer().emitXXX()

为什么 llvm-mc -arch=riscvn 还是报错 unknown target

即使 AsmParser 编译进去了,llvm-mc 仍不认识你的目标,大概率是注册环节断了。LLVM 用 TargetRegistry 动态绑定,缺一不可:

  • 在 RISCVNAsmParser.cpp 末尾,必须有 extern "C" LLVM_EXTERNAL_VISIBILITY void LLVMInitializeRISCVNAsmParser(LLVMOpaqueTarget*) 函数
  • 该函数内必须调用 RegisterMCAsmParser<riscvnasmparser>(T, X86_64);</riscvnasmparser> —— 注意第二个参数是 Triple::riscvn 对应的枚举值,不是字符串
  • 确保 LLVMInitializeRISCVNTargetInfo、LLVMInitializeRISCVNTarget、LLVMInitializeRISCVNAsmPrinter 全部被调用,缺一个都会导致 llvm-mc 初始化失败

最容易被忽略的是 TableGen 生成时机:改完 .td 文件后必须重新运行 cmake --build . --target RISCVNCommonTableGen,否则 RISCVNGenAsmMatcher.inc 不更新,MatchAndEmitInstruction 永远匹配不到新指令。

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
python是前端还是后端
python是前端还是后端

Python属于前端也属于后端,其灵活性和丰富的生态系统使得开发人员能够在不同的领域中灵活运用。本专题为大家提供python相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.11

2283

5

前端和后端的区别
前端和后端的区别

前端关注的是用户界面的设计和交互,而后端则注重数据处理和逻辑控制。想了解更多前端后端的相关内容,可以阅读本专题下面的文章。

2024.03.19

6010

13

后端的主要工作内容介绍
后端的主要工作内容介绍

后端是应用程序的服务端部分,负责核心任务,如数据库交互、业务逻辑处理和响应客户端请求。想了解更多后端的相关内容,可以阅读本专题下面的文章。

2024.03.19

5346

10

LLVM自定义Pass怎么写
LLVM自定义Pass怎么写

本专题聚焦LLVM自定义Pass开发,整理Pass类结构、run()方法、PreservedAnalyses、CMake构建、插件注册、-load-pass-plugin加载和测试用例编写流程。

2026.09.30

80

10

LLVM RISC-V参数配置教程
LLVM RISC-V参数配置教程

本专题介绍LLVM对RISC-V基础ISA和扩展的支持方式,涵盖RV32、RV64、标准扩展、实验性扩展、厂商扩展、-menable-experimental-extensions和版本差异。

2026.09.30

80

14

LLVM IR中间表示入门指南
LLVM IR中间表示入门指南

本专题整理LLVM IR的核心概念,包括中间表示作用、模块结构、函数、基本块、SSA形式、类型系统和常见语法,帮助新手理解LLVM编译流程中的关键层。

2026.09.30

40

12

PDF转图片方法
PDF转图片方法

需要把 PDF 页面用于上传、预览、分享或图片归档时,PDF 转图片方法专题整理 JPG/PNG 格式选择、逐页导出、清晰度设置、批量下载和结果检查等流程,帮助用户稳定完成 PDF 图片化处理。

2026.09.30

40

26

PixTV AI视频生成与无限画布创作
PixTV AI视频生成与无限画布创作

PixTV专题整理AI视频与视觉内容创作相关功能使用教程,涵盖AI生图、视频生成、无限画布、多模型创作、素材管理、声音音乐及视频剪辑等功能,帮助用户快速掌握PixTV从创意到成片的完整制作方法。

2026.09.29

60

15

Buffalo框架数据库开发全教程
Buffalo框架数据库开发全教程

本专题围绕Buffalo框架数据库开发,讲解database.yml多环境配置、soda与fizz迁移生成回滚、模型结构体标签、增删改查与条件查询、一对多与多对多关联、数据校验、回调钩子、事务处理及原生SQL执行能力。

2026.09.23

280

15

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程