From 1ca2c5582c3c3271b67e5f435b975a9e8d9a6992 Mon Sep 17 00:00:00 2001 From: Kevin Quick Date: Wed, 31 Oct 2018 11:48:18 -0700 Subject: [PATCH] [x86] Fix cvtsd2ss instruction mnemonic. --- x86/src/Data/Macaw/X86/Semantics.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/x86/src/Data/Macaw/X86/Semantics.hs b/x86/src/Data/Macaw/X86/Semantics.hs index cef7ea65..4905d673 100644 --- a/x86/src/Data/Macaw/X86/Semantics.hs +++ b/x86/src/Data/Macaw/X86/Semantics.hs @@ -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)