作者:史宁宁(snsn1984)

首先我们确定下Clang编译器的详细内容和涵盖范围。之前在《LLVM每日谈之二十 Everything && Clang driver》中以前提到过。Clang driver(命令行表示是clang)和Clang前端(依照详细实现来说就是Clang的那些库所实现的前端)是不同的。同一时候还存在一个Clang编译器(命令行表示是clang -cc1)。Clang编译器不只包括了Clang前端,还包括使用LLVM的哭实现的编译器的中间阶段以及后端,同一时候也集成了assembler。

Clang driver有一系列的frontend action,这些frontend action定义于clang/include/clang/Frontend/FrontendOptions.h中的ActionKind枚举中。

当中一些frontend action就会触发Clang编译器(clang -cc1),比方:ASTView, EmitBC, EmitObj等。一旦触发了Clang编译器(clang -cc1)。就会执行函数cc1_main()(clang/tools/driver/cc1_main.cpp),从名字上就能够看出来,这个函数是Clang编译器(clang -cc1)的入口主函数。

举个详细的样例来看一下:

min.c

int min(int a, int b) {
if (a < b) {
return a;
}
return b;
}

执行命令: clang -### min.c -o min

clang version 3.5.0 (tags/RELEASE_350/final)
Target: x86_64-unknown-linux-gnu
Thread model: posix
"/home/shining/llvm-3.5/build/bin/clang-3.5" "-cc1" "-triple" "x86_64-unknown-linux-gnu" "-emit-obj" "-mrelax-all" "-disable-free" "-main-file-name" "min.c" "-mrelocation-model" "static" "-mdisable-fp-elim" "-fmath-errno" "-masm-verbose" "-mconstructor-aliases" "-munwind-tables" "-fuse-init-array" "-target-cpu" "x86-64" "-dwarf-column-info" "-resource-dir" "/home/shining/llvm-3.5/build/bin/../lib/clang/3.5.0" "-internal-isystem" "/usr/local/include" "-internal-isystem" "/home/shining/llvm-3.5/build/bin/../lib/clang/3.5.0/include" "-internal-externc-isystem" "/usr/include/x86_64-linux-gnu" "-internal-externc-isystem" "/include" "-internal-externc-isystem" "/usr/include" "-fdebug-compilation-dir" "/home/shining/llvm-3.5/build/bin" "-ferror-limit" "19" "-fmessage-length" "80" "-mstackrealign" "-fobjc-runtime=gcc" "-fdiagnostics-show-option" "-o" "/tmp/min-75c13b.o" "-x" "c" "min.c"
"/usr/bin/ld" "-z" "relro" "--hash-style=gnu" "--build-id" "--eh-frame-hdr" "-m" "elf_x86_64" "-dynamic-linker" "/lib64/ld-linux-x86-64.so.2" "-o" "min" "/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../x86_64-linux-gnu/crt1.o" "/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../x86_64-linux-gnu/crti.o" "/usr/lib/gcc/x86_64-linux-gnu/4.8/crtbegin.o" "-L/usr/lib/gcc/x86_64-linux-gnu/4.8" "-L/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../x86_64-linux-gnu" "-L/lib/x86_64-linux-gnu" "-L/lib/../lib64" "-L/usr/lib/x86_64-linux-gnu" "-L/usr/lib/gcc/x86_64-linux-gnu/4.8/../../.." "-L/home/shining/llvm-3.5/build/bin/../lib" "-L/lib" "-L/usr/lib" "/tmp/min-75c13b.o" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/gcc/x86_64-linux-gnu/4.8/crtend.o" "/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../x86_64-linux-gnu/crtn.o"

-###參数是为了查看。clang driver究竟调用了哪些命令,而且不会执行这些命令。从这里能够实际看到,实际上调用的是 clang-3.5 -cc1。当中3.5是版本,所以事实上调用的就是clang编译器。

之后又调用了系统的ld loader,由于LLVM架构的loader还在开发之中。

所以,对于那些我们已经明白须要clang编译器去作的工作,我们能够不通过clang driver去隐式调用(比方上面的样例)。而是直接在命令行调用clang -cc1去执行。而且在clang -cc1之后跟clang编译器接受的參数。也能够通过clang -Xclang就能够直接将參数传递给clang编译器(clang -cc1)。以下的详细实现,将同一时候给出这两种的命令行形式,事实上执行结果差点儿是全然同样的。不同的是,使用clang -Xclang的时候,假设不加强制的參数,这里尽管-Xclang将參数传递给了clang -cc1,可是这里的clang driver依旧会继续工作的。在以下的样例中会进行分别的展示

编译器首先进行的是词法分析。我们能够通过命令行去查看进行词法分析之后的token序列究竟是怎么样的,仍然以上面的min.c为例,执行命令:

clang -cc1 -dump-tokens min.c

执行之后得到例如以下输出:

int 'int'	 [StartOfLine]	Loc=<min.c:1:1>
identifier 'min' [LeadingSpace] Loc=<min.c:1:5>
l_paren '(' Loc=<min.c:1:8>
int 'int' Loc=<min.c:1:9>
identifier 'a' [LeadingSpace] Loc=<min.c:1:13>
comma ',' Loc=<min.c:1:14>
int 'int' [LeadingSpace] Loc=<min.c:1:16>
identifier 'b' [LeadingSpace] Loc=<min.c:1:20>
r_paren ')' Loc=<min.c:1:21>
l_brace '{' [LeadingSpace] Loc=<min.c:1:23>
if 'if' [StartOfLine] [LeadingSpace] Loc=<min.c:2:5>
l_paren '(' [LeadingSpace] Loc=<min.c:2:8>
identifier 'a' Loc=<min.c:2:9>
less '<' [LeadingSpace] Loc=<min.c:2:11>
identifier 'b' [LeadingSpace] Loc=<min.c:2:13>
r_paren ')' Loc=<min.c:2:14>
l_brace '{' [LeadingSpace] Loc=<min.c:2:16>
return 'return' [StartOfLine] [LeadingSpace] Loc=<min.c:3:9>
identifier 'a' [LeadingSpace] Loc=<min.c:3:16>
semi ';' Loc=<min.c:3:17>
r_brace '}' [StartOfLine] [LeadingSpace] Loc=<min.c:4:5>
return 'return' [StartOfLine] [LeadingSpace] Loc=<min.c:5:5>
identifier 'b' [LeadingSpace] Loc=<min.c:5:12>
semi ';' Loc=<min.c:5:13>
r_brace '}' [StartOfLine] Loc=<min.c:6:1>
eof '' Loc=<min.c:6:2>

或者选用: clang -Xclang -dump-tokens min.c

输出信息例如以下:

int 'int'	 [StartOfLine]	Loc=<min.c:1:1>
identifier 'min' [LeadingSpace] Loc=<min.c:1:5>
l_paren '(' Loc=<min.c:1:8>
int 'int' Loc=<min.c:1:9>
identifier 'a' [LeadingSpace] Loc=<min.c:1:13>
comma ',' Loc=<min.c:1:14>
int 'int' [LeadingSpace] Loc=<min.c:1:16>
identifier 'b' [LeadingSpace] Loc=<min.c:1:20>
r_paren ')' Loc=<min.c:1:21>
l_brace '{' [LeadingSpace] Loc=<min.c:1:23>
if 'if' [StartOfLine] [LeadingSpace] Loc=<min.c:2:5>
l_paren '(' [LeadingSpace] Loc=<min.c:2:8>
identifier 'a' Loc=<min.c:2:9>
less '<' [LeadingSpace] Loc=<min.c:2:11>
identifier 'b' [LeadingSpace] Loc=<min.c:2:13>
r_paren ')' Loc=<min.c:2:14>
l_brace '{' [LeadingSpace] Loc=<min.c:2:16>
return 'return' [StartOfLine] [LeadingSpace] Loc=<min.c:3:9>
identifier 'a' [LeadingSpace] Loc=<min.c:3:16>
semi ';' Loc=<min.c:3:17>
r_brace '}' [StartOfLine] [LeadingSpace] Loc=<min.c:4:5>
return 'return' [StartOfLine] [LeadingSpace] Loc=<min.c:5:5>
identifier 'b' [LeadingSpace] Loc=<min.c:5:12>
semi ';' Loc=<min.c:5:13>
r_brace '}' [StartOfLine] Loc=<min.c:6:1>
eof '' Loc=<min.c:6:2>
/usr/bin/ld: cannot find /tmp/min-3cce9d.o: No such file or directory
clang-3.5: error: linker command failed with exit code 1 (use -v to see invocation)

明显能够看到,使用-Xclang的时候,把-dump-tokens參数传递给了clang -cc1,可是clang driver依旧工作,而且调用了ld.

能够使用clang -### -Xclang -dump-tokens min.c命令进行验证。

看过了词法分析阶段,我们再看下clang编译器语法分析来的AST nodes。

使用命令:clang -cc1 -fsyntax-only -ast-dump min.c

或者:clang -fsyntax-only -Xclang -ast-dump min.c

输出结果一样:

TranslationUnitDecl 0x6bc3a40 <<invalid sloc>> <invalid sloc>
|-TypedefDecl 0x6bc3f40 <<invalid sloc>> <invalid sloc> implicit __int128_t '__int128'
|-TypedefDecl 0x6bc3fa0 <<invalid sloc>> <invalid sloc> implicit __uint128_t 'unsigned __int128'
|-TypedefDecl 0x6bc42f0 <<invalid sloc>> <invalid sloc> implicit __builtin_va_list '__va_list_tag [1]'
`-FunctionDecl 0x6bc4490 <min.c:1:1, line:6:1> line:1:5 min 'int (int, int)'
|-ParmVarDecl 0x6bc4350 <col:9, col:13> col:13 used a 'int'
|-ParmVarDecl 0x6bc43c0 <col:16, col:20> col:20 used b 'int'
`-CompoundStmt 0x6bc46f8 <col:23, line:6:1>
|-IfStmt 0x6bc4668 <line:2:5, line:4:5>
| |-<<<NULL>>>
| |-BinaryOperator 0x6bc45c0 <line:2:9, col:13> 'int' '<'
| | |-ImplicitCastExpr 0x6bc4590 <col:9> 'int' <LValueToRValue>
| | | `-DeclRefExpr 0x6bc4540 <col:9> 'int' lvalue ParmVar 0x6bc4350 'a' 'int'
| | `-ImplicitCastExpr 0x6bc45a8 <col:13> 'int' <LValueToRValue>
| | `-DeclRefExpr 0x6bc4568 <col:13> 'int' lvalue ParmVar 0x6bc43c0 'b' 'int'
| |-CompoundStmt 0x6bc4648 <col:16, line:4:5>
| | `-ReturnStmt 0x6bc4628 <line:3:9, col:16>
| | `-ImplicitCastExpr 0x6bc4610 <col:16> 'int' <LValueToRValue>
| | `-DeclRefExpr 0x6bc45e8 <col:16> 'int' lvalue ParmVar 0x6bc4350 'a' 'int'
| `-<<<NULL>>>
`-ReturnStmt 0x6bc46d8 <line:5:5, col:12>
`-ImplicitCastExpr 0x6bc46c0 <col:12> 'int' <LValueToRValue>
`-DeclRefExpr 0x6bc4698 <col:12> 'int' lvalue ParmVar 0x6bc43c0 'b' 'int'

通过clang -### -fsyntax-only -Xclang -ast-dump min.c查看实际执行命令。事实上跟使用clang -cc1是同样的。

參考资料:

1. 《Getting Started with LLVM Core Libraries》

2.  Code of clang

深入研究Clang(四) Clang编译器的简单分析的更多相关文章

  1. python2.7 爬取简书30日热门专题文章之简单分析_20170207

    昨天在简书上写了用Scrapy抓取简书30日热门文章,对scrapy是刚接触,跨页面抓取以及在pipelines里调用settings,连接mysql等还不是很熟悉,今天依旧以单独的py文件区去抓取数 ...

  2. Deep learning:四十六(DropConnect简单理解)

    和maxout(maxout简单理解)一样,DropConnect也是在ICML2013上发表的,同样也是为了提高Deep Network的泛化能力的,两者都号称是对Dropout(Dropout简单 ...

  3. 研究Java语言的编译器和虚拟机源代码

    现在使用Java语言的人很多,但是了解Java语言实现的人非常少.如果要研究Java语言的实现,推荐研究Javac和虚拟机HotSpot的源代码实现,其中Javac相当于Java编译的前端,HotSp ...

  4. FFmpeg源代码简单分析:configure

    ===================================================== FFmpeg的库函数源代码分析文章列表: [架构图] FFmpeg源代码结构图 - 解码 F ...

  5. 对苹果“五仁”编程语言Swift的简单分析

    对苹果"五仁"编程语言Swift的简单分析 watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvUHJvdGVhcw==/font/5a6L5 ...

  6. PC-lint集成于SourceInsight 范例以及简单分析;提高代码的健壮性;

    写代码之际突然想起了pc-lint这个"古董级"的代码静态分析工具;   下午机房的服务器歇菜了,没法调试游戏,刚好抽出时间来研究一下pc-lint集成在SourceInsight ...

  7. x264源代码简单分析:宏块分析(Analysis)部分-帧间宏块(Inter)

    ===================================================== H.264源代码分析文章列表: [编码 - x264] x264源代码简单分析:概述 x26 ...

  8. x264源代码简单分析:宏块分析(Analysis)部分-帧内宏块(Intra)

    ===================================================== H.264源代码分析文章列表: [编码 - x264] x264源代码简单分析:概述 x26 ...

  9. x264源代码简单分析:滤波(Filter)部分

    ===================================================== H.264源代码分析文章列表: [编码 - x264] x264源代码简单分析:概述 x26 ...

随机推荐

  1. 创建.NET Core项目

    创建.NET Core项目 ? 对于.NET开发人员来说,我们已经习惯了VS这个世界上最强大的IDE,所以对他们来说,项目的创建直接利用安装到VS中相应的项目模板即可.当.NET Core跨出了Win ...

  2. [置顶] Java套接字Socket编程

    1)概念 网络编程基本模型就客户端到服务器的模型,也就是我们常见的C/S模型.简单的说就是两个进程间相互通信的过程.即通信双方一方作为服务器等待客户端提出请求并给以回应,另一方作为客户端向服务器提出请 ...

  3. word2vec 中的数学原理具体解释(三)背景知识

      word2vec 是 Google 于 2013 年开源推出的一个用于获取 word vector 的工具包,它简单.高效,因此引起了非常多人的关注.因为 word2vec 的作者 Tomas M ...

  4. 新买一款打印机hp5525N

    11900 RMB 彩色.激光.彩打. 让法国的工艺工程师给改成法语的了.

  5. BZOJ 3315: [Usaco2013 Nov]Pogo-Cow( dp )

    我真想吐槽USACO的数据弱..= = O(n^3)都能A....上面一个是O(n²), 一个是O(n^3) O(n^3)做法, 先排序, dp(i, j) = max{ dp(j, p) } + w ...

  6. 一天一个类,一点也不累 之 Vector

    一天一个类,一点也不累. 今天要说的是ArrayList的亲兄弟--Vector 亲兄弟?看看“族谱” Class Vector<E> java.lang.Object java.util ...

  7. Jsp的include指令静态导入和动态导入的区别

    1.什么是静态导入? 静态导入指的是,将一个外部文件嵌入到当前JSP文件中,同时解析这个页面的JSP语句,它会把目标页面的其他编译指令也包含进来. include的静态导入指令使用语法: <%@ ...

  8. WPF常用转换

    原文 WPF常用转换 以下是代码中常常用到的一些转换,整理如下,后续再不断完善: 1.string和Color的转换 //string转Color (Color)ColorConverter.Conv ...

  9. jsp页面中格式化为小数点两位

    <td align="center">  <% String avgnum = ""; if(request.getAttribute(&qu ...

  10. Gradle的简介与安装

    Gradle介绍 Gradle是一个基于JVM的构建工具,它提供了: 像Ant一样,通用灵活的构建工具 可以切换的,基于约定的构建框架 强大的多工程构建支持 基于Apache Ivy的强大的依赖管理 ...