blob: 50ed60c903705aa8bf87825dff9b76c4cede3938 [file] [log] [blame]
Chris Lattnerd32a9612001-11-01 02:42:08 +00001//===- LevelRaise.cpp - Code to change LLVM to higher level -----------------=//
2//
3// This file implements the 'raising' part of the LevelChange API. This is
4// useful because, in general, it makes the LLVM code terser and easier to
Chris Lattner3cc7dde2001-11-26 16:58:14 +00005// analyze.
Chris Lattnerd32a9612001-11-01 02:42:08 +00006//
7//===----------------------------------------------------------------------===//
8
Chris Lattnerb7135992002-07-23 19:57:08 +00009#include "llvm/Transforms/RaisePointerReferences.h"
Chris Lattner497c60c2002-05-07 18:12:18 +000010#include "llvm/Transforms/Utils/Local.h"
Chris Lattner59cd9f12001-11-04 23:24:06 +000011#include "TransformInternals.h"
Chris Lattnerd32a9612001-11-01 02:42:08 +000012#include "llvm/iOther.h"
13#include "llvm/iMemory.h"
Chris Lattnerbd0ef772002-02-26 21:46:54 +000014#include "llvm/Pass.h"
Chris Lattner968ddc92002-04-08 20:18:09 +000015#include "llvm/ConstantHandling.h"
Chris Lattnerd5b48ca2001-11-14 11:02:49 +000016#include "llvm/Analysis/Expressions.h"
Chris Lattner3378a5b2002-07-16 23:49:24 +000017#include "llvm/Analysis/Verifier.h"
Chris Lattner497c60c2002-05-07 18:12:18 +000018#include "llvm/Transforms/Utils/BasicBlockUtils.h"
Chris Lattnercee8f9a2001-11-27 00:03:19 +000019#include "Support/STLExtras.h"
Chris Lattner6ee6bbe2002-10-01 22:38:37 +000020#include "Support/Statistic.h"
Chris Lattner3378a5b2002-07-16 23:49:24 +000021#include "Support/CommandLine.h"
Chris Lattnerd32a9612001-11-01 02:42:08 +000022#include <algorithm>
Anand Shuklacfb22d32002-06-25 20:55:50 +000023using std::cerr;
Chris Lattnerd32a9612001-11-01 02:42:08 +000024
Chris Lattner3378a5b2002-07-16 23:49:24 +000025// StartInst - This enables the -raise-start-inst=foo option to cause the level
26// raising pass to start at instruction "foo", which is immensely useful for
27// debugging!
28//
Chris Lattner5ff62e92002-07-22 02:10:13 +000029static cl::opt<std::string>
30StartInst("raise-start-inst", cl::Hidden, cl::value_desc("inst name"),
31 cl::desc("Start raise pass at the instruction with the specified name"));
Chris Lattner3378a5b2002-07-16 23:49:24 +000032
Chris Lattner5ff62e92002-07-22 02:10:13 +000033static Statistic<>
Chris Lattner6ee6bbe2002-10-01 22:38:37 +000034NumLoadStorePeepholes("raise", "Number of load/store peepholes");
Chris Lattner5ff62e92002-07-22 02:10:13 +000035
36static Statistic<>
Chris Lattner6ee6bbe2002-10-01 22:38:37 +000037NumGEPInstFormed("raise", "Number of other getelementptr's formed");
Chris Lattner5ff62e92002-07-22 02:10:13 +000038
39static Statistic<>
Chris Lattner6ee6bbe2002-10-01 22:38:37 +000040NumExprTreesConv("raise", "Number of expression trees converted");
Chris Lattner5ff62e92002-07-22 02:10:13 +000041
42static Statistic<>
Chris Lattner6ee6bbe2002-10-01 22:38:37 +000043NumCastOfCast("raise", "Number of cast-of-self removed");
Chris Lattner5ff62e92002-07-22 02:10:13 +000044
45static Statistic<>
Chris Lattner6ee6bbe2002-10-01 22:38:37 +000046NumDCEorCP("raise", "Number of insts DCEd or constprop'd");
Chris Lattner3c019372002-05-10 15:29:25 +000047
Chris Lattner61b92c02002-10-08 22:19:25 +000048static Statistic<>
49NumVarargCallChanges("raise", "Number of vararg call peepholes");
50
Chris Lattner3c019372002-05-10 15:29:25 +000051
Chris Lattnerd32a9612001-11-01 02:42:08 +000052#define PRINT_PEEPHOLE(ID, NUM, I) \
Chris Lattnerb3abf9d2002-05-22 17:27:12 +000053 DEBUG(std::cerr << "Inst P/H " << ID << "[" << NUM << "] " << I)
Chris Lattnerd32a9612001-11-01 02:42:08 +000054
55#define PRINT_PEEPHOLE1(ID, I1) do { PRINT_PEEPHOLE(ID, 0, I1); } while (0)
56#define PRINT_PEEPHOLE2(ID, I1, I2) \
57 do { PRINT_PEEPHOLE(ID, 0, I1); PRINT_PEEPHOLE(ID, 1, I2); } while (0)
58#define PRINT_PEEPHOLE3(ID, I1, I2, I3) \
59 do { PRINT_PEEPHOLE(ID, 0, I1); PRINT_PEEPHOLE(ID, 1, I2); \
60 PRINT_PEEPHOLE(ID, 2, I3); } while (0)
Chris Lattnerd5b48ca2001-11-14 11:02:49 +000061#define PRINT_PEEPHOLE4(ID, I1, I2, I3, I4) \
62 do { PRINT_PEEPHOLE(ID, 0, I1); PRINT_PEEPHOLE(ID, 1, I2); \
63 PRINT_PEEPHOLE(ID, 2, I3); PRINT_PEEPHOLE(ID, 3, I4); } while (0)
Chris Lattnerd32a9612001-11-01 02:42:08 +000064
Chris Lattner16125fb2003-04-24 18:25:27 +000065namespace {
66 struct RPR : public FunctionPass {
67 virtual bool runOnFunction(Function &F);
68
69 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
70 AU.setPreservesCFG();
71 AU.addRequired<TargetData>();
72 }
73
74 private:
75 bool DoRaisePass(Function &F);
76 bool PeepholeOptimize(BasicBlock *BB, BasicBlock::iterator &BI);
77 };
78
79 RegisterOpt<RPR> X("raise", "Raise Pointer References");
80}
81
82Pass *createRaisePointerReferencesPass() {
83 return new RPR();
84}
85
86
Chris Lattnerd32a9612001-11-01 02:42:08 +000087
Chris Lattnerd32a9612001-11-01 02:42:08 +000088// isReinterpretingCast - Return true if the cast instruction specified will
89// cause the operand to be "reinterpreted". A value is reinterpreted if the
90// cast instruction would cause the underlying bits to change.
91//
92static inline bool isReinterpretingCast(const CastInst *CI) {
Chris Lattner3cc7dde2001-11-26 16:58:14 +000093 return!CI->getOperand(0)->getType()->isLosslesslyConvertableTo(CI->getType());
Chris Lattnerd32a9612001-11-01 02:42:08 +000094}
95
96
Chris Lattnera8b6d432001-12-05 06:34:00 +000097// Peephole optimize the following instructions:
98// %t1 = cast ? to x *
99// %t2 = add x * %SP, %t1 ;; Constant must be 2nd operand
100//
101// Into: %t3 = getelementptr {<...>} * %SP, <element indices>
102// %t2 = cast <eltype> * %t3 to {<...>}*
103//
104static bool HandleCastToPointer(BasicBlock::iterator BI,
Chris Lattner16125fb2003-04-24 18:25:27 +0000105 const PointerType *DestPTy,
106 const TargetData &TD) {
Chris Lattner7e708292002-06-25 16:13:24 +0000107 CastInst &CI = cast<CastInst>(*BI);
108 if (CI.use_empty()) return false;
Chris Lattnerf3b976e2001-11-04 20:21:12 +0000109
Chris Lattnera8b6d432001-12-05 06:34:00 +0000110 // Scan all of the uses, looking for any uses that are not add
111 // instructions. If we have non-adds, do not make this transformation.
112 //
Chris Lattner7e708292002-06-25 16:13:24 +0000113 for (Value::use_iterator I = CI.use_begin(), E = CI.use_end();
Chris Lattnera8b6d432001-12-05 06:34:00 +0000114 I != E; ++I) {
115 if (BinaryOperator *BO = dyn_cast<BinaryOperator>(*I)) {
Chris Lattner3fb2ddd2002-07-16 21:41:31 +0000116 if (BO->getOpcode() != Instruction::Add ||
117 // Avoid add sbyte* %X, %X cases...
118 BO->getOperand(0) == BO->getOperand(1))
Chris Lattnera8b6d432001-12-05 06:34:00 +0000119 return false;
120 } else {
121 return false;
122 }
123 }
124
Chris Lattner697954c2002-01-20 22:54:45 +0000125 std::vector<Value*> Indices;
Chris Lattner7e708292002-06-25 16:13:24 +0000126 Value *Src = CI.getOperand(0);
Chris Lattner16125fb2003-04-24 18:25:27 +0000127 const Type *Result = ConvertableToGEP(DestPTy, Src, Indices, TD, &BI);
Chris Lattnera8b6d432001-12-05 06:34:00 +0000128 if (Result == 0) return false; // Not convertable...
129
130 PRINT_PEEPHOLE2("cast-add-to-gep:in", Src, CI);
131
132 // If we have a getelementptr capability... transform all of the
133 // add instruction uses into getelementptr's.
Chris Lattner7e708292002-06-25 16:13:24 +0000134 while (!CI.use_empty()) {
135 BinaryOperator *I = cast<BinaryOperator>(*CI.use_begin());
Chris Lattnera8b6d432001-12-05 06:34:00 +0000136 assert(I->getOpcode() == Instruction::Add && I->getNumOperands() == 2 &&
137 "Use is not a valid add instruction!");
138
139 // Get the value added to the cast result pointer...
Chris Lattner7e708292002-06-25 16:13:24 +0000140 Value *OtherPtr = I->getOperand((I->getOperand(0) == &CI) ? 1 : 0);
Chris Lattnera8b6d432001-12-05 06:34:00 +0000141
Chris Lattner45ef5c22002-03-21 06:22:23 +0000142 Instruction *GEP = new GetElementPtrInst(OtherPtr, Indices, I->getName());
Chris Lattnera8b6d432001-12-05 06:34:00 +0000143 PRINT_PEEPHOLE1("cast-add-to-gep:i", I);
Chris Lattner45ef5c22002-03-21 06:22:23 +0000144
145 if (GEP->getType() == I->getType()) {
146 // Replace the old add instruction with the shiny new GEP inst
147 ReplaceInstWithInst(I, GEP);
148 } else {
149 // If the type produced by the gep instruction differs from the original
150 // add instruction type, insert a cast now.
151 //
152
Chris Lattner7e708292002-06-25 16:13:24 +0000153 // Insert the GEP instruction before the old add instruction...
154 I->getParent()->getInstList().insert(I, GEP);
Chris Lattner45ef5c22002-03-21 06:22:23 +0000155
156 PRINT_PEEPHOLE1("cast-add-to-gep:o", GEP);
Chris Lattner7e708292002-06-25 16:13:24 +0000157 GEP = new CastInst(GEP, I->getType());
Chris Lattner45ef5c22002-03-21 06:22:23 +0000158
159 // Replace the old add instruction with the shiny new GEP inst
Chris Lattner7e708292002-06-25 16:13:24 +0000160 ReplaceInstWithInst(I, GEP);
Chris Lattner45ef5c22002-03-21 06:22:23 +0000161 }
162
Chris Lattnera8b6d432001-12-05 06:34:00 +0000163 PRINT_PEEPHOLE1("cast-add-to-gep:o", GEP);
164 }
165 return true;
166}
Chris Lattnerd5b48ca2001-11-14 11:02:49 +0000167
168// Peephole optimize the following instructions:
169// %t1 = cast ulong <const int> to {<...>} *
170// %t2 = add {<...>} * %SP, %t1 ;; Constant must be 2nd operand
171//
172// or
173// %t1 = cast {<...>}* %SP to int*
174// %t5 = cast ulong <const int> to int*
175// %t2 = add int* %t1, %t5 ;; int is same size as field
176//
177// Into: %t3 = getelementptr {<...>} * %SP, <element indices>
178// %t2 = cast <eltype> * %t3 to {<...>}*
179//
180static bool PeepholeOptimizeAddCast(BasicBlock *BB, BasicBlock::iterator &BI,
Chris Lattner16125fb2003-04-24 18:25:27 +0000181 Value *AddOp1, CastInst *AddOp2,
182 const TargetData &TD) {
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000183 const CompositeType *CompTy;
184 Value *OffsetVal = AddOp2->getOperand(0);
Chris Lattner0ceeb422002-10-22 23:34:11 +0000185 Value *SrcPtr = 0; // Of type pointer to struct...
Chris Lattnerd5b48ca2001-11-14 11:02:49 +0000186
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000187 if ((CompTy = getPointedToComposite(AddOp1->getType()))) {
Chris Lattnerd5b48ca2001-11-14 11:02:49 +0000188 SrcPtr = AddOp1; // Handle the first case...
189 } else if (CastInst *AddOp1c = dyn_cast<CastInst>(AddOp1)) {
190 SrcPtr = AddOp1c->getOperand(0); // Handle the second case...
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000191 CompTy = getPointedToComposite(SrcPtr->getType());
Chris Lattnerd5b48ca2001-11-14 11:02:49 +0000192 }
193
194 // Only proceed if we have detected all of our conditions successfully...
Chris Lattner0c4e8862002-09-03 01:08:28 +0000195 if (!CompTy || !SrcPtr || !OffsetVal->getType()->isInteger())
Chris Lattnerd5b48ca2001-11-14 11:02:49 +0000196 return false;
197
Chris Lattner697954c2002-01-20 22:54:45 +0000198 std::vector<Value*> Indices;
Chris Lattner16125fb2003-04-24 18:25:27 +0000199 if (!ConvertableToGEP(SrcPtr->getType(), OffsetVal, Indices, TD, &BI))
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000200 return false; // Not convertable... perhaps next time
Chris Lattnerd5b48ca2001-11-14 11:02:49 +0000201
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000202 if (getPointedToComposite(AddOp1->getType())) { // case 1
Chris Lattnerd5b48ca2001-11-14 11:02:49 +0000203 PRINT_PEEPHOLE2("add-to-gep1:in", AddOp2, *BI);
204 } else {
205 PRINT_PEEPHOLE3("add-to-gep2:in", AddOp1, AddOp2, *BI);
206 }
207
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000208 GetElementPtrInst *GEP = new GetElementPtrInst(SrcPtr, Indices,
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000209 AddOp2->getName(), BI);
Chris Lattnerd5b48ca2001-11-14 11:02:49 +0000210
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000211 Instruction *NCI = new CastInst(GEP, AddOp1->getType());
Chris Lattnerd5b48ca2001-11-14 11:02:49 +0000212 ReplaceInstWithInst(BB->getInstList(), BI, NCI);
213 PRINT_PEEPHOLE2("add-to-gep:out", GEP, NCI);
214 return true;
215}
216
Chris Lattner16125fb2003-04-24 18:25:27 +0000217bool RPR::PeepholeOptimize(BasicBlock *BB, BasicBlock::iterator &BI) {
Chris Lattner7e708292002-06-25 16:13:24 +0000218 Instruction *I = BI;
Chris Lattner16125fb2003-04-24 18:25:27 +0000219 const TargetData &TD = getAnalysis<TargetData>();
Chris Lattnerd32a9612001-11-01 02:42:08 +0000220
221 if (CastInst *CI = dyn_cast<CastInst>(I)) {
222 Value *Src = CI->getOperand(0);
223 Instruction *SrcI = dyn_cast<Instruction>(Src); // Nonnull if instr source
224 const Type *DestTy = CI->getType();
225
Chris Lattnere99c66b2001-11-01 17:05:27 +0000226 // Peephole optimize the following instruction:
227 // %V2 = cast <ty> %V to <ty>
228 //
229 // Into: <nothing>
230 //
231 if (DestTy == Src->getType()) { // Check for a cast to same type as src!!
Chris Lattnerd32a9612001-11-01 02:42:08 +0000232 PRINT_PEEPHOLE1("cast-of-self-ty", CI);
233 CI->replaceAllUsesWith(Src);
234 if (!Src->hasName() && CI->hasName()) {
Chris Lattner697954c2002-01-20 22:54:45 +0000235 std::string Name = CI->getName();
Chris Lattnerf3b976e2001-11-04 20:21:12 +0000236 CI->setName("");
Chris Lattner6e6026b2002-11-20 18:36:02 +0000237 Src->setName(Name, &BB->getParent()->getSymbolTable());
Chris Lattnerd32a9612001-11-01 02:42:08 +0000238 }
Chris Lattner3c019372002-05-10 15:29:25 +0000239
240 // DCE the instruction now, to avoid having the iterative version of DCE
241 // have to worry about it.
242 //
Chris Lattner7e708292002-06-25 16:13:24 +0000243 BI = BB->getInstList().erase(BI);
Chris Lattner3c019372002-05-10 15:29:25 +0000244
245 ++NumCastOfCast;
Chris Lattnerd32a9612001-11-01 02:42:08 +0000246 return true;
247 }
248
Chris Lattnerd32a9612001-11-01 02:42:08 +0000249 // Check to see if it's a cast of an instruction that does not depend on the
250 // specific type of the operands to do it's job.
Chris Lattnerf3b976e2001-11-04 20:21:12 +0000251 if (!isReinterpretingCast(CI)) {
Chris Lattnerb980e182001-11-04 21:32:11 +0000252 ValueTypeCache ConvertedTypes;
Chris Lattnera8b6d432001-12-05 06:34:00 +0000253
Chris Lattnerd20a98e2002-05-24 20:41:51 +0000254 // Check to see if we can convert the source of the cast to match the
255 // destination type of the cast...
Chris Lattnera8b6d432001-12-05 06:34:00 +0000256 //
Chris Lattnerd5543802001-12-14 16:37:52 +0000257 ConvertedTypes[CI] = CI->getType(); // Make sure the cast doesn't change
Chris Lattner16125fb2003-04-24 18:25:27 +0000258 if (ExpressionConvertableToType(Src, DestTy, ConvertedTypes, TD)) {
Chris Lattnerd5543802001-12-14 16:37:52 +0000259 PRINT_PEEPHOLE3("CAST-SRC-EXPR-CONV:in ", Src, CI, BB->getParent());
Chris Lattnerc0b90e72001-11-08 20:19:56 +0000260
Chris Lattnerb3abf9d2002-05-22 17:27:12 +0000261 DEBUG(cerr << "\nCONVERTING SRC EXPR TYPE:\n");
Chris Lattnerb1b42622002-07-17 17:11:33 +0000262 { // ValueMap must be destroyed before function verified!
263 ValueMapCache ValueMap;
Chris Lattner16125fb2003-04-24 18:25:27 +0000264 Value *E = ConvertExpressionToType(Src, DestTy, ValueMap, TD);
Chris Lattnerc0b90e72001-11-08 20:19:56 +0000265
Chris Lattnerb1b42622002-07-17 17:11:33 +0000266 if (Constant *CPV = dyn_cast<Constant>(E))
267 CI->replaceAllUsesWith(CPV);
268
269 PRINT_PEEPHOLE1("CAST-SRC-EXPR-CONV:out", E);
270 DEBUG(cerr << "DONE CONVERTING SRC EXPR TYPE: \n" << BB->getParent());
271 }
Chris Lattner3378a5b2002-07-16 23:49:24 +0000272
273 DEBUG(assert(verifyFunction(*BB->getParent()) == false &&
274 "Function broken!"));
Chris Lattnerb1b42622002-07-17 17:11:33 +0000275 BI = BB->begin(); // Rescan basic block. BI might be invalidated.
Chris Lattner3c019372002-05-10 15:29:25 +0000276 ++NumExprTreesConv;
Chris Lattnerd5543802001-12-14 16:37:52 +0000277 return true;
278 }
279
Chris Lattnerd20a98e2002-05-24 20:41:51 +0000280 // Check to see if we can convert the users of the cast value to match the
281 // source type of the cast...
Chris Lattnerd5543802001-12-14 16:37:52 +0000282 //
283 ConvertedTypes.clear();
Chris Lattner61b92c02002-10-08 22:19:25 +0000284 // Make sure the source doesn't change type
285 ConvertedTypes[Src] = Src->getType();
Chris Lattner16125fb2003-04-24 18:25:27 +0000286 if (ValueConvertableToType(CI, Src->getType(), ConvertedTypes, TD)) {
Chris Lattnerd5543802001-12-14 16:37:52 +0000287 PRINT_PEEPHOLE3("CAST-DEST-EXPR-CONV:in ", Src, CI, BB->getParent());
288
Chris Lattnerb3abf9d2002-05-22 17:27:12 +0000289 DEBUG(cerr << "\nCONVERTING EXPR TYPE:\n");
Chris Lattnerb1b42622002-07-17 17:11:33 +0000290 { // ValueMap must be destroyed before function verified!
291 ValueMapCache ValueMap;
Chris Lattner16125fb2003-04-24 18:25:27 +0000292 ConvertValueToNewType(CI, Src, ValueMap, TD); // This will delete CI!
Chris Lattnerb1b42622002-07-17 17:11:33 +0000293 }
Chris Lattnerd5543802001-12-14 16:37:52 +0000294
Chris Lattnerd5543802001-12-14 16:37:52 +0000295 PRINT_PEEPHOLE1("CAST-DEST-EXPR-CONV:out", Src);
Chris Lattnerb3abf9d2002-05-22 17:27:12 +0000296 DEBUG(cerr << "DONE CONVERTING EXPR TYPE: \n\n" << BB->getParent());
Chris Lattner3378a5b2002-07-16 23:49:24 +0000297
298 DEBUG(assert(verifyFunction(*BB->getParent()) == false &&
299 "Function broken!"));
Chris Lattnerb1b42622002-07-17 17:11:33 +0000300 BI = BB->begin(); // Rescan basic block. BI might be invalidated.
Chris Lattner3c019372002-05-10 15:29:25 +0000301 ++NumExprTreesConv;
Chris Lattnera8b6d432001-12-05 06:34:00 +0000302 return true;
Chris Lattnerf3b976e2001-11-04 20:21:12 +0000303 }
Chris Lattnerf17a09d2001-12-06 18:06:13 +0000304 }
305
306 // Otherwise find out it this cast is a cast to a pointer type, which is
307 // then added to some other pointer, then loaded or stored through. If
308 // so, convert the add into a getelementptr instruction...
309 //
310 if (const PointerType *DestPTy = dyn_cast<PointerType>(DestTy)) {
Chris Lattner16125fb2003-04-24 18:25:27 +0000311 if (HandleCastToPointer(BI, DestPTy, TD)) {
Chris Lattnerf17a09d2001-12-06 18:06:13 +0000312 BI = BB->begin(); // Rescan basic block. BI might be invalidated.
Chris Lattner3c019372002-05-10 15:29:25 +0000313 ++NumGEPInstFormed;
Chris Lattnerf17a09d2001-12-06 18:06:13 +0000314 return true;
Chris Lattnera8b6d432001-12-05 06:34:00 +0000315 }
Chris Lattnerd32a9612001-11-01 02:42:08 +0000316 }
317
Chris Lattnere99c66b2001-11-01 17:05:27 +0000318 // Check to see if we are casting from a structure pointer to a pointer to
319 // the first element of the structure... to avoid munching other peepholes,
320 // we only let this happen if there are no add uses of the cast.
321 //
322 // Peephole optimize the following instructions:
323 // %t1 = cast {<...>} * %StructPtr to <ty> *
324 //
325 // Into: %t2 = getelementptr {<...>} * %StructPtr, <0, 0, 0, ...>
326 // %t1 = cast <eltype> * %t1 to <ty> *
327 //
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000328 if (const CompositeType *CTy = getPointedToComposite(Src->getType()))
Chris Lattnere99c66b2001-11-01 17:05:27 +0000329 if (const PointerType *DestPTy = dyn_cast<PointerType>(DestTy)) {
330
331 // Loop over uses of the cast, checking for add instructions. If an add
332 // exists, this is probably a part of a more complex GEP, so we don't
333 // want to mess around with the cast.
334 //
335 bool HasAddUse = false;
336 for (Value::use_iterator I = CI->use_begin(), E = CI->use_end();
337 I != E; ++I)
338 if (isa<Instruction>(*I) &&
339 cast<Instruction>(*I)->getOpcode() == Instruction::Add) {
340 HasAddUse = true; break;
341 }
342
343 // If it doesn't have an add use, check to see if the dest type is
344 // losslessly convertable to one of the types in the start of the struct
345 // type.
346 //
347 if (!HasAddUse) {
Chris Lattner7a176752001-12-04 00:03:30 +0000348 const Type *DestPointedTy = DestPTy->getElementType();
Chris Lattnere99c66b2001-11-01 17:05:27 +0000349 unsigned Depth = 1;
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000350 const CompositeType *CurCTy = CTy;
Chris Lattnere99c66b2001-11-01 17:05:27 +0000351 const Type *ElTy = 0;
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000352
353 // Build the index vector, full of all zeros
Chris Lattner697954c2002-01-20 22:54:45 +0000354 std::vector<Value*> Indices;
Chris Lattner106ff452002-09-11 01:21:29 +0000355 Indices.push_back(ConstantSInt::get(Type::LongTy, 0));
Chris Lattnerd5543802001-12-14 16:37:52 +0000356 while (CurCTy && !isa<PointerType>(CurCTy)) {
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000357 if (const StructType *CurSTy = dyn_cast<StructType>(CurCTy)) {
358 // Check for a zero element struct type... if we have one, bail.
359 if (CurSTy->getElementTypes().size() == 0) break;
Chris Lattnere99c66b2001-11-01 17:05:27 +0000360
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000361 // Grab the first element of the struct type, which must lie at
362 // offset zero in the struct.
363 //
364 ElTy = CurSTy->getElementTypes()[0];
365 } else {
366 ElTy = cast<ArrayType>(CurCTy)->getElementType();
367 }
368
369 // Insert a zero to index through this type...
Chris Lattner106ff452002-09-11 01:21:29 +0000370 Indices.push_back(Constant::getNullValue(CurCTy->getIndexType()));
Chris Lattnere99c66b2001-11-01 17:05:27 +0000371
372 // Did we find what we're looking for?
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000373 if (ElTy->isLosslesslyConvertableTo(DestPointedTy)) break;
Chris Lattnere99c66b2001-11-01 17:05:27 +0000374
375 // Nope, go a level deeper.
376 ++Depth;
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000377 CurCTy = dyn_cast<CompositeType>(ElTy);
Chris Lattnere99c66b2001-11-01 17:05:27 +0000378 ElTy = 0;
379 }
380
381 // Did we find what we were looking for? If so, do the transformation
382 if (ElTy) {
383 PRINT_PEEPHOLE1("cast-for-first:in", CI);
384
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000385 std::string Name = CI->getName(); CI->setName("");
386
Chris Lattnere99c66b2001-11-01 17:05:27 +0000387 // Insert the new T cast instruction... stealing old T's name
388 GetElementPtrInst *GEP = new GetElementPtrInst(Src, Indices,
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000389 Name, BI);
Chris Lattnere99c66b2001-11-01 17:05:27 +0000390
391 // Make the old cast instruction reference the new GEP instead of
392 // the old src value.
393 //
394 CI->setOperand(0, GEP);
395
396 PRINT_PEEPHOLE2("cast-for-first:out", GEP, CI);
Chris Lattner3c019372002-05-10 15:29:25 +0000397 ++NumGEPInstFormed;
Chris Lattnere99c66b2001-11-01 17:05:27 +0000398 return true;
399 }
400 }
401 }
Chris Lattnere99c66b2001-11-01 17:05:27 +0000402
Chris Lattner8d38e542001-11-01 03:12:34 +0000403 } else if (StoreInst *SI = dyn_cast<StoreInst>(I)) {
404 Value *Val = SI->getOperand(0);
Chris Lattner65ea1712001-11-14 11:27:58 +0000405 Value *Pointer = SI->getPointerOperand();
Chris Lattner8d38e542001-11-01 03:12:34 +0000406
Chris Lattnerdedee7b2001-11-01 05:57:59 +0000407 // Peephole optimize the following instructions:
Chris Lattnerdedee7b2001-11-01 05:57:59 +0000408 // %t = cast <T1>* %P to <T2> * ;; If T1 is losslessly convertable to T2
409 // store <T2> %V, <T2>* %t
410 //
411 // Into:
412 // %t = cast <T2> %V to <T1>
413 // store <T1> %t2, <T1>* %P
414 //
Chris Lattnerd5543802001-12-14 16:37:52 +0000415 // Note: This is not taken care of by expr conversion because there might
416 // not be a cast available for the store to convert the incoming value of.
417 // This code is basically here to make sure that pointers don't have casts
418 // if possible.
419 //
Chris Lattnerdedee7b2001-11-01 05:57:59 +0000420 if (CastInst *CI = dyn_cast<CastInst>(Pointer))
421 if (Value *CastSrc = CI->getOperand(0)) // CSPT = CastSrcPointerType
Chris Lattner7e708292002-06-25 16:13:24 +0000422 if (const PointerType *CSPT = dyn_cast<PointerType>(CastSrc->getType()))
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000423 // convertable types?
Chris Lattner8e4fc252002-08-22 22:48:32 +0000424 if (Val->getType()->isLosslesslyConvertableTo(CSPT->getElementType())) {
Chris Lattnerdedee7b2001-11-01 05:57:59 +0000425 PRINT_PEEPHOLE3("st-src-cast:in ", Pointer, Val, SI);
426
427 // Insert the new T cast instruction... stealing old T's name
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000428 std::string Name(CI->getName()); CI->setName("");
Chris Lattner7a176752001-12-04 00:03:30 +0000429 CastInst *NCI = new CastInst(Val, CSPT->getElementType(),
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000430 Name, BI);
Chris Lattnerdedee7b2001-11-01 05:57:59 +0000431
432 // Replace the old store with a new one!
433 ReplaceInstWithInst(BB->getInstList(), BI,
434 SI = new StoreInst(NCI, CastSrc));
435 PRINT_PEEPHOLE3("st-src-cast:out", NCI, CastSrc, SI);
Chris Lattner3c019372002-05-10 15:29:25 +0000436 ++NumLoadStorePeepholes;
Chris Lattnerdedee7b2001-11-01 05:57:59 +0000437 return true;
438 }
439
Chris Lattnerc99428f2002-05-14 05:23:45 +0000440 } else if (LoadInst *LI = dyn_cast<LoadInst>(I)) {
441 Value *Pointer = LI->getOperand(0);
442 const Type *PtrElType =
443 cast<PointerType>(Pointer->getType())->getElementType();
444
445 // Peephole optimize the following instructions:
446 // %Val = cast <T1>* to <T2>* ;; If T1 is losslessly convertable to T2
447 // %t = load <T2>* %P
448 //
449 // Into:
450 // %t = load <T1>* %P
451 // %Val = cast <T1> to <T2>
452 //
453 // Note: This is not taken care of by expr conversion because there might
454 // not be a cast available for the store to convert the incoming value of.
455 // This code is basically here to make sure that pointers don't have casts
456 // if possible.
457 //
458 if (CastInst *CI = dyn_cast<CastInst>(Pointer))
459 if (Value *CastSrc = CI->getOperand(0)) // CSPT = CastSrcPointerType
Chris Lattner7e708292002-06-25 16:13:24 +0000460 if (const PointerType *CSPT = dyn_cast<PointerType>(CastSrc->getType()))
Chris Lattnerc99428f2002-05-14 05:23:45 +0000461 // convertable types?
Chris Lattner8e4fc252002-08-22 22:48:32 +0000462 if (PtrElType->isLosslesslyConvertableTo(CSPT->getElementType())) {
Chris Lattnerc99428f2002-05-14 05:23:45 +0000463 PRINT_PEEPHOLE2("load-src-cast:in ", Pointer, LI);
464
465 // Create the new load instruction... loading the pre-casted value
Chris Lattner2a7c23e2002-09-10 17:04:02 +0000466 LoadInst *NewLI = new LoadInst(CastSrc, LI->getName(), BI);
Chris Lattnerc99428f2002-05-14 05:23:45 +0000467
468 // Insert the new T cast instruction... stealing old T's name
469 CastInst *NCI = new CastInst(NewLI, LI->getType(), CI->getName());
Chris Lattnerc99428f2002-05-14 05:23:45 +0000470
471 // Replace the old store with a new one!
472 ReplaceInstWithInst(BB->getInstList(), BI, NCI);
473 PRINT_PEEPHOLE3("load-src-cast:out", NCI, CastSrc, NewLI);
474 ++NumLoadStorePeepholes;
475 return true;
476 }
477
Chris Lattnerd32a9612001-11-01 02:42:08 +0000478 } else if (I->getOpcode() == Instruction::Add &&
479 isa<CastInst>(I->getOperand(1))) {
480
Chris Lattnerd5b48ca2001-11-14 11:02:49 +0000481 if (PeepholeOptimizeAddCast(BB, BI, I->getOperand(0),
Chris Lattner16125fb2003-04-24 18:25:27 +0000482 cast<CastInst>(I->getOperand(1)), TD)) {
Chris Lattner3c019372002-05-10 15:29:25 +0000483 ++NumGEPInstFormed;
Chris Lattnerd32a9612001-11-01 02:42:08 +0000484 return true;
Chris Lattner3c019372002-05-10 15:29:25 +0000485 }
Chris Lattner61b92c02002-10-08 22:19:25 +0000486 } else if (CallInst *CI = dyn_cast<CallInst>(I)) {
487 // If we have a call with all varargs arguments, convert the call to use the
488 // actual argument types present...
489 //
490 const PointerType *PTy = cast<PointerType>(CI->getCalledValue()->getType());
491 const FunctionType *FTy = cast<FunctionType>(PTy->getElementType());
492
493 // Is the call to a vararg variable with no real parameters?
494 if (FTy->isVarArg() && FTy->getNumParams() == 0) {
495 // If so, insert a new cast instruction, casting it to a function type
496 // that matches the current arguments...
497 //
498 std::vector<const Type *> Params; // Parameter types...
499 for (unsigned i = 1, e = CI->getNumOperands(); i != e; ++i)
500 Params.push_back(CI->getOperand(i)->getType());
501
502 FunctionType *NewFT = FunctionType::get(FTy->getReturnType(),
503 Params, false);
504 PointerType *NewPFunTy = PointerType::get(NewFT);
505
506 // Create a new cast, inserting it right before the function call...
507 CastInst *NewCast = new CastInst(CI->getCalledValue(), NewPFunTy,
Chris Lattnerb53a1982003-04-27 22:55:56 +0000508 CI->getCalledValue()->getName()+"_c",CI);
Chris Lattner61b92c02002-10-08 22:19:25 +0000509
510 // Create a new call instruction...
511 CallInst *NewCall = new CallInst(NewCast,
512 std::vector<Value*>(CI->op_begin()+1, CI->op_end()));
513 ++BI;
514 ReplaceInstWithInst(CI, NewCall);
515
516 ++NumVarargCallChanges;
517 return true;
518 }
519
Chris Lattnerd32a9612001-11-01 02:42:08 +0000520 }
521
522 return false;
523}
524
525
526
527
Chris Lattner16125fb2003-04-24 18:25:27 +0000528bool RPR::DoRaisePass(Function &F) {
Chris Lattnerd32a9612001-11-01 02:42:08 +0000529 bool Changed = false;
Chris Lattner7e708292002-06-25 16:13:24 +0000530 for (Function::iterator BB = F.begin(), BBE = F.end(); BB != BBE; ++BB)
Chris Lattnerd32a9612001-11-01 02:42:08 +0000531 for (BasicBlock::iterator BI = BB->begin(); BI != BB->end();) {
Chris Lattnerb3abf9d2002-05-22 17:27:12 +0000532 DEBUG(cerr << "Processing: " << *BI);
Chris Lattner16da4942002-05-26 20:18:18 +0000533 if (dceInstruction(BI) || doConstantPropogation(BI)) {
Chris Lattnerc0b90e72001-11-08 20:19:56 +0000534 Changed = true;
Chris Lattner3c019372002-05-10 15:29:25 +0000535 ++NumDCEorCP;
Misha Brukman5f417482002-09-18 00:42:45 +0000536 DEBUG(cerr << "***\t\t^^-- Dead code eliminated!\n");
Chris Lattner7e708292002-06-25 16:13:24 +0000537 } else if (PeepholeOptimize(BB, BI)) {
Chris Lattnerd32a9612001-11-01 02:42:08 +0000538 Changed = true;
Chris Lattner7e708292002-06-25 16:13:24 +0000539 } else {
Chris Lattnerd32a9612001-11-01 02:42:08 +0000540 ++BI;
Chris Lattner7e708292002-06-25 16:13:24 +0000541 }
Chris Lattnerd32a9612001-11-01 02:42:08 +0000542 }
Chris Lattner7e708292002-06-25 16:13:24 +0000543
Chris Lattnerd32a9612001-11-01 02:42:08 +0000544 return Changed;
545}
546
547
Chris Lattner16125fb2003-04-24 18:25:27 +0000548// runOnFunction - Raise a function representation to a higher level.
549bool RPR::runOnFunction(Function &F) {
Chris Lattner7e708292002-06-25 16:13:24 +0000550 DEBUG(cerr << "\n\n\nStarting to work on Function '" << F.getName() << "'\n");
Chris Lattner68b07b72001-11-01 07:00:51 +0000551
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000552 // Insert casts for all incoming pointer pointer values that are treated as
553 // arrays...
Chris Lattnerd32a9612001-11-01 02:42:08 +0000554 //
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000555 bool Changed = false, LocalChange;
Chris Lattner3378a5b2002-07-16 23:49:24 +0000556
557 // If the StartInst option was specified, then Peephole optimize that
558 // instruction first if it occurs in this function.
559 //
560 if (!StartInst.empty()) {
561 for (Function::iterator BB = F.begin(), BBE = F.end(); BB != BBE; ++BB)
562 for (BasicBlock::iterator BI = BB->begin(); BI != BB->end(); ++BI)
563 if (BI->getName() == StartInst) {
564 bool SavedDebug = DebugFlag; // Save the DEBUG() controlling flag.
565 DebugFlag = true; // Turn on DEBUG's
566 Changed |= PeepholeOptimize(BB, BI);
567 DebugFlag = SavedDebug; // Restore DebugFlag to previous state
568 }
569 }
570
Chris Lattner4b770a32001-12-04 08:12:53 +0000571 do {
Chris Lattnerb3abf9d2002-05-22 17:27:12 +0000572 DEBUG(cerr << "Looping: \n" << F);
Chris Lattnera8b6d432001-12-05 06:34:00 +0000573
Chris Lattnerf57b8452002-04-27 06:56:12 +0000574 // Iterate over the function, refining it, until it converges on a stable
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000575 // state
Chris Lattnerd5543802001-12-14 16:37:52 +0000576 LocalChange = false;
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000577 while (DoRaisePass(F)) LocalChange = true;
Chris Lattner3cc7dde2001-11-26 16:58:14 +0000578 Changed |= LocalChange;
579
580 } while (LocalChange);
Chris Lattnerd32a9612001-11-01 02:42:08 +0000581
582 return Changed;
583}