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

LibRISCV.Internal.Decoder.Instruction

Documentation

fromTwoscomp :: Word32 -> Word32 -> Word32 Source #

instrField :: Int -> Int -> Word32 -> Word32 Source #

immI :: Word32 -> Word32 Source #

immS :: Word32 -> Word32 Source #

immU :: Word32 -> Word32 Source #

immB :: Word32 -> Word32 Source #

immJ :: Word32 -> Word32 Source #

mkShamt :: Word32 -> Word32 Source #

mkRs1 :: Word32 -> Word32 Source #

mkRs2 :: Word32 -> Word32 Source #

mkRd :: Word32 -> Word32 Source #