1、指针别名
(1)当两个指针指向同一个对象时,这两个指针被称作该对象的别名
(2)编译器的特点
①编译器是悲观的
②编译器不知道指针是否是别名
2、例:对两个定时器进行步进累加
void timers_v1(int *timer1,int *timer2, int *step)
{
*timer1 += *step;
*timer2 += *step;
}
上述代码的汇编代码为:
timers_v1.s
LDR r3,[r0,#0] ;r3=*timer1
LDR r12,[r2,#0]
ADD r3,r3,r12 ;r3+=r12
STR r3,[r0,#0] ;*timer1=r3
LDR r0,[r1,#0] ;r0=*timer2
LDR r2,[r2,#0]
ADD r0,r0,r12 ;r0+=r12
STR r0,[r1,#0] ;*timer2=r0
MOV pc,r14 ;return
*step变量加载了两次
3、思考:采用什么办法可以避免读两次内存?
4、代码改进:增加局部变量,缓存*step的值,使用临时变量进行后续的运算。
void timers_v2(int *timer1,int *timer2, int *step)
{
int step = *step;
*timer1 += step ;
*timer2 += step;
}