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 MMXExtend from list of predefined operations.

Browse Source
This commit is contained in:
Joe Hendrix 2017-08-09 09:21:38 -07:00
parent e443ff292a
commit 5272f2152e
No known key found for this signature in database
GPG Key ID: 8DFA5FF784098C4F
1 changed files with 0 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/Data/Macaw/CFG/App.hs
View File

@ -58,11 +58,6 @@ data App (f :: Type -> *) (tp :: Type) where
----------------------------------------------------------------------
-- Operations related to concatenating and extending bitvectors.
-- This returns a 80-bit value where the high 16-bits are all 1s,
-- and the low 64-bits are the given register.
MMXExtend :: !(f (BVType 64))
-> App f (BVType 80)
-- Truncate a bitvector value.
Trunc :: (1 <= n, n+1 <= m) => !(f (BVType m)) -> !(NatRepr n) -> App f (BVType n)
-- Signed extension.
@ -380,7 +375,6 @@ ppAppA :: Applicative m
ppAppA pp a0 =
case a0 of
Mux _ c x y -> sexprA "mux" [ pp c, pp x, pp y ]
MMXExtend e -> sexprA "mmx_extend" [ pp e ]
Trunc x w -> sexprA "trunc" [ pp x, ppNat w ]
SExt x w -> sexprA "sext" [ pp x, ppNat w ]
UExt x w -> sexprA "uext" [ pp x, ppNat w ]
@ -442,7 +436,6 @@ instance HasRepr (App f) TypeRepr where
typeRepr a =
case a of
Mux w _ _ _ -> BVTypeRepr w
MMXExtend{} -> knownType
Trunc _ w -> BVTypeRepr w
SExt _ w -> BVTypeRepr w
UExt _ w -> BVTypeRepr w