Safe Haskell	Safe
Language	Haskell98

LLVM.AST.InlineAssembly

Description

A representation of an LLVM inline assembly

Synopsis

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 #
Methods (==) :: Dialect -> Dialect -> Bool # (/=) :: Dialect -> Dialect -> Bool #
Data Dialect Source #
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 #
Methods readsPrec :: Int -> ReadS Dialect # readList :: ReadS [Dialect] # readPrec :: ReadPrec Dialect # readListPrec :: ReadPrec [Dialect] #
Show Dialect Source #
Methods showsPrec :: Int -> Dialect -> ShowS # show :: Dialect -> String # showList :: [Dialect] -> ShowS #
Generic Dialect Source #
Associated Types type Rep Dialect :: * -> * # Methods from :: Dialect -> Rep Dialect x # to :: Rep Dialect x -> Dialect #
type Rep Dialect Source #
type Rep Dialect = D1 * (MetaData "Dialect" "LLVM.AST.InlineAssembly" "llvm-hs-pure-6.0.0-AdKIl6KhlcO5ZIYucKCvA1" False) ((:+:) * (C1 * (MetaCons "ATTDialect" PrefixI False) (U1 )) (C1 (MetaCons "IntelDialect" PrefixI False) (U1 *)))

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 #
Methods (==) :: InlineAssembly -> InlineAssembly -> Bool # (/=) :: InlineAssembly -> InlineAssembly -> Bool #
Data InlineAssembly Source #
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 #
Methods readsPrec :: Int -> ReadS InlineAssembly # readList :: ReadS [InlineAssembly] # readPrec :: ReadPrec InlineAssembly # readListPrec :: ReadPrec [InlineAssembly] #
Show InlineAssembly Source #
Methods showsPrec :: Int -> InlineAssembly -> ShowS # show :: InlineAssembly -> String # showList :: [InlineAssembly] -> ShowS #
Generic InlineAssembly Source #
Associated Types type Rep InlineAssembly :: * -> * # Methods from :: InlineAssembly -> Rep InlineAssembly x # to :: Rep InlineAssembly x -> InlineAssembly #
Typed CallableOperand Source #
Methods typeOf :: CallableOperand -> Type Source #
type Rep InlineAssembly Source #
type Rep InlineAssembly = D1 * (MetaData "InlineAssembly" "LLVM.AST.InlineAssembly" "llvm-hs-pure-6.0.0-AdKIl6KhlcO5ZIYucKCvA1" False) (C1 * (MetaCons "InlineAssembly" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Type)) ((::) (S1 * (MetaSel (Just Symbol "assembly") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ByteString)) (S1 * (MetaSel (Just Symbol "constraints") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ShortByteString)))) ((::) (S1 * (MetaSel (Just Symbol "hasSideEffects") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) ((::) (S1 * (MetaSel (Just Symbol "alignStack") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "dialect") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Dialect))))))