从嵌套表达式谈抽象语法树（AST）到平台无关中间指令（IR）的翻译过程（线性化）

最新推荐文章于 2025-11-14 09:10:13 发布
原创 最新推荐文章于 2025-11-14 09:10:13 发布 · 3.5k 阅读 · 2 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#编译器原理 #中间指令 #线性化 #图归约 #SSA

本文介绍了从嵌套表达式的抽象语法树（AST）到平台无关中间指令（IR）的翻译过程，特别是线性化的概念。通过算术表达式示例，对比了两种转换方法：从左到右和优先处理括号内的表达式。文章强调了数据依赖图在生成IR序列中的作用，并讨论了SSA形式和虚拟寄存器的概念。最后，提到了IR到硬件指令映射的挑战，但未深入探讨。

从嵌套表达式谈抽象语法树（AST）到平台无关中间指令（IR）的翻译过程（线性化）


#一些想到的东西：

## 要掌握编译器前端Parser的语法解析是怎么回事，不需要用完整的C语言系的字符串，只要考虑带括号的数学中缀表达式怎么处理就行了。

## 这之间，关键的3点需要掌握：

（1）怎么写一个算符优先、递归下降的BNF文法

（2）怎么处理优先级和结合性的问题

## 前端Parser存在性能的好坏么？这个是依据函数的调用/回溯个数来做判断（递归下降的思路），还是根据空间占用？（LR系的语法解析会有这个问题）

最低0.47元/天 解锁文章
搜索引擎中的公式表达式分词
AI天才研究院
05-05 717
在学术搜索和专业领域搜索中，数学公式的检索一直是一个技术难点。传统搜索引擎主要针对自然语言文本进行优化，而数学公式作为一种特殊的"语言"，需要专门的分词和处理技术。公式表达式的特点分析专用分词算法的设计原理数学符号的语义理解实际搜索引擎中的实现方案介绍公式分词的基本概念和背景分析公式表达式的结构特点详细讲解公式分词的核心算法展示数学模型和理论依据提供Python实现案例探讨实际应用场景和优化方向公式表达式分词：将连续的数学公式字符串分解为有意义的符号和结构单元的过程。
hive遍历_Hive解析流程-抽象语法树生成
weixin_39627697的博客
12-01 1093
HiveQL解析流程：Hive根据Antlr定义的词法、语法规则完成词法、语法分析将HQL解析为AST Tree；遍历AST Tree，抽象出查询的基本组成单元Query Block；遍历Query Block解析为操作树Operator Tree(即，逻辑执行计划)；逻辑优化器进行操作树变换，合并多余的ReduceSinkOperator，减少shuffle；遍历Operator Tree，将操...
自制脚本语言（10） 抽象语法树AST与三地址线性IR
nklofy的专栏
04-12 2657
摘要：介绍了自制语言YFlang的AST及IR表示
为AST类定义IR代码的生成
rv0p111
06-19 3284
上次说到的是现在所有的必要的信息都是存储在AST这一个数据结构当中，下一个阶段就是从AST中生成的LLVM IR在代码的生成的过程当中，我们可以去使用LLVM的API，通过内建的API可以生成预定义格式的LLVM IR 我们需要在BaseAST类和其的子类当中去添加Codegen函数，因为我们需要去生成其的中间表示形式的代码，其中在有些子类当中的Codegen函数的返回值是LLVM Va...
掌握CSSTree AST遍历：从基础到高级优化技术
最新发布
gitblog_00203的博客
11-14 268
你是否还在为CSS代码分析、转换效率低下而困扰？作为前端开发者，处理复杂样式表时，精准定位和修改CSS规则往往耗费大量精力。CSSTree提供的AST（抽象语法树）遍历技术，通过高效的节点遍历机制，让CSS代码的静态分析、自动修复和按需转换变得简单。本文将系统讲解CSSTree AST遍历的核心原理、高级技巧与实战案例，帮助你从入门到精通这一强大工具。读完本文，你将能够： - 熟练运用walk A
HNU-编译原理-实验4-cminus-f语言（由AST生成IR）
wolf的博客
01-16 1966
1. 阅读[cminus-f 的语义规则](../common/cminusf.md)，助教将按照语义实现程度进行评分 2. 阅读[LightIR 核心类介绍](../common/LightIR.md) 3. 阅读实验框架，理解如何使用框架以及注意事项 4. 修改 `src/cminusfc/cminusf_builder.cpp` 来实现自动 IR 产生的算法，使得它能正确编译任何合法的 cminus-f 程序 5. 在 `report.md` 中解释该设计，遇到的困难和解决方案
抽象语法树（AST）
weixin_37722222的博客
08-14 493
Javascript就像一台精妙运作的机器，我们可以用它来完成一切天马行空的构思。 我们对javascript生态了如指掌，却常忽视javascript本身。这台机器，究竟是哪些零部件在支持着它运行？ AST在日常业务中也许很难涉及到，但当你不止于想做一个工程师，而想做工程师的工程师，写出vue、react之类的大型框架，或类似webpack、vue-cli前端自动化的工具，或者有批量修改源码...
源码, AST, IR, CFG之间的关系梳理
hwxiaozhi的博客
10-07 1976
在上一篇文章“”中，有提到SAST代码检查工具里编译过程会经历哪些阶段，里面有提到：一般来说，完整的编译过程会经历：对源代码进行词法、语法、语义的分析，生成AST，接着转换为IR，生成CFG，对数据流进行分析、优化，生成目标代码。总结一下就说是源码 > AST > IR > CFG 这么个逻辑顺序，那它们三之间是怎么个依赖关系呢？本文尝试来梳理下。
Treelac：可编译的树结构编程语言
这意味着语言的语法设计天然契合树形层级关系，避免了从文本到AST的复杂解析过程，极大简化了编译器前端的工作量，并提高了语法的清晰度与一致性。 进一步分析标签内容：“Treelac, 树语言, 可编译, 编程语言, 树...
C-语言编译器实现：词法到代码生成的完整流程
不过从标签中的“中间代码”来看，可能存在一个中间代码生成环节，先将AST转换为三地址码或其他线性中间表示，再进一步映射到具体平台的汇编指令集（如x86或MIPS）。中间代码有助于优化和跨平台移植。代码生成器需要...
编译原理基础知识：词法分析与语法分析概述
中间代码生成阶段则将语法树转化为一种与具体机器无关的中间表示（Intermediate Representation, IR），常见的形式有三地址码、抽象语法树（AST）、控制流图（CFG）等，便于后续进行统一优化。 后端主要承担与目标...
语法树到中间代码
aaasssdddd96的博客
06-20 554
把源程序扫描进语法树后，怎么继续转化成中间代码呢?把分支语句的继续转化成条件表达式计算和goto语句: 把循环语句的继续转化成条件表达式计算和goto语句: 其他几个分支和循环的变体，也同法转化。这样就得到了只包含表达式计算和goto的顺序语句。因而语法树退化成线性结构： 内容只剩下表达式和goto，计算的时候，每条语句只有两种状态：要么正在执行，要么不在执行，不再出现语句挂起，递归执行内层语句的情况。这样就可以采用数组存储。数组存储的显著优点是可以随机跳转，跳转没有搜索开销。最后复合表达式再分解为基本表达
python详解（面向IR）
weixin_45445291的博客
04-13 1333
python详解（面向IR） 在解决IR相关问题时，我们首先面临的是读取操作； python读取文件： with open("file.txt", "r") as file: # 10表示读取的数据量（虽然python没有字符的概念,但是这里的参数是读取字符的个数） str = file.read(10) print(str) with open("file.txt", "r") as file: # 得到的是一个list lines = file.readline
LLVM学习入门(3):生成 LLVM 中间代码 IR
TSWorld
09-16 4333
主要实现 AST 转化为 LLVM IR 的功能。
（一）线性模型
Iriving_shu的博客
04-10 758
:# 基本形式 给定由d个属性描述的特征 x={x1;x2;x3;...;xd}x = \{x_1;x_2;x_3;...;x_d\}，其中xx是在第i个属性位置上的取值，这样就形成了一个线性函数，定义如下： 令 x 1 = 1写成向量形式如下： 我们的目标就是去求这些参数，如何确定参数，关键在于如何去衡量 h(x)和y之间的差别。均方误差是回归任务中最常用的性能度量，因此我们可以试图
python抽象语法树的遍历
weixin_43201090的博客
12-01 1948
遍历语法树获取信息： 语法树node 一、walk方式遍历 for node in ast.walk(tree): if isinstance(node, ast.FunctionDef): print(node.name) 二、visitor方式遍历 class CodeVisitor(ast.NodeVisitor): def generic_visit(self, node): print type(node).__name__ ast
编译原理------语义分析器之中间代码的表示形式
cjy031025_cloud的博客
06-12 2642
语义分析器中，关于中间代码的表示形式；程序中声明语句、赋值语句、布尔表达式、if语句、while语句的翻译。
第 4 章：IR 代码生成的基础知识
cppclub的博客
01-24 1867
我们使用// ...Decl *,// ...LLVN类表示SSA形式的值。Value类就像计算结果的标签。它通常通过IR指令创建一次，然后使用。在优化过程中可能发生各种变化。例如，如果优化器检测到%1和%2值始终相同，那么它可以用%1替换%2的使用。这改变了标签但不改变计算。为了意识到这样的变化，我们不能直接使用Value类。相反，我们需要一个值句柄。不同的值句柄具有不同的功能。为了跟踪替换，我们可以使用类。因此，Defs成员将AST的声明（变量或形式参数）映射到其当前值。
estraverse: ECMAScript抽象语法树遍历工具
gitblog_00299的博客
08-25 1076
**estraverse** 是一个源于 **esmangle** 项目的强大库，专为 ECMAScript JavaScript 抽象语法树（AST）设计的遍历功能。它提供了灵活的方法来遍历和操作JavaScript代码的结构，广泛应用于编译器、代码分析、转换以及优化工具中。对于那些需要深入JavaScript源码内部进行操作的开发者来说，estraverse是一个不可或缺的工具。 ## 项目...
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值