SDCC生成不必要的零除

Question

我正在使用SDCC为STM8微控制器进行编译。编译以下文件会产生一个看似不必要的div指令--这在STM8上非常慢。

char a[1];
char b;

void foo() __interrupt(1) {
    char c = a[0];
    b = c >> 0;
}

void main() {
}

使用sdcc -mstm8 file.c编译会产生以下程序集：

_foo:
    clr a
    div x, a
    ld  a, _a+0
    ld  _b+0, a
    iret

这个函数看起来像预期的那样工作，但是我不明白为什么需要前两条指令。

Answer 1

看起来这是编译器中某个地方的错误，因为如果将b = c >> 0更改为b = c << 0、b = c + 0、b = a[0]...那么这样的事情就不会发生了。在优化的代码和未优化的代码上都可以观察到这种行为。但是如果优化大小(--opt-code-size)，那么只有div在那里，clr指令就不会发出。您可能想要report that to the developers

Demo on Compiler Explorer