GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-29 00:59:09 +03:00
Code Issues Projects Releases Wiki Activity

[x86] Fix cvtsd2ss instruction mnemonic.

Browse Source
This commit is contained in:
Kevin Quick 2018-10-31 11:48:18 -07:00
parent 3c76f404af
commit 1ca2c5582c
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
x86/src/Data/Macaw/X86/Semantics.hs
View File

@ -2405,7 +2405,7 @@ def_cvtss2sd = defBinary "cvtss2sd" $ \_ loc val -> do
-- | CVTSD2SS Convert scalar double-precision floating-point values to
-- scalar single-precision floating-point values
def_cvtsd2ss :: InstructionDef
def_cvtsd2ss = defBinary "cvtss2ss" $ \_ loc val -> do
def_cvtsd2ss = defBinary "cvtsd2ss" $ \_ loc val -> do
r <- getXMM loc
v <- eval =<< get =<< getXMM_mr_low64 val
(xmm_low32 r .=) =<< evalArchFn (SSE_CVTSD2SS v)