C编译器剖析_6.3.5 汇编代码生成_为类型转换产生汇编代码

6.3.5  为类型转换产生汇编代码

    在这一小节中，我们来讨论一下整型和浮点型之间的类型转换。有些类型转换并不需要在汇编层次进行数据转换，例如int和unsigned  int之间的转换只是改变了表达式的类型，对数据本身并无影响，以下表达式“(unsigned int) a”对应的二进制数据为0xFFFFFFFF，而表达式“a”对应的二进制数据也为0xFFFFFFFF。但对相同内容的二进制数据来说，进行“有符号整数的右移”和“无符号整数的右移”的结果是不一样的。换言之，对于int和unsigned  int之间的转换，我们只要在语义检查时，保存转型后的新类型即可，由于其数据本身并没有发生变化，我们不需要产生任何进行数据格式转换的汇编代码。

         int   a = -1;

         unsigned  int  b;

         b = ((unsigned int) a)>> 30;      //b为3

         b = a >> 30;                      //b为0xFFFFFFFF   

    还有一点需要注意的是，UCC编译器总是把低于int的整型先隐式地提升为int，然后再进行其他转换。如下所示，当要进行“short-- > char”的转换时，我们会以int作为中转，实际进行的转换为“short -- > int -- > char”。

         short  s = 3;

         char  c=(char)s;

         对应的中间代码/

         t0 : (int)(short)s;     //