程序分析与优化 - 5 指针分析

最新推荐文章于 2026-06-28 12:58:59 发布

原创

最新推荐文章于 2026-06-28 12:58:59 发布 · 746 阅读

标签

#flask #python #后端 #计算机

本文介绍了指针分析在C/C++中的重要性，特别是Andersen和Steensgaard指针分析算法。通过实例展示了如何使用这些算法优化指针操作，包括循环坍塌的概念及循环检测方法。指针分析有助于编译器进行更有效的优化。

🚀 优质资源分享 🚀

学习路线指引（点击解锁）	知识定位	人群定位
🧡 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 if (argc % 2) {
43 printf("sum0\n");
44 for (i = 0;

最低0.47元/天解锁文章