klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
llvm Namespace Reference

Classes

struct  simplify_type< ::klee::ref< T > >
 
struct  simplify_type< const ::klee::ref< T > >
 

Functions

void Optimize (Module *)
 
static void AddStandardCompilePasses (PassManager &PM)
 

Function Documentation

static void llvm::AddStandardCompilePasses ( PassManager &  PM)
static

Definition at line 97 of file Optimize.cpp.

References addPass(), DisableInline(), DisableOptimizations(), and StripDebug().

Referenced by Optimize().

Here is the call graph for this function:

Here is the caller graph for this function:

void llvm::Optimize ( Module *  M)

Optimize - Perform link time optimizations. This will run the scalar optimizations, any loaded plugin-optimization modules, and then the inter-procedural optimizations if applicable.

Definition at line 168 of file Optimize.cpp.

References addPass(), AddStandardCompilePasses(), DisableInline(), DisableInternalize(), DisableOptimizations(), DontVerify(), Strip(), StripDebug(), and VerifyEach().

Referenced by klee::KModule::prepare().

Here is the call graph for this function:

Here is the caller graph for this function: