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
a0e34608
Commit
a0e34608
authored
Sep 25, 2012
by
Julian Kranz
Browse files
X86 RREIL Translator
- Added semantics for: MOVZX
parent
ce8e355d
Changes
1
Hide whitespace changes
Inline
Side-by-side
specifications/x86/x86-rreil-translator.ml
View file @
a0e34608
...
...
@@ -449,10 +449,22 @@ end
val
sem
-
mov
x
=
do
sz
<-
guess
-
sizeof
x
.
opnd1
x
.
opnd2
;
a
<-
write
sz
x
.
opnd1
;
b
<-
read
sz
x
.
opnd
1
;
b
<-
read
sz
x
.
opnd
2
;
commit
sz
a
b
end
val
sem
-
movzx
x
=
do
sz
-
dst
<-
guess
-
sizeof1
x
.
opnd1
;
sz
-
src
<-
guess
-
sizeof1
x
.
opnd2
;
dst
<-
write
sz
-
dst
x
.
opnd1
;
src
<-
read
sz
-
src
x
.
opnd2
;
temp
<-
mktemp
;
movzx
sz
-
dst
temp
sz
-
src
src
;
commit
sz
-
dst
dst
src
end
val
sem
-
push
x
=
do
opnd
-
sz
<-
runtime
-
opnd
-
sz
;
...
...
@@ -1135,7 +1147,7 @@ val semantics insn =
|
MOVSXD
x
:
sem
-
undef
-
arity2
x
|
MOVUPD
x
:
sem
-
undef
-
arity2
x
|
MOVUPS
x
:
sem
-
undef
-
arity2
x
|
MOVZX
x
:
sem
-
undef
-
arity2
x
|
MOVZX
x
:
sem
-
movzx
x
|
MPSADBW
x
:
sem
-
undef
-
arity3
x
|
MUL
x
:
sem
-
undef
-
arity1
x
|
MULPD
x
:
sem
-
undef
-
arity2
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