LLVM后端怎么表示寄存器别名和子寄存器

星辰同学_6003

星辰同学_6003

2026-10-06

713人浏览

原创

寄存器别名用 aliases 字段声明物理重叠关系,子寄存器用 subregs 和 subregindices 显式定义包含关系;二者语义不同,分配器处理逻辑迥异,需双向声明别名、正确配置子寄存器索引并重新运行 llvm-tblgen 生效。

llvm后端怎么表示寄存器别名和子寄存器

寄存器别名用 Aliases 字段声明,不是字符串匹配

别名(alias)在 LLVM TableGen 中指**物理重叠的寄存器**,即读写其中一个会隐式影响另一个。它和汇编名(AsmName)或备用名(AltNames)完全不同——后者只是命名变体,不带语义约束。

正确做法是在 Register 实例中显式设置 Aliases 列表:

def AL : X86Reg {
  let Aliases = [AX, EAX, RAX];
}

常见错误包括:

  • 把 AltNames = ["al"] 误当作别名,这只会让调试器或汇编器识别别名字符串,不影响寄存器分配逻辑
  • 漏写双向别名:若 AL 别名 AX,则 AX 的 Aliases 也应包含 AL,否则寄存器分配器可能在 spill/reload 时破坏值
  • 在 SubRegs 里混入非子集寄存器(如把 RAX 加进 AL.SubRegs),这会触发 TableGen 编译失败

SubRegs 描述物理包含关系,需配合 SubRegIndices

子寄存器(sub-register)表示一个寄存器能被拆分为更小的、地址连续的物理部分,比如 RAX 包含 EAX(低 32 位)、AX(低 16 位)、AL(低 8 位)。这种关系必须用 SubRegs 显式声明,并通过 SubRegIndices 指定每个子寄存器的偏移索引。

典型写法:

Viral Video
Viral Video

一款基于AI的文字转视频创作工具,可将文字创意快速转化为适合社交媒体传播的视频内容和短视频素材。

下载
def RAX : X86Reg {
  let SubRegIndices = [sub_32, sub_16, sub_8];
}

关键点:

  • SubRegs 列表只放“直接子寄存器”,不递归展开(RAX.SubRegs 含 EAX,但不含 AL;EAX.SubRegs 才含 AX 和 AL)
  • SubRegIndices 必须与 SubRegs 一一对应,且索引定义(如 sub_8)需提前在 .td 文件中用 class SubRegIndex 声明
  • 缺失 SubRegIndices 会导致后端生成的 XXXGenRegisterInfo.inc 中无法正确构建子寄存器映射,寄存器分配器在处理截断操作(如 trunc i64 to i32)时可能选错物理寄存器

别名和子寄存器在寄存器分配阶段行为不同

LLVM 寄存器分配器(如 Greedy RA)对二者处理逻辑完全不同:

  • 遇到 Aliases:将所有别名寄存器视为同一“物理位置”的多个视图,分配时互斥(不能同时给 AL 和 AH 分配不同值),spill 时整个别名组一起落栈
  • 遇到 SubRegs:支持分片分配(如给 RAX 高 32 位分配一个值、低 32 位分配另一个),但要求指令明确使用 subreg 操作符(如 EXTRACT_SUBREG RAX, sub_32)
  • 混淆二者会导致 LiveInterval 分析出错:例如把 AL 和 AH 设为 SubRegs 而非 Aliases,分配器会认为它们可共存,实际硬件上却共享同一字节,引发静默数据污染

验证是否生效:看生成的 XXXGenRegisterInfo.h.inc

TableGen 编译后,最终逻辑落在 XXXGenRegisterInfo.h.inc 里。检查以下函数是否按预期生成:

  • getSubReg:传入主寄存器 ID 和 SubRegIndex,返回子寄存器 ID —— 若没定义 SubRegIndices,该函数返回 0(无效)
  • getAliasSet:返回该寄存器所属别名组的首寄存器 ID —— 若 Aliases 为空或未双向声明,别名组大小为 1
  • isSubRegister / isSuperRegister:用于判断寄存器层级关系,调试时可用这些函数快速确认拓扑是否符合硬件手册

最易被忽略的是:修改 .td 后必须重新运行 llvm-tblgen 并 rebuild 后端,仅改 C++ 实现不触发别名/子寄存器逻辑更新。

相关文章

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

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

下载

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

相关专题

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

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

2023.08.11

2283

5

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

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

2024.03.19

6030

13

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

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

2024.03.19

5366

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

80

12

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

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

2026.09.30

60

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

热门下载

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

精品课程

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