0

我正在构建解释，用 C 编写并使用 GCC。

我改变了生成中间代码的方式。

但是在解释这段代码时发生了意想不到的变化。有一个条件块处理中间代码中的条件跳转。我没有更改那段代码。

使用 Dissy 进行反汇编。

旧版本的汇编看起来像：

mov  0x10(%r14),%rax
mov  0x50(%rsp),%rcx
mov  (%rcx,%rax,8),%r12
mov  (%r12),%eax
test $0x4,%al
je   4077ef
cmpb $0x0,0x8(%r12)
je   4077ef

较新的版本：

mov  0x10(%r14),%rax
mov  (%r12,%rax,8),%rdx
mov  (%rdx),%eax
test $0x4,%al
je   4073e0
cmpb $0x0,0x8(%rdx)
je   4073e0

这种变化导致了由错误预测导致的 4-6% 的性能退化。

有没有办法建议 GCC 使用旧版本而不使用汇编部分，以保持可移植性？

谢谢。

编辑

C中的代码：

if((M->type & 4 && M->val.boolean)
|| (M->type & 1 && M->val.number != 0.0)
|| (M->type & 2 && M->val.string.length != 0))
    // true;
else
    // false;
4

1 回答 1

2

这里的分支预测有并且不可能有任何区别。

相反，您似乎已从以下位置修改了原始源代码：

 void my_func( int *myarray, int N) {
      do_something(myarray[N]);
 }

到

 void modified( int * myarray, int N) {
     do_something(myarray);
     do_something_else(myarray[N]);
 }

因为在后一种情况下， myarray 的基数已经缓存在寄存器 r12 中——或者您刚刚将 myarray 从本地堆栈中移出以用作函数的参数。

于 2012-12-03T11:15:38.433 回答