Question

我有一个简单的标记值组合。值可以是int64_ts或doubles。我正在对这些联盟进行添加，但需要注意的是，如果两个参数都代表int64_t值，则结果也应该具有int64_t值。

以下是代码：

#include<stdint.h>
union Value {
  int64_t a;
  double b;
};

enum Type { DOUBLE, LONG };

// Value + type.
struct TaggedValue {
  Type type;
  Value value;
};

void add(const TaggedValue& arg1, const TaggedValue& arg2, TaggedValue* out) {
  const Type type1 = arg1.type;
  const Type type2 = arg2.type;
  // If both args are longs then write a long to the output.
  if (type1 == LONG && type2 == LONG) {
    out->value.a = arg1.value.a + arg2.value.a;
    out->type = LONG;
  } else {
    // Convert argument to a double and add it.
    double op1 = type1 == LONG ? (double)arg1.value.a : arg1.value.b; // Why isn't CMOV used?
    double op2 = type2 == LONG ? (double)arg2.value.a : arg2.value.b; // Why isn't CMOV used? 
    out->value.b = op1 + op2;
    out->type = DOUBLE;
  }
}

-O2的gcc输出在这里：http://goo.gl/uTve18 如果链接不起作用，请附在此处。

add(TaggedValue const&, TaggedValue const&, TaggedValue*):
    cmp DWORD PTR [rdi], 1
    sete    al
    cmp DWORD PTR [rsi], 1
    sete    cl
    je  .L17
    test    al, al
    jne .L18
.L4:
    test    cl, cl
    movsd   xmm1, QWORD PTR [rdi+8]
    jne .L19
.L6:
    movsd   xmm0, QWORD PTR [rsi+8]
    mov DWORD PTR [rdx], 0
    addsd   xmm0, xmm1
    movsd   QWORD PTR [rdx+8], xmm0
    ret
.L17:
    test    al, al
    je  .L4
    mov rax, QWORD PTR [rdi+8]
    add rax, QWORD PTR [rsi+8]
    mov DWORD PTR [rdx], 1
    mov QWORD PTR [rdx+8], rax
    ret
.L18:
    cvtsi2sd    xmm1, QWORD PTR [rdi+8]
    jmp .L6
.L19:
    cvtsi2sd    xmm0, QWORD PTR [rsi+8]
    addsd   xmm0, xmm1
    mov DWORD PTR [rdx], 0
    movsd   QWORD PTR [rdx+8], xmm0
    ret

它产生了许多分支的代码。我知道输入数据非常随机，即它具有int64_t和double s的随机组合。我希望至少转换为使用等效的CMOV指令进行的双重转换。有什么方法可以哄gcc生成代码吗？理想情况下，我希望在实际数据上运行一些基准测试，以查看具有大量分支的代码与具有较少分支但更昂贵的CMOV指令的代码之间的关系。可能会发现GCC默认生成的代码效果更好，但我想确认一下。我可以自己内联装配，但我不愿意。

交互式编译器链接是检查程序集的好方法。有什么建议吗？

让GCC / Clang使用CMOV

0 个答案: