Safe Haskell	Safe-Inferred
Language	Haskell2010

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

data Pass
- = AggressiveDeadCodeElimination
- | BreakCriticalEdges
- | CodeGenPrepare
- | CorrelatedValuePropagation
- | DeadCodeElimination
- | DeadStoreElimination
- | DemoteRegisterToMemory
- | EarlyCommonSubexpressionElimination
- | GlobalValueNumbering {
  - noLoads :: Bool
  }
- | InductionVariableSimplify
- | InstructionCombining
- | InstructionSimplify
- | JumpThreading
- | LoopClosedSingleStaticAssignment
- | LoopInvariantCodeMotion
- | LoopDeletion
- | LoopIdiom
- | LoopInstructionSimplify
- | LoopRotate
- | LoopStrengthReduce
- | LoopUnroll {
  - loopUnrollThreshold :: Maybe Word
  - count :: Maybe Word
  - allowPartial :: Maybe Bool
  }
- | LoopUnswitch {
  - optimizeForSize :: Bool
  }
- | LowerAtomic
- | LowerInvoke
- | LowerSwitch
- | LowerExpectIntrinsic
- | MemcpyOptimization
- | PromoteMemoryToRegister
- | Reassociate
- | ScalarReplacementOfAggregates {
  - requiresDominatorTree :: Bool
  }
- | OldScalarReplacementOfAggregates {
  - oldScalarReplacementOfAggregatesThreshold :: Maybe Word
  - useDominatorTree :: Bool
  - structMemberThreshold :: Maybe Word
  - arrayElementThreshold :: Maybe Word
  - scalarLoadThreshold :: Maybe Word
  }
- | SparseConditionalConstantPropagation
- | SimplifyLibCalls
- | SimplifyControlFlowGraph
- | Sinking
- | TailCallElimination
- | AlwaysInline {
  - insertLifetime :: Bool
  }
- | ArgumentPromotion
- | ConstantMerge
- | FunctionAttributes
- | FunctionInlining {
  - functionInliningThreshold :: Word
  }
- | GlobalDeadCodeElimination
- | InternalizeFunctions {
  - exportList :: [String]
  }
- | InterproceduralSparseConditionalConstantPropagation
- | MergeFunctions
- | PartialInlining
- | PruneExceptionHandling
- | StripDeadDebugInfo
- | StripDebugDeclare
- | StripNonDebugSymbols
- | StripSymbols {
  - onlyDebugInfo :: Bool
  }
- | LoopVectorize {
  - interleaveOnlyWhenForced :: Bool
  - vectorizeOnlyWhenForced :: Bool
  }
- | SuperwordLevelParallelismVectorize
- | GCOVProfiler {
  - emitNotes :: Bool
  - emitData :: Bool
  - version :: GCOVVersion
  - noRedZone :: Bool
  - atomic :: Bool
  - filter :: String
  - exclude :: String
  }
- | AddressSanitizer
- | AddressSanitizerModule
- | MemorySanitizer {
  - trackOrigins :: Bool
  - recover :: Bool
  - kernel :: Bool
  }
- | ThreadSanitizer
- | BoundsChecking
defaultLoopVectorize :: Pass
newtype GCOVVersion = GCOVVersion ShortByteString
defaultGCOVProfiler :: Pass
defaultAddressSanitizer :: Pass
defaultAddressSanitizerModule :: Pass
defaultMemorySanitizer :: Pass
defaultThreadSanitizer :: Pass

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`
CorrelatedValuePropagation
DeadCodeElimination
DeadStoreElimination
DemoteRegisterToMemory
EarlyCommonSubexpressionElimination
GlobalValueNumbering
Fields noLoads :: Bool
InductionVariableSimplify
InstructionCombining
InstructionSimplify	Instruction simplification includes constant folding
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]
InterproceduralSparseConditionalConstantPropagation
MergeFunctions
PartialInlining
PruneExceptionHandling
StripDeadDebugInfo
StripDebugDeclare
StripNonDebugSymbols
StripSymbols
Fields onlyDebugInfo :: Bool
LoopVectorize
Fields interleaveOnlyWhenForced :: Bool vectorizeOnlyWhenForced :: Bool
SuperwordLevelParallelismVectorize
GCOVProfiler
Fields emitNotes :: Bool emitData :: Bool version :: GCOVVersion noRedZone :: Bool atomic :: Bool filter :: String exclude :: String
AddressSanitizer
AddressSanitizerModule
MemorySanitizer
Fields trackOrigins :: Bool recover :: Bool kernel :: Bool
ThreadSanitizer
BoundsChecking

Instances

Instances details

Data Pass Source #
Instance details Defined in LLVM.Transforms 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 :: forall r r'. (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 #
Generic Pass Source #
Instance details Defined in LLVM.Transforms Associated Types type Rep Pass :: Type -> Type # Methods from :: Pass -> Rep Pass x # to :: Rep Pass x -> Pass #
Read Pass Source #
Instance details Defined in LLVM.Transforms Methods readsPrec :: Int -> ReadS Pass # readList :: ReadS [Pass] # readPrec :: ReadPrec Pass # readListPrec :: ReadPrec [Pass] #
Show Pass Source #
Instance details Defined in LLVM.Transforms Methods showsPrec :: Int -> Pass -> ShowS # show :: Pass -> String # showList :: [Pass] -> ShowS #
Eq Pass Source #
Instance details Defined in LLVM.Transforms Methods (==) :: Pass -> Pass -> Bool # (/=) :: Pass -> Pass -> Bool #
Ord Pass Source #
Instance details Defined in LLVM.Transforms 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 #
type Rep Pass Source #
Instance details Defined in LLVM.Transforms type Rep Pass = D1 ('MetaData "Pass" "LLVM.Transforms" "llvm-party-12.1.1-inplace" 'False) (((((C1 ('MetaCons "AggressiveDeadCodeElimination" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BreakCriticalEdges" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CodeGenPrepare" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CorrelatedValuePropagation" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DeadCodeElimination" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DeadStoreElimination" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DemoteRegisterToMemory" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "EarlyCommonSubexpressionElimination" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GlobalValueNumbering" 'PrefixI 'True) (S1 ('MetaSel ('Just "noLoads") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "InductionVariableSimplify" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "InstructionCombining" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InstructionSimplify" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "JumpThreading" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LoopClosedSingleStaticAssignment" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "LoopInvariantCodeMotion" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LoopDeletion" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LoopIdiom" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LoopInstructionSimplify" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LoopRotate" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LoopStrengthReduce" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LoopUnroll" 'PrefixI 'True) (S1 ('MetaSel ('Just "loopUnrollThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Word)) :: (S1 ('MetaSel ('Just "count") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Word)) :: S1 ('MetaSel ('Just "allowPartial") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))))) :+: (((C1 ('MetaCons "LoopUnswitch" 'PrefixI 'True) (S1 ('MetaSel ('Just "optimizeForSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "LowerAtomic" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LowerInvoke" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LowerSwitch" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LowerExpectIntrinsic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MemcpyOptimization" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PromoteMemoryToRegister" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Reassociate" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "ScalarReplacementOfAggregates" 'PrefixI 'True) (S1 ('MetaSel ('Just "requiresDominatorTree") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: (C1 ('MetaCons "OldScalarReplacementOfAggregates" 'PrefixI 'True) ((S1 ('MetaSel ('Just "oldScalarReplacementOfAggregatesThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Word)) :: S1 ('MetaSel ('Just "useDominatorTree") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "structMemberThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Word)) :: (S1 ('MetaSel ('Just "arrayElementThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Word)) :: S1 ('MetaSel ('Just "scalarLoadThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Word))))) :+: C1 ('MetaCons "SparseConditionalConstantPropagation" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "SimplifyLibCalls" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SimplifyControlFlowGraph" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Sinking" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TailCallElimination" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "AlwaysInline" 'PrefixI 'True) (S1 ('MetaSel ('Just "insertLifetime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "ArgumentPromotion" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ConstantMerge" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FunctionAttributes" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "FunctionInlining" 'PrefixI 'True) (S1 ('MetaSel ('Just "functionInliningThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)) :+: C1 ('MetaCons "GlobalDeadCodeElimination" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "InternalizeFunctions" 'PrefixI 'True) (S1 ('MetaSel ('Just "exportList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String])) :+: C1 ('MetaCons "InterproceduralSparseConditionalConstantPropagation" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "MergeFunctions" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PartialInlining" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PruneExceptionHandling" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "StripDeadDebugInfo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StripDebugDeclare" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "StripNonDebugSymbols" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StripSymbols" 'PrefixI 'True) (S1 ('MetaSel ('Just "onlyDebugInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))) :+: (((C1 ('MetaCons "LoopVectorize" 'PrefixI 'True) (S1 ('MetaSel ('Just "interleaveOnlyWhenForced") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "vectorizeOnlyWhenForced") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "SuperwordLevelParallelismVectorize" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GCOVProfiler" 'PrefixI 'True) ((S1 ('MetaSel ('Just "emitNotes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: (S1 ('MetaSel ('Just "emitData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "version") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GCOVVersion))) :: ((S1 ('MetaSel ('Just "noRedZone") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "atomic") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "filter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Just "exclude") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))) :+: C1 ('MetaCons "AddressSanitizer" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "AddressSanitizerModule" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MemorySanitizer" 'PrefixI 'True) (S1 ('MetaSel ('Just "trackOrigins") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: (S1 ('MetaSel ('Just "recover") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "kernel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))) :+: (C1 ('MetaCons "ThreadSanitizer" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BoundsChecking" 'PrefixI 'False) (U1 :: Type -> Type)))))))

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

Instances details

Data GCOVVersion Source #
Instance details Defined in LLVM.Transforms 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 :: forall r r'. (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 #
Generic GCOVVersion Source #
Instance details Defined in LLVM.Transforms Associated Types type Rep GCOVVersion :: Type -> Type # Methods from :: GCOVVersion -> Rep GCOVVersion x # to :: Rep GCOVVersion x -> GCOVVersion #
Read GCOVVersion Source #
Instance details Defined in LLVM.Transforms Methods readsPrec :: Int -> ReadS GCOVVersion # readList :: ReadS [GCOVVersion] # readPrec :: ReadPrec GCOVVersion # readListPrec :: ReadPrec [GCOVVersion] #
Show GCOVVersion Source #
Instance details Defined in LLVM.Transforms Methods showsPrec :: Int -> GCOVVersion -> ShowS # show :: GCOVVersion -> String # showList :: [GCOVVersion] -> ShowS #
Eq GCOVVersion Source #
Instance details Defined in LLVM.Transforms Methods (==) :: GCOVVersion -> GCOVVersion -> Bool # (/=) :: GCOVVersion -> GCOVVersion -> Bool #
Ord GCOVVersion Source #
Instance details Defined in LLVM.Transforms 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 #
(Monad m, MonadThrow m, MonadAnyCont IO m) => EncodeM m GCOVVersion CString Source #
Instance details Defined in LLVM.Internal.PassManager Methods encodeM :: GCOVVersion -> m CString Source #
type Rep GCOVVersion Source #
Instance details Defined in LLVM.Transforms type Rep GCOVVersion = D1 ('MetaData "GCOVVersion" "LLVM.Transforms" "llvm-party-12.1.1-inplace" 'True) (C1 ('MetaCons "GCOVVersion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe 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.