因为工作的原因,接触到gcc源码,经过两个多月的分析和学习之后,对它有了一个初步的认识,打算写一篇文章来分享下自己的工作经验。
本系列采用gcc-9.2.0的源码,源码阅读工具为vscode,下面我们来看具体的内容。
gcc编译器分为三部分,分别是前端,中端,和后端。
前端主要实现词法分析,语法分析,语义分析等相关的功能,并将其转换为一种中间语言,我们把这种中间语言,我们把它称之为gimple。
为什么要实现这一步呢,因为现在的gcc,是一个支持多种语言的编译器,除了它的老本行c/c++外,还支持Fortran,ada,go,objc,objc++等。
同时,gcc是一个相对比较智能的编译器,能对用户编写的代码进行优化。那么问题来了,如果不将源码转换成一种中间语言,那么每一种变成语言都要独立地去实现一套优化机制,那样会工作量很大,将其转换成一种中间语言,在对其进行后续处理,那么很多模块就可以复用。
下面我们来看看gcc支持的几种编程语言(红线圈出部分,其中c-family是所有类c编程语言的公共部分):
下面我们再来看以下gimple长啥样,先满足以下好奇心,源码路劲在gcc/testsuite/gcc.dg/下,所有gimple开头的.c文件: