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所有可能的边界值。