Add semantics for prefetch instructions.

GaloisInc · Jan 10, 2024 · b14d6e6 · b14d6e6
1 parent 0686e5d
commit b14d6e6
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/x86/src/Data/Macaw/X86/Semantics.hs b/x86/src/Data/Macaw/X86/Semantics.hs
@@ -3252,6 +3252,12 @@ all_instructions =
   , def_fsubrp
   , defNullary "emms" $ addArchStmt EMMS
   , defNullary "femms" $ addArchStmt EMMS
+    -- prefetch instructions
+  , defUnary "prefetcht0" $ \_ _val -> return ()
+  , defUnary "prefetcht1" $ \_ _val -> return ()
+  , defUnary "prefetcht2" $ \_ _val -> return ()
+  , defUnary "prefetchnta" $ \_ _val -> return ()
+  , defUnary "prefetchw" $ \_ _val -> return ()
   ]
   ++ def_cmov_list
   ++ def_jcc_list