LLVM.Internal.PassManager

Documentation

newtype PassManager

http://llvm.org/doxygen/classllvm_1_1PassManager.html Note: a PassManager does substantive behind-the-scenes work, arranging for the results of various analyses to be available as needed by transform passes, shared as possible.

Constructors

PassManager (Ptr PassManager)

data PassSetSpec

There are different ways to get a PassManager. This type embodies them.

Constructors

PassSetSpec

a PassSetSpec is a lower-level, detailed specification of a set of passes. It allows fine-grained control of what passes are to be run when, and the specification of passes not available through CuratedPassSetSpec.

Fields

• transforms :: [Pass]
• dataLayout :: Maybe DataLayout
• targetLibraryInfo :: Maybe TargetLibraryInfo
• targetMachine :: Maybe TargetMachine

CuratedPassSetSpec

This type is a high-level specification of a set of passes. It uses the same collection of passes chosen by the LLVM team in the command line tool opt. The fields of this spec are much like typical compiler command-line flags - e.g. -O<n>, etc.

Fields

• optLevel :: Maybe Word
• sizeLevel :: Maybe Word
• unitAtATime :: Maybe Bool
• simplifyLibCalls :: Maybe Bool
• loopVectorize :: Maybe Bool
• superwordLevelParallelismVectorize :: Maybe Bool
• useInlinerWithThreshold :: Maybe Word
• dataLayout :: Maybe DataLayout
• targetLibraryInfo :: Maybe TargetLibraryInfo
• targetMachine :: Maybe TargetMachine

defaultCuratedPassSetSpec :: PassSetSpec

Helper to make a curated PassSetSpec

defaultPassSetSpec :: PassSetSpec

an empty PassSetSpec

createPassManager :: PassSetSpec -> IO (Ptr PassManager)

withPassManager :: PassSetSpec -> (PassManager -> IO a) -> IO a

bracket the creation of a PassManager

runPassManager :: PassManager -> Module -> IO Bool

run the passes in a PassManager on a Module, modifying the Module.

Orphan instances

(Monad m, MonadThrow m, MonadAnyCont IO m) => EncodeM m GCOVVersion CString

Methods

encodeM :: GCOVVersion -> m CString