Safe Haskell	Safe
Language	Haskell98

LLVM.Transforms

Description

This module provides an enumeration of the various transformation (e.g. optimization) passes provided by LLVM. They can be used to create a PassManager to, in turn, run the passes on Modules. If you don't know what passes you want, consider instead using CuratedPassSetSpec.

Synopsis

Documentation

data Pass Source #

http://llvm.org/docs/Passes.html#transform-passes A few passes can make use of information in a TargetMachine if one is provided to createPassManager. http://llvm.org/doxygen/classllvm_1_1Pass.html

Constructors

AggressiveDeadCodeElimination
BreakCriticalEdges
CodeGenPrepare	can use a `TargetMachine`
ConstantPropagation
CorrelatedValuePropagation
DeadCodeElimination
DeadInstructionElimination
DeadStoreElimination
DemoteRegisterToMemory
EarlyCommonSubexpressionElimination
GlobalValueNumbering
Fields noLoads :: Bool
InductionVariableSimplify
InstructionCombining
JumpThreading
LoopClosedSingleStaticAssignment
LoopInvariantCodeMotion
LoopDeletion
LoopIdiom
LoopInstructionSimplify
LoopRotate
LoopStrengthReduce
LoopUnroll
Fields loopUnrollThreshold :: Maybe Word count :: Maybe Word allowPartial :: Maybe Bool
LoopUnswitch
Fields optimizeForSize :: Bool
LowerAtomic
LowerInvoke
LowerSwitch
LowerExpectIntrinsic
MemcpyOptimization
PromoteMemoryToRegister
Reassociate
ScalarReplacementOfAggregates
Fields requiresDominatorTree :: Bool
OldScalarReplacementOfAggregates
Fields oldScalarReplacementOfAggregatesThreshold :: Maybe Word useDominatorTree :: Bool structMemberThreshold :: Maybe Word arrayElementThreshold :: Maybe Word scalarLoadThreshold :: Maybe Word
SparseConditionalConstantPropagation
SimplifyLibCalls
SimplifyControlFlowGraph
Sinking
TailCallElimination
AlwaysInline
Fields insertLifetime :: Bool
ArgumentPromotion
ConstantMerge
FunctionAttributes
FunctionInlining
Fields functionInliningThreshold :: Word
GlobalDeadCodeElimination
InternalizeFunctions
Fields exportList :: [String]
InterproceduralConstantPropagation
InterproceduralSparseConditionalConstantPropagation
MergeFunctions
PartialInlining
PruneExceptionHandling
StripDeadDebugInfo
StripDebugDeclare
StripNonDebugSymbols
StripSymbols
Fields onlyDebugInfo :: Bool
LoopVectorize
Fields noUnrolling :: Bool alwaysVectorize :: Bool
SuperwordLevelParallelismVectorize
GCOVProfiler
Fields emitNotes :: Bool emitData :: Bool version :: GCOVVersion useCfgChecksum :: Bool noRedZone :: Bool functionNamesInData :: Bool
AddressSanitizer
AddressSanitizerModule
MemorySanitizer
Fields trackOrigins :: Bool
ThreadSanitizer
BoundsChecking

Instances

Eq Pass Source #
Methods (==) :: Pass -> Pass -> Bool # (/=) :: Pass -> Pass -> Bool #
Data Pass Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pass -> c Pass # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pass # toConstr :: Pass -> Constr # dataTypeOf :: Pass -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Pass) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pass) # gmapT :: (forall b. Data b => b -> b) -> Pass -> Pass # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pass -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pass -> r # gmapQ :: (forall d. Data d => d -> u) -> Pass -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Pass -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pass -> m Pass # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pass -> m Pass # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pass -> m Pass #
Ord Pass Source #
Methods compare :: Pass -> Pass -> Ordering # (<) :: Pass -> Pass -> Bool # (<=) :: Pass -> Pass -> Bool # (>) :: Pass -> Pass -> Bool # (>=) :: Pass -> Pass -> Bool # max :: Pass -> Pass -> Pass # min :: Pass -> Pass -> Pass #
Read Pass Source #
Methods readsPrec :: Int -> ReadS Pass # readList :: ReadS [Pass] # readPrec :: ReadPrec Pass # readListPrec :: ReadPrec [Pass] #
Show Pass Source #
Methods showsPrec :: Int -> Pass -> ShowS # show :: Pass -> String # showList :: [Pass] -> ShowS #
Generic Pass Source #
Associated Types type Rep Pass :: * -> * # Methods from :: Pass -> Rep Pass x # to :: Rep Pass x -> Pass #
type Rep Pass Source #
type Rep Pass = D1 * (MetaData "Pass" "LLVM.Transforms" "llvm-hs-5.1.3-2K0BJPwnoynG5SXei1gke7" False) ((:+:) * ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "AggressiveDeadCodeElimination" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "BreakCriticalEdges" PrefixI False) (U1 )) (C1 (MetaCons "CodeGenPrepare" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "ConstantPropagation" PrefixI False) (U1 )) (C1 (MetaCons "CorrelatedValuePropagation" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "DeadCodeElimination" PrefixI False) (U1 )) (C1 (MetaCons "DeadInstructionElimination" PrefixI False) (U1 ))))) ((:+:) ((:+:) * ((:+:) * (C1 * (MetaCons "DeadStoreElimination" PrefixI False) (U1 )) (C1 (MetaCons "DemoteRegisterToMemory" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "EarlyCommonSubexpressionElimination" PrefixI False) (U1 )) (C1 (MetaCons "GlobalValueNumbering" PrefixI True) (S1 * (MetaSel (Just Symbol "noLoads") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool))))) ((:+:) * ((:+:) * (C1 * (MetaCons "InductionVariableSimplify" PrefixI False) (U1 )) (C1 (MetaCons "InstructionCombining" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "JumpThreading" PrefixI False) (U1 )) (C1 (MetaCons "LoopClosedSingleStaticAssignment" PrefixI False) (U1 )))))) ((:+:) ((:+:) * ((:+:) * (C1 * (MetaCons "LoopInvariantCodeMotion" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "LoopDeletion" PrefixI False) (U1 )) (C1 (MetaCons "LoopIdiom" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "LoopInstructionSimplify" PrefixI False) (U1 )) (C1 (MetaCons "LoopRotate" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "LoopStrengthReduce" PrefixI False) (U1 )) (C1 (MetaCons "LoopUnroll" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "loopUnrollThreshold") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Word))) ((::) (S1 * (MetaSel (Just Symbol "count") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Word))) (S1 * (MetaSel (Just Symbol "allowPartial") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Bool))))))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "LoopUnswitch" PrefixI True) (S1 * (MetaSel (Just Symbol "optimizeForSize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool))) (C1 * (MetaCons "LowerAtomic" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "LowerInvoke" PrefixI False) (U1 )) (C1 (MetaCons "LowerSwitch" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "LowerExpectIntrinsic" PrefixI False) (U1 )) (C1 (MetaCons "MemcpyOptimization" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "PromoteMemoryToRegister" PrefixI False) (U1 )) (C1 (MetaCons "Reassociate" PrefixI False) (U1 ))))))) ((:+:) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "ScalarReplacementOfAggregates" PrefixI True) (S1 * (MetaSel (Just Symbol "requiresDominatorTree") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool))) ((:+:) * (C1 * (MetaCons "OldScalarReplacementOfAggregates" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "oldScalarReplacementOfAggregatesThreshold") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Word))) (S1 * (MetaSel (Just Symbol "useDominatorTree") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool))) ((::) (S1 * (MetaSel (Just Symbol "structMemberThreshold") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Word))) ((::) (S1 * (MetaSel (Just Symbol "arrayElementThreshold") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Word))) (S1 * (MetaSel (Just Symbol "scalarLoadThreshold") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Word))))))) (C1 * (MetaCons "SparseConditionalConstantPropagation" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "SimplifyLibCalls" PrefixI False) (U1 )) (C1 (MetaCons "SimplifyControlFlowGraph" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "Sinking" PrefixI False) (U1 )) (C1 (MetaCons "TailCallElimination" PrefixI False) (U1 ))))) ((:+:) ((:+:) * ((:+:) * (C1 * (MetaCons "AlwaysInline" PrefixI True) (S1 * (MetaSel (Just Symbol "insertLifetime") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool))) (C1 * (MetaCons "ArgumentPromotion" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "ConstantMerge" PrefixI False) (U1 )) (C1 (MetaCons "FunctionAttributes" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "FunctionInlining" PrefixI True) (S1 * (MetaSel (Just Symbol "functionInliningThreshold") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word))) (C1 * (MetaCons "GlobalDeadCodeElimination" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "InternalizeFunctions" PrefixI True) (S1 * (MetaSel (Just Symbol "exportList") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [String]))) (C1 * (MetaCons "InterproceduralConstantPropagation" PrefixI False) (U1 )))))) ((:+:) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "InterproceduralSparseConditionalConstantPropagation" PrefixI False) (U1 )) (C1 (MetaCons "MergeFunctions" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "PartialInlining" PrefixI False) (U1 )) (C1 (MetaCons "PruneExceptionHandling" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "StripDeadDebugInfo" PrefixI False) (U1 )) (C1 (MetaCons "StripDebugDeclare" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "StripNonDebugSymbols" PrefixI False) (U1 )) (C1 (MetaCons "StripSymbols" PrefixI True) (S1 * (MetaSel (Just Symbol "onlyDebugInfo") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)))))) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "LoopVectorize" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "noUnrolling") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "alwaysVectorize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)))) (C1 * (MetaCons "SuperwordLevelParallelismVectorize" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "GCOVProfiler" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "emitNotes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) ((::) (S1 * (MetaSel (Just Symbol "emitData") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "version") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * GCOVVersion)))) ((::) (S1 * (MetaSel (Just Symbol "useCfgChecksum") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) ((::) (S1 * (MetaSel (Just Symbol "noRedZone") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "functionNamesInData") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)))))) (C1 * (MetaCons "AddressSanitizer" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "AddressSanitizerModule" PrefixI False) (U1 )) (C1 (MetaCons "MemorySanitizer" PrefixI True) (S1 * (MetaSel (Just Symbol "trackOrigins") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Bool)))) ((:+:) * (C1 * (MetaCons "ThreadSanitizer" PrefixI False) (U1 )) (C1 (MetaCons "BoundsChecking" PrefixI False) (U1 *))))))))

defaultLoopVectorize :: Pass Source #

Defaults for the LoopVectorize pass

newtype GCOVVersion Source #

See http://gcc.gnu.org/viewcvs/gcc/trunk/gcc/gcov-io.h?view=markup.

Constructors

GCOVVersion ShortByteString

Instances

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

defaultGCOVProfiler :: Pass Source #

Defaults for GCOVProfiler.

defaultAddressSanitizer :: Pass Source #

Defaults for AddressSanitizer.

defaultAddressSanitizerModule :: Pass Source #

Defaults for AddressSanitizerModule.

defaultMemorySanitizer :: Pass Source #

Defaults for MemorySanitizer.

defaultThreadSanitizer :: Pass Source #

Defaults for ThreadSanitizer.