Chinaunix

标题: if(a-b>0) 会不会被优化成if(a>b) [打印本页]

作者: Missex 时间: 2008-05-15 14:42
标题: if(a-b>0) 会不会被优化成if(a>b)
if(a-b>0) 会不会被优化成if(a>b)

由于使用的是times() 获取系统的时间. 应该会出现,上溢的情况. a和b的类型都是clock_t,应该是32位有符号整数.

假设clock_t表示的最大值和最小值分别是MAX MIN.

b=MAX-100;
a=MIN+100;

很明显a>b. 但是如果考虑是时间的话应该是a早于b (系统的滴嗒数设为每秒100,clock_t大约一年多一个轮回,但是程序中a,b不会相差这么多)

谢谢

[ 本帖最后由 Missex 于 2008-5-15 14:44 编辑 ]

作者: zx_wing 时间: 2008-05-15 14:51

原帖由 Missex 于 2008-5-15 14:42 发表
if(a-b>0) 会不会被优化成if(a>b)

由于使用的是times() 获取系统的时间. 应该会出现,上溢的情况. a和b的类型都是clock_t,应该是32位有符号整数.

假设clock_t表示的最大值和最小值分别是MAX MIN.

b=MAX ...

应该不会，内核用的jiffies在5分钟左右（x86）就会回绕，内核用的宏就是通过减法来判断回绕的。
例如

#define time_after(a,b) \
(typecheck(unsigned long, a) && \
typecheck(unsigned long, b) && \
((long)(b) - (long)(a) < 0))

复制代码

作者: Missex 时间: 2008-05-15 14:54
标题: 回复 #2 zx_wing 的帖子
谢谢

BTW: 成都还好吧

[ 本帖最后由 Missex 于 2008-5-15 14:58 编辑 ]

欢迎光临 Chinaunix (http://bbs.chinaunix.net/)