我试图找出C标准(C90,虽然我正在使用Derek Jones的注释C99书),但我保证不会丢失精度乘以两个无符号8位值并存储到16位结果.示例声明如下:
unsigned char foo;
unsigned int foo_u16 = foo * 10;
我们的Keil 8051编译器(目前为v7.50)将生成一个MUL AB指令,该指令将MSB存储在B寄存器中,LSB存储在累加器中.如果我先将foo转换为unsigned int:
unsigned int foo_u16 = (unsigned int)foo * 10;
然后编译器正确地决定我想在那里使用unsigned int并生成对16x16位整数乘法例程的昂贵调用.我想毫无疑问地争辩说这种防御措施是没有必要的.当我读取6.3.1.1中描述的整数提升时,第一行的效果应该是foo和10被提升为unsigned int,执行乘法,结果存储为foo_u16中的unsigned int.如果编译器知道一条指令执行8x8-> 16位乘法而不会损失精度,那就更好了; 但精度得到保证.我读得对吗？
此致,Craig Blome