klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Optimize.cpp File Reference
#include "klee/Config/Version.h"
#include "llvm/PassManager.h"
#include "llvm/Analysis/Passes.h"
#include "llvm/Analysis/LoopPass.h"
#include "llvm/Analysis/Verifier.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/DynamicLibrary.h"
#include "llvm/IR/Module.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/Target/TargetMachine.h"
#include "llvm/Transforms/IPO.h"
#include "llvm/Transforms/Scalar.h"
#include "llvm/Support/PassNameParser.h"
#include "llvm/Support/PluginLoader.h"
Include dependency graph for Optimize.cpp:

Go to the source code of this file.

Namespaces

 llvm
 

Functions

static cl::opt< bool > DontVerify ("disable-verify", cl::ReallyHidden)
 
static cl::opt< bool > DisableInline ("disable-inlining", cl::desc("Do not run the inliner pass"))
 
static cl::opt< bool > DisableOptimizations ("disable-opt", cl::desc("Do not run any optimization passes"))
 
static cl::opt< bool > DisableInternalize ("disable-internalize", cl::desc("Do not mark all symbols as internal"))
 
static cl::opt< bool > VerifyEach ("verify-each", cl::desc("Verify intermediate results of all passes"))
 
static cl::alias ExportDynamic ("export-dynamic", cl::aliasopt(DisableInternalize), cl::desc("Alias for -disable-internalize"))
 
static cl::opt< bool > Strip ("strip-all", cl::desc("Strip all symbol info from executable"))
 
static cl::alias A0 ("s", cl::desc("Alias for --strip-all"), cl::aliasopt(Strip))
 
static cl::opt< bool > StripDebug ("strip-debug", cl::desc("Strip debugger symbol info from executable"))
 
static cl::alias A1 ("S", cl::desc("Alias for --strip-debug"), cl::aliasopt(StripDebug))
 
static void addPass (PassManager &PM, Pass *P)
 
static void llvm::AddStandardCompilePasses (PassManager &PM)
 
void llvm::Optimize (Module *)
 

Function Documentation

static cl::alias A0 ( "s"  ,
cl::  desc"Alias for --strip-all",
cl::  aliasoptStrip 
)
static
static cl::alias A1 ( "S"  ,
cl::  desc"Alias for --strip-debug",
cl::  aliasoptStripDebug 
)
static
static void addPass ( PassManager &  PM,
Pass *  P 
)
inlinestatic

Definition at line 85 of file Optimize.cpp.

References VerifyEach().

Referenced by llvm::AddStandardCompilePasses(), and llvm::Optimize().

Here is the call graph for this function:

Here is the caller graph for this function:

static cl::opt<bool> DisableInline ( "disable-inlining"  ,
cl::  desc"Do not run the inliner pass" 
)
static

Referenced by llvm::AddStandardCompilePasses(), and llvm::Optimize().

Here is the caller graph for this function:

static cl::opt<bool> DisableInternalize ( "disable-internalize"  ,
cl::  desc"Do not mark all symbols as internal" 
)
static

Referenced by llvm::Optimize().

Here is the caller graph for this function:

static cl::opt<bool> DisableOptimizations ( "disable-opt"  ,
cl::  desc"Do not run any optimization passes" 
)
static

Referenced by llvm::AddStandardCompilePasses(), and llvm::Optimize().

Here is the caller graph for this function:

static cl::opt<bool> DontVerify ( "disable-verify"  ,
cl::ReallyHidden   
)
static

Referenced by llvm::Optimize().

Here is the caller graph for this function:

static cl::alias ExportDynamic ( "export-dynamic"  ,
cl::  aliasoptDisableInternalize,
cl::  desc"Alias for -disable-internalize" 
)
static
static cl::opt<bool> Strip ( "strip-all"  ,
cl::  desc"Strip all symbol info from executable" 
)
static

Referenced by llvm::Optimize().

Here is the caller graph for this function:

static cl::opt<bool> StripDebug ( "strip-debug"  ,
cl::  desc"Strip debugger symbol info from executable" 
)
static

Referenced by llvm::AddStandardCompilePasses(), and llvm::Optimize().

Here is the caller graph for this function:

static cl::opt<bool> VerifyEach ( "verify-each"  ,
cl::  desc"Verify intermediate results of all passes" 
)
static

Referenced by addPass(), and llvm::Optimize().

Here is the caller graph for this function: