GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-28 01:35:33 +03:00
Code Issues Projects Releases Wiki Activity

Haddock fixes

Browse Source
This commit is contained in:
Tristan Ravitch 2018-04-10 10:27:29 -07:00
parent 7e129f1ce1
commit 8f4865e106
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
macaw-ppc/src/Data/Macaw/PPC/Arch.hs
View File

@ -196,9 +196,9 @@ data PPCPrimFn ppc f tp where
FPCvt :: !(MT.FloatInfoRepr flt) -> !(f (MT.FloatType flt)) -> !(MT.FloatInfoRepr flt') -> PPCPrimFn ppc f (MT.FloatType flt')
-- | Uninterpreted floating point functions
FP1 :: !String -- ^ the name of the function
-> !(f (MT.BVType 128)) -- ^ arg 1
-> !(f (MT.BVType 32)) -- ^ current fpscr
FP1 :: !String -- the name of the function
-> !(f (MT.BVType 128)) -- arg 1
-> !(f (MT.BVType 32)) -- current fpscr
-> PPCPrimFn ppc f (MT.BVType 160)
FP2 :: !String
-> !(f (MT.BVType 128))
@ -213,16 +213,16 @@ data PPCPrimFn ppc f tp where
-> PPCPrimFn ppc f (MT.BVType 160)
-- | Uninterpreted vector functions
Vec1 :: !String -- ^ the name of the function
Vec1 :: !String -- the name of the function
-> !(f (MT.BVType 128))
-> !(f (MT.BVType 32))
-> PPCPrimFn ppc f (MT.BVType 160)
Vec2 :: String -- ^ the name of the function
Vec2 :: String -- the name of the function
-> !(f (MT.BVType 128))
-> !(f (MT.BVType 128))
-> !(f (MT.BVType 32))
-> PPCPrimFn ppc f (MT.BVType 160)
Vec3 :: String -- ^ the name of the function
Vec3 :: String -- the name of the function
-> !(f (MT.BVType 128))
-> !(f (MT.BVType 128))
-> !(f (MT.BVType 128))