GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-24 08:53:12 +03:00
Code Issues Projects Releases Wiki Activity

Remove the case for BVURem

Browse Source 
We don't have a constructor for this in macaw (it has to be an arch-specific function)
This commit is contained in:
Tristan Ravitch 2018-03-01 14:48:14 -08:00
parent f180b23d65
commit 3a2b5ac3f2
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
macaw-semmc/src/Data/Macaw/SemMC/TH.hs
View File

@ -720,9 +720,5 @@ defaultAppEvaluator elt interps = case elt of
e1 <- addEltTH interps bv1
e2 <- addEltTH interps bv2
liftQ [| return (G.AppExpr (M.BVXor $(natReprTH w) $(return e1) $(return e2))) |]
S.BVUrem w bv1 bv2 -> do
e1 <- addEltTH interps bv1
e2 <- addEltTH interps bv2
liftQ [| return (G.AppExpr (M.BVUrem $(natReprTH w) $(return e1) $(return e2))) |]
_ -> error $ "unsupported Crucible elt:" ++ show elt