Commit 9f92680a authored by Julian Kranz's avatar Julian Kranz

X86 RREIL Translator

- Continued to add semantics for: CALL
parent 4678814d
...@@ -465,18 +465,22 @@ val sem-call x = do ...@@ -465,18 +465,22 @@ val sem-call x = do
temp-dest <- mktemp; temp-dest <- mktemp;
temp-ip <- mktemp; temp-ip <- mktemp;
if (near x.opnd1) then if (near x.opnd1) then
if (relative x.opnd1) then do
if (opnd-sz === 64) then ip <- ip-get;
if (relative x.opnd1) then
do do
movsx ip-sz temp-dest target-sz target; movsx ip-sz temp-dest target-sz target;
ip <- ip-get; add ip-sz temp-ip ip (var temp-dest);
add ip-sz temp-ip ip (var temp-dest); if (opnd-sz === 16) then
ps-push ip-sz ip mov (ip-sz - opnd-sz) (at-offset temp-ip opnd-sz) (imm 0)
end else
return void
end
else else
return void movzx ip-sz temp-ip target-sz target
else ;
return void ps-push ip-sz ip
end
else else
return void return void
; ;
......
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