unsigned char与unsigned short除法时的avr-gcc编译器行为差异

这个现象的核心是C语言的整数提升规则，结合AVR-GCC的平台特性共同导致：

• 对于uint8_t/unsigned char这类宽度小于int的类型，执行算术运算时会被自动提升为signed int（AVR平台的int是16位，完全能容纳uint8_t的所有取值）。
• 当执行x = x*2/3时：
  1. x（uint8_t）先被提升为signed int，与2（int类型）相乘，结果为signed int；
  2. 这个有符号整数再和3（int类型）执行有符号除法，编译器会调用16位有符号除法例程__divmodhi4；
  3. 同时引入无符号除法例程__udivmodhi4，是因为AVR-GCC在处理最终赋值回uint8_t的类型转换时，内部辅助逻辑触发了无符号运算的引用——尤其在未开启最高级别空间优化时，链接器会纳入所有被间接引用的例程。

而使用unsigned short时：

• AVR平台上unsigned short的宽度与int一致（16位），不会触发整数提升，运算全程以无符号16位整数进行，因此只会调用预期的无符号除法例程__udivmodhi4。

如果要节省Flash空间，可以尝试：

• 手动规避整数提升，用位运算或常量近似替换除法（比如x = (x * 2) * 0xAA >> 8，利用2/3 ≈ 0xAA/0xFF的整数近似关系）；
• 开启-Os级别优化，编译器会自动尝试用紧凑指令替换除法例程，甚至直接消除对除法函数的调用。

内容的提问来源于stack exchange，提问作者Amine Kchouk