五.为CPU0体系结构创建LLVM后端(4)

本文介绍了为CPU0架构创建LLVM后端的过程,重点关注DAG优化和指令选择阶段。DAG表示法用于表示基本块,优化包括常见表达式删除。编译器通过匹配IR DAG与机器指令DAG实现指令选择,如ADDiu指令的转换。此外,文章提及了如何处理浮点运算如fmadd,并提供了IR和机器码转换的示例。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

1.DAG(Directed Acyclic Graph)

许多重要的局部优化技术都是从将基本块转换为DAG[15]开始的。例如,基本的代码块,对应的DAG如图9所示。

                           

如果b不在块退出时活动,那么我们可以执行“common expression remove”,如下表所示。

删除b后,从底部到顶部遍历DAGs(按深度优先顺序搜索遍历二叉树),得到上表第一列。

可以想象,“公共表达式删除”可以应用于IR或机器码中。

DAG类似于一个树,其中操作码是节点,操作数(寄存器和const/immediate/offset)是叶子。它也可以用list表示为树中的前缀顺序。例如,(+ b, c), (+ b, 1)是IR DAG表示。

除了DAG优化之外,编译器书籍[15]的8.5.5节还提到了“kill”寄存器。该优化方法也应用于llvm的实现。

 

2.Instruction Selection

后台的主要功能是在指令选择阶段将IR代码转换为机器码,如图10所示。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值