2001-11-01 10:42:08 +08:00
|
|
|
//===- LevelRaise.cpp - Code to change LLVM to higher level -----------------=//
|
|
|
|
//
|
|
|
|
// This file implements the 'raising' part of the LevelChange API. This is
|
|
|
|
// useful because, in general, it makes the LLVM code terser and easier to
|
2001-11-27 00:58:14 +08:00
|
|
|
// analyze.
|
2001-11-01 10:42:08 +08:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "llvm/Transforms/LevelChange.h"
|
2002-05-08 02:12:18 +08:00
|
|
|
#include "llvm/Transforms/Utils/Local.h"
|
2001-11-05 07:24:06 +08:00
|
|
|
#include "TransformInternals.h"
|
2001-11-01 10:42:08 +08:00
|
|
|
#include "llvm/iOther.h"
|
|
|
|
#include "llvm/iMemory.h"
|
2002-02-27 05:46:54 +08:00
|
|
|
#include "llvm/Pass.h"
|
2002-04-09 04:18:09 +08:00
|
|
|
#include "llvm/ConstantHandling.h"
|
2001-11-14 19:02:49 +08:00
|
|
|
#include "llvm/Analysis/Expressions.h"
|
2002-05-08 02:12:18 +08:00
|
|
|
#include "llvm/Transforms/Utils/BasicBlockUtils.h"
|
2001-11-27 08:03:19 +08:00
|
|
|
#include "Support/STLExtras.h"
|
2002-05-10 23:29:25 +08:00
|
|
|
#include "Support/StatisticReporter.h"
|
2001-11-01 10:42:08 +08:00
|
|
|
#include <algorithm>
|
|
|
|
|
2002-05-10 23:29:25 +08:00
|
|
|
static Statistic<> NumLoadStorePeepholes("raise\t\t- Number of load/store peepholes");
|
|
|
|
static Statistic<> NumGEPInstFormed("raise\t\t- Number of other getelementptr's formed");
|
|
|
|
static Statistic<> NumExprTreesConv("raise\t\t- Number of expression trees converted");
|
|
|
|
static Statistic<> NumCastOfCast("raise\t\t- Number of cast-of-self removed");
|
|
|
|
static Statistic<> NumDCEorCP("raise\t\t- Number of insts DCE'd or constprop'd");
|
|
|
|
|
|
|
|
|
2001-11-01 10:42:08 +08:00
|
|
|
#define PRINT_PEEPHOLE(ID, NUM, I) \
|
2002-05-23 01:27:12 +08:00
|
|
|
DEBUG(std::cerr << "Inst P/H " << ID << "[" << NUM << "] " << I)
|
2001-11-01 10:42:08 +08:00
|
|
|
|
|
|
|
#define PRINT_PEEPHOLE1(ID, I1) do { PRINT_PEEPHOLE(ID, 0, I1); } while (0)
|
|
|
|
#define PRINT_PEEPHOLE2(ID, I1, I2) \
|
|
|
|
do { PRINT_PEEPHOLE(ID, 0, I1); PRINT_PEEPHOLE(ID, 1, I2); } while (0)
|
|
|
|
#define PRINT_PEEPHOLE3(ID, I1, I2, I3) \
|
|
|
|
do { PRINT_PEEPHOLE(ID, 0, I1); PRINT_PEEPHOLE(ID, 1, I2); \
|
|
|
|
PRINT_PEEPHOLE(ID, 2, I3); } while (0)
|
2001-11-14 19:02:49 +08:00
|
|
|
#define PRINT_PEEPHOLE4(ID, I1, I2, I3, I4) \
|
|
|
|
do { PRINT_PEEPHOLE(ID, 0, I1); PRINT_PEEPHOLE(ID, 1, I2); \
|
|
|
|
PRINT_PEEPHOLE(ID, 2, I3); PRINT_PEEPHOLE(ID, 3, I4); } while (0)
|
2001-11-01 10:42:08 +08:00
|
|
|
|
|
|
|
|
|
|
|
// isReinterpretingCast - Return true if the cast instruction specified will
|
|
|
|
// cause the operand to be "reinterpreted". A value is reinterpreted if the
|
|
|
|
// cast instruction would cause the underlying bits to change.
|
|
|
|
//
|
|
|
|
static inline bool isReinterpretingCast(const CastInst *CI) {
|
2001-11-27 00:58:14 +08:00
|
|
|
return!CI->getOperand(0)->getType()->isLosslesslyConvertableTo(CI->getType());
|
2001-11-01 10:42:08 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2001-12-05 14:34:00 +08:00
|
|
|
// Peephole optimize the following instructions:
|
|
|
|
// %t1 = cast ? to x *
|
|
|
|
// %t2 = add x * %SP, %t1 ;; Constant must be 2nd operand
|
|
|
|
//
|
|
|
|
// Into: %t3 = getelementptr {<...>} * %SP, <element indices>
|
|
|
|
// %t2 = cast <eltype> * %t3 to {<...>}*
|
|
|
|
//
|
|
|
|
static bool HandleCastToPointer(BasicBlock::iterator BI,
|
|
|
|
const PointerType *DestPTy) {
|
|
|
|
CastInst *CI = cast<CastInst>(*BI);
|
2002-03-21 14:22:23 +08:00
|
|
|
if (CI->use_empty()) return false;
|
2001-12-05 14:34:00 +08:00
|
|
|
|
|
|
|
// Scan all of the uses, looking for any uses that are not add
|
|
|
|
// instructions. If we have non-adds, do not make this transformation.
|
|
|
|
//
|
|
|
|
for (Value::use_iterator I = CI->use_begin(), E = CI->use_end();
|
|
|
|
I != E; ++I) {
|
|
|
|
if (BinaryOperator *BO = dyn_cast<BinaryOperator>(*I)) {
|
|
|
|
if (BO->getOpcode() != Instruction::Add)
|
|
|
|
return false;
|
|
|
|
} else {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
2001-11-05 04:21:12 +08:00
|
|
|
|
2002-01-21 06:54:45 +08:00
|
|
|
std::vector<Value*> Indices;
|
2001-12-05 14:34:00 +08:00
|
|
|
Value *Src = CI->getOperand(0);
|
|
|
|
const Type *Result = ConvertableToGEP(DestPTy, Src, Indices, &BI);
|
|
|
|
if (Result == 0) return false; // Not convertable...
|
|
|
|
|
|
|
|
PRINT_PEEPHOLE2("cast-add-to-gep:in", Src, CI);
|
|
|
|
|
|
|
|
// If we have a getelementptr capability... transform all of the
|
|
|
|
// add instruction uses into getelementptr's.
|
2002-03-12 06:19:48 +08:00
|
|
|
while (!CI->use_empty()) {
|
2002-03-21 14:22:23 +08:00
|
|
|
BinaryOperator *I = cast<BinaryOperator>(*CI->use_begin());
|
2001-12-05 14:34:00 +08:00
|
|
|
assert(I->getOpcode() == Instruction::Add && I->getNumOperands() == 2 &&
|
|
|
|
"Use is not a valid add instruction!");
|
|
|
|
|
|
|
|
// Get the value added to the cast result pointer...
|
|
|
|
Value *OtherPtr = I->getOperand((I->getOperand(0) == CI) ? 1 : 0);
|
|
|
|
|
2002-03-21 14:22:23 +08:00
|
|
|
Instruction *GEP = new GetElementPtrInst(OtherPtr, Indices, I->getName());
|
2001-12-05 14:34:00 +08:00
|
|
|
PRINT_PEEPHOLE1("cast-add-to-gep:i", I);
|
2002-03-21 14:22:23 +08:00
|
|
|
|
|
|
|
if (GEP->getType() == I->getType()) {
|
|
|
|
// Replace the old add instruction with the shiny new GEP inst
|
|
|
|
ReplaceInstWithInst(I, GEP);
|
|
|
|
} else {
|
|
|
|
// If the type produced by the gep instruction differs from the original
|
|
|
|
// add instruction type, insert a cast now.
|
|
|
|
//
|
|
|
|
|
|
|
|
// Insert the GEP instruction before the old add instruction... and get an
|
|
|
|
// iterator to point at the add instruction...
|
|
|
|
BasicBlock::iterator GEPI = InsertInstBeforeInst(GEP, I)+1;
|
|
|
|
|
|
|
|
PRINT_PEEPHOLE1("cast-add-to-gep:o", GEP);
|
|
|
|
CastInst *CI = new CastInst(GEP, I->getType());
|
|
|
|
GEP = CI;
|
|
|
|
|
|
|
|
// Replace the old add instruction with the shiny new GEP inst
|
|
|
|
ReplaceInstWithInst(I->getParent()->getInstList(), GEPI, GEP);
|
|
|
|
}
|
|
|
|
|
2001-12-05 14:34:00 +08:00
|
|
|
PRINT_PEEPHOLE1("cast-add-to-gep:o", GEP);
|
|
|
|
}
|
|
|
|
return true;
|
|
|
|
}
|
2001-11-14 19:02:49 +08:00
|
|
|
|
|
|
|
// Peephole optimize the following instructions:
|
|
|
|
// %t1 = cast ulong <const int> to {<...>} *
|
|
|
|
// %t2 = add {<...>} * %SP, %t1 ;; Constant must be 2nd operand
|
|
|
|
//
|
|
|
|
// or
|
|
|
|
// %t1 = cast {<...>}* %SP to int*
|
|
|
|
// %t5 = cast ulong <const int> to int*
|
|
|
|
// %t2 = add int* %t1, %t5 ;; int is same size as field
|
|
|
|
//
|
|
|
|
// Into: %t3 = getelementptr {<...>} * %SP, <element indices>
|
|
|
|
// %t2 = cast <eltype> * %t3 to {<...>}*
|
|
|
|
//
|
|
|
|
static bool PeepholeOptimizeAddCast(BasicBlock *BB, BasicBlock::iterator &BI,
|
|
|
|
Value *AddOp1, CastInst *AddOp2) {
|
2001-11-27 00:58:14 +08:00
|
|
|
const CompositeType *CompTy;
|
|
|
|
Value *OffsetVal = AddOp2->getOperand(0);
|
|
|
|
Value *SrcPtr; // Of type pointer to struct...
|
2001-11-14 19:02:49 +08:00
|
|
|
|
2001-11-27 00:58:14 +08:00
|
|
|
if ((CompTy = getPointedToComposite(AddOp1->getType()))) {
|
2001-11-14 19:02:49 +08:00
|
|
|
SrcPtr = AddOp1; // Handle the first case...
|
|
|
|
} else if (CastInst *AddOp1c = dyn_cast<CastInst>(AddOp1)) {
|
|
|
|
SrcPtr = AddOp1c->getOperand(0); // Handle the second case...
|
2001-11-27 00:58:14 +08:00
|
|
|
CompTy = getPointedToComposite(SrcPtr->getType());
|
2001-11-14 19:02:49 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// Only proceed if we have detected all of our conditions successfully...
|
2001-11-27 00:58:14 +08:00
|
|
|
if (!CompTy || !SrcPtr || !OffsetVal->getType()->isIntegral())
|
2001-11-14 19:02:49 +08:00
|
|
|
return false;
|
|
|
|
|
2002-01-21 06:54:45 +08:00
|
|
|
std::vector<Value*> Indices;
|
2001-11-27 00:58:14 +08:00
|
|
|
if (!ConvertableToGEP(SrcPtr->getType(), OffsetVal, Indices, &BI))
|
|
|
|
return false; // Not convertable... perhaps next time
|
2001-11-14 19:02:49 +08:00
|
|
|
|
2001-11-27 00:58:14 +08:00
|
|
|
if (getPointedToComposite(AddOp1->getType())) { // case 1
|
2001-11-14 19:02:49 +08:00
|
|
|
PRINT_PEEPHOLE2("add-to-gep1:in", AddOp2, *BI);
|
|
|
|
} else {
|
|
|
|
PRINT_PEEPHOLE3("add-to-gep2:in", AddOp1, AddOp2, *BI);
|
|
|
|
}
|
|
|
|
|
2001-11-27 00:58:14 +08:00
|
|
|
GetElementPtrInst *GEP = new GetElementPtrInst(SrcPtr, Indices,
|
|
|
|
AddOp2->getName());
|
2001-11-14 19:02:49 +08:00
|
|
|
BI = BB->getInstList().insert(BI, GEP)+1;
|
|
|
|
|
2001-11-27 00:58:14 +08:00
|
|
|
Instruction *NCI = new CastInst(GEP, AddOp1->getType());
|
2001-11-14 19:02:49 +08:00
|
|
|
ReplaceInstWithInst(BB->getInstList(), BI, NCI);
|
|
|
|
PRINT_PEEPHOLE2("add-to-gep:out", GEP, NCI);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2001-11-01 10:42:08 +08:00
|
|
|
static bool PeepholeOptimize(BasicBlock *BB, BasicBlock::iterator &BI) {
|
|
|
|
Instruction *I = *BI;
|
|
|
|
|
|
|
|
if (CastInst *CI = dyn_cast<CastInst>(I)) {
|
|
|
|
Value *Src = CI->getOperand(0);
|
|
|
|
Instruction *SrcI = dyn_cast<Instruction>(Src); // Nonnull if instr source
|
|
|
|
const Type *DestTy = CI->getType();
|
|
|
|
|
2001-11-02 01:05:27 +08:00
|
|
|
// Peephole optimize the following instruction:
|
|
|
|
// %V2 = cast <ty> %V to <ty>
|
|
|
|
//
|
|
|
|
// Into: <nothing>
|
|
|
|
//
|
|
|
|
if (DestTy == Src->getType()) { // Check for a cast to same type as src!!
|
2001-11-01 10:42:08 +08:00
|
|
|
PRINT_PEEPHOLE1("cast-of-self-ty", CI);
|
|
|
|
CI->replaceAllUsesWith(Src);
|
|
|
|
if (!Src->hasName() && CI->hasName()) {
|
2002-01-21 06:54:45 +08:00
|
|
|
std::string Name = CI->getName();
|
2001-11-05 04:21:12 +08:00
|
|
|
CI->setName("");
|
|
|
|
Src->setName(Name, BB->getParent()->getSymbolTable());
|
2001-11-01 10:42:08 +08:00
|
|
|
}
|
2002-05-10 23:29:25 +08:00
|
|
|
|
|
|
|
// DCE the instruction now, to avoid having the iterative version of DCE
|
|
|
|
// have to worry about it.
|
|
|
|
//
|
|
|
|
delete BB->getInstList().remove(BI);
|
|
|
|
|
|
|
|
++NumCastOfCast;
|
2001-11-01 10:42:08 +08:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Check to see if it's a cast of an instruction that does not depend on the
|
|
|
|
// specific type of the operands to do it's job.
|
2001-11-05 04:21:12 +08:00
|
|
|
if (!isReinterpretingCast(CI)) {
|
2001-11-05 05:32:11 +08:00
|
|
|
ValueTypeCache ConvertedTypes;
|
2001-11-05 04:21:12 +08:00
|
|
|
|
2002-05-25 04:41:51 +08:00
|
|
|
// Check to see if we can convert the source of the cast to match the
|
|
|
|
// destination type of the cast...
|
2001-12-15 00:37:52 +08:00
|
|
|
//
|
|
|
|
ConvertedTypes[CI] = CI->getType(); // Make sure the cast doesn't change
|
|
|
|
if (ExpressionConvertableToType(Src, DestTy, ConvertedTypes)) {
|
|
|
|
PRINT_PEEPHOLE3("CAST-SRC-EXPR-CONV:in ", Src, CI, BB->getParent());
|
|
|
|
|
2002-05-23 01:27:12 +08:00
|
|
|
DEBUG(cerr << "\nCONVERTING SRC EXPR TYPE:\n");
|
2001-11-05 05:32:11 +08:00
|
|
|
ValueMapCache ValueMap;
|
2001-12-15 00:37:52 +08:00
|
|
|
Value *E = ConvertExpressionToType(Src, DestTy, ValueMap);
|
|
|
|
if (Constant *CPV = dyn_cast<Constant>(E))
|
|
|
|
CI->replaceAllUsesWith(CPV);
|
2001-11-06 02:30:53 +08:00
|
|
|
|
2001-11-05 04:21:12 +08:00
|
|
|
BI = BB->begin(); // Rescan basic block. BI might be invalidated.
|
2001-12-15 00:37:52 +08:00
|
|
|
PRINT_PEEPHOLE1("CAST-SRC-EXPR-CONV:out", E);
|
2002-05-23 01:27:12 +08:00
|
|
|
DEBUG(cerr << "DONE CONVERTING SRC EXPR TYPE: \n" << BB->getParent());
|
2002-05-10 23:29:25 +08:00
|
|
|
++NumExprTreesConv;
|
2001-11-05 04:21:12 +08:00
|
|
|
return true;
|
2001-12-05 14:34:00 +08:00
|
|
|
}
|
|
|
|
|
2002-05-25 04:41:51 +08:00
|
|
|
// Check to see if we can convert the users of the cast value to match the
|
|
|
|
// source type of the cast...
|
2001-12-05 14:34:00 +08:00
|
|
|
//
|
|
|
|
ConvertedTypes.clear();
|
2001-12-15 00:37:52 +08:00
|
|
|
if (ValueConvertableToType(CI, Src->getType(), ConvertedTypes)) {
|
|
|
|
PRINT_PEEPHOLE3("CAST-DEST-EXPR-CONV:in ", Src, CI, BB->getParent());
|
|
|
|
|
2002-05-23 01:27:12 +08:00
|
|
|
DEBUG(cerr << "\nCONVERTING EXPR TYPE:\n");
|
2001-12-05 14:34:00 +08:00
|
|
|
ValueMapCache ValueMap;
|
2001-12-15 00:37:52 +08:00
|
|
|
ConvertValueToNewType(CI, Src, ValueMap); // This will delete CI!
|
2001-11-09 04:19:56 +08:00
|
|
|
|
2001-12-05 14:34:00 +08:00
|
|
|
BI = BB->begin(); // Rescan basic block. BI might be invalidated.
|
2001-12-15 00:37:52 +08:00
|
|
|
PRINT_PEEPHOLE1("CAST-DEST-EXPR-CONV:out", Src);
|
2002-05-23 01:27:12 +08:00
|
|
|
DEBUG(cerr << "DONE CONVERTING EXPR TYPE: \n\n" << BB->getParent());
|
2002-05-10 23:29:25 +08:00
|
|
|
++NumExprTreesConv;
|
2001-12-05 14:34:00 +08:00
|
|
|
return true;
|
|
|
|
}
|
2001-12-07 02:06:13 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// Otherwise find out it this cast is a cast to a pointer type, which is
|
|
|
|
// then added to some other pointer, then loaded or stored through. If
|
|
|
|
// so, convert the add into a getelementptr instruction...
|
|
|
|
//
|
|
|
|
if (const PointerType *DestPTy = dyn_cast<PointerType>(DestTy)) {
|
|
|
|
if (HandleCastToPointer(BI, DestPTy)) {
|
|
|
|
BI = BB->begin(); // Rescan basic block. BI might be invalidated.
|
2002-05-10 23:29:25 +08:00
|
|
|
++NumGEPInstFormed;
|
2001-12-07 02:06:13 +08:00
|
|
|
return true;
|
2001-11-05 04:21:12 +08:00
|
|
|
}
|
2001-11-01 10:42:08 +08:00
|
|
|
}
|
|
|
|
|
2001-11-02 01:05:27 +08:00
|
|
|
// Check to see if we are casting from a structure pointer to a pointer to
|
|
|
|
// the first element of the structure... to avoid munching other peepholes,
|
|
|
|
// we only let this happen if there are no add uses of the cast.
|
|
|
|
//
|
|
|
|
// Peephole optimize the following instructions:
|
|
|
|
// %t1 = cast {<...>} * %StructPtr to <ty> *
|
|
|
|
//
|
|
|
|
// Into: %t2 = getelementptr {<...>} * %StructPtr, <0, 0, 0, ...>
|
|
|
|
// %t1 = cast <eltype> * %t1 to <ty> *
|
|
|
|
//
|
2001-11-27 00:58:14 +08:00
|
|
|
if (const CompositeType *CTy = getPointedToComposite(Src->getType()))
|
2001-11-02 01:05:27 +08:00
|
|
|
if (const PointerType *DestPTy = dyn_cast<PointerType>(DestTy)) {
|
|
|
|
|
|
|
|
// Loop over uses of the cast, checking for add instructions. If an add
|
|
|
|
// exists, this is probably a part of a more complex GEP, so we don't
|
|
|
|
// want to mess around with the cast.
|
|
|
|
//
|
|
|
|
bool HasAddUse = false;
|
|
|
|
for (Value::use_iterator I = CI->use_begin(), E = CI->use_end();
|
|
|
|
I != E; ++I)
|
|
|
|
if (isa<Instruction>(*I) &&
|
|
|
|
cast<Instruction>(*I)->getOpcode() == Instruction::Add) {
|
|
|
|
HasAddUse = true; break;
|
|
|
|
}
|
|
|
|
|
|
|
|
// If it doesn't have an add use, check to see if the dest type is
|
|
|
|
// losslessly convertable to one of the types in the start of the struct
|
|
|
|
// type.
|
|
|
|
//
|
|
|
|
if (!HasAddUse) {
|
2001-12-04 08:03:30 +08:00
|
|
|
const Type *DestPointedTy = DestPTy->getElementType();
|
2001-11-02 01:05:27 +08:00
|
|
|
unsigned Depth = 1;
|
2001-11-27 00:58:14 +08:00
|
|
|
const CompositeType *CurCTy = CTy;
|
2001-11-02 01:05:27 +08:00
|
|
|
const Type *ElTy = 0;
|
2001-11-27 00:58:14 +08:00
|
|
|
|
|
|
|
// Build the index vector, full of all zeros
|
2002-01-21 06:54:45 +08:00
|
|
|
std::vector<Value*> Indices;
|
2001-12-15 00:37:52 +08:00
|
|
|
Indices.push_back(ConstantUInt::get(Type::UIntTy, 0));
|
|
|
|
while (CurCTy && !isa<PointerType>(CurCTy)) {
|
2001-11-27 00:58:14 +08:00
|
|
|
if (const StructType *CurSTy = dyn_cast<StructType>(CurCTy)) {
|
|
|
|
// Check for a zero element struct type... if we have one, bail.
|
|
|
|
if (CurSTy->getElementTypes().size() == 0) break;
|
2001-11-02 01:05:27 +08:00
|
|
|
|
2001-11-27 00:58:14 +08:00
|
|
|
// Grab the first element of the struct type, which must lie at
|
|
|
|
// offset zero in the struct.
|
|
|
|
//
|
|
|
|
ElTy = CurSTy->getElementTypes()[0];
|
|
|
|
} else {
|
|
|
|
ElTy = cast<ArrayType>(CurCTy)->getElementType();
|
|
|
|
}
|
|
|
|
|
|
|
|
// Insert a zero to index through this type...
|
2001-12-04 06:26:30 +08:00
|
|
|
Indices.push_back(ConstantUInt::get(CurCTy->getIndexType(), 0));
|
2001-11-02 01:05:27 +08:00
|
|
|
|
|
|
|
// Did we find what we're looking for?
|
2001-11-27 00:58:14 +08:00
|
|
|
if (ElTy->isLosslesslyConvertableTo(DestPointedTy)) break;
|
2001-11-02 01:05:27 +08:00
|
|
|
|
|
|
|
// Nope, go a level deeper.
|
|
|
|
++Depth;
|
2001-11-27 00:58:14 +08:00
|
|
|
CurCTy = dyn_cast<CompositeType>(ElTy);
|
2001-11-02 01:05:27 +08:00
|
|
|
ElTy = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Did we find what we were looking for? If so, do the transformation
|
|
|
|
if (ElTy) {
|
|
|
|
PRINT_PEEPHOLE1("cast-for-first:in", CI);
|
|
|
|
|
|
|
|
// Insert the new T cast instruction... stealing old T's name
|
|
|
|
GetElementPtrInst *GEP = new GetElementPtrInst(Src, Indices,
|
|
|
|
CI->getName());
|
|
|
|
CI->setName("");
|
|
|
|
BI = BB->getInstList().insert(BI, GEP)+1;
|
|
|
|
|
|
|
|
// Make the old cast instruction reference the new GEP instead of
|
|
|
|
// the old src value.
|
|
|
|
//
|
|
|
|
CI->setOperand(0, GEP);
|
|
|
|
|
|
|
|
PRINT_PEEPHOLE2("cast-for-first:out", GEP, CI);
|
2002-05-10 23:29:25 +08:00
|
|
|
++NumGEPInstFormed;
|
2001-11-02 01:05:27 +08:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2001-11-01 11:12:34 +08:00
|
|
|
} else if (StoreInst *SI = dyn_cast<StoreInst>(I)) {
|
|
|
|
Value *Val = SI->getOperand(0);
|
2001-11-14 19:27:58 +08:00
|
|
|
Value *Pointer = SI->getPointerOperand();
|
2001-11-01 11:12:34 +08:00
|
|
|
|
2001-11-01 13:57:59 +08:00
|
|
|
// Peephole optimize the following instructions:
|
|
|
|
// %t = cast <T1>* %P to <T2> * ;; If T1 is losslessly convertable to T2
|
|
|
|
// store <T2> %V, <T2>* %t
|
|
|
|
//
|
|
|
|
// Into:
|
|
|
|
// %t = cast <T2> %V to <T1>
|
|
|
|
// store <T1> %t2, <T1>* %P
|
|
|
|
//
|
2001-12-15 00:37:52 +08:00
|
|
|
// Note: This is not taken care of by expr conversion because there might
|
|
|
|
// not be a cast available for the store to convert the incoming value of.
|
|
|
|
// This code is basically here to make sure that pointers don't have casts
|
|
|
|
// if possible.
|
|
|
|
//
|
2001-11-01 13:57:59 +08:00
|
|
|
if (CastInst *CI = dyn_cast<CastInst>(Pointer))
|
|
|
|
if (Value *CastSrc = CI->getOperand(0)) // CSPT = CastSrcPointerType
|
|
|
|
if (PointerType *CSPT = dyn_cast<PointerType>(CastSrc->getType()))
|
2001-11-27 00:58:14 +08:00
|
|
|
// convertable types?
|
2001-12-04 08:03:30 +08:00
|
|
|
if (Val->getType()->isLosslesslyConvertableTo(CSPT->getElementType()) &&
|
2001-11-01 13:57:59 +08:00
|
|
|
!SI->hasIndices()) { // No subscripts yet!
|
|
|
|
PRINT_PEEPHOLE3("st-src-cast:in ", Pointer, Val, SI);
|
|
|
|
|
|
|
|
// Insert the new T cast instruction... stealing old T's name
|
2001-12-04 08:03:30 +08:00
|
|
|
CastInst *NCI = new CastInst(Val, CSPT->getElementType(),
|
2001-11-01 13:57:59 +08:00
|
|
|
CI->getName());
|
|
|
|
CI->setName("");
|
|
|
|
BI = BB->getInstList().insert(BI, NCI)+1;
|
|
|
|
|
|
|
|
// Replace the old store with a new one!
|
|
|
|
ReplaceInstWithInst(BB->getInstList(), BI,
|
|
|
|
SI = new StoreInst(NCI, CastSrc));
|
|
|
|
PRINT_PEEPHOLE3("st-src-cast:out", NCI, CastSrc, SI);
|
2002-05-10 23:29:25 +08:00
|
|
|
++NumLoadStorePeepholes;
|
2001-11-01 13:57:59 +08:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2002-05-14 13:23:45 +08:00
|
|
|
} else if (LoadInst *LI = dyn_cast<LoadInst>(I)) {
|
|
|
|
Value *Pointer = LI->getOperand(0);
|
|
|
|
const Type *PtrElType =
|
|
|
|
cast<PointerType>(Pointer->getType())->getElementType();
|
|
|
|
|
|
|
|
// Peephole optimize the following instructions:
|
|
|
|
// %Val = cast <T1>* to <T2>* ;; If T1 is losslessly convertable to T2
|
|
|
|
// %t = load <T2>* %P
|
|
|
|
//
|
|
|
|
// Into:
|
|
|
|
// %t = load <T1>* %P
|
|
|
|
// %Val = cast <T1> to <T2>
|
|
|
|
//
|
|
|
|
// Note: This is not taken care of by expr conversion because there might
|
|
|
|
// not be a cast available for the store to convert the incoming value of.
|
|
|
|
// This code is basically here to make sure that pointers don't have casts
|
|
|
|
// if possible.
|
|
|
|
//
|
|
|
|
if (CastInst *CI = dyn_cast<CastInst>(Pointer))
|
|
|
|
if (Value *CastSrc = CI->getOperand(0)) // CSPT = CastSrcPointerType
|
|
|
|
if (PointerType *CSPT = dyn_cast<PointerType>(CastSrc->getType()))
|
|
|
|
// convertable types?
|
|
|
|
if (PtrElType->isLosslesslyConvertableTo(CSPT->getElementType()) &&
|
|
|
|
!LI->hasIndices()) { // No subscripts yet!
|
|
|
|
PRINT_PEEPHOLE2("load-src-cast:in ", Pointer, LI);
|
|
|
|
|
|
|
|
// Create the new load instruction... loading the pre-casted value
|
|
|
|
LoadInst *NewLI = new LoadInst(CastSrc, LI->getName());
|
|
|
|
|
|
|
|
// Insert the new T cast instruction... stealing old T's name
|
|
|
|
CastInst *NCI = new CastInst(NewLI, LI->getType(), CI->getName());
|
|
|
|
BI = BB->getInstList().insert(BI, NewLI)+1;
|
|
|
|
|
|
|
|
// Replace the old store with a new one!
|
|
|
|
ReplaceInstWithInst(BB->getInstList(), BI, NCI);
|
|
|
|
PRINT_PEEPHOLE3("load-src-cast:out", NCI, CastSrc, NewLI);
|
|
|
|
++NumLoadStorePeepholes;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2001-11-01 10:42:08 +08:00
|
|
|
} else if (I->getOpcode() == Instruction::Add &&
|
|
|
|
isa<CastInst>(I->getOperand(1))) {
|
|
|
|
|
2001-11-14 19:02:49 +08:00
|
|
|
if (PeepholeOptimizeAddCast(BB, BI, I->getOperand(0),
|
2002-05-10 23:29:25 +08:00
|
|
|
cast<CastInst>(I->getOperand(1)))) {
|
|
|
|
++NumGEPInstFormed;
|
2001-11-01 10:42:08 +08:00
|
|
|
return true;
|
2002-05-10 23:29:25 +08:00
|
|
|
}
|
2001-11-01 10:42:08 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2002-04-08 04:49:59 +08:00
|
|
|
static bool DoRaisePass(Function *F) {
|
2001-11-01 10:42:08 +08:00
|
|
|
bool Changed = false;
|
2002-04-09 06:03:00 +08:00
|
|
|
for (Function::iterator MI = F->begin(), ME = F->end(); MI != ME; ++MI) {
|
2001-11-01 10:42:08 +08:00
|
|
|
BasicBlock *BB = *MI;
|
|
|
|
BasicBlock::InstListType &BIL = BB->getInstList();
|
|
|
|
|
|
|
|
for (BasicBlock::iterator BI = BB->begin(); BI != BB->end();) {
|
2002-05-23 01:27:12 +08:00
|
|
|
DEBUG(cerr << "Processing: " << *BI);
|
2002-02-27 05:46:54 +08:00
|
|
|
if (dceInstruction(BIL, BI) || doConstantPropogation(BB, BI)) {
|
2001-11-09 04:19:56 +08:00
|
|
|
Changed = true;
|
2002-05-10 23:29:25 +08:00
|
|
|
++NumDCEorCP;
|
2002-05-23 01:27:12 +08:00
|
|
|
DEBUG(cerr << "***\t\t^^-- DeadCode Elinated!\n");
|
2001-11-09 04:19:56 +08:00
|
|
|
} else if (PeepholeOptimize(BB, BI))
|
2001-11-01 10:42:08 +08:00
|
|
|
Changed = true;
|
|
|
|
else
|
|
|
|
++BI;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return Changed;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2002-04-27 14:56:12 +08:00
|
|
|
// RaisePointerReferences::doit - Raise a function representation to a higher
|
2001-11-01 10:42:08 +08:00
|
|
|
// level.
|
|
|
|
//
|
2002-04-08 04:49:59 +08:00
|
|
|
static bool doRPR(Function *F) {
|
2002-05-23 01:27:12 +08:00
|
|
|
DEBUG(cerr << "\n\n\nStarting to work on Function '" << F->getName()<< "'\n");
|
2001-11-01 15:00:51 +08:00
|
|
|
|
2001-11-27 00:58:14 +08:00
|
|
|
// Insert casts for all incoming pointer pointer values that are treated as
|
|
|
|
// arrays...
|
2001-11-01 10:42:08 +08:00
|
|
|
//
|
2001-11-27 00:58:14 +08:00
|
|
|
bool Changed = false, LocalChange;
|
2001-12-05 14:34:00 +08:00
|
|
|
|
2001-12-04 16:12:53 +08:00
|
|
|
do {
|
2002-05-23 01:27:12 +08:00
|
|
|
DEBUG(cerr << "Looping: \n" << F);
|
2001-12-05 14:34:00 +08:00
|
|
|
|
2002-04-27 14:56:12 +08:00
|
|
|
// Iterate over the function, refining it, until it converges on a stable
|
2001-11-27 00:58:14 +08:00
|
|
|
// state
|
2001-12-15 00:37:52 +08:00
|
|
|
LocalChange = false;
|
2002-04-08 04:49:59 +08:00
|
|
|
while (DoRaisePass(F)) LocalChange = true;
|
2001-11-27 00:58:14 +08:00
|
|
|
Changed |= LocalChange;
|
|
|
|
|
|
|
|
} while (LocalChange);
|
2001-11-01 10:42:08 +08:00
|
|
|
|
|
|
|
return Changed;
|
|
|
|
}
|
2002-02-27 05:46:54 +08:00
|
|
|
|
|
|
|
namespace {
|
2002-04-27 14:56:12 +08:00
|
|
|
struct RaisePointerReferences : public FunctionPass {
|
2002-04-29 22:57:45 +08:00
|
|
|
const char *getPassName() const { return "Raise Pointer References"; }
|
|
|
|
|
2002-04-27 14:56:12 +08:00
|
|
|
virtual bool runOnFunction(Function *F) { return doRPR(F); }
|
2002-04-29 05:27:06 +08:00
|
|
|
|
|
|
|
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
|
|
|
AU.preservesCFG();
|
|
|
|
}
|
2002-02-27 05:46:54 +08:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
Pass *createRaisePointerReferencesPass() {
|
|
|
|
return new RaisePointerReferences();
|
|
|
|
}
|
|
|
|
|
|
|
|
|