X86 RREIL Translator

ede87197 · Julian Kranz · a83ac274 · ede87197
Commit ede87197 authored Sep 19, 2012 by Julian Kranz
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

specifications/x86/x86-rreil-translator.ml specifications/x86/x86-rreil-translator.ml +2 -0

No files found.
--- a/specifications/x86/x86-rreil-translator.ml
+++ b/specifications/x86/x86-rreil-translator.ml
@@ -234,6 +234,8 @@ val emit-parity-flag sz r = do
  cmpeq pf (var counter) (imm 4)
 end

+#val emit-arithmetic-adjust-flag sz r a b
+
 val emit-add-flags sz a b c = do
  eq <- fEQ;
  les <- fLES;