LLVM与Clang局部架构与语法分析

LLVM与Clang局部架构与语法分析
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

Clang与LLVM
LLVM整体架构,前端用的是clang,广义的LLVM是指整个LLVM架构,一般狭义的LLVM指的是LLVM后端(包含代码优化和目标代码生成)。

源代码(c/c++)经过clang–> 中间代码(经过一系列的优化,优化用的是Pass) --> 机器码

OC源文件的编译过程
这里用Xcode创建一个Test项目,然后cd到main.m的上一路径。
命令行查看编译的过程:$ clang -ccc-print-phases main.m

$ clang -ccc-print-phases main.m

0: input, “main.m”, objective-c
1: preprocessor, {0}, objective-c-cpp-output
2: compiler, {1}, ir
3: backend, {2}, assembler
4: assembler, {3}, object
5: linker, {4}, image
6: bind-arch, “x86_64”, {5}, image
0.找到main.m文件
1.预处理器,处理include、import、宏定义
2.编译器编译,编译成ir中间代码
3.后端,生成目标代码
4.汇编
5.链接其他动态库静态库
6.编译成适合某个架构的代码

查看preprocessor(预处理)的结果:$ clang -E main.m
这个命令敲出,终端就会打印许多信息,大致如下:

1 “main.m”

1 “” 1

1 “” 3

353 “” 3

1 “” 1

1 “” 2

1 “main.m” 2

.
.
.
int main(int argc, const char * argv[]) {
@autoreleasepool {
NSLog(@“Hello, World!”);
}
return 0;
}
词法分析
词法分析,生成Token: $ clang -fmodules -E -Xclang -dump-tokens main.m
将代码分成一个个小单元(token)

举例如下:

void test(int a, int b){
int c = a + b - 3;
}

void ‘void’ [StartOfLine] Loc=main.m:18:1
identifier ‘test’ [LeadingSpace] Loc=main.m:18:6
l_paren ‘(’ Loc=main.m:18:10
int ‘int’ Loc=main.m:18:11
identifier ‘a’ [LeadingSpace] Loc=main.m:18:15
comma ‘,’ Loc=main.m:18:16
int ‘int’ [LeadingSpace] Loc=main.m:18:18
identifier ‘b’ [LeadingSpace] Loc=main.m:18:22
r_paren ‘)’ Loc=main.m:18:23
l_brace ‘{’ Loc=main.m:18:24
int ‘int’ [StartOfLine] [LeadingSpace] Loc=main.m:19:5
identifier ‘c’ [LeadingSpace] Loc=main.m:19:9
equal ‘=’ [LeadingSpace] Loc=main.m:19:11
identifier ‘a’ [LeadingSpace] Loc=main.m:19:13
plus ‘+’ [LeadingSpace] Loc=main.m:19:15
identifier ‘b’ [LeadingSpace] Loc=main.m:19:17
minus ‘-’ [LeadingSpace] Loc=main.m:19:19
numeric_constant ‘3’ [LeadingSpace] Loc=main.m:19:21
semi ‘;’ Loc=main.m:19:22
r_brace ‘}’ [StartOfLine] Loc=main.m:20:1
eof ‘’ Loc=main.m:20:2
可以看出,词法分析的时候,将上面的代码拆分一个个token,后面数字表示某一行的第几个字符,例如第一个void,表示第18行第一个字符。

语法树-AST
语法分析,生成语法树(AST,Abstract Syntax Tree): $ clang -fmodules -fsyntax-only -Xclang -ast-dump main.m
通过语法树,我们能知道这个代码是做什么的。

还是刚刚的test函数
生成语法树如下:

|-FunctionDecl 0x7fa1439f5630 <line:18:1, line:20:1> line:18:6 test ‘void (int, int)’
| |-ParmVarDecl 0x7fa1439f54b0 <col:11, col:15> col:15 used a ‘int’
| |-ParmVarDecl 0x7fa1439f5528 <col:18, col:22> col:22 used b ‘int’
| -CompoundStmt 0x7fa142167c88 <col:24, line:20:1> |-DeclStmt 0x7fa142167c70 <line:19:5, col:22>
| -VarDecl 0x7fa1439f5708 <col:5, col:21> col:9 c 'int' cinit |-BinaryOperator 0x7fa142167c48 <col:13, col:21> ‘int’ ‘-’
| |-BinaryOperator 0x7fa142167c00 <col:13, col:17> ‘int’ ‘+’
| | |-ImplicitCastExpr 0x7fa1439f57b8 col:13 ‘int’
| | | -DeclRefExpr 0x7fa1439f5768 <col:13> 'int' lvalue ParmVar 0x7fa1439f54b0 'a' 'int' | |-ImplicitCastExpr 0x7fa1439f57d0 col:17 ‘int’
| | -DeclRefExpr 0x7fa1439f5790 <col:17> 'int' lvalue ParmVar 0x7fa1439f5528 'b' 'int' |-IntegerLiteral 0x7fa142167c28 col:21 ‘int’ 3

`-
在终端敲出的时候,终端很直观的帮我们用颜色区分。我们可以用图形显示如下:

test函数的语法树
LLVM IR
LLVM IR有3种表示形式(本质是等价的)

text:便于阅读的文本格式,类似于汇编语言,拓展名.ll, $ clang -S -emit-llvm main.m
memory:内存格式
bitcode:二进制格式,拓展名.bc, $ clang -c -emit-llvm main.m
我们以text形式编译查看:

; Function Attrs: noinline nounwind optnone ssp uwtable
define void @test(i32, i32) #2 {
%3 = alloca i32, align 4
%4 = alloca i32, align 4
%5 = alloca i32, align 4
store i32 %0, i32* %3, align 4
store i32 %1, i32* %4, align 4
%6 = load i32, i32* %3, align 4
%7 = load i32, i32* %4, align 4
%8 = add nsw i32 %6, %7
%9 = sub nsw i32 %8, 3
store i32 %9, i32* %5, align 4
ret void
}
IR基本语法
注释以分号 ; 开头
全局标识符以@开头,局部标识符以%开头
alloca,在当前函数栈帧中分配内存
i32,32bit,4个字节的意思
align,内存对齐
store,写入数据
load,读取数据
官方语法参考 https://llvm.org/docs/LangRef.html

应用与实践
开发都是基于源码开发,首先要进行源码下载和编译。
源码下载

下载LLVM
$ git clone https://git.llvm.org/git/llvm.git/

下载clang
$ cd llvm/tools
$ git clone https://git.llvm.org/git/clang.git/

备注:clang是llvm的子项目,但是它们的源码是分开的,我们需要将clang放在llvm/tools目录下。
源码编译
在终端敲出的clang是xcode默认内置clang编译器,我们自己要进行LLVM开发的话,需要编译属于我们自己的clang编译器

首先安装cmake和ninja(先安装brew,https://brew.sh/)
$ brew install cmake
$ brew install ninja

ninja如果安装失败,可以直接从github获取release版放入【/usr/local/bin】中
https://github.com/ninja-build/ninja/releases

在LLVM源码同级目录下新建一个【llvm_build】目录(最终会在【llvm_build】目录下生成【build.ninja】

$ cd llvm_build
$ cmake -G Ninja …/llvm -DCMAKE_INSTALL_PREFIX=LLVM的安装路径

备注:生成build.ninja,就表示编译成功,-DCMAKE_INSTALL_PREFIX 表示编译好的东西放在指定的路径,-D表示参数。

更多cmake相关选项,可以参考: https://llvm.org/docs/CMake.html
接下来依次执行编译、安装指令

$ ninja
编译完毕后, 【llvm_build】目录大概 21.05 G(这个真的是好大啊)
$ ninja install
然后到这里我们的编译就完成了。

另一种方式是通过Xcode编译,生成Xcode项目再进行编译,但是速度很慢(可能需要1个多小时)。

方法如下:
在llvm同级目录下新建一个【llvm_xcode】目录
$ cd llvm_xcode
$ cmake -G Xcode …/llvm
应用与实践的参考

libclang、libTooling
官方参考:https://clang.llvm.org/docs/Tooling.html
应用:语法树分析、语言转换等

参考链接:
https://www.cnblogs.com/wwoo/p/llvm-chu-tan.html
https://www.cnblogs.com/huhuf6/p/13978797.html

热门文章

暂无图片
编程学习 ·

Java输出数组的内容

Java输出数组的内容_一万个小时-CSDN博客_java打印数组内容1. 输出内容最常见的方式// List<String>类型的列表List<String> list new ArrayList<String>();list.add("First");list.add("Second");list.add("Third");list.ad…
暂无图片
编程学习 ·

母螳螂的“魅惑之术”

在它们对大蝗虫发起进攻的时候&#xff0c;我认认真真地观察了一次&#xff0c;因为它们突然像触电一样浑身痉挛起来&#xff0c;警觉地面对限前这个大家伙&#xff0c;然后放下自己优雅的身段和祈祷的双手&#xff0c;摆出了一个可怕的姿势。我被眼前的一幕吓到了&#xff0c;…
暂无图片
编程学习 ·

疯狂填词 mad_libs 第9章9.9.2

#win7 python3.7.0 import os,reos.chdir(d:\documents\program_language) file1open(.\疯狂填词_d9z9d2_r.txt) file2open(.\疯狂填词_d9z9d2_w.txt,w) words[ADJECTIVE,NOUN,VERB,NOUN] str1file1.read()#方法1 for word in words :word_replaceinput(fEnter a {word} :)str1…
暂无图片
编程学习 ·

HBASE 高可用

为了保证HBASE是高可用的,所依赖的HDFS和zookeeper也要是高可用的. 通过参数hbase.rootdir指定了连接到Hadoop的地址,mycluster表示为Hadoop的集群. HBASE本身的高可用很简单,只要在一个健康的集群其他节点通过命令 hbase-daemon.sh start master启动一个Hmaster进程,这个Hmast…
暂无图片
编程学习 ·

js事件操作语法

一、事件的绑定语法 语法形式1 事件监听 标签对象.addEventListener(click,function(){}); 语法形式2 on语法绑定 标签对象.onclick function(){} on语法是通过 等于赋值绑定的事件处理函数 , 等于赋值本质上执行的是覆盖赋值,后赋值的数据会覆盖之前存储的数据,也就是on…
暂无图片
编程学习 ·

Photoshop插件--晕影动态--选区--脚本开发--PS插件

文章目录1.插件界面2.关键代码2.1 选区2.2 动态晕影3.作者寄语PS是一款栅格图像编辑软件&#xff0c;具有许多强大的功能&#xff0c;本文演示如何通过脚本实现晕影动态和选区相关功能&#xff0c;展示从互联网收集而来的一个小插件&#xff0c;供大家学习交流&#xff0c;请勿…
暂无图片
编程学习 ·

vs LNK1104 无法打开文件“xxx.obj”

写在前面&#xff1a; 向大家推荐两本新书&#xff0c;《深度学习计算机视觉实战》和《学习OpenCV4&#xff1a;基于Python的算法实战》。 《深度学习计算机视觉实战》讲了计算机视觉理论基础&#xff0c;讲了案例项目&#xff0c;讲了模型部署&#xff0c;这些项目学会之后可以…
暂无图片
编程学习 ·

工业元宇宙的定义与实施路线图

工业元宇宙的定义与实施路线图 李正海 1 工业元宇宙 给大家做一个关于工业元宇宙的定义。对于工业&#xff0c;从设计的角度来讲&#xff0c;现在的设计人员已经做到了普遍的三维设计&#xff0c;但是进入元宇宙时代&#xff0c;就不仅仅只是三维设计了&#xff0c;我们的目…
暂无图片
编程学习 ·

【leectode 2022.1.15】完成一半题目

有 N 位扣友参加了微软与力扣举办了「以扣会友」线下活动。主办方提供了 2*N 道题目&#xff0c;整型数组 questions 中每个数字对应了每道题目所涉及的知识点类型。 若每位扣友选择不同的一题&#xff0c;请返回被选的 N 道题目至少包含多少种知识点类型。 示例 1&#xff1a…
暂无图片
编程学习 ·

js 面试题总结

一、js原型与原型链 1. prototype 每个函数都有一个prototype属性&#xff0c;被称为显示原型 2._ _proto_ _ 每个实例对象都会有_ _proto_ _属性,其被称为隐式原型 每一个实例对象的隐式原型_ _proto_ _属性指向自身构造函数的显式原型prototype 3. constructor 每个prot…
暂无图片
编程学习 ·

java练习代码

打印自定义行数的空心菱形练习代码如下 import java.util.Scanner; public class daYinLengXing{public static void main(String[] args) {System.out.println("请输入行数");Scanner myScanner new Scanner(System.in);int g myScanner.nextInt();int num g%2;//…
暂无图片
编程学习 ·

RocketMQ-什么是死信队列?怎么解决

目录 什么是死信队列 死信队列的特征 死信消息的处理 什么是死信队列 当一条消息初次消费失败&#xff0c;消息队列会自动进行消费重试&#xff1b;达到最大重试次数后&#xff0c;若消费依然失败&#xff0c;则表明消费者在正常情况下无法正确地消费该消息&#xff0c;此时…
暂无图片
编程学习 ·

项目 cg day04

第4章 lua、Canal实现广告缓存 学习目标 Lua介绍 Lua语法 输出、变量定义、数据类型、流程控制(if..)、循环操作、函数、表(数组)、模块OpenResty介绍(理解配置) 封装了Nginx&#xff0c;并且提供了Lua扩展&#xff0c;大大提升了Nginx对并发处理的能&#xff0c;10K-1000K Lu…
暂无图片
编程学习 ·

输出三角形

#include <stdio.h> int main() { int i,j; for(i0;i<5;i) { for(j0;j<i;j) { printf("*"); } printf("\n"); } }
暂无图片
编程学习 ·

stm32的BOOTLOADER学习1

序言 最近计划学习stm32的BOOTLOADER学习,把学习过程记录下来 因为现在网上STM32C8T6还是比较贵的,根据我的需求flash空间小一些也可以,所以我决定使用stm32c6t6.这个芯片的空间是32kb的。 #熟悉芯片内部的空间地址 1、flash ROM&#xff1a; 大小32KB&#xff0c;范围&#xf…
暂无图片
编程学习 ·

通过awk和shell来限制IP多次访问之学不会你打死我

学不会你打死我 今天我们用shell脚本&#xff0c;awk工具来分析日志来判断是否存在扫描器来进行破解网站密码——限制访问次数过多的IP地址&#xff0c;通过Iptables来进行限制。代码在末尾 首先我们要先查看日志的格式&#xff0c;分析出我们需要筛选的内容&#xff0c;日志…
暂无图片
编程学习 ·

Python - 如何像程序员一样思考

在为计算机编写程序之前&#xff0c;您必须学会如何像程序员一样思考。学习像程序员一样思考对任何学生都很有价值。以下步骤可帮助任何人学习编码并了解计算机科学的价值——即使他们不打算成为计算机科学家。 顾名思义&#xff0c;Python经常被想要学习编程的人用作第一语言…
暂无图片
编程学习 ·

蓝桥杯python-数字三角形

问题描述 虽然我前后用了三种做法&#xff0c;但是我发现只有“优化思路_1”可以通过蓝桥杯官网中的测评&#xff0c;但是如果用c/c的话&#xff0c;每个都通得过&#xff0c;足以可见python的效率之低&#xff08;但耐不住人家好用啊&#xff08;哭笑&#xff09;&#xff09…