Safe Haskell	Safe
Language	Haskell2010

LLVM.AST.DataLayout

Description

http://llvm.org/docs/LangRef.html#data-layout

Synopsis

data Endianness
- = LittleEndian
- | BigEndian
data AlignmentInfo = AlignmentInfo {
- abiAlignment :: Word32
- preferredAlignment :: Word32
}
data AlignType
- = IntegerAlign
- | VectorAlign
- | FloatAlign
data Mangling
- = ELFMangling
- | MIPSMangling
- | MachOMangling
- | WindowsCOFFMangling
data DataLayout = DataLayout {
- endianness :: Endianness
- mangling :: Maybe Mangling
- stackAlignment :: Maybe Word32
- pointerLayouts :: Map AddrSpace (Word32, AlignmentInfo)
- typeLayouts :: Map (AlignType, Word32) AlignmentInfo
- aggregateLayout :: AlignmentInfo
- nativeSizes :: Maybe (Set Word32)
}
defaultDataLayout :: Endianness -> DataLayout

Documentation

data Endianness Source #

Little Endian is the one true way :-). Sadly, we must support the infidels.

Constructors

LittleEndian
BigEndian

Instances

Eq Endianness Source #
Instance details Defined in LLVM.AST.DataLayout Methods (==) :: Endianness -> Endianness -> Bool # (/=) :: Endianness -> Endianness -> Bool #
Data Endianness Source #
Instance details Defined in LLVM.AST.DataLayout Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Endianness -> c Endianness # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Endianness # toConstr :: Endianness -> Constr # dataTypeOf :: Endianness -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Endianness) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Endianness) # gmapT :: (forall b. Data b => b -> b) -> Endianness -> Endianness # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Endianness -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Endianness -> r # gmapQ :: (forall d. Data d => d -> u) -> Endianness -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Endianness -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Endianness -> m Endianness # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Endianness -> m Endianness # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Endianness -> m Endianness #
Ord Endianness Source #
Instance details Defined in LLVM.AST.DataLayout Methods compare :: Endianness -> Endianness -> Ordering # (<) :: Endianness -> Endianness -> Bool # (<=) :: Endianness -> Endianness -> Bool # (>) :: Endianness -> Endianness -> Bool # (>=) :: Endianness -> Endianness -> Bool # max :: Endianness -> Endianness -> Endianness # min :: Endianness -> Endianness -> Endianness #
Read Endianness Source #
Instance details Defined in LLVM.AST.DataLayout Methods readsPrec :: Int -> ReadS Endianness # readList :: ReadS [Endianness] # readPrec :: ReadPrec Endianness # readListPrec :: ReadPrec [Endianness] #
Show Endianness Source #
Instance details Defined in LLVM.AST.DataLayout Methods showsPrec :: Int -> Endianness -> ShowS # show :: Endianness -> String # showList :: [Endianness] -> ShowS #
Generic Endianness Source #
Instance details Defined in LLVM.AST.DataLayout Associated Types type Rep Endianness :: * -> * # Methods from :: Endianness -> Rep Endianness x # to :: Rep Endianness x -> Endianness #
type Rep Endianness Source #
Instance details Defined in LLVM.AST.DataLayout type Rep Endianness = D1 (MetaData "Endianness" "LLVM.AST.DataLayout" "llvm-hs-pure-7.0.0-inplace" False) (C1 (MetaCons "LittleEndian" PrefixI False) (U1 :: * -> ) :+: C1 (MetaCons "BigEndian" PrefixI False) (U1 :: -> *))

data AlignmentInfo Source #

An AlignmentInfo describes how a given type must and would best be aligned

Constructors

AlignmentInfo
Fields abiAlignment :: Word32 preferredAlignment :: Word32

Instances

Eq AlignmentInfo Source #
Instance details Defined in LLVM.AST.DataLayout Methods (==) :: AlignmentInfo -> AlignmentInfo -> Bool # (/=) :: AlignmentInfo -> AlignmentInfo -> Bool #
Data AlignmentInfo Source #
Instance details Defined in LLVM.AST.DataLayout Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AlignmentInfo -> c AlignmentInfo # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AlignmentInfo # toConstr :: AlignmentInfo -> Constr # dataTypeOf :: AlignmentInfo -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AlignmentInfo) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AlignmentInfo) # gmapT :: (forall b. Data b => b -> b) -> AlignmentInfo -> AlignmentInfo # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AlignmentInfo -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AlignmentInfo -> r # gmapQ :: (forall d. Data d => d -> u) -> AlignmentInfo -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AlignmentInfo -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AlignmentInfo -> m AlignmentInfo # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AlignmentInfo -> m AlignmentInfo # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AlignmentInfo -> m AlignmentInfo #
Ord AlignmentInfo Source #
Instance details Defined in LLVM.AST.DataLayout Methods compare :: AlignmentInfo -> AlignmentInfo -> Ordering # (<) :: AlignmentInfo -> AlignmentInfo -> Bool # (<=) :: AlignmentInfo -> AlignmentInfo -> Bool # (>) :: AlignmentInfo -> AlignmentInfo -> Bool # (>=) :: AlignmentInfo -> AlignmentInfo -> Bool # max :: AlignmentInfo -> AlignmentInfo -> AlignmentInfo # min :: AlignmentInfo -> AlignmentInfo -> AlignmentInfo #
Read AlignmentInfo Source #
Instance details Defined in LLVM.AST.DataLayout Methods readsPrec :: Int -> ReadS AlignmentInfo # readList :: ReadS [AlignmentInfo] # readPrec :: ReadPrec AlignmentInfo # readListPrec :: ReadPrec [AlignmentInfo] #
Show AlignmentInfo Source #
Instance details Defined in LLVM.AST.DataLayout Methods showsPrec :: Int -> AlignmentInfo -> ShowS # show :: AlignmentInfo -> String # showList :: [AlignmentInfo] -> ShowS #
Generic AlignmentInfo Source #
Instance details Defined in LLVM.AST.DataLayout Associated Types type Rep AlignmentInfo :: * -> * # Methods from :: AlignmentInfo -> Rep AlignmentInfo x # to :: Rep AlignmentInfo x -> AlignmentInfo #
type Rep AlignmentInfo Source #
Instance details Defined in LLVM.AST.DataLayout type Rep AlignmentInfo = D1 (MetaData "AlignmentInfo" "LLVM.AST.DataLayout" "llvm-hs-pure-7.0.0-inplace" False) (C1 (MetaCons "AlignmentInfo" PrefixI True) (S1 (MetaSel (Just "abiAlignment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32) :*: S1 (MetaSel (Just "preferredAlignment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)))

data AlignType Source #

A type of type for which AlignmentInfo may be specified

Constructors

IntegerAlign
VectorAlign
FloatAlign

Instances

Eq AlignType Source #
Instance details Defined in LLVM.AST.DataLayout Methods (==) :: AlignType -> AlignType -> Bool # (/=) :: AlignType -> AlignType -> Bool #
Data AlignType Source #
Instance details Defined in LLVM.AST.DataLayout Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AlignType -> c AlignType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AlignType # toConstr :: AlignType -> Constr # dataTypeOf :: AlignType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AlignType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AlignType) # gmapT :: (forall b. Data b => b -> b) -> AlignType -> AlignType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AlignType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AlignType -> r # gmapQ :: (forall d. Data d => d -> u) -> AlignType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AlignType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AlignType -> m AlignType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AlignType -> m AlignType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AlignType -> m AlignType #
Ord AlignType Source #
Instance details Defined in LLVM.AST.DataLayout Methods compare :: AlignType -> AlignType -> Ordering # (<) :: AlignType -> AlignType -> Bool # (<=) :: AlignType -> AlignType -> Bool # (>) :: AlignType -> AlignType -> Bool # (>=) :: AlignType -> AlignType -> Bool # max :: AlignType -> AlignType -> AlignType # min :: AlignType -> AlignType -> AlignType #
Read AlignType Source #
Instance details Defined in LLVM.AST.DataLayout Methods readsPrec :: Int -> ReadS AlignType # readList :: ReadS [AlignType] # readPrec :: ReadPrec AlignType # readListPrec :: ReadPrec [AlignType] #
Show AlignType Source #
Instance details Defined in LLVM.AST.DataLayout Methods showsPrec :: Int -> AlignType -> ShowS # show :: AlignType -> String # showList :: [AlignType] -> ShowS #
Generic AlignType Source #
Instance details Defined in LLVM.AST.DataLayout Associated Types type Rep AlignType :: * -> * # Methods from :: AlignType -> Rep AlignType x # to :: Rep AlignType x -> AlignType #
type Rep AlignType Source #
Instance details Defined in LLVM.AST.DataLayout type Rep AlignType = D1 (MetaData "AlignType" "LLVM.AST.DataLayout" "llvm-hs-pure-7.0.0-inplace" False) (C1 (MetaCons "IntegerAlign" PrefixI False) (U1 :: * -> ) :+: (C1 (MetaCons "VectorAlign" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "FloatAlign" PrefixI False) (U1 :: -> *)))

data Mangling Source #

A style of name mangling

Constructors

ELFMangling
MIPSMangling
MachOMangling
WindowsCOFFMangling

Instances

Eq Mangling Source #
Instance details Defined in LLVM.AST.DataLayout Methods (==) :: Mangling -> Mangling -> Bool # (/=) :: Mangling -> Mangling -> Bool #
Data Mangling Source #
Instance details Defined in LLVM.AST.DataLayout Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Mangling -> c Mangling # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Mangling # toConstr :: Mangling -> Constr # dataTypeOf :: Mangling -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Mangling) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Mangling) # gmapT :: (forall b. Data b => b -> b) -> Mangling -> Mangling # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Mangling -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Mangling -> r # gmapQ :: (forall d. Data d => d -> u) -> Mangling -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Mangling -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Mangling -> m Mangling # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Mangling -> m Mangling # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Mangling -> m Mangling #
Ord Mangling Source #
Instance details Defined in LLVM.AST.DataLayout Methods compare :: Mangling -> Mangling -> Ordering # (<) :: Mangling -> Mangling -> Bool # (<=) :: Mangling -> Mangling -> Bool # (>) :: Mangling -> Mangling -> Bool # (>=) :: Mangling -> Mangling -> Bool # max :: Mangling -> Mangling -> Mangling # min :: Mangling -> Mangling -> Mangling #
Read Mangling Source #
Instance details Defined in LLVM.AST.DataLayout Methods readsPrec :: Int -> ReadS Mangling # readList :: ReadS [Mangling] # readPrec :: ReadPrec Mangling # readListPrec :: ReadPrec [Mangling] #
Show Mangling Source #
Instance details Defined in LLVM.AST.DataLayout Methods showsPrec :: Int -> Mangling -> ShowS # show :: Mangling -> String # showList :: [Mangling] -> ShowS #
Generic Mangling Source #
Instance details Defined in LLVM.AST.DataLayout Associated Types type Rep Mangling :: * -> * # Methods from :: Mangling -> Rep Mangling x # to :: Rep Mangling x -> Mangling #
type Rep Mangling Source #
Instance details Defined in LLVM.AST.DataLayout type Rep Mangling = D1 (MetaData "Mangling" "LLVM.AST.DataLayout" "llvm-hs-pure-7.0.0-inplace" False) ((C1 (MetaCons "ELFMangling" PrefixI False) (U1 :: * -> ) :+: C1 (MetaCons "MIPSMangling" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "MachOMangling" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "WindowsCOFFMangling" PrefixI False) (U1 :: -> *)))

data DataLayout Source #

a description of the various data layout properties which may be used during optimization

Constructors

DataLayout
Fields endianness :: Endianness mangling :: Maybe Mangling stackAlignment :: Maybe Word32 pointerLayouts :: Map AddrSpace (Word32, AlignmentInfo) typeLayouts :: Map (AlignType, Word32) AlignmentInfo aggregateLayout :: AlignmentInfo nativeSizes :: Maybe (Set Word32)

Instances

Eq DataLayout Source #
Instance details Defined in LLVM.AST.DataLayout Methods (==) :: DataLayout -> DataLayout -> Bool # (/=) :: DataLayout -> DataLayout -> Bool #
Data DataLayout Source #
Instance details Defined in LLVM.AST.DataLayout Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DataLayout -> c DataLayout # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DataLayout # toConstr :: DataLayout -> Constr # dataTypeOf :: DataLayout -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DataLayout) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DataLayout) # gmapT :: (forall b. Data b => b -> b) -> DataLayout -> DataLayout # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DataLayout -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DataLayout -> r # gmapQ :: (forall d. Data d => d -> u) -> DataLayout -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DataLayout -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DataLayout -> m DataLayout # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DataLayout -> m DataLayout # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DataLayout -> m DataLayout #
Ord DataLayout Source #
Instance details Defined in LLVM.AST.DataLayout Methods compare :: DataLayout -> DataLayout -> Ordering # (<) :: DataLayout -> DataLayout -> Bool # (<=) :: DataLayout -> DataLayout -> Bool # (>) :: DataLayout -> DataLayout -> Bool # (>=) :: DataLayout -> DataLayout -> Bool # max :: DataLayout -> DataLayout -> DataLayout # min :: DataLayout -> DataLayout -> DataLayout #
Read DataLayout Source #
Instance details Defined in LLVM.AST.DataLayout Methods readsPrec :: Int -> ReadS DataLayout # readList :: ReadS [DataLayout] # readPrec :: ReadPrec DataLayout # readListPrec :: ReadPrec [DataLayout] #
Show DataLayout Source #
Instance details Defined in LLVM.AST.DataLayout Methods showsPrec :: Int -> DataLayout -> ShowS # show :: DataLayout -> String # showList :: [DataLayout] -> ShowS #
Generic DataLayout Source #
Instance details Defined in LLVM.AST.DataLayout Associated Types type Rep DataLayout :: * -> * # Methods from :: DataLayout -> Rep DataLayout x # to :: Rep DataLayout x -> DataLayout #
type Rep DataLayout Source #
Instance details Defined in LLVM.AST.DataLayout type Rep DataLayout = D1 (MetaData "DataLayout" "LLVM.AST.DataLayout" "llvm-hs-pure-7.0.0-inplace" False) (C1 (MetaCons "DataLayout" PrefixI True) ((S1 (MetaSel (Just "endianness") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Endianness) :: (S1 (MetaSel (Just "mangling") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Mangling)) :: S1 (MetaSel (Just "stackAlignment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Word32)))) :: ((S1 (MetaSel (Just "pointerLayouts") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map AddrSpace (Word32, AlignmentInfo))) :: S1 (MetaSel (Just "typeLayouts") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map (AlignType, Word32) AlignmentInfo))) :: (S1 (MetaSel (Just "aggregateLayout") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AlignmentInfo) :: S1 (MetaSel (Just "nativeSizes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Set Word32)))))))

defaultDataLayout :: Endianness -> DataLayout Source #

a default DataLayout