llvm-hs-5.0.0: General purpose LLVM bindings

Safe HaskellSafe
LanguageHaskell98

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 #

Constructors

AggressiveDeadCodeElimination 
BreakCriticalEdges 
CodeGenPrepare

can use a TargetMachine

ConstantPropagation 
CorrelatedValuePropagation 
DeadCodeElimination 
DeadInstructionElimination 
DeadStoreElimination 
DemoteRegisterToMemory 
EarlyCommonSubexpressionElimination 
GlobalValueNumbering 

Fields

InductionVariableSimplify 
InstructionCombining 
JumpThreading 
LoopClosedSingleStaticAssignment 
LoopInvariantCodeMotion 
LoopDeletion 
LoopIdiom 
LoopInstructionSimplify 
LoopRotate 
LoopStrengthReduce 
LoopUnroll 
LoopUnswitch 
LowerAtomic 
LowerInvoke 
LowerSwitch 
LowerExpectIntrinsic 
MemcpyOptimization 
PromoteMemoryToRegister 
Reassociate 
ScalarReplacementOfAggregates 
OldScalarReplacementOfAggregates 
SparseConditionalConstantPropagation 
SimplifyLibCalls 
SimplifyControlFlowGraph 
Sinking 
TailCallElimination 
AlwaysInline 

Fields

ArgumentPromotion 
ConstantMerge 
FunctionAttributes 
FunctionInlining 
GlobalDeadCodeElimination 
InternalizeFunctions 

Fields

InterproceduralConstantPropagation 
InterproceduralSparseConditionalConstantPropagation 
MergeFunctions 
PartialInlining 
PruneExceptionHandling 
StripDeadDebugInfo 
StripDebugDeclare 
StripNonDebugSymbols 
StripSymbols 

Fields

LoopVectorize 
SuperwordLevelParallelismVectorize 
GCOVProfiler 
AddressSanitizer 
AddressSanitizerModule 
MemorySanitizer 

Fields

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 # 
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.0.0-1dCeupZ9D7sFk0Uf8KpOxe" 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 *))))))))

newtype GCOVVersion Source #

Instances

Eq GCOVVersion Source # 
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 # 
Read GCOVVersion Source # 
Show GCOVVersion Source # 
Generic GCOVVersion Source # 

Associated Types

type Rep GCOVVersion :: * -> * #

type Rep GCOVVersion Source # 
type Rep GCOVVersion = D1 * (MetaData "GCOVVersion" "LLVM.Transforms" "llvm-hs-5.0.0-1dCeupZ9D7sFk0Uf8KpOxe" True) (C1 * (MetaCons "GCOVVersion" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * ShortByteString)))