關於cmovne 指令的一點小問題

由

int cread(int *xp)
{
 return xp ? *xp:0;
}

翻譯成彙編指令

   movl      $0,%eax

   testl       %edx,%edx

   cmovne (%edx),%eax

這種實現是非法的。主要是vmovne指令的問題，參閱相關資料，我們可以得到:

For the memory-based forms of CMOVcc, memory-related exceptions may be reported even if the condition is false.
In 64-bit mode, CMOVcc with a 32-bit operand size will clear the upper 32 bits of the destination
register even if the condition is false.

可以做以下測試
int main()
{
  int a=12;
  //int *xp=&a;
  int *xp=NULL;
  int *x=NULL;
  _asm
  {   
     pushad
     mov eax,0
     mov edx,xp
     test edx,edx
     cmovne eax,[edx]  //當edx為零時，也就是指標xp為零時，此指令會拋出異常
     mov x,eax
     popad
  }
  printf("%d\n",x);
  return 0;
}