Safe Haskell	None
Language	Haskell2010

HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction

Synopsis

isNotJump :: Integral e => BranchTest -> e -> Bool
isJump :: Integral e => BranchTest -> e -> Bool
data CFInstruction
- = Mark !Mark
- | Branch !BranchOperand !BranchTest
- | Labeled !LabelOperand !LabelOperation
- | Return
data Mark
- = MNatural Natural
- | MArtificial Label
data LabelOperand
- = LTop
- | LImmediate !Natural
- | LArtificial Label
data BranchOperand
- = BSwapped
- | BTop
- | BImmediate !Natural
- | BArtificial Label
type Label = SString
data LabelOperation
- = Call
- | Jump
data BranchTest
- = EZ
- | LTZ
- | GTZ
- | NE
printCF :: CFInstruction -> Text
printMark :: Mark -> Text
printBranchTest :: BranchTest -> Text
printBranchOperand :: BranchOperand -> Text
printLabelOperand :: LabelOperand -> Text

Documentation

isNotJump :: Integral e => BranchTest -> e -> Bool #

Others

isJump :: Integral e => BranchTest -> e -> Bool #

data CFInstruction #

Types

Constructors

Mark !Mark
Branch !BranchOperand !BranchTest
Labeled !LabelOperand !LabelOperation
Return

Instances

Instances details

Eq CFInstruction #
Instance details Defined in HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction Methods (==) :: CFInstruction -> CFInstruction -> Bool # (/=) :: CFInstruction -> CFInstruction -> Bool #
Read CFInstruction #
Instance details Defined in HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction Methods readsPrec :: Int -> ReadS CFInstruction # readList :: ReadS [CFInstruction] # readPrec :: ReadPrec CFInstruction # readListPrec :: ReadPrec [CFInstruction] #
Show CFInstruction #
Instance details Defined in HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction Methods showsPrec :: Int -> CFInstruction -> ShowS # show :: CFInstruction -> String # showList :: [CFInstruction] -> ShowS #

data Mark #

Constructors

MNatural Natural
MArtificial Label

Instances

Instances details

Eq Mark #
Instance details Defined in HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction Methods (==) :: Mark -> Mark -> Bool # (/=) :: Mark -> Mark -> Bool #
Read Mark #
Instance details Defined in HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction Methods readsPrec :: Int -> ReadS Mark # readList :: ReadS [Mark] # readPrec :: ReadPrec Mark # readListPrec :: ReadPrec [Mark] #
Show Mark #
Instance details Defined in HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction Methods showsPrec :: Int -> Mark -> ShowS # show :: Mark -> String # showList :: [Mark] -> ShowS #

data LabelOperand #

Constructors

LTop
LImmediate !Natural
LArtificial Label

Instances

Instances details

Eq LabelOperand #
Instance details Defined in HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction Methods (==) :: LabelOperand -> LabelOperand -> Bool # (/=) :: LabelOperand -> LabelOperand -> Bool #
Read LabelOperand #
Instance details Defined in HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction Methods readsPrec :: Int -> ReadS LabelOperand # readList :: ReadS [LabelOperand] # readPrec :: ReadPrec LabelOperand # readListPrec :: ReadPrec [LabelOperand] #
Show LabelOperand #
Instance details Defined in HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction Methods showsPrec :: Int -> LabelOperand -> ShowS # show :: LabelOperand -> String # showList :: [LabelOperand] -> ShowS #

data BranchOperand #

Constructors

BSwapped
BTop
BImmediate !Natural
BArtificial Label

Instances

Instances details

Eq BranchOperand #
Instance details Defined in HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction Methods (==) :: BranchOperand -> BranchOperand -> Bool # (/=) :: BranchOperand -> BranchOperand -> Bool #
Read BranchOperand #
Instance details Defined in HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction Methods readsPrec :: Int -> ReadS BranchOperand # readList :: ReadS [BranchOperand] # readPrec :: ReadPrec BranchOperand # readListPrec :: ReadPrec [BranchOperand] #
Show BranchOperand #
Instance details Defined in HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction Methods showsPrec :: Int -> BranchOperand -> ShowS # show :: BranchOperand -> String # showList :: [BranchOperand] -> ShowS #

type Label = SString #

data LabelOperation #

Constructors

Call
Jump

Instances

Instances details

Eq LabelOperation #
Instance details Defined in HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction Methods (==) :: LabelOperation -> LabelOperation -> Bool # (/=) :: LabelOperation -> LabelOperation -> Bool #
Read LabelOperation #
Instance details Defined in HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction Methods readsPrec :: Int -> ReadS LabelOperation # readList :: ReadS [LabelOperation] # readPrec :: ReadPrec LabelOperation # readListPrec :: ReadPrec [LabelOperation] #
Show LabelOperation #
Instance details Defined in HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction Methods showsPrec :: Int -> LabelOperation -> ShowS # show :: LabelOperation -> String # showList :: [LabelOperation] -> ShowS #

data BranchTest #

Constructors

EZ
LTZ
GTZ
NE

Instances

Instances details

Eq BranchTest #
Instance details Defined in HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction Methods (==) :: BranchTest -> BranchTest -> Bool # (/=) :: BranchTest -> BranchTest -> Bool #
Read BranchTest #
Instance details Defined in HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction Methods readsPrec :: Int -> ReadS BranchTest # readList :: ReadS [BranchTest] # readPrec :: ReadPrec BranchTest # readListPrec :: ReadPrec [BranchTest] #
Show BranchTest #
Instance details Defined in HelVM.HelMA.Automaton.Instruction.Groups.CFInstruction Methods showsPrec :: Int -> BranchTest -> ShowS # show :: BranchTest -> String # showList :: [BranchTest] -> ShowS #

printCF :: CFInstruction -> Text #

Internal

printMark :: Mark -> Text #

printBranchTest :: BranchTest -> Text #

printBranchOperand :: BranchOperand -> Text #

printLabelOperand :: LabelOperand -> Text #