判断运行时环境
在UNIX系统中,编译器选项-S使编译器把每个源文件的汇编代码写到一个具有.s后缀的文件中
静态变量和初始化
这里的汇编代码分别表示进入程序的数据区以及确保变量开始于内存的偶数地址(边界对齐),声明为全局类型(这里的变量名和C语言的变量名相比,多了一个_),然后为这个变量创建空间,并赋值。
堆栈帧
寄存器变量
虽然你声明了很多寄存器变量,但一般只有几个值会真正使用寄存器变量。另外一般除开整形和指针,其他类型的变量不支持寄存器存放。其他的没有使用寄存器存放的变量就会使用地址模型简介寻址和索引操作来确定放在一个堆栈帧中的具体位置。
a6,a7,a0,a1都有其他用途
其他详情请看p391
判断堆栈帧布局
传递函数参数时
会把函数参数一他们在参数列表中的相反次序逐个压到堆栈中;
另外也会在这个时候把函数的返回地址压入到堆栈中;
跳转到函数序。
函数序
把调用函数的寄存器值压入被调用函数的堆栈的顶部,堆栈的顶部剩余位置是局部变量。
详情看p395
堆栈中的参数次序
d0计算过程的中间结果暂存器
函数跋
返回值
表达式的副作用:
因为d0在运算中又被用来存放中间结果值,因此一下表达式可能(看编译器会不会
发现return后为空和函数原型不匹配而报错)仍返回一个正常的a+b结果值
int erroneous(int a,int b)
{
a+b;
return ;
}
运行时效率
定义程序太大的概念:当其运行的太慢的时候
提高效率:
现在的编译器在才算高效的目标代码方面已经做的非常好了,因此把时间花在对代码进行一些小的修改以便使它效率跟高常常并不很合算。
提示:常用技巧有使用register变量,算法和数据结构。优化的目标应该找到花费时间最多的那部分程序进行优化,UNIX系统大多都具有性能评测工具。
经验之谈: