🚀 优质资源分享 🚀
学习路线指引(点击解锁) | 知识定位 | 人群定位 |
---|---|---|
🧡 Python实战微信订餐小程序 🧡 | 进阶级 | 本课程是python flask+微信小程序的完美结合,从项目搭建到腾讯云部署上线,打造一个全栈订餐系统。 |
💛Python量化交易实战💛 | 入门级 | 手把手带你打造一个易扩展、更安全、效率更高的量化交易系统 |
本章是系列文章的第五章,介绍了指针分析方法。指针分析在C/C++语言中非常重要,分析的结果可以有效提升指针的优化效率。
本文中的所有内容来自学习DCC888的学习笔记或者自己理解的整理,如需转载请注明出处。周荣华@燧原科技
5.1 概念
- 指针是许多重要编程语言的特性之一
- 指针的使用,可以避免大量的数据拷贝
- 指针的分析的难度很大,并且一直是理解和修改程序的主要障碍
- 指针分析(Pointer Analysis),又可以称为别名分析(Alias Analysis),或者指向分析(Points-To Analysis)
5.2 为什么需要指针分析
1 #include
2 int main() {
3 int i = 7;
4 int *p = &i;
5 *p = 13;
6 printf("The value of i = %d\n", i);
7 }
给定上面的例子。gcc的-O1选项能优化成什么样子?
将上述代码保存到pta5.1.cc,并使用“gcc -O1 pta5.1.cc -S”进行编译,生成的汇编代码如下:
1 .file "pta5.1.cc"
2 .section .rodata.str1.1,"aMS",@progbits,1
3 .LC0:
4 .string "The value of i = %d\n"
5 .text
6 .globl main
7 .type main, @function
8 main:
9 .LFB30:
10 .cfi\_startproc
11 subq $8, %rsp
12 .cfi\_def\_cfa\_offset 16
13 movl $13, %edx
14 movl $.LC0, %esi
15 movl $1, %edi
16 movl $0, %eax
17 call \_\_printf\_chk
18 movl $0, %eax
19 addq $8, %rsp
20 .cfi\_def\_cfa\_offset 8
21 ret
22 .cfi\_endproc
23 .LFE30:
24 .size main, .-main
25 .ident "GCC: (Ubuntu 5.4.0-6ubuntu1~16.04.12) 5.4.0 20160609"
26 .section .note.GNU-stack,"",@progbits
从汇编代码看,程序直接忽略掉了第3行和第4行的初始化和传地址操作,直接实现了第5行的赋值和第6行的打印。性能是不是强大了很多。
再看个例子:
1 #include
2 #include
3 void sum0(int *a, int *b, int *r, int N) {
4 int i;
5 for (i = 0; i < N; i++) {
6 r[i] = a[i];
7 if (!b[i]) {
8 r[i] = b[i];
9 }
10 }
11 }
12 void sum1(int *a, int *b, int *r, int N) {
13 int i;
14 for (i = 0; i < N; i++) {
15 int tmp = a[i];
16 if (!b[i]) {
17 tmp = b[i];
18 }
19 r[i] = tmp;
20 }
21 }
22 void print(int *a, int N) {
23 int i;
24 for (i = 0; i < N; i++) {
25 if (i % 10 == 0) {
26 printf("\n");
27 }
28 printf("%8d", a[i]);
29 }
30 }
31 #define SIZE 10000
32 #define LOOP 100000
33 int main(int argc, char **argv) {
34 int *a = (int *)malloc(SIZE * 4);
35 int *b = (int *)malloc(SIZE * 4);
36 int *c = (int *)malloc(SIZE * 4);
37 int i;
38 for (i = 0; i < SIZE; i++) {
39 a[i] = i;
40 b[i] = i % 2;
41 }
42 i