99.99%可能性,KEIL BUG

1万 · 2011-9-26 09:13

不解释,直接上图,自己测试

只看该作者 · 2011-9-26 11:25

生成汇编看一下就明白了

只看该作者 · 2011-9-26 12:14

哎，真无语。

只看该作者 · 2011-9-26 12:35

呵呵，没看出来bug在那里

只看该作者 · 2011-9-26 13:22

看样子KEIL是朝-无穷大取整的，不知道别的编译器和C标准是怎么定义的

但好象取余方法与取整方法不一致

只看该作者 · 2011-9-26 13:27

本帖最后由 uc_efm32 于 2011-9-26 13:30 编辑

不解释,直接上图,自己测试
ayb_ice 发表于 2011-9-26 09:13

楼主在这里瞎掰有什么意思？

找本C语言标准，好好看看就明白了。

1万 · 2011-9-26 13:29

楼主先把这个问题弄明白了再说：
C标准“ / ”操作是什么运算符？操作数要满足什么要求？
运算结果与操作数的关系是什么？
有符号与无符号运算规则有什么不同？ ...
uc_efm32 发表于 2011-9-26 13:27

那你来讲讲,难道你还认为KEIL是正确的吗

只看该作者 · 2011-9-26 13:42

When integers are divided, the result of the / operator is the algebraic quotient with any fractional part discarded.

只看该作者 · 2011-9-26 13:48

-5 / 4 = -1 ………………-1，

没仔细看，
貌似楼主的图里面KEIL确实有问题，

楼主的测试程序太短，建议加上volatile.

只看该作者 · 2011-9-26 13:52

IAR 8051 8.10

1万 · 2011-9-26 13:52

-5 / 4 = -1 ………………-1，

没仔细看，
貌似楼主的图里面KEIL确实有问题，

楼主的测试程序太短，建议加上volatile.
uc_efm32 发表于 2011-9-26 13:48

别说加volatile,你加什么也没有用
99.99%,KEIL BUG

1万 · 2011-9-26 13:59

1# ayb_ice 这真是一个BUG呢！
我发现，keil (/ 4)(/2)运算是通过RCC实现的，其它是调用库函数实现的！
为什么说是BUG，且看keil的计算：
(1)-4/4 = -1,
(2)-5/4 = -2, -5/3 = -1
(3)-6/4 = -2, -6/3 = -2
(4)-7/4 = -2,
(5)-8/4 = -2,

1万 · 2011-9-26 14:06

所以说99.99%的可能性是BUG
我测试过
IAR8051,FSL CWS08,STVD,KEIL ARM,SDCC 51结果都正确,唯KEIL C51错误
C51把"x=z/4;"当成了"x = z>>2";编译了,结果杯具了
但C51这样做结果也正确
signed char x,y,z,a;
z = -5;
a = 4;
x = z/a;
y=z%a;

1万 · 2011-9-26 14:14

所以说99.99%的可能性是BUG
我测试过
IAR8051,FSL CWS08,STVD,KEIL ARM,SDCC 51结果都正确,唯KEIL C51错误
C51把"x=z/4;"当成了"x = z>>2";编译了,结果杯具了
但C51这样做结果也正确
signed char x,y,z,a;
z = -5;
a ...
ayb_ice 发表于 2011-9-26 14:06

z/a,这样即使a =4,keil也不敢用移位运算啊，只能调用库函数，所以结果正确！