Safe Haskell	Safe
Language	Haskell2010

LLVM.AST.InlineAssembly

Description

A representation of an LLVM inline assembly

Synopsis

data Dialect
- = ATTDialect
- | IntelDialect
data InlineAssembly = InlineAssembly {
- type' :: Type
- assembly :: ByteString
- constraints :: ShortByteString
- hasSideEffects :: Bool
- alignStack :: Bool
- dialect :: Dialect
}

Documentation

data Dialect Source #

the dialect of assembly used in an inline assembly string http://en.wikipedia.org/wiki/X86_assembly_language#Syntax

Constructors

ATTDialect
IntelDialect

Instances

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

data InlineAssembly Source #

http://llvm.org/docs/LangRef.html#inline-assembler-expressions to be used through CallableOperand with a Call instruction

Constructors

InlineAssembly
Fields type' :: Type assembly :: ByteString constraints :: ShortByteString hasSideEffects :: Bool alignStack :: Bool dialect :: Dialect

Instances

Eq InlineAssembly Source #
Instance details Defined in LLVM.AST.InlineAssembly Methods (==) :: InlineAssembly -> InlineAssembly -> Bool # (/=) :: InlineAssembly -> InlineAssembly -> Bool #
Data InlineAssembly Source #
Instance details Defined in LLVM.AST.InlineAssembly Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InlineAssembly -> c InlineAssembly # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InlineAssembly # toConstr :: InlineAssembly -> Constr # dataTypeOf :: InlineAssembly -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InlineAssembly) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InlineAssembly) # gmapT :: (forall b. Data b => b -> b) -> InlineAssembly -> InlineAssembly # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InlineAssembly -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InlineAssembly -> r # gmapQ :: (forall d. Data d => d -> u) -> InlineAssembly -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> InlineAssembly -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> InlineAssembly -> m InlineAssembly # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InlineAssembly -> m InlineAssembly # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InlineAssembly -> m InlineAssembly #
Read InlineAssembly Source #
Instance details Defined in LLVM.AST.InlineAssembly Methods readsPrec :: Int -> ReadS InlineAssembly # readList :: ReadS [InlineAssembly] # readPrec :: ReadPrec InlineAssembly # readListPrec :: ReadPrec [InlineAssembly] #
Show InlineAssembly Source #
Instance details Defined in LLVM.AST.InlineAssembly Methods showsPrec :: Int -> InlineAssembly -> ShowS # show :: InlineAssembly -> String # showList :: [InlineAssembly] -> ShowS #
Generic InlineAssembly Source #
Instance details Defined in LLVM.AST.InlineAssembly Associated Types type Rep InlineAssembly :: Type -> Type # Methods from :: InlineAssembly -> Rep InlineAssembly x # to :: Rep InlineAssembly x -> InlineAssembly #
Typed CallableOperand Source #
Instance details Defined in LLVM.AST.Typed Methods typeOf :: CallableOperand -> Type Source #
type Rep InlineAssembly Source #
Instance details Defined in LLVM.AST.InlineAssembly type Rep InlineAssembly = D1 (MetaData "InlineAssembly" "LLVM.AST.InlineAssembly" "llvm-hs-pure-8.0.0-inplace" False) (C1 (MetaCons "InlineAssembly" PrefixI True) ((S1 (MetaSel (Just "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Type) :: (S1 (MetaSel (Just "assembly") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString) :: S1 (MetaSel (Just "constraints") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShortByteString))) :: (S1 (MetaSel (Just "hasSideEffects") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: (S1 (MetaSel (Just "alignStack") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :*: S1 (MetaSel (Just "dialect") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Dialect)))))