LogicalSROA.cpp File Reference

This transformation implements the well known scalar replacement of aggregates transformation but for logical pointers. More...

#include "llvm/Transforms/Scalar/LogicalSROA.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/IR/IRBuilder.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/PassManager.h"
#include "llvm/Pass.h"
#include "llvm/Transforms/Scalar.h"

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "logical-sroa"

Functions
static SmallVector< LifetimeIntrinsic * >	collectLifetimeIntrinsicsUsing (Instruction &I)
static bool	isAllocaSplittable (StructuredAllocaInst &SAI)
static SmallVector< SmallVector< StructuredGEPInst * > >	collectPerFieldSGEP (StructuredAllocaInst &SAI)
static void	copyLifetimeIntrinsicFor (IRBuilder<> &B, LifetimeIntrinsic *II, Value *V)
static void	rewriteSGEPChain (IRBuilder<> &B, StructuredGEPInst *SGEP, StructuredAllocaInst *FieldAlloca)
static bool	runOnStructuredAlloca (StructuredAllocaInst &SAI)
static bool	runLogicalSROA (Function &F)

Detailed Description

This transformation implements the well known scalar replacement of aggregates transformation but for logical pointers.

It tries to identify promotable elements of an aggregate alloca, and promote them to multiple allocas of scalar type.

FIXME: nested aggregates are not fully optimized (#192619). FIXME: array are not optimized (#192620).

Definition in file LogicalSROA.cpp.

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "logical-sroa"

Definition at line 30 of file LogicalSROA.cpp.

Function Documentation

collectLifetimeIntrinsicsUsing()

SmallVector< LifetimeIntrinsic * > collectLifetimeIntrinsicsUsing ( Instruction & I )

static

Definition at line 34 of file LogicalSROA.cpp.

References llvm::dyn_cast(), I, and llvm::SmallVectorTemplateBase< T, bool >::push_back().

Referenced by runOnStructuredAlloca().

collectPerFieldSGEP()

SmallVector< SmallVector< StructuredGEPInst * > > collectPerFieldSGEP ( StructuredAllocaInst & SAI )

static

Definition at line 118 of file LogicalSROA.cpp.

References assert(), llvm::cast(), llvm::StructuredAllocaInst::getAllocationType(), llvm::isa(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::SmallVectorTemplateCommon< T, typename >::size(), and llvm::Value::users().

Referenced by runOnStructuredAlloca().

copyLifetimeIntrinsicFor()

void copyLifetimeIntrinsicFor ( IRBuilder<> & B, LifetimeIntrinsic * II, Value * V )

static

Definition at line 139 of file LogicalSROA.cpp.

References B(), II, and llvm_unreachable.

Referenced by runOnStructuredAlloca().

isAllocaSplittable()

bool isAllocaSplittable ( StructuredAllocaInst & SAI )

static

Definition at line 47 of file LogicalSROA.cpp.

References llvm::SmallVectorTemplateCommon< T, typename >::back(), llvm::detail::DenseSetImpl< ValueT, MapTy >::contains(), llvm::dyn_cast(), llvm::SmallVectorTemplateCommon< T, typename >::empty(), I, llvm::detail::DenseSetImpl< ValueT, MapTy >::insert(), llvm::isa(), llvm::SmallVectorTemplateBase< T, bool >::pop_back(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), and llvm::Value::users().

Referenced by runOnStructuredAlloca().

rewriteSGEPChain()

void rewriteSGEPChain ( IRBuilder<> & B, StructuredGEPInst * SGEP, StructuredAllocaInst * FieldAlloca )

static

Definition at line 151 of file LogicalSROA.cpp.

References B(), llvm::drop_begin(), llvm::Instruction::eraseFromParent(), llvm::StructuredAllocaInst::getAllocationType(), llvm::Value::getName(), llvm::StructuredGEPInst::getNumIndices(), I, llvm::StructuredGEPInst::indices(), and llvm::Value::replaceAllUsesWith().

Referenced by runOnStructuredAlloca().

runLogicalSROA()

bool runLogicalSROA ( Function & F )

static

Definition at line 202 of file LogicalSROA.cpp.

References Changed, llvm::dyn_cast(), F, I, llvm::SmallVectorTemplateBase< T, bool >::push_back(), and runOnStructuredAlloca().

Referenced by llvm::LogicalSROAPass::run().

runOnStructuredAlloca()

bool runOnStructuredAlloca ( StructuredAllocaInst & SAI )

static

Definition at line 167 of file LogicalSROA.cpp.

References assert(), B(), llvm::cast(), collectLifetimeIntrinsicsUsing(), collectPerFieldSGEP(), copyLifetimeIntrinsicFor(), llvm::dyn_cast(), llvm::enumerate(), llvm::Instruction::eraseFromParent(), llvm::StructuredAllocaInst::getAllocationType(), II, isAllocaSplittable(), rewriteSGEPChain(), and Users.

Referenced by runLogicalSROA().