14.4布尔表达式
14.4.1范围检测
通常,布尔表达式被用来检测某个数值是否在特定的范围内。例如,在图形窗口处理程序中,常使用布尔表达式判断屏幕中一个点是否在当前活动窗口范围内。
下面的程序使用结构体定义点坐标并计算坐标的当前位置。
boolPointInRect1(Pointp,Rectangle*r)
{return(p.x>=r->xmin&&p.x<r->xmax&&
p.y>=r->ymin&&p.y<r->ymax);
}
上面的功能函数,被编译为下面的指令序列。
PointInRect1
LDRa4,[a3,#0]
CMPa1,a4
BLT|L000034.J5.PointInRect1|
LDRa4,[a3,#4]
CMPa4,a1
BLE|L000034.J5.PointInRect1|
LDRa1,[a3,#8]
CMPa2,a1
BLT|L000034.J5.PointInRect1|
LDRa1,[a3,#&c]!
CMPa2,a1
MOVLTa1,#1
MOVLTpc,lr
|L000034.J5.PointInRect1|
MOVa1,#0
MOVpc,lr
但上面的代码并不是最精简的。编译器对(x>=min&&x<max)形式的布尔表达式的处理过程比较复杂。它将以(unsigned)(x-min)<(max-min)形式实现布尔操作。所有对于上面范围判断的代码,建议将函数写成如下形式。
boolPointInRect2(Pointp,Rectangle*r)
{return((unsigned)(p.x-r->xmin)<r->xmax&&
(unsigned)(p.y-r->ymin)<r->ymax);
}
这样编译出的汇编指令序列如下所示。
PointInRect2
LDRa4,[a3,#0]
SUBa1,a1,a4
LDRa4,[a3,#4]
CMPa1,a4
LDRCCa1,[a3,#8]
SUBCCa1,a2,a1
LDRCCa2,[a3,#&c]!
CMPCCa1,a2
MOVCSa1,#0
MOVCCa1,#1
MOVpc,lr