X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=c%CE%BBash%2FCLasH%2FVHDL%2FConstants.hs;h=c70ca71a04258b589b76798815a9a509ec4c9bb3;hb=fb44a1f428ffb4ef84e27a4bfdcd859ab3ba6c82;hp=71c1c2135b7b1b1d092505279bf91388577d2b5a;hpb=2290559dd61c1cb5f16ef8fe3fc0fecccc29e792;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git "a/c\316\273ash/CLasH/VHDL/Constants.hs" "b/c\316\273ash/CLasH/VHDL/Constants.hs" index 71c1c21..c70ca71 100644 --- "a/c\316\273ash/CLasH/VHDL/Constants.hs" +++ "b/c\316\273ash/CLasH/VHDL/Constants.hs" @@ -1,7 +1,22 @@ module CLasH.VHDL.Constants where - + +-- VHDL Imports import qualified Language.VHDL.AST as AST +-- | A list of all builtin functions. Partly duplicates the name table +-- in VHDL.Generate, but we can't use that map everywhere due to +-- circular dependencie. +builtinIds = [ exId, replaceId, headId, lastId, tailId, initId, takeId, dropId + , selId, plusgtId, ltplusId, plusplusId, mapId, zipWithId, foldlId + , foldrId, zipId, unzipId, shiftlId, shiftrId, rotlId, rotrId + , concatId, reverseId, iteratenId, iterateId, generatenId, generateId + , emptyId, singletonId, copynId, copyId, lengthTId, nullId + , hwxorId, hwandId, hworId, hwnotId, equalityId, inEqualityId, ltId + , lteqId, gtId, gteqId, boolOrId, boolAndId, plusId, timesId + , negateId, minusId, fromSizedWordId, fromIntegerId, resizeWordId + , resizeIntId, sizedIntId, smallIntegerId, fstId, sndId, blockRAMId + , splitId, minimumId, fromRangedWordId + ] -------------- -- Identifiers -------------- @@ -235,6 +250,9 @@ fstId = "fst" sndId :: String sndId = "snd" +splitId :: String +splitId = "split" + -- Equality Operations equalityId :: String equalityId = "==" @@ -242,12 +260,27 @@ equalityId = "==" inEqualityId :: String inEqualityId = "/=" +gtId :: String +gtId = ">" + +ltId :: String +ltId = "<" + +gteqId :: String +gteqId = ">=" + +lteqId :: String +lteqId = "<=" + boolOrId :: String boolOrId = "||" boolAndId :: String boolAndId = "&&" +boolNot :: String +boolNot = "not" + -- Numeric Operations -- | plus operation identifier @@ -268,7 +301,10 @@ minusId = "-" -- | convert sizedword to ranged fromSizedWordId :: String -fromSizedWordId = "fromSizedWord" +fromSizedWordId = "fromUnsigned" + +fromRangedWordId :: String +fromRangedWordId = "fromIndex" toIntegerId :: String toIntegerId = "to_integer" @@ -285,14 +321,20 @@ toUnsignedId = "to_unsigned" resizeId :: String resizeId = "resize" +resizeWordId :: String +resizeWordId = "resizeWord" + +resizeIntId :: String +resizeIntId = "resizeInt" + smallIntegerId :: String smallIntegerId = "smallInteger" sizedIntId :: String -sizedIntId = "SizedInt" +sizedIntId = "Signed" tfvecId :: String -tfvecId = "TFVec" +tfvecId = "Vector" blockRAMId :: String blockRAMId = "blockRAM" @@ -354,4 +396,4 @@ stringTM = AST.unsafeVHDLBasicId "string" -- | tup VHDLName suffix tupVHDLSuffix :: AST.VHDLId -> AST.Suffix -tupVHDLSuffix id = AST.SSimple id \ No newline at end of file +tupVHDLSuffix id = AST.SSimple id