Here is a shorter test case:

% cat rdrand.c 
int main(void) {
        asm(".byte 0x66, 0xF, 0xC7, 0xF0, 0xBA, 0x1");

        return 0;
}

Disassembled by gdb as:

   0x00000000004004a0 <+0>:     mov    eax,0x0
   0x00000000004004a5 <+5>:     mov    DWORD PTR [rsp-0x4],0x0
   0x00000000004004ad <+13>:    rdrand ax
   0x00000000004004b1 <+17>:    mov    edx,0x9090c301

** Changed in: valgrind (Ubuntu)
       Status: New => Confirmed

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/852795

Title:
  valgrind does not support ivybridge rdrand instruction

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/valgrind/+bug/852795/+subscriptions

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to