TargetFolder.h revision 413c3bd9fd820a0969cd0e84124f3a3fadc5cc61 
1//====-- llvm/Support/TargetFolder.h - Constant folding helper -*- C++ -*-====//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file defines the TargetFolder class, a helper for IRBuilder.
11// It provides IRBuilder with a set of methods for creating constants with
12// target dependent folding, in addition to the same target-independent
13// folding that the ConstantFolder class provides.  For general constant
14// creation and folding, use ConstantExpr and the routines in
15// llvm/Analysis/ConstantFolding.h.
16//
17//===----------------------------------------------------------------------===//
18
19#ifndef LLVM_SUPPORT_TARGETFOLDER_H
20#define LLVM_SUPPORT_TARGETFOLDER_H
21
22#include "llvm/Constants.h"
23#include "llvm/InstrTypes.h"
24#include "llvm/Analysis/ConstantFolding.h"
25
26namespace llvm {
27
28class TargetData;
29
30/// TargetFolder - Create constants with target dependent folding.
31class TargetFolder {
32  const TargetData *TD;
33
34  /// Fold - Fold the constant using target specific information.
35  Constant *Fold(Constant *C) const {
36    if (ConstantExpr *CE = dyn_cast<ConstantExpr>(C))
37      if (Constant *CF = ConstantFoldConstantExpression(CE, TD))
38        return CF;
39    return C;
40  }
41
42public:
43  explicit TargetFolder(const TargetData *TheTD) : TD(TheTD) {}
44
45  //===--------------------------------------------------------------------===//
46  // Binary Operators
47  //===--------------------------------------------------------------------===//
48
49  Constant *CreateAdd(Constant *LHS, Constant *RHS) const {
50    return Fold(ConstantExpr::getAdd(LHS, RHS));
51  }
52  Constant *CreateNSWAdd(Constant *LHS, Constant *RHS) const {
53    return Fold(ConstantExpr::getNSWAdd(LHS, RHS));
54  }
55  Constant *CreateNUWAdd(Constant *LHS, Constant *RHS) const {
56    return Fold(ConstantExpr::getNUWAdd(LHS, RHS));
57  }
58  Constant *CreateFAdd(Constant *LHS, Constant *RHS) const {
59    return Fold(ConstantExpr::getFAdd(LHS, RHS));
60  }
61  Constant *CreateSub(Constant *LHS, Constant *RHS) const {
62    return Fold(ConstantExpr::getSub(LHS, RHS));
63  }
64  Constant *CreateNSWSub(Constant *LHS, Constant *RHS) const {
65    return Fold(ConstantExpr::getNSWSub(LHS, RHS));
66  }
67  Constant *CreateNUWSub(Constant *LHS, Constant *RHS) const {
68    return Fold(ConstantExpr::getNUWSub(LHS, RHS));
69  }
70  Constant *CreateFSub(Constant *LHS, Constant *RHS) const {
71    return Fold(ConstantExpr::getFSub(LHS, RHS));
72  }
73  Constant *CreateMul(Constant *LHS, Constant *RHS) const {
74    return Fold(ConstantExpr::getMul(LHS, RHS));
75  }
76  Constant *CreateNSWMul(Constant *LHS, Constant *RHS) const {
77    return Fold(ConstantExpr::getNSWMul(LHS, RHS));
78  }
79  Constant *CreateNUWMul(Constant *LHS, Constant *RHS) const {
80    return Fold(ConstantExpr::getNUWMul(LHS, RHS));
81  }
82  Constant *CreateFMul(Constant *LHS, Constant *RHS) const {
83    return Fold(ConstantExpr::getFMul(LHS, RHS));
84  }
85  Constant *CreateUDiv(Constant *LHS, Constant *RHS, bool isExact = false)const{
86    return Fold(ConstantExpr::getUDiv(LHS, RHS, isExact));
87  }
88  Constant *CreateSDiv(Constant *LHS, Constant *RHS, bool isExact = false)const{
89    return Fold(ConstantExpr::getSDiv(LHS, RHS, isExact));
90  }
91  Constant *CreateFDiv(Constant *LHS, Constant *RHS) const {
92    return Fold(ConstantExpr::getFDiv(LHS, RHS));
93  }
94  Constant *CreateURem(Constant *LHS, Constant *RHS) const {
95    return Fold(ConstantExpr::getURem(LHS, RHS));
96  }
97  Constant *CreateSRem(Constant *LHS, Constant *RHS) const {
98    return Fold(ConstantExpr::getSRem(LHS, RHS));
99  }
100  Constant *CreateFRem(Constant *LHS, Constant *RHS) const {
101    return Fold(ConstantExpr::getFRem(LHS, RHS));
102  }
103  Constant *CreateShl(Constant *LHS, Constant *RHS) const {
104    return Fold(ConstantExpr::getShl(LHS, RHS));
105  }
106  Constant *CreateLShr(Constant *LHS, Constant *RHS, bool isExact = false)const{
107    return Fold(ConstantExpr::getLShr(LHS, RHS, isExact));
108  }
109  Constant *CreateAShr(Constant *LHS, Constant *RHS, bool isExact = false)const{
110    return Fold(ConstantExpr::getAShr(LHS, RHS, isExact));
111  }
112  Constant *CreateAnd(Constant *LHS, Constant *RHS) const {
113    return Fold(ConstantExpr::getAnd(LHS, RHS));
114  }
115  Constant *CreateOr(Constant *LHS, Constant *RHS) const {
116    return Fold(ConstantExpr::getOr(LHS, RHS));
117  }
118  Constant *CreateXor(Constant *LHS, Constant *RHS) const {
119    return Fold(ConstantExpr::getXor(LHS, RHS));
120  }
121
122  Constant *CreateBinOp(Instruction::BinaryOps Opc,
123                        Constant *LHS, Constant *RHS) const {
124    return Fold(ConstantExpr::get(Opc, LHS, RHS));
125  }
126
127  //===--------------------------------------------------------------------===//
128  // Unary Operators
129  //===--------------------------------------------------------------------===//
130
131  Constant *CreateNeg(Constant *C) const {
132    return Fold(ConstantExpr::getNeg(C));
133  }
134  Constant *CreateNSWNeg(Constant *C) const {
135    return Fold(ConstantExpr::getNSWNeg(C));
136  }
137  Constant *CreateNUWNeg(Constant *C) const {
138    return Fold(ConstantExpr::getNUWNeg(C));
139  }
140  Constant *CreateFNeg(Constant *C) const {
141    return Fold(ConstantExpr::getFNeg(C));
142  }
143  Constant *CreateNot(Constant *C) const {
144    return Fold(ConstantExpr::getNot(C));
145  }
146
147  //===--------------------------------------------------------------------===//
148  // Memory Instructions
149  //===--------------------------------------------------------------------===//
150
151  Constant *CreateGetElementPtr(Constant *C, Constant* const *IdxList,
152                                unsigned NumIdx) const {
153    return Fold(ConstantExpr::getGetElementPtr(C, IdxList, NumIdx));
154  }
155  Constant *CreateGetElementPtr(Constant *C, Value* const *IdxList,
156                                unsigned NumIdx) const {
157    return Fold(ConstantExpr::getGetElementPtr(C, IdxList, NumIdx));
158  }
159
160  Constant *CreateInBoundsGetElementPtr(Constant *C, Constant* const *IdxList,
161                                        unsigned NumIdx) const {
162    return Fold(ConstantExpr::getInBoundsGetElementPtr(C, IdxList, NumIdx));
163  }
164  Constant *CreateInBoundsGetElementPtr(Constant *C, Value* const *IdxList,
165                                        unsigned NumIdx) const {
166    return Fold(ConstantExpr::getInBoundsGetElementPtr(C, IdxList, NumIdx));
167  }
168
169  //===--------------------------------------------------------------------===//
170  // Cast/Conversion Operators
171  //===--------------------------------------------------------------------===//
172
173  Constant *CreateCast(Instruction::CastOps Op, Constant *C,
174                       const Type *DestTy) const {
175    if (C->getType() == DestTy)
176      return C; // avoid calling Fold
177    return Fold(ConstantExpr::getCast(Op, C, DestTy));
178  }
179  Constant *CreateIntCast(Constant *C, const Type *DestTy,
180                          bool isSigned) const {
181    if (C->getType() == DestTy)
182      return C; // avoid calling Fold
183    return Fold(ConstantExpr::getIntegerCast(C, DestTy, isSigned));
184  }
185  Constant *CreatePointerCast(Constant *C, const Type *DestTy) const {
186    return ConstantExpr::getPointerCast(C, DestTy);
187  }
188  Constant *CreateBitCast(Constant *C, const Type *DestTy) const {
189    return CreateCast(Instruction::BitCast, C, DestTy);
190  }
191  Constant *CreateIntToPtr(Constant *C, const Type *DestTy) const {
192    return CreateCast(Instruction::IntToPtr, C, DestTy);
193  }
194  Constant *CreatePtrToInt(Constant *C, const Type *DestTy) const {
195    return CreateCast(Instruction::PtrToInt, C, DestTy);
196  }
197  Constant *CreateZExtOrBitCast(Constant *C, const Type *DestTy) const {
198    if (C->getType() == DestTy)
199      return C; // avoid calling Fold
200    return Fold(ConstantExpr::getZExtOrBitCast(C, DestTy));
201  }
202  Constant *CreateSExtOrBitCast(Constant *C, const Type *DestTy) const {
203    if (C->getType() == DestTy)
204      return C; // avoid calling Fold
205    return Fold(ConstantExpr::getSExtOrBitCast(C, DestTy));
206  }
207  Constant *CreateTruncOrBitCast(Constant *C, const Type *DestTy) const {
208    if (C->getType() == DestTy)
209      return C; // avoid calling Fold
210    return Fold(ConstantExpr::getTruncOrBitCast(C, DestTy));
211  }
212
213  //===--------------------------------------------------------------------===//
214  // Compare Instructions
215  //===--------------------------------------------------------------------===//
216
217  Constant *CreateICmp(CmpInst::Predicate P, Constant *LHS,
218                       Constant *RHS) const {
219    return Fold(ConstantExpr::getCompare(P, LHS, RHS));
220  }
221  Constant *CreateFCmp(CmpInst::Predicate P, Constant *LHS,
222                       Constant *RHS) const {
223    return Fold(ConstantExpr::getCompare(P, LHS, RHS));
224  }
225
226  //===--------------------------------------------------------------------===//
227  // Other Instructions
228  //===--------------------------------------------------------------------===//
229
230  Constant *CreateSelect(Constant *C, Constant *True, Constant *False) const {
231    return Fold(ConstantExpr::getSelect(C, True, False));
232  }
233
234  Constant *CreateExtractElement(Constant *Vec, Constant *Idx) const {
235    return Fold(ConstantExpr::getExtractElement(Vec, Idx));
236  }
237
238  Constant *CreateInsertElement(Constant *Vec, Constant *NewElt,
239                                Constant *Idx) const {
240    return Fold(ConstantExpr::getInsertElement(Vec, NewElt, Idx));
241  }
242
243  Constant *CreateShuffleVector(Constant *V1, Constant *V2,
244                                Constant *Mask) const {
245    return Fold(ConstantExpr::getShuffleVector(V1, V2, Mask));
246  }
247
248  Constant *CreateExtractValue(Constant *Agg, const unsigned *IdxList,
249                               unsigned NumIdx) const {
250    return Fold(ConstantExpr::getExtractValue(Agg, IdxList, NumIdx));
251  }
252
253  Constant *CreateInsertValue(Constant *Agg, Constant *Val,
254                              const unsigned *IdxList, unsigned NumIdx) const {
255    return Fold(ConstantExpr::getInsertValue(Agg, Val, IdxList, NumIdx));
256  }
257};
258
259}
260
261#endif
262