Commit 7d3a24f1 authored by Julian Kranz's avatar Julian Kranz

X86 RREIL Translator

- Fixed bug in semantics of: (V)PSLLDQ
parent 8cca20f1
......@@ -1655,7 +1655,7 @@ val sem-pslldq-vpslldq-opnd avx-encoded opnd1 opnd2 opnd3 = do
temp <- mktemp;
shr size temp src (imm amount);
shl size temp src (imm amount);
write-extend avx-encoded size dst (var temp)
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