Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Tanzeem Haque
gdsl-toolkit
Commits
27ae5bdb
Commit
27ae5bdb
authored
Oct 03, 2012
by
Julian Kranz
Browse files
X86 RREIL Translator
- Continued to add semantics for: (V)MOVAPS
parent
1126a641
Changes
1
Hide whitespace changes
Inline
Side-by-side
specifications/x86/x86-rreil-translator.ml
View file @
27ae5bdb
...
...
@@ -836,6 +836,25 @@ val sem-movaps x = do
commit
sz
dst
(
var
temp
)
end
val
sem
-
vmovaps
x
=
do
sz
<-
sizeof1
x
.
opnd1
;
dst
<-
write
sz
x
.
opnd1
;
src
<-
read
sz
x
.
opnd2
;
if
sz
===
128
then
do
dst
-
upper
<-
write
-
upper
sz
x
.
opnd1
;
commit
sz
dst
-
upper
(
imm
0
)
end
else
return
void
;
temp
<-
mktemp
;
mov
sz
temp
src
;
commit
sz
dst
(
var
temp
)
end
val
sem
-
movsx
x
=
do
sz
-
dst
<-
sizeof1
x
.
opnd1
;
sz
-
src
<-
sizeof1
x
.
opnd2
;
...
...
@@ -2121,7 +2140,7 @@ val semantics insn =
|
VMINSD
x
:
sem
-
undef
-
varity
x
|
VMINSS
x
:
sem
-
undef
-
varity
x
|
VMOVAPD
x
:
sem
-
undef
-
varity
x
|
VMOVAPS
x
:
sem
-
undef
-
varity
x
|
VMOVAPS
x
:
sem
-
vmovaps
x
|
VMOVD
x
:
sem
-
undef
-
varity
x
|
VMOVDDUP
x
:
sem
-
undef
-
varity
x
|
VMOVDQA
x
:
sem
-
undef
-
varity
x
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment