LLVM 19.0.0git
Public Member Functions | Friends | List of all members
llvm::SSAUpdater Class Reference

Helper class for SSA formation on a set of values defined in multiple blocks. More...

#include "llvm/Transforms/Utils/SSAUpdater.h"

Public Member Functions

 SSAUpdater (SmallVectorImpl< PHINode * > *InsertedPHIs=nullptr)
 If InsertedPHIs is specified, it will be filled in with all PHI Nodes created by rewriting.
 
 SSAUpdater (const SSAUpdater &)=delete
 
SSAUpdateroperator= (const SSAUpdater &)=delete
 
 ~SSAUpdater ()
 
void Initialize (Type *Ty, StringRef Name)
 Reset this object to get ready for a new set of SSA updates with type 'Ty'.
 
void AddAvailableValue (BasicBlock *BB, Value *V)
 Indicate that a rewritten value is available in the specified block with the specified value.
 
bool HasValueForBlock (BasicBlock *BB) const
 Return true if the SSAUpdater already has a value for the specified block.
 
ValueFindValueForBlock (BasicBlock *BB) const
 Return the value for the specified block if the SSAUpdater has one, otherwise return nullptr.
 
ValueGetValueAtEndOfBlock (BasicBlock *BB)
 Construct SSA form, materializing a value that is live at the end of the specified block.
 
ValueGetValueInMiddleOfBlock (BasicBlock *BB)
 Construct SSA form, materializing a value that is live in the middle of the specified block.
 
void RewriteUse (Use &U)
 Rewrite a use of the symbolic value.
 
void UpdateDebugValues (Instruction *I)
 Rewrite debug value intrinsics to conform to a new SSA form.
 
void UpdateDebugValues (Instruction *I, SmallVectorImpl< DbgValueInst * > &DbgValues)
 
void UpdateDebugValues (Instruction *I, SmallVectorImpl< DbgVariableRecord * > &DbgValues)
 
void RewriteUseAfterInsertions (Use &U)
 Rewrite a use like RewriteUse but handling in-block definitions.
 

Friends

class SSAUpdaterTraits< SSAUpdater >
 

Detailed Description

Helper class for SSA formation on a set of values defined in multiple blocks.

This is used when code duplication or another unstructured transformation wants to rewrite a set of uses of one value with uses of a set of values.

Definition at line 40 of file SSAUpdater.h.

Constructor & Destructor Documentation

◆ SSAUpdater() [1/2]

SSAUpdater::SSAUpdater ( SmallVectorImpl< PHINode * > *  InsertedPHIs = nullptr)
explicit

If InsertedPHIs is specified, it will be filled in with all PHI Nodes created by rewriting.

Definition at line 46 of file SSAUpdater.cpp.

◆ SSAUpdater() [2/2]

llvm::SSAUpdater::SSAUpdater ( const SSAUpdater )
delete

◆ ~SSAUpdater()

SSAUpdater::~SSAUpdater ( )

Definition at line 49 of file SSAUpdater.cpp.

Member Function Documentation

◆ AddAvailableValue()

void SSAUpdater::AddAvailableValue ( BasicBlock BB,
Value V 
)

Indicate that a rewritten value is available in the specified block with the specified value.

Definition at line 70 of file SSAUpdater.cpp.

References assert(), and getAvailableVals().

Referenced by ConstructSSAForLoadSet(), llvm::formLCSSAForInstructions(), InsertIntrinsicCalls(), llvm::PhiLoweringHelper::lowerPhis(), llvm::LoadAndStorePromoter::run(), and llvm::JumpThreadingPass::updateSSA().

◆ FindValueForBlock()

Value * SSAUpdater::FindValueForBlock ( BasicBlock BB) const

Return the value for the specified block if the SSAUpdater has one, otherwise return nullptr.

Definition at line 66 of file SSAUpdater.cpp.

References getAvailableVals(), and llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::lookup().

Referenced by llvm::formLCSSAForInstructions().

◆ GetValueAtEndOfBlock()

Value * SSAUpdater::GetValueAtEndOfBlock ( BasicBlock BB)

Construct SSA form, materializing a value that is live at the end of the specified block.

Definition at line 93 of file SSAUpdater.cpp.

Referenced by GetValueInMiddleOfBlock(), RewriteUse(), and RewriteUseAfterInsertions().

◆ GetValueInMiddleOfBlock()

Value * SSAUpdater::GetValueInMiddleOfBlock ( BasicBlock BB)

Construct SSA form, materializing a value that is live in the middle of the specified block.

GetValueInMiddleOfBlock is the same as GetValueAtEndOfBlock except in one important case: if there is a definition of the rewritten value after the 'use' in BB. Consider code like this:

X1 = ...
SomeBB:
use(X)
X2 = ...
br Cond, SomeBB, OutBB
static GCMetadataPrinterRegistry::Add< ErlangGCPrinter > X("erlang", "erlang-compatible garbage collector")
Move duplicate certain instructions close to their use
Definition: Localizer.cpp:33
const SmallVectorImpl< MachineOperand > & Cond

In this case, there are two values (X1 and X2) added to the AvailableVals set by the client of the rewriter, and those values are both live out of their respective blocks. However, the use of X happens in the middle of a block. Because of this, we need to insert a new PHI node in SomeBB to merge the appropriate values, and this value isn't live out of the block.

Definition at line 98 of file SSAUpdater.cpp.

References llvm::PHINode::addIncoming(), llvm::SmallVectorTemplateCommon< T, typename >::begin(), llvm::BasicBlock::begin(), llvm::PHINode::Create(), llvm::dbgs(), DL, llvm::SmallVectorBase< Size_T >::empty(), llvm::SmallVectorTemplateCommon< T, typename >::end(), llvm::Instruction::eraseFromParent(), llvm::UndefValue::get(), llvm::Module::getDataLayout(), llvm::BasicBlock::getFirstNonPHI(), llvm::BasicBlock::getModule(), GetValueAtEndOfBlock(), HasValueForBlock(), I, llvm::Instruction::insertBefore(), IsEquivalentPHI(), LLVM_DEBUG, llvm::BasicBlock::phis(), llvm::predecessors(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::Instruction::setDebugLoc(), llvm::simplifyInstruction(), and llvm::SmallVectorBase< Size_T >::size().

Referenced by ConstructSSAForLoadSet(), llvm::PhiLoweringHelper::lowerPhis(), RewriteUse(), and llvm::LoadAndStorePromoter::run().

◆ HasValueForBlock()

bool SSAUpdater::HasValueForBlock ( BasicBlock BB) const

Return true if the SSAUpdater already has a value for the specified block.

Definition at line 62 of file SSAUpdater.cpp.

References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::count(), and getAvailableVals().

Referenced by ConstructSSAForLoadSet(), llvm::formLCSSAForInstructions(), and GetValueInMiddleOfBlock().

◆ Initialize()

void SSAUpdater::Initialize ( Type Ty,
StringRef  Name 
)

◆ operator=()

SSAUpdater & llvm::SSAUpdater::operator= ( const SSAUpdater )
delete

◆ RewriteUse()

void SSAUpdater::RewriteUse ( Use U)

Rewrite a use of the symbolic value.

This handles PHI nodes, which use their value in the corresponding predecessor. Note that this will not work if the use is supposed to be rewritten to a value defined in the same block as the use, but above it. Any 'AddAvailableValue's added for the use's block will be considered to be below it.

Definition at line 188 of file SSAUpdater.cpp.

References GetValueAtEndOfBlock(), and GetValueInMiddleOfBlock().

Referenced by llvm::formLCSSAForInstructions(), llvm::JumpThreadingPass::updateSSA(), and UpdateSSA().

◆ RewriteUseAfterInsertions()

void SSAUpdater::RewriteUseAfterInsertions ( Use U)

Rewrite a use like RewriteUse but handling in-block definitions.

This version of the method can rewrite uses in the same block as a definition, because it assumes that all uses of a value are below any inserted values.

Definition at line 248 of file SSAUpdater.cpp.

References GetValueAtEndOfBlock().

◆ UpdateDebugValues() [1/3]

void SSAUpdater::UpdateDebugValues ( Instruction I)

Rewrite debug value intrinsics to conform to a new SSA form.

This will scout out all the debug value instrinsics associated with the instruction. Anything outside of its block will have its value set to the new SSA value if available, and undef if not.

Definition at line 200 of file SSAUpdater.cpp.

References llvm::findDbgValues(), and I.

Referenced by llvm::JumpThreadingPass::updateSSA().

◆ UpdateDebugValues() [2/3]

void SSAUpdater::UpdateDebugValues ( Instruction I,
SmallVectorImpl< DbgValueInst * > &  DbgValues 
)

Definition at line 216 of file SSAUpdater.cpp.

References I.

◆ UpdateDebugValues() [3/3]

void SSAUpdater::UpdateDebugValues ( Instruction I,
SmallVectorImpl< DbgVariableRecord * > &  DbgValues 
)

Definition at line 223 of file SSAUpdater.cpp.

References I.

Friends And Related Function Documentation

◆ SSAUpdaterTraits< SSAUpdater >

friend class SSAUpdaterTraits< SSAUpdater >
friend

Definition at line 1 of file SSAUpdater.h.


The documentation for this class was generated from the following files: