LLVM API Documentation

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
NoFolder.h
Go to the documentation of this file.
1 //======-- llvm/Support/NoFolder.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 NoFolder class, a helper for IRBuilder. It provides
11 // IRBuilder with a set of methods for creating unfolded constants. This is
12 // useful for learners trying to understand how LLVM IR works, and who don't
13 // want details to be hidden by the constant folder. For general constant
14 // creation and folding, use ConstantExpr and the routines in
15 // llvm/Analysis/ConstantFolding.h.
16 //
17 // Note: since it is not actually possible to create unfolded constants, this
18 // class returns instructions rather than constants.
19 //
20 //===----------------------------------------------------------------------===//
21 
22 #ifndef LLVM_SUPPORT_NOFOLDER_H
23 #define LLVM_SUPPORT_NOFOLDER_H
24 
25 #include "llvm/ADT/ArrayRef.h"
26 #include "llvm/IR/Constants.h"
27 #include "llvm/IR/Instructions.h"
28 
29 namespace llvm {
30 
31 /// NoFolder - Create "constants" (actually, instructions) with no folding.
32 class NoFolder {
33 public:
34  explicit NoFolder() {}
35 
36  //===--------------------------------------------------------------------===//
37  // Binary Operators
38  //===--------------------------------------------------------------------===//
39 
41  bool HasNUW = false, bool HasNSW = false) const {
42  BinaryOperator *BO = BinaryOperator::CreateAdd(LHS, RHS);
43  if (HasNUW) BO->setHasNoUnsignedWrap();
44  if (HasNSW) BO->setHasNoSignedWrap();
45  return BO;
46  }
48  return BinaryOperator::CreateNSWAdd(LHS, RHS);
49  }
51  return BinaryOperator::CreateNUWAdd(LHS, RHS);
52  }
53  Instruction *CreateFAdd(Constant *LHS, Constant *RHS) const {
54  return BinaryOperator::CreateFAdd(LHS, RHS);
55  }
57  bool HasNUW = false, bool HasNSW = false) const {
58  BinaryOperator *BO = BinaryOperator::CreateSub(LHS, RHS);
59  if (HasNUW) BO->setHasNoUnsignedWrap();
60  if (HasNSW) BO->setHasNoSignedWrap();
61  return BO;
62  }
64  return BinaryOperator::CreateNSWSub(LHS, RHS);
65  }
67  return BinaryOperator::CreateNUWSub(LHS, RHS);
68  }
69  Instruction *CreateFSub(Constant *LHS, Constant *RHS) const {
70  return BinaryOperator::CreateFSub(LHS, RHS);
71  }
73  bool HasNUW = false, bool HasNSW = false) const {
74  BinaryOperator *BO = BinaryOperator::CreateMul(LHS, RHS);
75  if (HasNUW) BO->setHasNoUnsignedWrap();
76  if (HasNSW) BO->setHasNoSignedWrap();
77  return BO;
78  }
80  return BinaryOperator::CreateNSWMul(LHS, RHS);
81  }
83  return BinaryOperator::CreateNUWMul(LHS, RHS);
84  }
85  Instruction *CreateFMul(Constant *LHS, Constant *RHS) const {
86  return BinaryOperator::CreateFMul(LHS, RHS);
87  }
89  bool isExact = false) const {
90  if (!isExact)
91  return BinaryOperator::CreateUDiv(LHS, RHS);
92  return BinaryOperator::CreateExactUDiv(LHS, RHS);
93  }
95  return BinaryOperator::CreateExactUDiv(LHS, RHS);
96  }
98  bool isExact = false) const {
99  if (!isExact)
100  return BinaryOperator::CreateSDiv(LHS, RHS);
101  return BinaryOperator::CreateExactSDiv(LHS, RHS);
102  }
104  return BinaryOperator::CreateExactSDiv(LHS, RHS);
105  }
107  return BinaryOperator::CreateFDiv(LHS, RHS);
108  }
110  return BinaryOperator::CreateURem(LHS, RHS);
111  }
113  return BinaryOperator::CreateSRem(LHS, RHS);
114  }
116  return BinaryOperator::CreateFRem(LHS, RHS);
117  }
118  Instruction *CreateShl(Constant *LHS, Constant *RHS, bool HasNUW = false,
119  bool HasNSW = false) const {
120  BinaryOperator *BO = BinaryOperator::CreateShl(LHS, RHS);
121  if (HasNUW) BO->setHasNoUnsignedWrap();
122  if (HasNSW) BO->setHasNoSignedWrap();
123  return BO;
124  }
126  bool isExact = false) const {
127  if (!isExact)
128  return BinaryOperator::CreateLShr(LHS, RHS);
129  return BinaryOperator::CreateExactLShr(LHS, RHS);
130  }
132  bool isExact = false) const {
133  if (!isExact)
134  return BinaryOperator::CreateAShr(LHS, RHS);
135  return BinaryOperator::CreateExactAShr(LHS, RHS);
136  }
137  Instruction *CreateAnd(Constant *LHS, Constant *RHS) const {
138  return BinaryOperator::CreateAnd(LHS, RHS);
139  }
140  Instruction *CreateOr(Constant *LHS, Constant *RHS) const {
141  return BinaryOperator::CreateOr(LHS, RHS);
142  }
143  Instruction *CreateXor(Constant *LHS, Constant *RHS) const {
144  return BinaryOperator::CreateXor(LHS, RHS);
145  }
146 
148  Constant *LHS, Constant *RHS) const {
149  return BinaryOperator::Create(Opc, LHS, RHS);
150  }
151 
152  //===--------------------------------------------------------------------===//
153  // Unary Operators
154  //===--------------------------------------------------------------------===//
155 
157  bool HasNUW = false, bool HasNSW = false) const {
159  if (HasNUW) BO->setHasNoUnsignedWrap();
160  if (HasNSW) BO->setHasNoSignedWrap();
161  return BO;
162  }
165  }
168  }
170  return BinaryOperator::CreateFNeg(C);
171  }
173  return BinaryOperator::CreateNot(C);
174  }
175 
176  //===--------------------------------------------------------------------===//
177  // Memory Instructions
178  //===--------------------------------------------------------------------===//
179 
181  ArrayRef<Constant *> IdxList) const {
182  return ConstantExpr::getGetElementPtr(C, IdxList);
183  }
185  // This form of the function only exists to avoid ambiguous overload
186  // warnings about whether to convert Idx to ArrayRef<Constant *> or
187  // ArrayRef<Value *>.
188  return ConstantExpr::getGetElementPtr(C, Idx);
189  }
191  ArrayRef<Value *> IdxList) const {
192  return GetElementPtrInst::Create(C, IdxList);
193  }
194 
196  ArrayRef<Constant *> IdxList) const {
197  return ConstantExpr::getInBoundsGetElementPtr(C, IdxList);
198  }
200  // This form of the function only exists to avoid ambiguous overload
201  // warnings about whether to convert Idx to ArrayRef<Constant *> or
202  // ArrayRef<Value *>.
204  }
206  ArrayRef<Value *> IdxList) const {
207  return GetElementPtrInst::CreateInBounds(C, IdxList);
208  }
209 
210  //===--------------------------------------------------------------------===//
211  // Cast/Conversion Operators
212  //===--------------------------------------------------------------------===//
213 
215  Type *DestTy) const {
216  return CastInst::Create(Op, C, DestTy);
217  }
219  return CastInst::CreatePointerCast(C, DestTy);
220  }
222  bool isSigned) const {
223  return CastInst::CreateIntegerCast(C, DestTy, isSigned);
224  }
225  Instruction *CreateFPCast(Constant *C, Type *DestTy) const {
226  return CastInst::CreateFPCast(C, DestTy);
227  }
228 
230  return CreateCast(Instruction::BitCast, C, DestTy);
231  }
233  return CreateCast(Instruction::IntToPtr, C, DestTy);
234  }
236  return CreateCast(Instruction::PtrToInt, C, DestTy);
237  }
239  return CastInst::CreateZExtOrBitCast(C, DestTy);
240  }
242  return CastInst::CreateSExtOrBitCast(C, DestTy);
243  }
244 
246  return CastInst::CreateTruncOrBitCast(C, DestTy);
247  }
248 
249  //===--------------------------------------------------------------------===//
250  // Compare Instructions
251  //===--------------------------------------------------------------------===//
252 
254  Constant *LHS, Constant *RHS) const {
255  return new ICmpInst(P, LHS, RHS);
256  }
258  Constant *LHS, Constant *RHS) const {
259  return new FCmpInst(P, LHS, RHS);
260  }
261 
262  //===--------------------------------------------------------------------===//
263  // Other Instructions
264  //===--------------------------------------------------------------------===//
265 
267  Constant *True, Constant *False) const {
268  return SelectInst::Create(C, True, False);
269  }
270 
272  return ExtractElementInst::Create(Vec, Idx);
273  }
274 
276  Constant *Idx) const {
277  return InsertElementInst::Create(Vec, NewElt, Idx);
278  }
279 
281  Constant *Mask) const {
282  return new ShuffleVectorInst(V1, V2, Mask);
283  }
284 
286  ArrayRef<unsigned> IdxList) const {
287  return ExtractValueInst::Create(Agg, IdxList);
288  }
289 
291  ArrayRef<unsigned> IdxList) const {
292  return InsertValueInst::Create(Agg, Val, IdxList);
293  }
294 };
295 
296 }
297 
298 #endif
void setHasNoSignedWrap(bool b=true)
Instruction * CreateNUWMul(Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:82
Constant * CreateGetElementPtr(Constant *C, ArrayRef< Constant * > IdxList) const
Definition: NoFolder.h:180
Instruction * CreateNUWSub(Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:66
Instruction * CreateICmp(CmpInst::Predicate P, Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:253
static SelectInst * Create(Value *C, Value *S1, Value *S2, const Twine &NameStr="", Instruction *InsertBefore=0)
static Constant * getGetElementPtr(Constant *C, ArrayRef< Constant * > IdxList, bool InBounds=false)
Definition: Constants.h:1004
Constant * CreateGetElementPtr(Constant *C, Constant *Idx) const
Definition: NoFolder.h:184
Instruction * CreateIntToPtr(Constant *C, Type *DestTy) const
Definition: NoFolder.h:232
Instruction * CreateSDiv(Constant *LHS, Constant *RHS, bool isExact=false) const
Definition: NoFolder.h:97
Instruction * CreateNSWSub(Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:63
static ExtractValueInst * Create(Value *Agg, ArrayRef< unsigned > Idxs, const Twine &NameStr="", Instruction *InsertBefore=0)
Instruction * CreateBitCast(Constant *C, Type *DestTy) const
Definition: NoFolder.h:229
static BinaryOperator * CreateNUWNeg(Value *Op, const Twine &Name="", Instruction *InsertBefore=0)
void setHasNoUnsignedWrap(bool b=true)
static CastInst * CreateTruncOrBitCast(Value *S, Type *Ty, const Twine &Name="", Instruction *InsertBefore=0)
Create a Trunc or BitCast cast instruction.
Instruction * CreateInsertElement(Constant *Vec, Constant *NewElt, Constant *Idx) const
Definition: NoFolder.h:275
Instruction * CreateNSWNeg(Constant *C) const
Definition: NoFolder.h:163
Instruction * CreateFRem(Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:115
Instruction * CreateCast(Instruction::CastOps Op, Constant *C, Type *DestTy) const
Definition: NoFolder.h:214
Instruction * CreateExactUDiv(Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:94
Represents a floating point comparison operator.
Instruction * CreateAShr(Constant *LHS, Constant *RHS, bool isExact=false) const
Definition: NoFolder.h:131
Instruction * CreateFSub(Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:69
Instruction * CreateFCmp(CmpInst::Predicate P, Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:257
NoFolder - Create "constants" (actually, instructions) with no folding.
Definition: NoFolder.h:32
static CastInst * Create(Instruction::CastOps, Value *S, Type *Ty, const Twine &Name="", Instruction *InsertBefore=0)
Construct any of the CastInst subclasses.
Instruction * CreateFPCast(Constant *C, Type *DestTy) const
Definition: NoFolder.h:225
Instruction * CreateNUWNeg(Constant *C) const
Definition: NoFolder.h:166
Instruction * CreateInsertValue(Constant *Agg, Constant *Val, ArrayRef< unsigned > IdxList) const
Definition: NoFolder.h:290
#define P(N)
Instruction * CreateNSWMul(Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:79
static InsertElementInst * Create(Value *Vec, Value *NewElt, Value *Idx, const Twine &NameStr="", Instruction *InsertBefore=0)
Instruction * CreateNot(Constant *C) const
Definition: NoFolder.h:172
LLVM Constant Representation.
Definition: Constant.h:41
Instruction * CreateOr(Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:140
static ExtractElementInst * Create(Value *Vec, Value *Idx, const Twine &NameStr="", Instruction *InsertBefore=0)
static CastInst * CreateFPCast(Value *S, Type *Ty, const Twine &Name="", Instruction *InsertBefore=0)
Create an FPExt, BitCast, or FPTrunc for fp -> fp casts.
Instruction * CreateNSWAdd(Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:47
Instruction * CreateAnd(Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:137
Instruction * CreatePointerCast(Constant *C, Type *DestTy) const
Definition: NoFolder.h:218
Instruction * CreateShuffleVector(Constant *V1, Constant *V2, Constant *Mask) const
Definition: NoFolder.h:280
Represent an integer comparison operator.
Definition: Instructions.h:911
NUW NUW NUW NUW Exact static Exact BinaryOperator * CreateNeg(Value *Op, const Twine &Name="", Instruction *InsertBefore=0)
static CastInst * CreatePointerCast(Value *S, Type *Ty, const Twine &Name, BasicBlock *InsertAtEnd)
Create a BitCast or a PtrToInt cast instruction.
Instruction * CreateGetElementPtr(Constant *C, ArrayRef< Value * > IdxList) const
Definition: NoFolder.h:190
Instruction * CreateSRem(Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:112
static CastInst * CreateZExtOrBitCast(Value *S, Type *Ty, const Twine &Name="", Instruction *InsertBefore=0)
Create a ZExt or BitCast cast instruction.
Instruction * CreateAdd(Constant *LHS, Constant *RHS, bool HasNUW=false, bool HasNSW=false) const
Definition: NoFolder.h:40
static CastInst * CreateSExtOrBitCast(Value *S, Type *Ty, const Twine &Name="", Instruction *InsertBefore=0)
Create a SExt or BitCast cast instruction.
Instruction * CreateTruncOrBitCast(Constant *C, Type *DestTy) const
Definition: NoFolder.h:245
Instruction * CreateExactSDiv(Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:103
Instruction * CreateUDiv(Constant *LHS, Constant *RHS, bool isExact=false) const
Definition: NoFolder.h:88
Instruction * CreatePtrToInt(Constant *C, Type *DestTy) const
Definition: NoFolder.h:235
Instruction * CreateIntCast(Constant *C, Type *DestTy, bool isSigned) const
Definition: NoFolder.h:221
static GetElementPtrInst * Create(Value *Ptr, ArrayRef< Value * > IdxList, const Twine &NameStr="", Instruction *InsertBefore=0)
Definition: Instructions.h:726
Instruction * CreateLShr(Constant *LHS, Constant *RHS, bool isExact=false) const
Definition: NoFolder.h:125
Instruction * CreateZExtOrBitCast(Constant *C, Type *DestTy) const
Definition: NoFolder.h:238
static CastInst * CreateIntegerCast(Value *S, Type *Ty, bool isSigned, const Twine &Name="", Instruction *InsertBefore=0)
Create a ZExt, BitCast, or Trunc for int -> int casts.
Instruction * CreateNUWAdd(Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:50
Instruction * CreateFAdd(Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:53
Instruction * CreateInBoundsGetElementPtr(Constant *C, ArrayRef< Value * > IdxList) const
Definition: NoFolder.h:205
static InsertValueInst * Create(Value *Agg, Value *Val, ArrayRef< unsigned > Idxs, const Twine &NameStr="", Instruction *InsertBefore=0)
static Constant * getInBoundsGetElementPtr(Constant *C, ArrayRef< Constant * > IdxList)
Definition: Constants.h:1025
Instruction * CreateBinOp(Instruction::BinaryOps Opc, Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:147
Instruction * CreateFNeg(Constant *C) const
Definition: NoFolder.h:169
Instruction * CreateMul(Constant *LHS, Constant *RHS, bool HasNUW=false, bool HasNSW=false) const
Definition: NoFolder.h:72
static BinaryOperator * Create(BinaryOps Op, Value *S1, Value *S2, const Twine &Name=Twine(), Instruction *InsertBefore=0)
Instruction * CreateXor(Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:143
Constant * CreateInBoundsGetElementPtr(Constant *C, Constant *Idx) const
Definition: NoFolder.h:199
Instruction * CreateNeg(Constant *C, bool HasNUW=false, bool HasNSW=false) const
Definition: NoFolder.h:156
Instruction * CreateURem(Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:109
Instruction * CreateFMul(Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:85
Instruction * CreateShl(Constant *LHS, Constant *RHS, bool HasNUW=false, bool HasNSW=false) const
Definition: NoFolder.h:118
Instruction * CreateSExtOrBitCast(Constant *C, Type *DestTy) const
Definition: NoFolder.h:241
Instruction * CreateSub(Constant *LHS, Constant *RHS, bool HasNUW=false, bool HasNSW=false) const
Definition: NoFolder.h:56
Constant * CreateInBoundsGetElementPtr(Constant *C, ArrayRef< Constant * > IdxList) const
Definition: NoFolder.h:195
Instruction * CreateExtractValue(Constant *Agg, ArrayRef< unsigned > IdxList) const
Definition: NoFolder.h:285
static BinaryOperator * CreateFNeg(Value *Op, const Twine &Name="", Instruction *InsertBefore=0)
Instruction * CreateFDiv(Constant *LHS, Constant *RHS) const
Definition: NoFolder.h:106
static GetElementPtrInst * CreateInBounds(Value *Ptr, ArrayRef< Value * > IdxList, const Twine &NameStr="", Instruction *InsertBefore=0)
Definition: Instructions.h:743
static BinaryOperator * CreateNSWNeg(Value *Op, const Twine &Name="", Instruction *InsertBefore=0)
static BinaryOperator * CreateNot(Value *Op, const Twine &Name="", Instruction *InsertBefore=0)
Instruction * CreateSelect(Constant *C, Constant *True, Constant *False) const
Definition: NoFolder.h:266
Instruction * CreateExtractElement(Constant *Vec, Constant *Idx) const
Definition: NoFolder.h:271