Commit e1230a0e authored by Julian Kranz's avatar Julian Kranz
Browse files

X86 Specification

- Added instruction(s): RDPMC - RDRAND
parent 0ead13ee
...@@ -1061,6 +1061,8 @@ type insn = ...@@ -1061,6 +1061,8 @@ type insn =
| RDFSBASE of arity1 | RDFSBASE of arity1
| RDGSBASE of arity1 | RDGSBASE of arity1
| RDMSR | RDMSR
| RDPMC
| RDRAND of arity1
| RDTSC | RDTSC
| RDTSCP | RDTSCP
...@@ -1895,6 +1897,7 @@ val reg/nomem reg = do ...@@ -1895,6 +1897,7 @@ val reg/nomem reg = do
end end
end end
val r/nomem16 = reg/nomem reg16-rex
val r/nomem32 = reg/nomem reg32-rex val r/nomem32 = reg/nomem reg32-rex
val r/nomem64 = reg/nomem reg64-rex val r/nomem64 = reg/nomem reg64-rex
val xmm/nomem128 = reg/nomem xmm-rex val xmm/nomem128 = reg/nomem xmm-rex
...@@ -4728,6 +4731,17 @@ val /f3 [0x0f 0xae /1-nomem] ...@@ -4728,6 +4731,17 @@ val /f3 [0x0f 0xae /1-nomem]
### - Read from Model Specific Register ### - Read from Model Specific Register
val / [0x0f 0x32] = arity0 RDMSR val / [0x0f 0x32] = arity0 RDMSR
### RDPMC
### - Read Performance-Monitoring Counters
val / [0x0f 0x33] = arity0 RDPMC
### RDRAND
### - Read Random Number
val / [0x0f 0xc7 /6-nomem]
| opndsz? = unop RDRAND r/nomem16
| rexw? = unop RDRAND r/nomem64
| otherwise = unop RDRAND r/nomem32
### RDTSC ### RDTSC
### - Read Time-Stamp Counter ### - Read Time-Stamp Counter
val / [0x0f 0x31] = arity0 RDTSC val / [0x0f 0x31] = arity0 RDTSC
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment