手把手带你写一门编程语言
宫文学
北京原点代码 CEO
7235 人已学习
新⼈⾸单¥59
登录后,你可以任选4讲全文学习
课程目录
已完结/共 49 讲
起步篇:让一门超简单的语言跑起来 (21讲)
结束语 (1讲)
手把手带你写一门编程语言
15
15
1.0x
00:00/00:00
登录|注册

37 | 从AST到IR:体会数据流和控制流思维

你好,我是宫文学。
在上一节课,我们已经初步认识了基于图的 IR。那接下来,我们就直接动手来实现它,这需要我们修改之前的编译程序,基于 AST 来生成 IR,然后再基于 IR 生成汇编代码。
过去,我们语言的编译器只有前端和后端。加上这种中间的 IR 来过渡以后,我们就可以基于这个 IR 添加很多优化算法,形成编译器的中端。这样,我们编译器的结构也就更加完整了。
今天这节课,我先带你熟悉这个 IR,让你能够以数据流和控制流的思维模式来理解程序的运行逻辑。之后,我还会带你设计 IR 的数据结构,并介绍 HIR、MIR 和 LIR 的概念。最后,我们再来讨论如何基于 AST 生成 IR,从而为基于 IR 做优化、生成汇编代码做好铺垫。
首先,我还是以上一节课的示例程序为础,介绍一下程序是如何基于这个 IR 来运行的,加深你对控制流和数据流的理解。

理解基于图的运行逻辑

下面是上节课用到的示例程序,一个带有 if 语句的函数,它能够比较充分地展示数据流和控制流的特点:
function foo(a:number, b:number):number{
let x:number;
if (a>10){
x = a + b;
}
else{
x = a - b;
}
return x;
}
我们把这个程序转化成图,是这样的:
确认放弃笔记?
放弃后所记笔记将不保留。
新功能上线,你的历史笔记已初始化为私密笔记,是否一键批量公开?
批量公开的笔记不会为你同步至部落
公开
同步至部落
取消
完成
0/2000
荧光笔
直线
曲线
笔记
复制
AI
  • 深入了解
  • 翻译
    • 英语
    • 中文简体
    • 中文繁体
    • 法语
    • 德语
    • 日语
    • 韩语
    • 俄语
    • 西班牙语
    • 阿拉伯语
  • 解释
  • 总结
仅可试看部分内容,如需阅读全部内容,请付费购买文章所属专栏
《手把手带你写一门编程语言》
新⼈⾸单¥59
立即购买
登录 后留言

全部留言(6)

  • 最新
  • 精选
  • ifelse
    学习打卡
    归属地:浙江
  • 有学识的兔子
    HIR 贴近源码,会基于SSA进行格式化; LIR 接近汇编的一种表达;MIR介于两者之间,与硬件尽量无关; 因此问题对应的顺序是HIR,MIR,LIR。
  • 奋斗的蜗牛
    老师,节点之海和DAG是指同一种IR吗
    1
  • 奋斗的蜗牛
    场景1是HIR,场景2是MIR,场景3是LIR
  • 奋斗的蜗牛
    厉害,老师的水平真高,编译原理到老师的手里,信手拈来
  • 奋斗的蜗牛
    太赞了,感觉一下子茅塞顿开
收起评论
显示
设置
留言
6
收藏
沉浸
阅读
分享
手机端
快捷键
回顶部