为什么 cmov 总是返回 t_val？ [复制]

Question

我想用上面的cmov函数实现的结果是，如果pred=true，返回t_val，否则返回f_val。但是在实际操作中，每次都会返回t_val。

#include<stdio.h>
#include <stdint.h>
#include <stdlib.h>
int cmov(uint8_t pred, uint32_t t_val, uint32_t f_val) {
uint32_t result;
 __asm__ volatile (
 "mov %2, %0;"
 "test %1, %1;"
 "cmovz %3, %0;"
 "test %2, %2;"
 : "=r" (result)
 : "r" (pred), "r" (t_val), "r" (f_val)
 : "cc"
 );
 return result;
 }
 
int main()  {  
  
     int a=1,b=4,c=5,d;
    int res = (a==3); //
    printf("res = %d\n",res);
    d = cmov(res,b,c);
    printf("d = %d\n",d);
    a=3;
    res = (a==3);
    d = cmov(res,b,c);
    printf("d = %d\n",d);
return 0;
};  

Answer 1

您在输出 ("=&r") 上缺少一个 early-clobber，因此 GCC 可能会为输出选择相同的寄存器作为输入之一，可能是 pred。所以test %1,%1 可能正在测试t_val (b)。使用调试器单步执行 asm，和/或查看 GCC 的 asm 输出。 （在https://godbolt.org/ 或gcc -S 上）。

这似乎效率很低；对输出使用"+r"(result) 约束（使用uint32_t result=t_val;），因此您不需要在asm 模板中使用mov；让编译器为您完成result=t_val，可能只需选择相同的寄存器即可。

test %2,%2之后 cmoz 也无所作为；您甚至没有使用 GCC6 标志输出操作数。这是一个完全浪费的指令。

另外，这不需要是volatile。输出是输入的纯函数，如果输出未使用，则根本不需要运行。

对于 just 一个 cmov 使用内联 asm 可能是个坏主意；使用-O3 编译并编写您的源代码，以便 GCC 认为将 if 转换为无分支代码是一个好主意。内联 asm 破坏了常量传播并破坏了其他优化。这种方式会迫使您在模板中使用 test 指令，而不是从早期的 add 或其他任何内容中读取 FLAGS 集，并且不让编译器为多个 cmov 或其他指令重用相同的 FLAGS 结果。 https://gcc.gnu.org/wiki/DontUseInlineAsm

或者，如果您无法手动控制编译器来制作您想要的 asm，请在 asm 中编写更多您的实际用例，而不仅仅是 cmov 的包装。