LLVM后端怎么用TableGen定义指令格式

阿磊小哥_9834

阿磊小哥_9834

2026-09-28

110人浏览

原创

llvm后端指令通过tablegen的class抽象通用结构,如myinst类封装操作数、编码、汇编模板与dag模式;用multiclass+defm生成寄存器/立即数变体;pattern需严格匹配类型与语法,否则指令选择失效;.td修改后须手动触发构建并验证cmake配置与路径。

llvm后端怎么用tablegen定义指令格式

怎么用 class 定义指令的通用结构

LLVM 后端中,指令格式不是逐条硬编码的,而是通过 class 抽象出共性:操作数类型、编码位宽、汇编字符串模板、DAG 模式匹配骨架等。最常见的是继承自 Instruction 的类,比如:

class MyInst<dag outs dag ins string asmstr list> pattern, Format f>
  : Instruction<outs ins asmstr pattern> {
  let Size = 4;
  let Form = f;
  bits Inst;
  let Inst{31-26} = 0x2a; // opcode field
}</outs></dag>

注意三点:
– dag outs/ins 必须显式声明,否则生成的 XXXGenInstrInfo.inc 里缺操作数信息,导致指令选择失败;
– Format 是自定义枚举(常定义在 MyArch.td 顶部),它最终会映射到 XXX::Form 枚举值,供 getFormat() 调用;
– let Inst{...} = ... 这种位域赋值语法只在 TableGen 中合法,C++ 后端不识别,别误当 C++ 写。

def 实例化时怎么处理寄存器 vs 立即数变体

同一语义的指令(如 ADD)常有多个编码形式:ADDrr(寄存器-寄存器)、ADDri(寄存器-立即数)。直接写多个 def 易重复,推荐用 multiclass + defm:

multiclass AddInst<string opc registerclass rc> {
  def rr : MyInst;
  def ri : MyInst;
}
defm ADD : AddInst;</string>

关键点:
– i32imm 是预定义的 Operand 类,不是随便写的字符串,拼错会导致 llvm-tblgen 报 Unknown type 'i32imm';
– !strconcat 里不能有空格或换行,否则汇编字符串生成异常;
– defm ADD 展开后实际生成 ADDrr 和 ADDri 两个 def,名字是拼接出来的,别手动再写一遍 def ADDrr,否则重复定义报错。

蛙蛙写作——超级AI智能写作助手
蛙蛙写作——超级AI智能写作助手

一款AI视频创作工具,主要用于蛙蛙写作辅助AI写文,帮助获取创意灵感,提供拆书、小说转剧本、视频生成等功能,是一款功能全面的AI智能写作工具,适合需要提升相关任务效率的用户。

下载

为什么 Pattern 写错会导致指令选择完全跳过

Pattern 字段决定该指令能否被 DAG 匹配器选中。常见失效原因:

  • RC:$rs1 中的 RC 必须和 ins 声明中的寄存器类完全一致,大小写敏感,gpr ≠ GPR;
  • 使用 (add ...) 时,左侧必须是 ValueType(如 i32),不能漏写,(add $a, $b) 无效,得写成 (add i32:$a, i32:$b);
  • 立即数模式必须用 imm:$imm 或 i32imm:$imm,不能只写 $imm,否则匹配器找不到对应 operand;
  • 若指令需特殊合法化(如大立即数拆分),Pattern 里不能强行匹配,得配合 ComplexPattern 或后端 custom lowering。

验证方式:运行 llvm-tblgen MyArch.td -print-records | grep -A5 ADDrr,检查输出中 Pattern 字段是否按预期展开,有没有 UNDEF 或空值。

生成的 XXXGenInstrInfo.inc 里没看到你定义的指令?

这通常不是 TableGen 语法错误,而是构建系统未触发重生成。LLVM 不会自动监听 .td 文件变更:

  • 修改 MyArch.td 后,必须显式重新运行 make 或 ninja,且确保目标是 MyArchCodeGen 或全量构建;
  • 检查 lib/Target/MyArch/CMakeLists.txt 是否包含 add_llvm_target(MyArchCodeGen ...),漏掉这句,llvm-tblgen 根本不会被调用;
  • 临时验证:手动执行 llvm-tblgen MyArch.td -I /path/to/llvm/include -I /path/to/llvm/lib/Target -o MyArchGenInstrInfo.inc,看输出文件是否含你定义的 ADDrr 枚举值;
  • 如果手动命令能生成但构建系统不生效,大概率是 CMakeLists.txt 里 tablegen 规则路径写错了,比如 -I 缺少 include 目录,导致 #include "MyArchGenInstrInfo.inc" 在编译时报找不到文件。

TableGen 的“定义即实现”是假象——它只负责生成代码,不保证这些代码被编译进后端。路径、依赖、CMake 配置,三者缺一不可。

相关文章

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

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

下载

相关标签:

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

相关专题

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

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

2023.08.11

2143

5

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

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

2024.03.19

5750

13

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

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

2024.03.19

5046

10

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

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

2026.09.23

140

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

60

15

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

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

2026.09.22

40

12

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

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

2026.09.22

60

13

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

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

2026.09.22

40

19

热门下载

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

精品课程

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