From b14d6e6d0849b638bb6c33e64cbd999cf218dfe0 Mon Sep 17 00:00:00 2001
From: Andrei <andrei@stefanescu.io>
Date: Wed, 10 Jan 2024 01:37:21 +0000
Subject: [PATCH] Add semantics for prefetch instructions.

---
 x86/src/Data/Macaw/X86/Semantics.hs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/x86/src/Data/Macaw/X86/Semantics.hs b/x86/src/Data/Macaw/X86/Semantics.hs
index 9d164309..6c0edd5d 100644
--- 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