其他分享
首页 > 其他分享> > LLVM Clang前端编译与调试

LLVM Clang前端编译与调试

作者:互联网

LLVM Clang前端编译与调试

iOS 关于编译

技术学习有两种方向,一种是不断向前,了解前沿和趋势;另一种是不断向下,理解通用的底层技术和设计思想。这两种方法没有优劣之分,更应该是一种不断交替使用的方式。

编译器相关的内容,在不断学习底层知识的过程中梳理一下内容。

一、Objective-C 编译过程

在说编译之前,先说明几个概念:

为什么需要重新编译?

首先先来问个问题,为什么 Objective-C 代码每次修改之后,都要重新编译才能运行到机子上,JavaScript可以做到动态调试,不需要重新编译?

答案是 Objective-C 使用编译器的方式生成机器码,JavaScript使用解释器的方式。因为苹果公司希望 iPhone 的执行效率更高、运行速度能达到最快,选择牺牲调试周期,放弃动态性。

是不是真的不能动态调试了?不是,Objective-C 有一种加载动态库的机制,这就为动态调试留下了机会,具体的例子可以看这里https://github.com/johnno1962/InjectionIII。Injection 原理是将代码打包成动态库,如果发现代码有做更改,使用 dlopen 重新进行动态库的加载。

编译步骤

接下来,说一下编译的过程,将这个过程简单分成以下 3 步:

  1. 预处理:编译开始时,LLVM 会预处理代码,比如宏替换、头文件导入;
  2. 编译:预处理完后,LLVM 会对代码进行词法分析和语法分析(Clang),生成 AST。AST是抽象语法树,结构上比代码更精简,遍历更快,使用 AST 能够更快速地进行静态检查,更快地生成 IR。
  3. 生成:最后 AST 会生成 IR,IR 是一种更接近机器码的语言,区别在于和平台无关,通过 IR 可以生成多份适合不同平台的机器码。对于 iOS 系统,IR 生成的可执行文件就是 Mach-O。

用代码来详细解释一下这 3 个过程。

二、编译步骤的详细说明

1.预处理

新建一个工程,在 mian 中写出如下代码:

  1. #import <Foundation/Foundation.h>
  2.  
  3. #define  DefineEight 8
  4.  
  5. int main(int argc, char * argv[]) {
  6.  
  7.     @autoreleasepool {
  8.  
  9.         int i = DefineEight;
  10. 10.  
  11. 11.         int j = 6;
  12. 12.  
  13. 13.         NSString *string = [[NSString alloc] initWithUTF8String:"clang"];
  14. 14.  
  15. 15.         int rank = i + j;
  16. 16.  
  17. 17.         NSLog(@"%@ rank %d",string, rank);
  18. 18.  
  19. 19.     }
  20. 20.  
  21. 21.     return 0;
  22. 22.  

23. }

  1. 24.  

编译的预处理阶段会替换宏,导入头文件等,上面的main.m预处理到底做了什么。在命令行中输入:

  1. clang -E main.m
  2.  

执行之后控制台输出:

  1. # 1 "/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/System/Library/Frameworks/Foundation.framework/Headers/FoundationLegacySwiftCompatibility.h" 1 3
  2.  
  3. # 193 "/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/System/Library/Frameworks/Foundation.framework/Headers/Foundation.h" 2 3
  4.  
  5. # 10 "main.m" 2
  6.  
  7.  
  8.  
  9. int main(int argc, char * argv[]) {
  10. 10.  
  11. 11.     @autoreleasepool {
  12. 12.  
  13. 13.         int i = 8;
  14. 14.  
  15. 15.         int j = 6;
  16. 16.  
  17. 17.         NSString *string = [[NSString alloc] initWithUTF8String:"clang"];
  18. 18.  
  19. 19.         int rank = i + j;
  20. 20.  
  21. 21.         NSLog(@"%@ rank %d",string, rank);
  22. 22.  
  23. 23.     }
  24. 24.  
  25. 25.     return 0;
  26. 26.  

27. }

  1. 28.  

宏已经替换修改,头文件引入变成了相关文件地址。

2.编译

词法分析

编译阶段,Clang先进行词法分析,在命令行输入:

  1. clang -fmodules -fsyntax-only -Xclang -dump-tokens main.m
  2.  
  3.  
  4.  
  5. clang -fmodules -E -Xclang -dump-tokens main.m
  6.  

打印信息如下:

  1. annot_module_include '#import <Foundation/Foundation.h>
  2.  
  3. #define  DefineEight 8
  4.  
  5.  
  6.  
  7. int main(int argc, char * argv[]) {
  8.  
  9.  
  10. 10.  
  11. 11.     @autoreleasepool {
  12. 12.  
  13. 13.         int i = DefineEight;
  14. 14.  
  15. 15.         int'        Loc=<main.m:9:1>
  16. 16.  

17. int 'int'     [StartOfLine]  Loc=<main.m:12:1>

  1. 18.  

19. identifier 'main'     [LeadingSpace] Loc=<main.m:12:5>

  1. 20.  

21. l_paren '('        Loc=<main.m:12:9>

  1. 22.  

23. int 'int'        Loc=<main.m:12:10>

  1. 24.  

25. identifier 'argc'     [LeadingSpace] Loc=<main.m:12:14>

  1. 26.  

27. comma ','        Loc=<main.m:12:18>

  1. 28.  

29. char 'char'     [LeadingSpace] Loc=<main.m:12:20>

  1. 30.  

31. star '*'     [LeadingSpace] Loc=<main.m:12:25>

  1. 32.  

33. identifier 'argv'     [LeadingSpace] Loc=<main.m:12:27>

  1. 34.  

35. l_square '['        Loc=<main.m:12:31>

  1. 36.  

37. r_square ']'        Loc=<main.m:12:32>

  1. 38.  

39. r_paren ')'        Loc=<main.m:12:33>

  1. 40.  

41. l_brace '{'     [LeadingSpace] Loc=<main.m:12:35>

  1. 42.  

43. at '@'     [StartOfLine] [LeadingSpace]   Loc=<main.m:14:5>

  1. 44.  

45. identifier 'autoreleasepool'        Loc=<main.m:14:6>

  1. 46.  

47. l_brace '{'     [LeadingSpace] Loc=<main.m:14:22>

  1. 48.  

49. int 'int'     [StartOfLine] [LeadingSpace]   Loc=<main.m:15:9>

  1. 50.  

51. identifier 'i'     [LeadingSpace] Loc=<main.m:15:13>

  1. 52.  

53. equal '='     [LeadingSpace] Loc=<main.m:15:15>

  1. 54.  

55. numeric_constant '8'     [LeadingSpace] Loc=<main.m:15:17 <Spelling=main.m:10:22>>

  1. 56.  

57. semi ';'        Loc=<main.m:15:28>

  1. 58.  

59. int 'int'     [StartOfLine] [LeadingSpace]   Loc=<main.m:16:9>

  1. 60.  

61. identifier 'j'     [LeadingSpace] Loc=<main.m:16:13>

  1. 62.  

63. equal '='     [LeadingSpace] Loc=<main.m:16:15>

  1. 64.  

65. numeric_constant '6'     [LeadingSpace] Loc=<main.m:16:17>

  1. 66.  

67. semi ';'        Loc=<main.m:16:18>

  1. 68.  

69. identifier 'NSString'     [StartOfLine] [LeadingSpace]   Loc=<main.m:17:9>

  1. 70.  

71. star '*'     [LeadingSpace] Loc=<main.m:17:18>

  1. 72.  

73. identifier 'string'        Loc=<main.m:17:19>

  1. 74.  

75. equal '='     [LeadingSpace] Loc=<main.m:17:26>

  1. 76.  

77. l_square '['     [LeadingSpace] Loc=<main.m:17:28>

  1. 78.  

79. l_square '['        Loc=<main.m:17:29>

  1. 80.  

81. identifier 'NSString'        Loc=<main.m:17:30>

  1. 82.  

83. identifier 'alloc'     [LeadingSpace] Loc=<main.m:17:39>

  1. 84.  

85. r_square ']'        Loc=<main.m:17:44>

  1. 86.  

87. identifier 'initWithUTF8String'     [LeadingSpace] Loc=<main.m:17:46>

  1. 88.  

89. colon ':'        Loc=<main.m:17:64>

  1. 90.  

91. string_literal '"clang"'        Loc=<main.m:17:65>

  1. 92.  

93. r_square ']'        Loc=<main.m:17:72>

  1. 94.  

95. semi ';'        Loc=<main.m:17:73>

  1. 96.  

97. int 'int'     [StartOfLine] [LeadingSpace]   Loc=<main.m:18:9>

  1. 98.  

99. identifier 'rank'     [LeadingSpace] Loc=<main.m:18:13>

  1.  
  2. equal '='     [LeadingSpace] Loc=<main.m:18:18>
  3.  
  4. identifier 'i'     [LeadingSpace] Loc=<main.m:18:20>
  5.  
  6. plus '+'     [LeadingSpace] Loc=<main.m:18:22>
  7.  
  8. identifier 'j'     [LeadingSpace] Loc=<main.m:18:24>
  9.  
  10. semi ';'        Loc=<main.m:18:25>
  11.  
  12. identifier 'NSLog'     [StartOfLine] [LeadingSpace]   Loc=<main.m:19:9>
  13.  
  14. l_paren '('        Loc=<main.m:19:14>
  15.  
  16. at '@'        Loc=<main.m:19:15>
  17.  
  18. string_literal '"%@ rank %d"'        Loc=<main.m:19:16>
  19.  
  20. comma ','        Loc=<main.m:19:28>
  21.  
  22. identifier 'string'        Loc=<main.m:19:29>
  23.  
  24. comma ','        Loc=<main.m:19:35>
  25.  
  26. identifier 'rank'     [LeadingSpace] Loc=<main.m:19:37>
  27.  
  28. r_paren ')'        Loc=<main.m:19:41>
  29.  
  30. semi ';'        Loc=<main.m:19:42>
  31.  
  32. r_brace '}'     [StartOfLine] [LeadingSpace]   Loc=<main.m:20:5>
  33.  
  34. return 'return'     [StartOfLine] [LeadingSpace]   Loc=<main.m:21:5>
  35.  
  36. numeric_constant '0'     [LeadingSpace] Loc=<main.m:21:12>
  37.  
  38. semi ';'        Loc=<main.m:21:13>
  39.  
  40. r_brace '}'     [StartOfLine]  Loc=<main.m:22:1>
  41.  
  42. eof ''        Loc=<main.m:22:2>
  43.  

Clang 在进行词法分析时,将代码切分成 一个一个Token,比如大小括号、等于号和字符串等。上面打印的信息,可以看到每个 Token ,里面有类型、值和位置。Clang 定义的 Token 类型,可以分为以下 4 类:

  1. 关键字:语法中的关键字,比如 if、else、while、for 等;
  2. 标识符:变量名;
  3. 字面量:值、数字、字符串;
  1. 特殊符号:加减乘除等符号;
    所有的 Token 类型可以查看https://opensource.apple.com//source/lldb/lldb-69/llvm/tools/clang/include/clang/Basic/TokenKinds.def。

语法分析

词法分析完成后,进行语法分析,验证语法是否正确,将输出的 Token 先按照语法组合成语义生成节点,将这些节点按照层级关系组成抽象语法树(AST)。
在命令行中输入:

  1. clang -fmodules -fsyntax-only -Xclang -ast-dump main.m
  2.  

输出信息如下:

  1. TranslationUnitDecl 0x7ff3e4015608 <<invalid sloc>> <invalid sloc> <undeserialized declarations>
  2.  
  3. |-TypedefDecl 0x7ff3e4015ea0 <<invalid sloc>> <invalid sloc> implicit __int128_t '__int128'
  4.  
  5. | `-BuiltinType 0x7ff3e4015ba0 '__int128'
  6.  
  7. |-TypedefDecl 0x7ff3e4015f10 <<invalid sloc>> <invalid sloc> implicit __uint128_t 'unsigned __int128'
  8.  
  9. | `-BuiltinType 0x7ff3e4015bc0 'unsigned __int128'
  10. 10.  

11. |-TypedefDecl 0x7ff3e4015fb0 <<invalid sloc>> <invalid sloc> implicit SEL 'SEL *'

  1. 12.  

13. | `-PointerType 0x7ff3e4015f70 'SEL *' imported

  1. 14.  

15. |   `-BuiltinType 0x7ff3e4015e00 'SEL'

  1. 16.  

17. |-TypedefDecl 0x7ff3e4016098 <<invalid sloc>> <invalid sloc> implicit id 'id'

  1. 18.  

19. | `-ObjCObjectPointerType 0x7ff3e4016040 'id' imported

  1. 20.  

21. |   `-ObjCObjectType 0x7ff3e4016010 'id' imported

  1. 22.  

23. |-TypedefDecl 0x7ff3e4016178 <<invalid sloc>> <invalid sloc> implicit Class 'Class'

  1. 24.  

25. | `-ObjCObjectPointerType 0x7ff3e4016120 'Class' imported

  1. 26.  

27. |   `-ObjCObjectType 0x7ff3e40160f0 'Class' imported

  1. 28.  

29. |-ObjCInterfaceDecl 0x7ff3e40161d0 <<invalid sloc>> <invalid sloc> implicit Protocol

  1. 30.  

31. |-TypedefDecl 0x7ff3e4016548 <<invalid sloc>> <invalid sloc> implicit __NSConstantString 'struct __NSConstantString_tag'

  1. 32.  

33. | `-RecordType 0x7ff3e4016340 'struct __NSConstantString_tag'

  1. 34.  

35. |   `-Record 0x7ff3e40162a0 '__NSConstantString_tag'

  1. 36.  

37. |-TypedefDecl 0x7ff3e4052c00 <<invalid sloc>> <invalid sloc> implicit __builtin_ms_va_list 'char *'

  1. 38.  

39. | `-PointerType 0x7ff3e40165a0 'char *'

  1. 40.  

41. |   `-BuiltinType 0x7ff3e40156a0 'char'

  1. 42.  

43. |-TypedefDecl 0x7ff3e4052ee8 <<invalid sloc>> <invalid sloc> implicit __builtin_va_list 'struct __va_list_tag [1]'

  1. 44.  

45. | `-ConstantArrayType 0x7ff3e4052e90 'struct __va_list_tag [1]' 1

  1. 46.  

47. |   `-RecordType 0x7ff3e4052cf0 'struct __va_list_tag'

  1. 48.  

49. |     `-Record 0x7ff3e4052c58 '__va_list_tag'

  1. 50.  

51. |-ImportDecl 0x7ff3e42ce778 <main.m:9:1> col:1 implicit Foundation

  1. 52.  

53. `-FunctionDecl 0x7ff3e42cea40 <line:12:1, line:22:1> line:12:5 main 'int (int, char **)'

  1. 54.  
  2. 55.   |-ParmVarDecl 0x7ff3e42ce7d0 <col:10, col:14> col:14 argc 'int'
  3. 56.  
  4. 57.   |-ParmVarDecl 0x7ff3e42ce8f0 <col:20, col:32> col:27 argv 'char **':'char **'
  5. 58.  
  6. 59.   `-CompoundStmt 0x7ff3e390be60 <col:35, line:22:1>
  7. 60.  
  8. 61.     |-ObjCAutoreleasePoolStmt 0x7ff3e390be18 <line:14:5, line:20:5>
  9. 62.  
  10. 63.     | `-CompoundStmt 0x7ff3e390bde0 <line:14:22, line:20:5>
  11. 64.  
  12. 65.     |   |-DeclStmt 0x7ff3e42cebf0 <line:15:9, col:28>
  13. 66.  
  14. 67.     |   | `-VarDecl 0x7ff3e42ceb68 <col:9, line:10:22> line:15:13 used i 'int' cinit
  15. 68.  
  16. 69.     |   |   `-IntegerLiteral 0x7ff3e42cebd0 <line:10:22> 'int' 8
  17. 70.  
  18. 71.     |   |-DeclStmt 0x7ff3e5023750 <line:16:9, col:18>
  19. 72.  
  20. 73.     |   | `-VarDecl 0x7ff3e42cec20 <col:9, col:17> col:13 used j 'int' cinit
  21. 74.  
  22. 75.     |   |   `-IntegerLiteral 0x7ff3e42cec88 <col:17> 'int' 6
  23. 76.  
  24. 77.     |   |-DeclStmt 0x7ff3e390b5e8 <line:17:9, col:73>
  25. 78.  
  26. 79.     |   | `-VarDecl 0x7ff3e50237b0 <col:9, col:72> col:19 used string 'NSString *' cinit
  27. 80.  
  28. 81.     |   |   `-ObjCMessageExpr 0x7ff3e3820390 <col:28, col:72> 'NSString * _Nullable':'NSString *' selector=initWithUTF8String:
  29. 82.  
  30. 83.     |   |     |-ObjCMessageExpr 0x7ff3e5023b98 <col:29, col:44> 'NSString *' selector=alloc class='NSString'
  31. 84.  
  32. 85.     |   |     `-ImplicitCastExpr 0x7ff3e3820378 <col:65> 'const char * _Nonnull':'const char *' <NoOp>
  33. 86.  
  34. 87.     |   |       `-ImplicitCastExpr 0x7ff3e3820360 <col:65> 'char *' <ArrayToPointerDecay>
  35. 88.  
  36. 89.     |   |         `-StringLiteral 0x7ff3e5023c08 <col:65> 'char [6]' lvalue "clang"
  37. 90.  
  38. 91.     |   |-DeclStmt 0x7ff3e390bbc8 <line:18:9, col:25>
  39. 92.  
  40. 93.     |   | `-VarDecl 0x7ff3e390b618 <col:9, col:24> col:13 used rank 'int' cinit
  41. 94.  
  42. 95.     |   |   `-BinaryOperator 0x7ff3e390b720 <col:20, col:24> 'int' '+'
  43. 96.  
  44. 97.     |   |     |-ImplicitCastExpr 0x7ff3e390b6f0 <col:20> 'int' <LValueToRValue>
  45. 98.  
  46. 99.     |   |     | `-DeclRefExpr 0x7ff3e390b680 <col:20> 'int' lvalue Var 0x7ff3e42ceb68 'i' 'int'
  47.  
  48.     |   |     `-ImplicitCastExpr 0x7ff3e390b708 <col:24> 'int' <LValueToRValue>
  49.  
  50.     |   |       `-DeclRefExpr 0x7ff3e390b6b8 <col:24> 'int' lvalue Var 0x7ff3e42cec20 'j' 'int'
  51.  
  52.     |   `-CallExpr 0x7ff3e390bd60 <line:19:9, col:41> 'void'
  53.  
  54.     |     |-ImplicitCastExpr 0x7ff3e390bd48 <col:9> 'void (*)(id, ...)' <FunctionToPointerDecay>
  55.  
  56.     |     | `-DeclRefExpr 0x7ff3e390bbe0 <col:9> 'void (id, ...)' Function 0x7ff3e390b748 'NSLog' 'void (id, ...)'
  57.  
  58.     |     |-ImplicitCastExpr 0x7ff3e390bd98 <col:15, col:16> 'id':'id' <BitCast>
  59.  
  60.     |     | `-ObjCStringLiteral 0x7ff3e390bc60 <col:15, col:16> 'NSString *'
  61.  
  62.     |     |   `-StringLiteral 0x7ff3e390bc38 <col:16> 'char [11]' lvalue "%@ rank %d"
  63.  
  64.     |     |-ImplicitCastExpr 0x7ff3e390bdb0 <col:29> 'NSString *' <LValueToRValue>
  65.  
  66.     |     | `-DeclRefExpr 0x7ff3e390bc80 <col:29> 'NSString *' lvalue Var 0x7ff3e50237b0 'string' 'NSString *'
  67.  
  68.     |     `-ImplicitCastExpr 0x7ff3e390bdc8 <col:37> 'int' <LValueToRValue>
  69.  
  70.     |       `-DeclRefExpr 0x7ff3e390bcb8 <col:37> 'int' lvalue Var 0x7ff3e390b618 'rank' 'int'
  71.  
  72.     `-ReturnStmt 0x7ff3e390be50 <line:21:5, col:12>
  73.  
  74.       `-IntegerLiteral 0x7ff3e390be30 <col:12> 'int' 0
  75.  

TranslationUnitDecl 是根节点,表示一个编译单元;Decl 表示一个声明;Expr 表示表达式;Literal 表示字面量,一个特殊的 Expr;Stmt 表示语句。

clang static analyzer

这个阶段重点说一个工具,就是 clang static analyzer。这是一个静态代码分析工具,可用于查找 C、C++和 Objective-C 程序中的 bug。clang static analyzer 包括 analyzer core 和 checker 两部分,所有的 checker 都是基于底层的 analyzer core,通过 analyzer core 提高的功能,能够编写 checker。
每执行一条语句,analyzer core 就会遍历所有 checker 中的回调函数,所以 checker 越多,语句执行速度越慢。通过命令行查看当前 Clang 版本下的 checker:

  1. clang -cc1 -analyzer-checker-help
  2.  

通过编译的这个过程,就可以做很多事情了,比如自定义检查规则、自动混淆代码甚至将代码转换成另一种语言等。

3.生成

LLVM IR

在编译过程中,可以把 Clang 解析出 IR 的过程称为 LLVM Frontend,把 IR 转成目标机器码的过程称为 LLVM Backend。LLVM IR 是 Frontend 的输出,也是 Backend 的输入,前后端的桥接语言。借用一张图说明:

 

 前端 Clang 负责解析,验证和诊断输入代码中的错误,将解析的代码转换为 LLVM IR,后端 LLVM 编译把 IR 通过一系列改进代码的分析和优化,发送到代码生成器,生成本机机器代码。

不管编译的是 Objective-C 或者是 Swift,也不管对应的硬件平台是什么类型的,LLVM 里唯一不变的就是中间语言 LLVM IR,与何种语言开发无关。如果开发一个新语言,只需要在完成语法解析后,通过 LLVM 提高的接口生成 IR,可以直接在各个不同的平台上运行了。
LLVM IR 有三种表示格式:第一种 .bc 后缀,想 Bitcode 的存储格式;第二种是可读的 .ll;第三种是用于开发时操作 IR 的内存格式。在命令行中输入:

  1. clang -S -emit-llvm main.m -o main.ll
  2.  

在这个目录下会看到一个main.ll文件,用 xcode 打开:

  1. ; ModuleID = 'main.m'
  2.  
  3. source_filename = "main.m"
  4.  
  5. target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
  6.  
  7. target triple = "x86_64-apple-macosx10.15.0"
  8.  
  9.  
  10. 10.  

11. %0 = type opaque

  1. 12.  

13. %struct._class_t = type { %struct._class_t*, %struct._class_t*, %struct._objc_cache*, i8* (i8*, i8*)**, %struct._class_ro_t* }

  1. 14.  

15. %struct._objc_cache = type opaque

  1. 16.  

17. %struct._class_ro_t = type { i32, i32, i32, i8*, i8*, %struct.__method_list_t*, %struct._objc_protocol_list*, %struct._ivar_list_t*, i8*, %struct._prop_list_t* }

  1. 18.  

19. %struct.__method_list_t = type { i32, i32, [0 x %struct._objc_method] }

  1. 20.  

21. %struct._objc_method = type { i8*, i8*, i8* }

  1. 22.  

23. %struct._objc_protocol_list = type { i64, [0 x %struct._protocol_t*] }

  1. 24.  

25. %struct._protocol_t = type { i8*, i8*, %struct._objc_protocol_list*, %struct.__method_list_t*, %struct.__method_list_t*, %struct.__method_list_t*, %struct.__method_list_t*, %struct._prop_list_t*, i32, i32, i8**, i8*, %struct._prop_list_t* }

  1. 26.  

27. %struct._ivar_list_t = type { i32, i32, [0 x %struct._ivar_t] }

  1. 28.  

29. %struct._ivar_t = type { i64*, i8*, i8*, i32, i32 }

  1. 30.  

31. %struct._prop_list_t = type { i32, i32, [0 x %struct._prop_t] }

  1. 32.  

33. %struct._prop_t = type { i8*, i8* }

  1. 34.  

35. %struct.__NSConstantString_tag = type { i32*, i32, i8*, i64 }

  1. 36.  
  2. 37.  
  3. 38.  

39. @"OBJC_CLASS_$_NSString" = external global %struct._class_t

  1. 40.  

41. @"OBJC_CLASSLIST_REFERENCES_$_" = internal global %struct._class_t* @"OBJC_CLASS_$_NSString", section "__DATA,__objc_classrefs,regular,no_dead_strip", align 8

  1. 42.  

43. @.str = private unnamed_addr constant [6 x i8] c"clang\00", align 1

  1. 44.  

45. @OBJC_METH_VAR_NAME_ = private unnamed_addr constant [20 x i8] c"initWithUTF8String:\00", section "__TEXT,__objc_methname,cstring_literals", align 1

  1. 46.  

47. @OBJC_SELECTOR_REFERENCES_ = internal externally_initialized global i8* getelementptr inbounds ([20 x i8], [20 x i8]* @OBJC_METH_VAR_NAME_, i32 0, i32 0), section "__DATA,__objc_selrefs,literal_pointers,no_dead_strip", align 8

  1. 48.  

49. @__CFConstantStringClassReference = external global [0 x i32]

  1. 50.  

51. @.str.1 = private unnamed_addr constant [11 x i8] c"%@ rank %d\00", section "__TEXT,__cstring,cstring_literals", align 1

  1. 52.  

53. @_unnamed_cfstring_ = private global %struct.__NSConstantString_tag { i32* getelementptr inbounds ([0 x i32], [0 x i32]* @__CFConstantStringClassReference, i32 0, i32 0), i32 1992, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.1, i32 0, i32 0), i64 10 }, section "__DATA,__cfstring", align 8 #0

  1. 54.  

55. @llvm.compiler.used = appending global [3 x i8*] [i8* bitcast (%struct._class_t** @"OBJC_CLASSLIST_REFERENCES_$_" to i8*), i8* getelementptr inbounds ([20 x i8], [20 x i8]* @OBJC_METH_VAR_NAME_, i32 0, i32 0), i8* bitcast (i8** @OBJC_SELECTOR_REFERENCES_ to i8*)], section "llvm.metadata"

  1. 56.  
  2. 57.  
  3. 58.  

59. ; Function Attrs: noinline optnone ssp uwtable

  1. 60.  

61. define i32 @main(i32, i8**) #1 {

  1. 62.  
  2. 63.   %3 = alloca i32, align 4
  3. 64.  
  4. 65.   %4 = alloca i32, align 4
  5. 66.  
  6. 67.   %5 = alloca i8**, align 8
  7. 68.  
  8. 69.   %6 = alloca i32, align 4
  9. 70.  
  10. 71.   %7 = alloca i32, align 4
  11. 72.  
  12. 73.   %8 = alloca %0*, align 8
  13. 74.  
  14. 75.   %9 = alloca i32, align 4
  15. 76.  
  16. 77.   store i32 0, i32* %3, align 4
  17. 78.  
  18. 79.   store i32 %0, i32* %4, align 4
  19. 80.  
  20. 81.   store i8** %1, i8*** %5, align 8
  21. 82.  
  22. 83.   %10 = call i8* @llvm.objc.autoreleasePoolPush() #2
  23. 84.  
  24. 85.   store i32 8, i32* %6, align 4
  25. 86.  
  26. 87.   store i32 6, i32* %7, align 4
  27. 88.  
  28. 89.   %11 = load %struct._class_t*, %struct._class_t** @"OBJC_CLASSLIST_REFERENCES_$_", align 8
  29. 90.  
  30. 91.   %12 = bitcast %struct._class_t* %11 to i8*
  31. 92.  
  32. 93.   %13 = call i8* @objc_alloc(i8* %12)
  33. 94.  
  34. 95.   %14 = bitcast i8* %13 to %0*
  35. 96.  
  36. 97.   %15 = load i8*, i8** @OBJC_SELECTOR_REFERENCES_, align 8, !invariant.load !9
  37. 98.  
  38. 99.   %16 = bitcast %0* %14 to i8*
  39.  
  40.   %17 = call i8* bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to i8* (i8*, i8*, i8*)*)(i8* %16, i8* %15, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0))
  41.  
  42.   %18 = bitcast i8* %17 to %0*
  43.  
  44.   store %0* %18, %0** %8, align 8
  45.  
  46.   %19 = load i32, i32* %6, align 4
  47.  
  48.   + = load i32, i32* %7, align 4
  49.  
  50.   %21 = add nsw i32 %19, +
  51.  
  52.   store i32 %21, i32* %9, align 4
  53.  
  54.   %22 = load %0*, %0** %8, align 8
  55.  
  56.   %23 = load i32, i32* %9, align 4
  57.  
  58.   notail call void (i8*, ...) @NSLog(i8* bitcast (%struct.__NSConstantString_tag* @_unnamed_cfstring_ to i8*), %0* %22, i32 %23)
  59.  
  60.   call void @llvm.objc.autoreleasePoolPop(i8* %10)
  61.  
  62.   ret i32 0
  63.  
  64. }
  65.  
  66.  
  67.  
  68. ; Function Attrs: nounwind
  69.  
  70. declare i8* @llvm.objc.autoreleasePoolPush() #2
  71.  
  72.  
  73.  
  74. declare i8* @objc_alloc(i8*)
  75.  
  76.  
  77.  
  78. ; Function Attrs: nonlazybind
  79.  
  80. declare i8* @objc_msgSend(i8*, i8*, ...) #3
  81.  
  82.  
  83.  
  84. declare void @NSLog(i8*, ...) #4
  85.  
  86.  
  87.  
  88. ; Function Attrs: nounwind
  89.  
  90. declare void @llvm.objc.autoreleasePoolPop(i8*) #2
  91.  
  92.  
  93.  
  94. attributes #0 = { "objc_arc_inert" }
  95.  
  96. attributes #1 = { noinline optnone ssp uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "darwin-stkchk-strong-link" "disable-tail-calls"="false" "frame-pointer"="all" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "probe-stack"="___chkstk_darwin" "stack-protector-buffer-size"="8" "target-cpu"="penryn" "target-features"="+cx16,+cx8,+fxsr,+mmx,+sahf,+sse,+sse2,+sse3,+sse4.1,+ssse3,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
  97.  
  98. attributes #2 = { nounwind }
  99.  
  100. attributes #3 = { nonlazybind }
  101.  
  102. attributes #4 = { "correctly-rounded-divide-sqrt-fp-math"="false" "darwin-stkchk-strong-link" "disable-tail-calls"="false" "frame-pointer"="all" "less-precise-fpmad"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "probe-stack"="___chkstk_darwin" "stack-protector-buffer-size"="8" "target-cpu"="penryn" "target-features"="+cx16,+cx8,+fxsr,+mmx,+sahf,+sse,+sse2,+sse3,+sse4.1,+ssse3,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
  103.  
  104.  
  105.  
  106. !llvm.module.flags = !{!0, !1, !2, !3, !4, !5, !6, !7}
  107.  
  108. !llvm.ident = !{!8}
  109.  
  110.  
  111.  
  112. !0 = !{i32 2, !"SDK Version", [3 x i32] [i32 10, i32 15, i32 4]}
  113.  
  114. !1 = !{i32 1, !"Objective-C Version", i32 2}
  115.  
  116. !2 = !{i32 1, !"Objective-C Image Info Version", i32 0}
  117.  
  118. !3 = !{i32 1, !"Objective-C Image Info Section", !"__DATA,__objc_imageinfo,regular,no_dead_strip"}
  119.  
  120. !4 = !{i32 4, !"Objective-C Garbage Collection", i32 0}
  121.  
  122. !5 = !{i32 1, !"Objective-C Class Properties", i32 64}
  123.  
  124. !6 = !{i32 1, !"wchar_size", i32 4}
  125.  
  126. !7 = !{i32 7, !"PIC Level", i32 2}
  127.  
  128. !8 = !{!"Apple clang version 11.0.3 (clang-1103.0.32.29)"}
  129.  
  130. !9 = !{}
  131.  

LLVM IR 的指令介绍:

LLVM Backend

完整的 LLVM Backend 阶段称为 CodeGen,整个过程可以分成以下几个阶段:

三、编译完成生成的文件

编译完成后,生成一些文件,主要介绍三种:

Link Map File

Link Map FIle 文件内容包含三个部分:

 

 如果使用二进制重排提升 APP 的启动速度,用到 Link Map File 了,参考链接:https://juejin.cn/post/6844904130406793224。

dSYM 文件

dSYM 文件里面存储了函数地址映射的信息,调用栈的地址,可以通过 dSYM 映射表获得具体的函数信息。通常可以做 crash 的文件符号化,将 crash 时保存的调用栈信息转化为相应的函数。这就是为什么友盟或者 bugly,都需要上传 dSYM 文件的原因。

Mach-O

Mach-O 文件是用于记录编译后的可执行文件、对象代码、共享库、动态加载代码和内存转储的文件格式。Mach-O 里面的 _CodeSignature 包含了程序代码的签名,保证里面的文件不能直接更改。如果用过企业版重签名的功能,其实还是有些东西可以改的,只不过改完后,要重新生成签名文件。
Mach-O 文件,主要包含三个部分:

四、小结

接下来来归纳一下:

  1. iOS 使用编译器而不是解释器来处理代码,为了获得更快的运行速度;
  2. iOS 的编译过程是通过 LLVM 编译工具生成语法树 AST,把 AST 转换成 IR,最后把 IR 生成平台的机器码。
  3. 编译成功生成的几个文件 Link Map File、dSYM 和 Mach-O。

Clang 代码规范检查插件

Clang 代码规范检查插件

使用 LLVM 和 Clang,写一个代码规范检查插件。

什么是 LLVM 和 Clang

LLVM 是一个模块化和可重用的编译器和工具链技术的集合,其实是一个代码工程名。早期说到 LLVM 其实是指它的核心库,可以对源码进行平台无关的优化,生成不同平台的机器码。现在LLVM指整个工具链技术集合。

LLVM 工程包含核心库、Clang、LLDB、LLD 等相关项目。Clang 就是 LLVM 的一个子项目,包括 C,C++ 和 Objective-C 的编译器,可以提供惊人的快速编译,比 GCC 快 3 倍。clang static analyzer 主要是进行语法分析,语义分析和生成中间代码。在语义分析阶段,对语法树进行代码静态分析,在静态分析过程中,能加上代码规范检查了。

 

 

 

 

 

 

  

自定义插件

Clang 插件制作步骤如下:

  1. 下载 LLVM ,生成 Xcode 工程,编译项目
  2. 新增 Clang 插件,自定义插件开发,编译出 dylib
  3. Xcode 添加编译设置,接入插件

下载编译 LLVM

先下载 LLVM 工程,在本地新建一个文件夹 LLVM,打开命令行 cd 到该目录下,输入命令:

  1. git clone https://github.com/llvm/llvm-project.git
  2.  
  3. cd llvm-project
  4.  
  5. mkdir build
  6.  
  7. cd build
  8.  
  9. cmake -G Xcode -DLLVM_ENABLE_PROJECTS=clang ../llvm
  10. 10.  

其中 cmake -G Xcode -DLLVM_ENABLE_PROJECTS=clang ../llvm ,生成 LLVM 的 Xcode 编译工程,可以看到本地目录如下:

 

 

 目录中 clang 是类 C 语言编译器的代码目录;llvm 目录的代码包含两部分,一部分是对源码进行平台无关优化的优化器代码,另一部分是生成平台相关汇编代码的生成器代码;lldb 目录里是调试器的代码;lld 里是链接器代码。

编译工程,双击打开 LLVM.Xcodeproj ,选择 Autocreat Schemes,添加 schemes All_BUILD:

 

 

 点击 Running,等待编译完成,预计要大半个小时:

 

 

 编译完成后,可以在目录下看到 Clang 的可执行文件:

 

 这里 clang 和 clang++ 这两个文件的路径记下来,后面会用到。

由于 Xcode 自带的 clang 可能跟工程编译出来的版本不同,在使用自定义插件时,最好把 clang 依赖改成编译出来的版本。

自定义插件开发

1.新增开发工程

接下来开始开发插件,先在 llvm-project — clang — tools 目录下新建一个文件夹 CodeStandardsPlugin,在文件夹里面新建两个文件:CMakeLists.txt 和 CodeStandardsPlugin.cpp。
这里的 CodeStandardsPlugin 表示插件名称,可以自主命名,后续所有用到 CodeStandardsPlugin ,都用命名替换即可。

 

 

 在 llvm-project — clang — tools — CMakeLists.txt 文件的末尾,添加一行代码:

  1. add_clang_subdirectory(CodeStandardsPlugin)
  2.  

重新生成 LLVM 编译工程,在终端运行:

  1. cmake -G Xcode -DLLVM_ENABLE_PROJECTS=clang ../llvm
  2.  

重新打开 LLVM.xcodeproj ,按照下图点击 + 号,输入 CodeStandardsPlugin,可以添加自定义的 scheme 了。

 

在工程文件列表中,搜索 CodeStandardsPlugin,可以看到新建的两个文件:

 

2.功能开发

在 CodeStandardsPlugin/CMakeLists.txt 中,添加如下代码:

  1. add_llvm_library(CodeStandardsPlugin MODULE CodeStandardsPlugin.cpp PLUGIN_TOOL clang)
  2.  
  3.  
  4.  
  5. if(LLVM_ENABLE_PLUGINS AND (WIN32 OR CYGWIN))
  6.  
  7.   target_link_libraries(CodeStandardsPlugin PRIVATE
  8.  
  9.     clangAST
  10. 10.  
  11. 11.     clangBasic
  12. 12.  
  13. 13.     clangFrontend
  14. 14.  
  15. 15.     LLVMSupport
  16. 16.  
  17. 17.     )
  18. 18.  

19. endif()

  1. 20.  

CodeStandardsPlugin.cpp 文件,用来存放开发代码的,源码已经放在https://github.com/YakirLove/CodeStandardsPlugin/blob/master/CodeStandardsPlugin.cpp。

运行工程,在 Products 中,可以看到打包出来的执行文件:

 

 找到 CodeStandardsPlugin.dylib ,拷贝出来,或者绝对路径记录下来。

Xcode 运行

在 Xcode 上运行自定义的编译插件,需要用到 XcodeHacking 这个工具来 hook Xcode。不过现在已经不需要那么麻烦了,在 Xcode10后,只需要添加几个编译配置。

1. 添加 Plugin 路径

在 Targets — Build Setting — AppleClang-Custom Compiler Flags — Other C Flags 中,添加如下语句:

  1. -Xclang -load -Xclang (插件 dylib 绝对路径)-Xclang -add-plugin -Xclang  ( Plugin 名字)
  2.  

示例如下:

  1. -Xclang -load -Xclang /Users/wuyanji/Desktop/YourClang/CodeStandardsPlugin.dylib -Xclang -add-plugin -Xclang CodeStandardsPlugin
  2.  

最后,可以看到结果如下图所示:

 

2. 添加 Clang 路径

插件需要相应的 Clang 版本加载,需要添加依赖的 Clang 路径,在 Xcode 中新增两项自定义设置,分别为 CC 和 CCX:

 

 第一步 llvm 编译后得到的 clang 和 clang++路径,就是用在这里的。CC 表示 clang 路径,CCX 表示 clang++ 路径。

3. 关闭索引建立

编译可能会遇到问题:

 

 可以通过关闭编译建立索引,解决这个问题,将 Index-Wihle-Building Functionality 设置为 NO

 

 

 

编译工程,可以看到结果如下:

问题

由于将 Index-Wihle-Building Functionality 设置为 NO 了,导致 Xcode 的自动补全功能和代码颜色提醒失效,目前没有太好的解决办法。也许可以将插件做成工具形式,需要时再执行。

https://github.com/YakirLove/CodeStandardsPlugin/tree/master

参考链接:

https://xiaozhuanlan.com/topic/4352601789

https://xiaozhuanlan.com/topic/8960517324

 

 

标签:i8,LLVM,struct,Loc,i32,Clang,编译
来源: https://www.cnblogs.com/wujianming-110117/p/15415877.html