Safe Haskell	None
Language	Haskell2010

Data.Variable

Synopsis

data Variable = Variable {
- name :: !String
- index :: !(Maybe Int)
- size :: !Int
}
data VariableConversion = VariableConversion {
- source :: !Variable
- destination :: !Variable
- isLow :: !Bool
}
isSSA :: Variable -> Bool
fromRegister :: Register -> Variable

Documentation

data Variable Source #

A mutable or immutable variable

Constructors

Variable
Fields name :: !String Name of the variable index :: !(Maybe Int) Index for immutable (SSA) variables, Nothing otherwise size :: !Int Size in byte

Instances

Instances details

Eq Variable Source #
Instance details Defined in Data.Variable Methods (==) :: Variable -> Variable -> Bool # (/=) :: Variable -> Variable -> Bool #
Ord Variable Source #
Instance details Defined in Data.Variable Methods compare :: Variable -> Variable -> Ordering # (<) :: Variable -> Variable -> Bool # (<=) :: Variable -> Variable -> Bool # (>) :: Variable -> Variable -> Bool # (>=) :: Variable -> Variable -> Bool # max :: Variable -> Variable -> Variable # min :: Variable -> Variable -> Variable #
Show Variable Source #
Instance details Defined in Data.Variable Methods showsPrec :: Int -> Variable -> ShowS # show :: Variable -> String # showList :: [Variable] -> ShowS #
Generic Variable Source #
Instance details Defined in Data.Variable Associated Types type Rep Variable :: Type -> Type # Methods from :: Variable -> Rep Variable x # to :: Rep Variable x -> Variable #
Serialize Variable Source #
Instance details Defined in Data.Variable Methods put :: Putter Variable # get :: Get Variable #
type Rep Variable Source #
Instance details Defined in Data.Variable type Rep Variable = D1 ('MetaData "Variable" "Data.Variable" "foxdec-0.1.0.0-F8J4QQ8bsQELJyhc4kJb0m" 'False) (C1 ('MetaCons "Variable" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String) :: (S1 ('MetaSel ('Just "index") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Int)) :: S1 ('MetaSel ('Just "size") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int))))

data VariableConversion Source #

Copies the value of one variable to another while extracting (or extending) the correct bits

Constructors

VariableConversion
Fields source :: !Variable The variable to copy from destination :: !Variable The variable to copy to isLow :: !Bool Used when we don't want to extract the lowest 8 bits, but rather the highest 8 of the lowest 16 bits

Instances

Instances details

Eq VariableConversion Source #
Instance details Defined in Data.Variable Methods (==) :: VariableConversion -> VariableConversion -> Bool # (/=) :: VariableConversion -> VariableConversion -> Bool #
Ord VariableConversion Source #
Instance details Defined in Data.Variable Methods compare :: VariableConversion -> VariableConversion -> Ordering # (<) :: VariableConversion -> VariableConversion -> Bool # (<=) :: VariableConversion -> VariableConversion -> Bool # (>) :: VariableConversion -> VariableConversion -> Bool # (>=) :: VariableConversion -> VariableConversion -> Bool # max :: VariableConversion -> VariableConversion -> VariableConversion # min :: VariableConversion -> VariableConversion -> VariableConversion #
Show VariableConversion Source #
Instance details Defined in Data.Variable Methods showsPrec :: Int -> VariableConversion -> ShowS # show :: VariableConversion -> String # showList :: [VariableConversion] -> ShowS #
Generic VariableConversion Source #
Instance details Defined in Data.Variable Associated Types type Rep VariableConversion :: Type -> Type # Methods from :: VariableConversion -> Rep VariableConversion x # to :: Rep VariableConversion x -> VariableConversion #
Serialize VariableConversion Source #
Instance details Defined in Data.Variable Methods put :: Putter VariableConversion # get :: Get VariableConversion #
type Rep VariableConversion Source #
Instance details Defined in Data.Variable type Rep VariableConversion = D1 ('MetaData "VariableConversion" "Data.Variable" "foxdec-0.1.0.0-F8J4QQ8bsQELJyhc4kJb0m" 'False) (C1 ('MetaCons "VariableConversion" 'PrefixI 'True) (S1 ('MetaSel ('Just "source") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Variable) :: (S1 ('MetaSel ('Just "destination") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Variable) :: S1 ('MetaSel ('Just "isLow") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool))))

isSSA :: Variable -> Bool Source #

fromRegister :: Register -> Variable Source #