AI 助理
备案控制台
开发者社区 开发与运维 文章 正文

深入研究Clang（四） Clang编译器的简单分析

2014-11-13 1467
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《 阿里云开发者社区用户服务协议》和 《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写 侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
简介： 作者：史宁宁（snsn1984）首先我们确定下Clang编译器的具体内容和涵盖范围。之前在《LLVM每日谈之二十 Everything && Clang driver 》中曾经提到过，Clang driver（命令行表示是clang）和Clang前端（按照具体实现来说就是Clang的那些库所实现的前端）是不同的，同时还存在一个Clang编译器（命令行表示是clang -cc1）。

作者：史宁宁（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



文章标签：
C语言
前端开发
自然语言处理
编译器
snsn1984
目录
相关文章
树空#
|
1月前
|
Unix 编译器 Linux
1.8.3 GNU编译器集合和LLVM项目
GNU项目自1987年起致力于开发自由UNIX软件，其成果之一GNU编译器集合（GCC）在指导委员会领导下持续演进，紧跟C语言标准。GCC适用于多种平台如UNIX、Linux和Windows，并常通过gcc或cc命令调用。另一方面，起源于2000年伊利诺伊大学研究项目的LLVM，提供了另一种开源编译器集合，其Clang编译器处理C代码，自2012年起成为FreeBSD默认C编译器，并良好支持最新C标准。
树空#
33 1
lusing
|
前端开发 C语言 iOS开发
基于LLVM的编译原理简明教程 (1) - 写编译器越来越容易了
跟学院派的厚书给大家的印象不同，其实用LLVM写个简单的编译器是件容易的事情，因为大部分事情LLVM都替我们做了。
lusing
8333 0
码农工程师
|
前端开发 IDE 编译器
LLVM编译器前端 Clang 简介
昨天晚上安装rails的开发环境，被ruby的编译搞的有点崩溃。下载的ruby的源码不能用系统自带的gcc -4.21编译，也不能用系统自带的clang进行编译，必须下载并使用gcc -4.2进行编译才能通过。今天稍微看看编译器的一些背景。
码农工程师
557 0
LLVM编译器前端 Clang 简介
温柔的养猫人
|
编译器 iOS开发 Windows
带你读《LLVM编译器实战教程》之一：构建和安装LLVM
本书的前半部分将向您介绍怎么样去配置、构建、和安装LLVM的不同软件库、工具和外部项目。接下来，本书的后半部分将向您介绍LLVM的各种设计细节，并逐步地讲解LLVM的各个编译步骤：前段、中间表示（IR）、后端、即时编译（JIT）引擎、跨平台编译和插件接口。本书包含有大量翔实的示例和代码片段，以帮助读者平稳顺利的掌握LLVM的编译器开发环境。
温柔的养猫人
20179 0
snsn1984
|
前端开发 编译器 C++
深入研究Clang（一）Clang和LLVM的关系及整体架构
作者：史宁宁（snsn1984） Clang和LLVM的关系        Clang和LLVM到底是什么关系，这是在研究Clang的过程中所不可避免的一个问题。
snsn1984
1750 0
zting科技
|
前端开发 rax C语言
clang_intprt_t类型探究
zting科技
1319 0
技术mix呢
|
自然语言处理 前端开发 C语言
v深入研究Clang（四） Clang编译器的简单分析
技术mix呢
1177 0
行者武松
|
算法 测试技术 C语言
基于C++ 语言库的GCC和Clang编译器基准测试报告（ETL）
行者武松
1844 0
华章计算机
|
C++
《编译与反编译技术实战》——1.5　编译器LLVM
华章计算机
2282 0
华章计算机
|
C++
《编译与反编译技术实战》——1.5节编译器LLVM
华章计算机
1376 0

热门文章

最新文章

  • 1
    Java 生成 UUID
  • 2
    一文读懂 Serverless 的起源、发展和落地实践
  • 3
    Fiddler抓包：下载、安装及使用
  • 4
    用CodeViz绘制函数调用关系图(call graph)
  • 5
    阿里AI上岗双11服装车间，能识别头发丝直径十分之一的瑕疵
  • 6
    SpringBoot开发案例之整合Dubbo提供者(一)
  • 7
    Dubbo架构介绍
  • 8
    警惕垃圾邮件借加沙新闻进行钓鱼攻击
  • 9
    美国博客刊文发布NetApp StoreVault停产通知
  • 10
    IntelliJ IDEA 12 创建Web项目 教程 超详细版
  • 1
    通义灵码与云计算平台的融合：基础与概述
    39
  • 2
    《深度解析：死锁的“前世今生”与防范之道》
    35
  • 3
    《探秘程序崩溃：核心转储（Core Dump）分析全攻略》
    38
  • 4
    今日 AI 开源｜共 12 项｜开源的DIY健康追踪项目，基于低成本的智能戒指构建私人的健康监测应用
    42
  • 5
    Open Interpreter：AI 赋能终端！在终端中对话AI模型进行编程，通过运行代码来完成各种计算机操作任务
    37
  • 6
    「Mac畅玩鸿蒙与硬件15」鸿蒙UI组件篇5 - Slider 和 Progress 组件
    41
  • 7
    ai断点怎么做?
    16
  • 8
    AI Shell：在命令行里“对话” AI ，微软推出将 AI 助手引入命令行的 CLI 工具，打造对话式交互命令行
    22
  • 9
    ai怎么设计迷宫字体效果?
    15
  • 10
    「Mac畅玩鸿蒙与硬件14」鸿蒙UI组件篇4 - Toggle 和 Checkbox 组件
    30

    • 相关电子书

    更多
  • 低代码开发师（初级）实战教程
  • 冬季实战营第三期：MySQL数据库进阶实战
  • 阿里巴巴DevOps 最佳实践手册
    • 下一篇
    阿里云OSS设置跨域访问