GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-22 14:27:51 +03:00
Code Issues Projects Releases Wiki Activity

Add semantics for prefetch instructions. (#365)

Browse Source
This commit is contained in:
Andrei Stefanescu 2024-01-10 11:31:36 -08:00 committed by GitHub
parent c8a8845983
commit 9d8cdcc587
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -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