LLVM后端怎么实现汇编输出

老晨大大_3300

老晨大大_3300

2026-09-29

115人浏览

原创

asmprinter是独立的machinefunctionpass,仅将已调度和分配寄存器的machineinstr序列转换为汇编文本,不参与优化决策,需手动实现printinstruction或lowermachineinstrtomcinst。

llvm后端怎么实现汇编输出

汇编输出由 AsmPrinter 类负责,不是指令选择或寄存器分配的副产品

很多人误以为只要把指令选出来、寄存器分好,汇编就自然出来了。其实不然:AsmPrinter 是一个独立的 MachineFunctionPass,它只读取已调度、已分配寄存器的 MachineInstr 序列,不参与任何优化决策。它的唯一职责是把每条 MachineInstr 映射成人类可读(或汇编器可解析)的文本行。

常见错误现象:

  • 修改了 XXXInstrInfo.cpp 里的指令定义,但 .s 文件里还是老格式 —— 因为没碰 XXXAsmPrinter.cpp
  • 新增指令在 llc -march=xxx 下能生成机器码,却不出现在汇编里 —— 很可能漏写了 printInstruction 或没注册到 XXXMCInstLower

关键点:

  • AsmPrinter 不处理 IR、不理解 SDNode,只消费 MachineInstr*
  • 每条指令的文本格式必须在 printInstruction 中显式拼接,不能依赖 TableGen 自动生成(除非你用 MCInst + MCAsmStreamer 路径)
  • 寄存器名、立即数格式、注释、段指令(如 .text, .data)全靠你在 printXXX 函数里手写逻辑

MCInst 和 MachineInstr 的映射关系决定汇编是否可重汇编

如果你希望生成的汇编能被 GNU as 或 LLVM llvm-mc 正确反向解析(即支持 round-trip),就必须走 MCInst 路径:在 AsmPrinter 里调用 lowerMachineInstrToMCInst,把 MachineInstr 转成 MCInst,再交给 MCStreamer 输出。

使用场景:

  • 目标平台已有成熟汇编语法(如 RISC-V 的 add t0, t1, t2),且需兼容现有工具链 → 必须走 MCInst
  • 仅用于调试或内部仿真,不需要被第三方汇编器识别 → 可直接在 printInstruction 里 printf 风格输出

容易踩的坑:

Petalica Paint
Petalica Paint

一款利用AI为线稿自动上色的在线绘图工具,可快速为黑白草图添加自然配色并辅助完善画面效果。

下载
  • MCInst 中的 operand 类型(MCOperand::createReg() vs createImm())必须和 TableGen 中定义的 OperandType 严格一致,否则 llvm-mc -assemble 会报 invalid operand
  • 自定义指令的 immediate 范围检查(如 12-bit 符号扩展)必须在 MCInstLowering 阶段做,不能等到汇编器报错
  • MCAsmInfo 里控制的语法细节(如注释符 # 还是 ;、寄存器前缀 % 还是 $)会影响下游工具兼容性,改完要同步测试 llvm-mc -filetype=obj

TableGen 生成的汇编模板只覆盖基础指令,自定义指令得手动补全

LLVM 的 *InstrInfo.td 文件通过 AssemblerMatcher 和 DisassemblerDecoder 机制能自动生成部分汇编语法,但这套机制默认只覆盖标准指令集(如 RISC-V 的 ADD, LW)。你加的 MY_CUSTOM_OP 不会自动获得 .td 级别的汇编支持。

实操建议:

  • 在 XXXInstrInfo.td 中为自定义指令显式添加 let AssemblerPredicate = ... 和 let DecoderNamespace = ...,否则 llvm-mc 无法识别该助记符
  • 如果指令带特殊约束(如要求源寄存器和目标寄存器不能相同),必须在 AsmParser 的 ParseInstruction 实现里做语义检查,TableGen 做不了这事
  • 不要指望 def : InstAlias 能绕过底层支持 —— 别名只是语法糖,最终仍要落到真实指令的 MCInst 构造逻辑上

性能影响很小,但调试成本高:没配好 AsmParser 时,llvm-mc 报错信息往往只说 unknown token,得翻 XXXAsmParser.cpp 里的 token 匹配顺序才能定位。

调试汇编输出问题,优先看 llc -debug-only=asmprinter 和 IR → MachineInstr 日志

最有效的调试方式不是改完代码就跑 llc -o test.s,而是让 LLVM 自己“说话”:

  • llc -debug-only=asmprinter:打印 AsmPrinter 每次调用 printInstruction 的输入 MachineInstr 内容,确认指令是否真的传到了这一步
  • llc -print-machineinstrs:输出从 SelectionDAG 合法化后到寄存器分配完成的所有 MachineInstr,验证你的指令有没有在早期就被优化掉或替换成其他指令
  • 对比 llc -march=xxx -O0 和 -O2 的输出差异 —— 有些指令在优化后会被 InstructionCombining pass 合并或消除,根本不会走到 AsmPrinter

容易被忽略的地方:汇编输出是否正确,不只取决于 AsmPrinter,还卡在更上游的指令合法性判定(isLegalToCall)、DAG 合法化(LegalizeTypes)、甚至前端 builtin 是否被正确 lowering 成 intrinsic。所以看到汇编缺失,先查日志里有没有 Skipping instruction: MY_CUSTOM_OP 这类提示。

相关文章

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

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

下载

相关标签:

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

相关专题

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

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

2023.08.11

2163

5

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

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

2024.03.19

5770

13

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

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

2024.03.19

5066

10

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

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

2026.09.23

180

15

Buffalo框架路由与请求处理实操指南
Buffalo框架路由与请求处理实操指南

本专题讲解Buffalo框架路由与请求处理机制,涵盖路由注册与分组、资源路由、Handler编写规范、Context上下文方法、参数绑定、中间件编写挂载、Session与Cookie读写、Flash消息及错误页面定制方法。

2026.09.23

80

15

Buffalo框架零基础入门教程
Buffalo框架零基础入门教程

本专题整理Buffalo框架入门内容,涵盖Go环境准备、buffalo CLI安装、新项目生成、目录结构说明、dev热加载启动、数据库连接配置与常见报错排查,帮助新手按约定优于配置的思路跑通第一个Buffalo框架应用。

2026.09.23

80

15

Conan创建软件包配方指南
Conan创建软件包配方指南

本专题介绍通过conanfile.py创建软件包的方法,讲解包名、版本、依赖和构建设置等基础信息,以及source、build、package、package_info等常用方法的作用及编写思路。

2026.09.22

60

12

Conan二进制包配置指南
Conan二进制包配置指南

本专题介绍Conan根据操作系统、编译器、架构和构建类型生成二进制包的方法,讲解Profile、Settings、Options及Package ID的作用,帮助管理不同平台和编译环境下的包版本。

2026.09.22

60

13

Conan私有仓库搭建教程
Conan私有仓库搭建教程

本专题系统的讲解Conan私有仓库的搭建流程,涵盖仓库服务部署、存储目录配置、用户认证、权限划分和远程地址添加,并介绍内部C++依赖包的上传、下载及版本维护方法。

2026.09.22

60

19

热门下载

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

精品课程

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