Safe Haskell	None
Language	Haskell2010

LLVM.Internal.PassManager

Contents

Orphan instances

Synopsis

newtype PassManager = PassManager (Ptr PassManager)
data PassSetSpec
- = PassSetSpec {
  - transforms :: [Pass]
  - dataLayout :: Maybe DataLayout
  - targetLibraryInfo :: Maybe TargetLibraryInfo
  - targetMachine :: Maybe TargetMachine
  }
- | CuratedPassSetSpec {
  - 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
defaultPassSetSpec :: PassSetSpec
createPassManager :: PassSetSpec -> IO (Ptr PassManager)
withPassManager :: PassSetSpec -> (PassManager -> IO a) -> IO a
runPassManager :: PassManager -> Module -> IO Bool

Documentation

newtype PassManager Source #

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 Source #

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 Source #

Helper to make a curated PassSetSpec

defaultPassSetSpec :: PassSetSpec Source #

an empty PassSetSpec

createPassManager :: PassSetSpec -> IO (Ptr PassManager) Source #

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

bracket the creation of a PassManager

runPassManager :: PassManager -> Module -> IO Bool Source #

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 Source #
Instance details Methods encodeM :: GCOVVersion -> m CString Source #