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

Safe Haskell	Safe-Inferred
Language	Haskell2010

LibRISCV.Internal.Decoder.Opcodes

Documentation

data RV32_I Source #

Constructors

SRLI
SRAI
SLLI

Instances

Instances details

Show RV32_I Source #
Instance details Defined in LibRISCV.Internal.Decoder.Opcodes Methods showsPrec :: Int -> RV32_I -> ShowS # show :: RV32_I -> String # showList :: [RV32_I] -> ShowS #
Eq RV32_I Source #
Instance details Defined in LibRISCV.Internal.Decoder.Opcodes Methods (==) :: RV32_I -> RV32_I -> Bool # (/=) :: RV32_I -> RV32_I -> Bool #

data RV_I Source #

Constructors

XORI
XOR
SW
SUB
SRL
SRA
SLTU
SLTIU
SLTI
SLT
SLL
SH
SB
ORI
OR
LW
LUI
LHU
LH
LBU
LB
JALR
JAL
FENCE
ECALL
EBREAK
BNE
BLTU
BLT
BGEU
BGE
BEQ
AUIPC
ANDI
AND
ADDI
ADD

Instances

Instances details

Show RV_I Source #
Instance details Defined in LibRISCV.Internal.Decoder.Opcodes Methods showsPrec :: Int -> RV_I -> ShowS # show :: RV_I -> String # showList :: [RV_I] -> ShowS #
Eq RV_I Source #
Instance details Defined in LibRISCV.Internal.Decoder.Opcodes Methods (==) :: RV_I -> RV_I -> Bool # (/=) :: RV_I -> RV_I -> Bool #

data RV_M Source #

Constructors

REMU
REM
MULHU
MULHSU
MULH
MUL
DIVU
DIV

Instances

Instances details

Show RV_M Source #
Instance details Defined in LibRISCV.Internal.Decoder.Opcodes Methods showsPrec :: Int -> RV_M -> ShowS # show :: RV_M -> String # showList :: [RV_M] -> ShowS #
Eq RV_M Source #
Instance details Defined in LibRISCV.Internal.Decoder.Opcodes Methods (==) :: RV_M -> RV_M -> Bool # (/=) :: RV_M -> RV_M -> Bool #

data InstructionType Source #

Constructors

InvalidInstruction
RV32_I RV32_I
RV_I RV_I
RV_M RV_M

Instances

Instances details

Show InstructionType Source #
Instance details Defined in LibRISCV.Internal.Decoder.Opcodes Methods showsPrec :: Int -> InstructionType -> ShowS # show :: InstructionType -> String # showList :: [InstructionType] -> ShowS #
Eq InstructionType Source #
Instance details Defined in LibRISCV.Internal.Decoder.Opcodes Methods (==) :: InstructionType -> InstructionType -> Bool # (/=) :: InstructionType -> InstructionType -> Bool #

decode :: Word32 -> InstructionType Source #

decode_RV_M :: Word32 -> Maybe RV_M Source #

decode_RV_I :: Word32 -> Maybe RV_I Source #

decode_RV32_I :: Word32 -> Maybe RV32_I Source #

xori_match :: Word32 Source #

xor_match :: Word32 Source #

sw_match :: Word32 Source #

sub_match :: Word32 Source #

srli_match :: Word32 Source #

srl_match :: Word32 Source #

srai_match :: Word32 Source #

sra_match :: Word32 Source #

sltu_match :: Word32 Source #

sltiu_match :: Word32 Source #

slti_match :: Word32 Source #

slt_match :: Word32 Source #

slli_match :: Word32 Source #

sll_match :: Word32 Source #

sh_match :: Word32 Source #

sb_match :: Word32 Source #

remu_match :: Word32 Source #

rem_match :: Word32 Source #

ori_match :: Word32 Source #

or_match :: Word32 Source #

mulhu_match :: Word32 Source #

mulhsu_match :: Word32 Source #

mulh_match :: Word32 Source #

mul_match :: Word32 Source #

lw_match :: Word32 Source #

lui_match :: Word32 Source #

lhu_match :: Word32 Source #

lh_match :: Word32 Source #

lbu_match :: Word32 Source #

lb_match :: Word32 Source #

jalr_match :: Word32 Source #

jal_match :: Word32 Source #

fence_match :: Word32 Source #

ecall_match :: Word32 Source #

ebreak_match :: Word32 Source #

divu_match :: Word32 Source #

div_match :: Word32 Source #

bne_match :: Word32 Source #

bltu_match :: Word32 Source #

blt_match :: Word32 Source #

bgeu_match :: Word32 Source #

bge_match :: Word32 Source #

beq_match :: Word32 Source #

auipc_match :: Word32 Source #

andi_match :: Word32 Source #

and_match :: Word32 Source #

addi_match :: Word32 Source #

add_match :: Word32 Source #

xori_mask :: Word32 Source #

xor_mask :: Word32 Source #

sw_mask :: Word32 Source #

sub_mask :: Word32 Source #

srli_mask :: Word32 Source #

srl_mask :: Word32 Source #

srai_mask :: Word32 Source #

sra_mask :: Word32 Source #

sltu_mask :: Word32 Source #

sltiu_mask :: Word32 Source #

slti_mask :: Word32 Source #

slt_mask :: Word32 Source #

slli_mask :: Word32 Source #

sll_mask :: Word32 Source #

sh_mask :: Word32 Source #

sb_mask :: Word32 Source #

remu_mask :: Word32 Source #

rem_mask :: Word32 Source #

ori_mask :: Word32 Source #

or_mask :: Word32 Source #

mulhu_mask :: Word32 Source #

mulhsu_mask :: Word32 Source #

mulh_mask :: Word32 Source #

mul_mask :: Word32 Source #

lw_mask :: Word32 Source #

lui_mask :: Word32 Source #

lhu_mask :: Word32 Source #

lh_mask :: Word32 Source #

lbu_mask :: Word32 Source #

lb_mask :: Word32 Source #

jalr_mask :: Word32 Source #

jal_mask :: Word32 Source #

fence_mask :: Word32 Source #

ecall_mask :: Word32 Source #

ebreak_mask :: Word32 Source #

divu_mask :: Word32 Source #

div_mask :: Word32 Source #

bne_mask :: Word32 Source #

bltu_mask :: Word32 Source #

blt_mask :: Word32 Source #

bgeu_mask :: Word32 Source #

bge_mask :: Word32 Source #

beq_mask :: Word32 Source #

auipc_mask :: Word32 Source #

andi_mask :: Word32 Source #

and_mask :: Word32 Source #

addi_mask :: Word32 Source #

add_mask :: Word32 Source #