ARM 系统高效C编程——C编译器及优化概述

看一个例子, 把从地址data 开始的N个字节的内容置0：

void memclr(char *data, int N)

{

for(;N>0; N --)

{

*data = 0;

data ++;

}

}

首先， 编译器无论多高级，也不可能知道 N 的输入是否可以是 0。 因此， 在第一个循环开始之前，编译器需要对这个问题进行明确的确定。

其次，编译器也不知道数组指针data是否4字节对齐， 如果是，那么编译器就可以使用int 而不是char 类型的指针， 这样可以一次写4个byte 而不是1个byte。而且编译器也不知道 N 是不是4 的整数倍，如果是，那个编译器就可以重复循环体中的内容4次或者利用int 类型的指针一次写4个byte.

然而编译器必须是保守的，只能假定N的所有可能的值和data所有可能的边界值。