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

X86 RREIL Translator

- Added semantics of: INVD
parent 8b20b45d
......@@ -1119,7 +1119,6 @@ val sem-cpuid x = do
undef edx.size edx
end
val sem-cwd-cdq-cqo x = do
src <-
case x.opnd-sz of
......@@ -1249,6 +1248,8 @@ val sem-inc x = do
commit sz dst (var temp)
end
val sem-invd = return void
## J>>
val sem-jcc x cond = do
......@@ -2442,7 +2443,7 @@ val semantics insn =
| INT x: sem-undef-arity1 x
| INT0 x: sem-undef-arity0 x
| INT3 x: sem-undef-arity0 x
| INVD x: sem-undef-arity0 x
| INVD x: sem-invd
| INVLPG x: sem-undef-arity1 x
| INVPCID x: sem-undef-arity2 x
| IRET x: sem-undef-arity0 x
......
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