blob: 30e3990df48bc65cd2c523d94d9f6bbc0b1be758 [file] [log] [blame]
Chris Lattner59cd9f12001-11-04 23:24:06 +00001//===-- TransformInternals.h - Shared functions for Transforms ---*- C++ -*--=//
2//
3// This header file declares shared functions used by the different components
4// of the Transforms library.
5//
6//===----------------------------------------------------------------------===//
7
8#ifndef TRANSFORM_INTERNALS_H
9#define TRANSFORM_INTERNALS_H
10
11#include "llvm/BasicBlock.h"
Chris Lattnere4f4d8c2001-11-05 18:30:53 +000012#include "llvm/Instruction.h"
Chris Lattner59cd9f12001-11-04 23:24:06 +000013#include "llvm/Target/TargetData.h"
Chris Lattnerc0b90e72001-11-08 20:19:56 +000014#include "llvm/DerivedTypes.h"
Chris Lattnere9bb2df2001-12-03 22:26:30 +000015#include "llvm/ConstantVals.h"
Chris Lattner59cd9f12001-11-04 23:24:06 +000016#include <map>
Chris Lattnere4f4d8c2001-11-05 18:30:53 +000017#include <set>
Chris Lattner59cd9f12001-11-04 23:24:06 +000018
19// TargetData Hack: Eventually we will have annotations given to us by the
20// backend so that we know stuff about type size and alignments. For now
21// though, just use this, because it happens to match the model that GCC uses.
22//
23// FIXME: This should use annotations
24//
25extern const TargetData TD;
26
Chris Lattner697954c2002-01-20 22:54:45 +000027static inline int getConstantValue(const ConstantInt *CPI) {
Chris Lattnere9bb2df2001-12-03 22:26:30 +000028 if (const ConstantSInt *CSI = dyn_cast<ConstantSInt>(CPI))
Chris Lattner491b29f2001-11-26 17:00:13 +000029 return CSI->getValue();
Chris Lattnere9bb2df2001-12-03 22:26:30 +000030 return cast<ConstantUInt>(CPI)->getValue();
Chris Lattner491b29f2001-11-26 17:00:13 +000031}
Chris Lattner59cd9f12001-11-04 23:24:06 +000032
33
Chris Lattner491b29f2001-11-26 17:00:13 +000034// getPointedToComposite - If the argument is a pointer type, and the pointed to
35// value is a composite type, return the composite type, else return null.
Chris Lattnerc0b90e72001-11-08 20:19:56 +000036//
Chris Lattner491b29f2001-11-26 17:00:13 +000037static inline const CompositeType *getPointedToComposite(const Type *Ty) {
Chris Lattnerc0b90e72001-11-08 20:19:56 +000038 const PointerType *PT = dyn_cast<PointerType>(Ty);
Chris Lattner7a176752001-12-04 00:03:30 +000039 return PT ? dyn_cast<CompositeType>(PT->getElementType()) : 0;
Chris Lattnerc0b90e72001-11-08 20:19:56 +000040}
41
Chris Lattnere34443d2001-11-06 08:34:29 +000042
Chris Lattner59cd9f12001-11-04 23:24:06 +000043// ReplaceInstWithValue - Replace all uses of an instruction (specified by BI)
44// with a value, then remove and delete the original instruction.
45//
46void ReplaceInstWithValue(BasicBlock::InstListType &BIL,
47 BasicBlock::iterator &BI, Value *V);
48
49// ReplaceInstWithInst - Replace the instruction specified by BI with the
50// instruction specified by I. The original instruction is deleted and BI is
51// updated to point to the new instruction.
52//
53void ReplaceInstWithInst(BasicBlock::InstListType &BIL,
54 BasicBlock::iterator &BI, Instruction *I);
55
Chris Lattnerc9333442001-12-14 16:39:22 +000056void ReplaceInstWithInst(Instruction *From, Instruction *To);
57
Chris Lattnerf78642b2002-03-21 06:15:53 +000058// InsertInstBeforeInst - Insert 'NewInst' into the basic block that 'Existing'
59// is already in, and put it right before 'Existing'. This instruction should
60// only be used when there is no iterator to Existing already around. The
61// returned iterator points to the new instruction.
62//
63BasicBlock::iterator InsertInstBeforeInst(Instruction *NewInst,
64 Instruction *Existing);
Chris Lattner59cd9f12001-11-04 23:24:06 +000065
Chris Lattner491b29f2001-11-26 17:00:13 +000066// ConvertableToGEP - This function returns true if the specified value V is
67// a valid index into a pointer of type Ty. If it is valid, Idx is filled in
68// with the values that would be appropriate to make this a getelementptr
69// instruction. The type returned is the root type that the GEP would point
70// to if it were synthesized with this operands.
71//
72// If BI is nonnull, cast instructions are inserted as appropriate for the
73// arguments of the getelementptr.
74//
Chris Lattner697954c2002-01-20 22:54:45 +000075const Type *ConvertableToGEP(const Type *Ty, Value *V,
76 std::vector<Value*> &Indices,
Chris Lattner491b29f2001-11-26 17:00:13 +000077 BasicBlock::iterator *BI = 0);
78
79
Chris Lattner59cd9f12001-11-04 23:24:06 +000080// ------------- Expression Conversion ---------------------
81
Chris Lattner697954c2002-01-20 22:54:45 +000082typedef std::map<const Value*, const Type*> ValueTypeCache;
Chris Lattnere4f4d8c2001-11-05 18:30:53 +000083
84struct ValueMapCache {
85 // Operands mapped - Contains an entry if the first value (the user) has had
86 // the second value (the operand) mapped already.
87 //
Chris Lattner697954c2002-01-20 22:54:45 +000088 std::set<const User*> OperandsMapped;
Chris Lattnere4f4d8c2001-11-05 18:30:53 +000089
90 // Expression Map - Contains an entry from the old value to the new value of
91 // an expression that has been converted over.
92 //
Chris Lattner697954c2002-01-20 22:54:45 +000093 std::map<const Value *, Value *> ExprMap;
94 typedef std::map<const Value *, Value *> ExprMapTy;
Chris Lattnere4f4d8c2001-11-05 18:30:53 +000095};
Chris Lattner59cd9f12001-11-04 23:24:06 +000096
Chris Lattnerc0b90e72001-11-08 20:19:56 +000097
98bool ExpressionConvertableToType(Value *V, const Type *Ty, ValueTypeCache &Map);
99Value *ConvertExpressionToType(Value *V, const Type *Ty, ValueMapCache &VMC);
100
Chris Lattner491b29f2001-11-26 17:00:13 +0000101// ValueConvertableToType - Return true if it is possible
102bool ValueConvertableToType(Value *V, const Type *Ty,
103 ValueTypeCache &ConvertedTypes);
Chris Lattner59cd9f12001-11-04 23:24:06 +0000104
Chris Lattner491b29f2001-11-26 17:00:13 +0000105void ConvertValueToNewType(Value *V, Value *NewVal, ValueMapCache &VMC);
Chris Lattner59cd9f12001-11-04 23:24:06 +0000106
107
Chris Lattnere4f4d8c2001-11-05 18:30:53 +0000108//===----------------------------------------------------------------------===//
109// ValueHandle Class - Smart pointer that occupies a slot on the users USE list
110// that prevents it from being destroyed. This "looks" like an Instruction
111// with Opcode UserOp1.
112//
113class ValueHandle : public Instruction {
114 ValueHandle(const ValueHandle &); // DO NOT IMPLEMENT
Chris Lattnerce22ec12001-11-13 05:01:36 +0000115 ValueMapCache &Cache;
Chris Lattnere4f4d8c2001-11-05 18:30:53 +0000116public:
Chris Lattnerce22ec12001-11-13 05:01:36 +0000117 ValueHandle(ValueMapCache &VMC, Value *V);
Chris Lattnere4f4d8c2001-11-05 18:30:53 +0000118 ~ValueHandle();
119
120 virtual Instruction *clone() const { abort(); return 0; }
121
122 virtual const char *getOpcodeName() const {
123 return "ValueHandle";
124 }
125
126 // Methods for support type inquiry through isa, cast, and dyn_cast:
127 static inline bool classof(const ValueHandle *) { return true; }
128 static inline bool classof(const Instruction *I) {
129 return (I->getOpcode() == Instruction::UserOp1);
130 }
131 static inline bool classof(const Value *V) {
132 return isa<Instruction>(V) && classof(cast<Instruction>(V));
133 }
134};
135
Chris Lattnerc0b90e72001-11-08 20:19:56 +0000136// getStructOffsetType - Return a vector of offsets that are to be used to index
137// into the specified struct type to get as close as possible to index as we
138// can. Note that it is possible that we cannot get exactly to Offset, in which
139// case we update offset to be the offset we actually obtained. The resultant
140// leaf type is returned.
141//
142// If StopEarly is set to true (the default), the first object with the
143// specified type is returned, even if it is a struct type itself. In this
144// case, this routine will not drill down to the leaf type. Set StopEarly to
145// false if you want a leaf
146//
147const Type *getStructOffsetType(const Type *Ty, unsigned &Offset,
Chris Lattner697954c2002-01-20 22:54:45 +0000148 std::vector<Value*> &Offsets,
Chris Lattnerc0b90e72001-11-08 20:19:56 +0000149 bool StopEarly = true);
150
Chris Lattner59cd9f12001-11-04 23:24:06 +0000151#endif