libriscv-0.1.0.0: A versatile, flexible and executable formal model for the RISC-V architecture.
Safe HaskellNone
LanguageHaskell2010

LibRISCV.Internal.Decoder.Generator

Documentation

readAndParse :: MonadIO m => FilePath -> m [(String, InstructionFields)] Source #

generateConsts :: [(String, InstructionFields)] -> String -> (InstructionFields -> String) -> Q [Dec] Source #

generateExtType :: [(String, InstructionFields)] -> Q [Dec] Source #

generateDecodeFn :: [(String, InstructionFields)] -> Q [Dec] Source #

generateMasks :: [(String, InstructionFields)] -> Q [Dec] Source #

generateMatches :: [(String, InstructionFields)] -> Q [Dec] Source #

generateAll :: [[(String, InstructionFields)] -> Q [Dec]] -> FilePath -> Q [Dec] Source #