blob: 4e289048338619e520b3993c36c7bb7ef8e1ccfe [file] [log] [blame]
Chris Lattnercf3056d2003-10-13 03:32:08 +00001//===-- TransformInternals.h - Shared functions for Transforms --*- C++ -*-===//
Misha Brukmanfd939082005-04-21 23:48:37 +00002//
John Criswell856ba762003-10-21 15:17:13 +00003// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
Misha Brukmanfd939082005-04-21 23:48:37 +00007//
John Criswell856ba762003-10-21 15:17:13 +00008//===----------------------------------------------------------------------===//
Chris Lattner59cd9f12001-11-04 23:24:06 +00009//
10// This header file declares shared functions used by the different components
11// of the Transforms library.
12//
13//===----------------------------------------------------------------------===//
14
15#ifndef TRANSFORM_INTERNALS_H
16#define TRANSFORM_INTERNALS_H
17
18#include "llvm/BasicBlock.h"
19#include "llvm/Target/TargetData.h"
Chris Lattnerc0b90e72001-11-08 20:19:56 +000020#include "llvm/DerivedTypes.h"
Chris Lattner31bcdb82002-04-28 19:55:58 +000021#include "llvm/Constants.h"
Chris Lattner59cd9f12001-11-04 23:24:06 +000022#include <map>
Chris Lattnere4f4d8c2001-11-05 18:30:53 +000023#include <set>
Chris Lattner59cd9f12001-11-04 23:24:06 +000024
Brian Gaeked0fde302003-11-11 22:41:34 +000025namespace llvm {
26
Chris Lattner8e2e5f72002-09-16 18:32:33 +000027static inline int64_t getConstantValue(const ConstantInt *CPI) {
Reid Spencerb83eb642006-10-20 07:07:24 +000028 return (int64_t)cast<ConstantInt>(CPI)->getZExtValue();
Chris Lattner491b29f2001-11-26 17:00:13 +000029}
Chris Lattner59cd9f12001-11-04 23:24:06 +000030
31
Chris Lattner491b29f2001-11-26 17:00:13 +000032// getPointedToComposite - If the argument is a pointer type, and the pointed to
33// value is a composite type, return the composite type, else return null.
Chris Lattnerc0b90e72001-11-08 20:19:56 +000034//
Chris Lattner491b29f2001-11-26 17:00:13 +000035static inline const CompositeType *getPointedToComposite(const Type *Ty) {
Chris Lattnerc0b90e72001-11-08 20:19:56 +000036 const PointerType *PT = dyn_cast<PointerType>(Ty);
Chris Lattner7a176752001-12-04 00:03:30 +000037 return PT ? dyn_cast<CompositeType>(PT->getElementType()) : 0;
Chris Lattnerc0b90e72001-11-08 20:19:56 +000038}
39
Chris Lattner491b29f2001-11-26 17:00:13 +000040
Chris Lattnerb1b42622002-07-17 17:11:33 +000041//===----------------------------------------------------------------------===//
42// ValueHandle Class - Smart pointer that occupies a slot on the users USE list
43// that prevents it from being destroyed. This "looks" like an Instruction
44// with Opcode UserOp1.
Misha Brukmanfd939082005-04-21 23:48:37 +000045//
Chris Lattnerb1b42622002-07-17 17:11:33 +000046class ValueMapCache;
47class ValueHandle : public Instruction {
Chris Lattner5598aa02005-01-29 00:37:36 +000048 Use Op;
Chris Lattnerb1b42622002-07-17 17:11:33 +000049 ValueMapCache &Cache;
50public:
51 ValueHandle(ValueMapCache &VMC, Value *V);
52 ValueHandle(const ValueHandle &);
53 ~ValueHandle();
54
55 virtual Instruction *clone() const { abort(); return 0; }
56
57 virtual const char *getOpcodeName() const {
58 return "ValueHandle";
59 }
60
61 inline bool operator<(const ValueHandle &VH) const {
62 return getOperand(0) < VH.getOperand(0);
63 }
64
65 // Methods for support type inquiry through isa, cast, and dyn_cast:
66 static inline bool classof(const ValueHandle *) { return true; }
67 static inline bool classof(const Instruction *I) {
68 return (I->getOpcode() == Instruction::UserOp1);
69 }
70 static inline bool classof(const Value *V) {
71 return isa<Instruction>(V) && classof(cast<Instruction>(V));
72 }
73};
74
75
Chris Lattner59cd9f12001-11-04 23:24:06 +000076// ------------- Expression Conversion ---------------------
77
Chris Lattnerb1b42622002-07-17 17:11:33 +000078typedef std::map<const Value*, const Type*> ValueTypeCache;
Chris Lattnere4f4d8c2001-11-05 18:30:53 +000079
Chris Lattner1fca5ff2004-10-27 16:14:51 +000080class ValueMapCache {
81public:
Chris Lattnere4f4d8c2001-11-05 18:30:53 +000082 // Operands mapped - Contains an entry if the first value (the user) has had
83 // the second value (the operand) mapped already.
84 //
Chris Lattner697954c2002-01-20 22:54:45 +000085 std::set<const User*> OperandsMapped;
Chris Lattnere4f4d8c2001-11-05 18:30:53 +000086
87 // Expression Map - Contains an entry from the old value to the new value of
88 // an expression that has been converted over.
89 //
Chris Lattner697954c2002-01-20 22:54:45 +000090 std::map<const Value *, Value *> ExprMap;
91 typedef std::map<const Value *, Value *> ExprMapTy;
Chris Lattnerb1b42622002-07-17 17:11:33 +000092
93 // Cast Map - Cast instructions can have their source and destination values
Misha Brukmanef6a6a62003-08-21 22:14:26 +000094 // changed independently for each part. Because of this, our old naive
Chris Lattnerb1b42622002-07-17 17:11:33 +000095 // implementation would create a TWO new cast instructions, which would cause
96 // all kinds of problems. Here we keep track of the newly allocated casts, so
97 // that we only create one for a particular instruction.
98 //
99 std::set<ValueHandle> NewCasts;
Chris Lattnere4f4d8c2001-11-05 18:30:53 +0000100};
Chris Lattner59cd9f12001-11-04 23:24:06 +0000101
Chris Lattnerc0b90e72001-11-08 20:19:56 +0000102
Misha Brukmanf117cc92003-05-20 18:45:36 +0000103bool ExpressionConvertibleToType(Value *V, const Type *Ty, ValueTypeCache &Map,
Chris Lattner16125fb2003-04-24 18:25:27 +0000104 const TargetData &TD);
105Value *ConvertExpressionToType(Value *V, const Type *Ty, ValueMapCache &VMC,
106 const TargetData &TD);
Chris Lattnerc0b90e72001-11-08 20:19:56 +0000107
Misha Brukmanf117cc92003-05-20 18:45:36 +0000108// ValueConvertibleToType - Return true if it is possible
109bool ValueConvertibleToType(Value *V, const Type *Ty,
Chris Lattner16125fb2003-04-24 18:25:27 +0000110 ValueTypeCache &ConvertedTypes,
111 const TargetData &TD);
Chris Lattner59cd9f12001-11-04 23:24:06 +0000112
Chris Lattner16125fb2003-04-24 18:25:27 +0000113void ConvertValueToNewType(Value *V, Value *NewVal, ValueMapCache &VMC,
114 const TargetData &TD);
Chris Lattner59cd9f12001-11-04 23:24:06 +0000115
116
Chris Lattnerc0b90e72001-11-08 20:19:56 +0000117// getStructOffsetType - Return a vector of offsets that are to be used to index
118// into the specified struct type to get as close as possible to index as we
119// can. Note that it is possible that we cannot get exactly to Offset, in which
120// case we update offset to be the offset we actually obtained. The resultant
121// leaf type is returned.
122//
123// If StopEarly is set to true (the default), the first object with the
124// specified type is returned, even if it is a struct type itself. In this
125// case, this routine will not drill down to the leaf type. Set StopEarly to
126// false if you want a leaf
127//
128const Type *getStructOffsetType(const Type *Ty, unsigned &Offset,
Chris Lattner697954c2002-01-20 22:54:45 +0000129 std::vector<Value*> &Offsets,
Chris Lattner16125fb2003-04-24 18:25:27 +0000130 const TargetData &TD, bool StopEarly = true);
Chris Lattnerc0b90e72001-11-08 20:19:56 +0000131
Brian Gaeked0fde302003-11-11 22:41:34 +0000132} // End llvm namespace
133
Chris Lattner59cd9f12001-11-04 23:24:06 +0000134#endif