clang  6.0.0svn
Enumerations | Functions
CGCleanup.cpp File Reference
#include "CGCleanup.h"
#include "CodeGenFunction.h"
#include "llvm/Support/SaveAndRestore.h"
Include dependency graph for CGCleanup.cpp:

Go to the source code of this file.

Enumerations

enum  ForActivation_t { ForActivation, ForDeactivation }
 

Functions

static void createStoreInstBefore (llvm::Value *value, Address addr, llvm::Instruction *beforeInst)
 
static llvm::LoadInst * createLoadInstBefore (Address addr, const Twine &name, llvm::Instruction *beforeInst)
 
static void ResolveAllBranchFixups (CodeGenFunction &CGF, llvm::SwitchInst *Switch, llvm::BasicBlock *CleanupEntry)
 All the branch fixups on the EH stack have propagated out past the outermost normal cleanup; resolve them all by adding cases to the given switch instruction. More...
 
static llvm::SwitchInst * TransitionToCleanupSwitch (CodeGenFunction &CGF, llvm::BasicBlock *Block)
 Transitions the terminator of the given exit-block of a cleanup to be a cleanup switch. More...
 
static llvm::BasicBlock * CreateNormalEntry (CodeGenFunction &CGF, EHCleanupScope &Scope)
 
static llvm::BasicBlock * SimplifyCleanupEntry (CodeGenFunction &CGF, llvm::BasicBlock *Entry)
 Attempts to reduce a cleanup's entry block to a fallthrough. More...
 
static void EmitCleanup (CodeGenFunction &CGF, EHScopeStack::Cleanup *Fn, EHScopeStack::Cleanup::Flags flags, Address ActiveFlag)
 
static void ForwardPrebranchedFallthrough (llvm::BasicBlock *Exit, llvm::BasicBlock *From, llvm::BasicBlock *To)
 
static void destroyOptimisticNormalEntry (CodeGenFunction &CGF, EHCleanupScope &scope)
 We don't need a normal entry block for the given cleanup. More...
 
static bool IsUsedAsNormalCleanup (EHScopeStack &EHStack, EHScopeStack::stable_iterator C)
 
static bool IsUsedAsEHCleanup (EHScopeStack &EHStack, EHScopeStack::stable_iterator cleanup)
 
static void SetupCleanupBlockActivation (CodeGenFunction &CGF, EHScopeStack::stable_iterator C, ForActivation_t kind, llvm::Instruction *dominatingIP)
 The given cleanup block is changing activation state. More...
 

Enumeration Type Documentation

◆ ForActivation_t

Enumerator
ForActivation 
ForDeactivation 

Definition at line 1150 of file CGCleanup.cpp.

Function Documentation

◆ createLoadInstBefore()

static llvm::LoadInst* createLoadInstBefore ( Address  addr,
const Twine &  name,
llvm::Instruction *  beforeInst 
)
static

◆ CreateNormalEntry()

static llvm::BasicBlock* CreateNormalEntry ( CodeGenFunction CGF,
EHCleanupScope Scope 
)
static

◆ createStoreInstBefore()

static void createStoreInstBefore ( llvm::Value value,
Address  addr,
llvm::Instruction *  beforeInst 
)
static

◆ destroyOptimisticNormalEntry()

static void destroyOptimisticNormalEntry ( CodeGenFunction CGF,
EHCleanupScope scope 
)
static

We don't need a normal entry block for the given cleanup.

Optimistic fixup branches can cause these blocks to come into existence anyway; if so, destroy it.

The validity of this transformation is very much specific to the exact ways in which we form branches to cleanup entries.

Definition at line 600 of file CGCleanup.cpp.

References clang::Create(), clang::CodeGen::EHCleanupScope::getNormalBlock(), clang::CodeGen::CodeGenFunction::getUnreachableBlock(), and clang::CodeGen::CodeGenFunction::NormalCleanupDest.

◆ EmitCleanup()

static void EmitCleanup ( CodeGenFunction CGF,
EHScopeStack::Cleanup Fn,
EHScopeStack::Cleanup::Flags  flags,
Address  ActiveFlag 
)
static

◆ ForwardPrebranchedFallthrough()

static void ForwardPrebranchedFallthrough ( llvm::BasicBlock *  Exit,
llvm::BasicBlock *  From,
llvm::BasicBlock *  To 
)
static

Definition at line 576 of file CGCleanup.cpp.

◆ IsUsedAsEHCleanup()

static bool IsUsedAsEHCleanup ( EHScopeStack EHStack,
EHScopeStack::stable_iterator  cleanup 
)
static

◆ IsUsedAsNormalCleanup()

static bool IsUsedAsNormalCleanup ( EHScopeStack EHStack,
EHScopeStack::stable_iterator  C 
)
static

Definition at line 1110 of file CGCleanup.cpp.

References clang::CodeGen::EHScopeStack::find().

Referenced by SetupCleanupBlockActivation().

◆ ResolveAllBranchFixups()

static void ResolveAllBranchFixups ( CodeGenFunction CGF,
llvm::SwitchInst *  Switch,
llvm::BasicBlock *  CleanupEntry 
)
static

All the branch fixups on the EH stack have propagated out past the outermost normal cleanup; resolve them all by adding cases to the given switch instruction.

Definition at line 323 of file CGCleanup.cpp.

◆ SetupCleanupBlockActivation()

static void SetupCleanupBlockActivation ( CodeGenFunction CGF,
EHScopeStack::stable_iterator  C,
ForActivation_t  kind,
llvm::Instruction *  dominatingIP 
)
static

◆ SimplifyCleanupEntry()

static llvm::BasicBlock* SimplifyCleanupEntry ( CodeGenFunction CGF,
llvm::BasicBlock *  Entry 
)
static

Attempts to reduce a cleanup's entry block to a fallthrough.

This is basically llvm::MergeBlockIntoPredecessor, except simplified/optimized for the tighter constraints on cleanup blocks.

Returns the new block, whatever it is.

Definition at line 517 of file CGCleanup.cpp.

References clang::CodeGen::CodeGenFunction::Builder.

◆ TransitionToCleanupSwitch()

static llvm::SwitchInst* TransitionToCleanupSwitch ( CodeGenFunction CGF,
llvm::BasicBlock *  Block 
)
static

Transitions the terminator of the given exit-block of a cleanup to be a cleanup switch.

Definition at line 361 of file CGCleanup.cpp.

References clang::Create(), createLoadInstBefore(), and clang::CodeGen::CodeGenFunction::getNormalCleanupDestSlot().