include/llvm/Support/NoFolder.h

   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 values rather than constants.  The values do not have names,
  19 // even if names were provided to IRBuilder, which may be confusing.
  20 //
  21 //===----------------------------------------------------------------------===//
  22
  23 #ifndef LLVM_SUPPORT_NOFOLDER_H
  24 #define LLVM_SUPPORT_NOFOLDER_H
  25
  26 #include "llvm/Constants.h"
  27 #include "llvm/Instructions.h"
  28
  29 namespace llvm {
  30
  31 class LLVMContext;
  32
  33 /// NoFolder - Create "constants" (actually, values) with no folding.
  34 class NoFolder {
  35 public:
  36   explicit NoFolder(LLVMContext &) {}
  37
  38   //===--------------------------------------------------------------------===//
  39   // Binary Operators
  40   //===--------------------------------------------------------------------===//
  41
  42   Value *CreateAdd(Constant *LHS, Constant *RHS) const {
  43     return BinaryOperator::CreateAdd(LHS, RHS);
  44   }
  45   Value *CreateFAdd(Constant *LHS, Constant *RHS) const {
  46     return BinaryOperator::CreateFAdd(LHS, RHS);
  47   }
  48   Value *CreateSub(Constant *LHS, Constant *RHS) const {
  49     return BinaryOperator::CreateSub(LHS, RHS);
  50   }
  51   Value *CreateFSub(Constant *LHS, Constant *RHS) const {
  52     return BinaryOperator::CreateFSub(LHS, RHS);
  53   }
  54   Value *CreateMul(Constant *LHS, Constant *RHS) const {
  55     return BinaryOperator::CreateMul(LHS, RHS);
  56   }
  57   Value *CreateFMul(Constant *LHS, Constant *RHS) const {
  58     return BinaryOperator::CreateFMul(LHS, RHS);
  59   }
  60   Value *CreateUDiv(Constant *LHS, Constant *RHS) const {
  61     return BinaryOperator::CreateUDiv(LHS, RHS);
  62   }
  63   Value *CreateSDiv(Constant *LHS, Constant *RHS) const {
  64     return BinaryOperator::CreateSDiv(LHS, RHS);
  65   }
  66   Value *CreateExactSDiv(Constant *LHS, Constant *RHS) const {
  67     return BinaryOperator::CreateExactSDiv(LHS, RHS);
  68   }
  69   Value *CreateFDiv(Constant *LHS, Constant *RHS) const {
  70     return BinaryOperator::CreateFDiv(LHS, RHS);
  71   }
  72   Value *CreateURem(Constant *LHS, Constant *RHS) const {
  73     return BinaryOperator::CreateURem(LHS, RHS);
  74   }
  75   Value *CreateSRem(Constant *LHS, Constant *RHS) const {
  76     return BinaryOperator::CreateSRem(LHS, RHS);
  77   }
  78   Value *CreateFRem(Constant *LHS, Constant *RHS) const {
  79     return BinaryOperator::CreateFRem(LHS, RHS);
  80   }
  81   Value *CreateShl(Constant *LHS, Constant *RHS) const {
  82     return BinaryOperator::CreateShl(LHS, RHS);
  83   }
  84   Value *CreateLShr(Constant *LHS, Constant *RHS) const {
  85     return BinaryOperator::CreateLShr(LHS, RHS);
  86   }
  87   Value *CreateAShr(Constant *LHS, Constant *RHS) const {
  88     return BinaryOperator::CreateAShr(LHS, RHS);
  89   }
  90   Value *CreateAnd(Constant *LHS, Constant *RHS) const {
  91     return BinaryOperator::CreateAnd(LHS, RHS);
  92   }
  93   Value *CreateOr(Constant *LHS, Constant *RHS) const {
  94     return BinaryOperator::CreateOr(LHS, RHS);
  95   }
  96   Value *CreateXor(Constant *LHS, Constant *RHS) const {
  97     return BinaryOperator::CreateXor(LHS, RHS);
  98   }
  99
 100   Value *CreateBinOp(Instruction::BinaryOps Opc,
 101                      Constant *LHS, Constant *RHS) const {
 102     return BinaryOperator::Create(Opc, LHS, RHS);
 103   }
 104
 105   //===--------------------------------------------------------------------===//
 106   // Unary Operators
 107   //===--------------------------------------------------------------------===//
 108
 109   Value *CreateNeg(Constant *C) const {
 110     return BinaryOperator::CreateNeg(C);
 111   }
 112   Value *CreateNot(Constant *C) const {
 113     return BinaryOperator::CreateNot(C);
 114   }
 115
 116   //===--------------------------------------------------------------------===//
 117   // Memory Instructions
 118   //===--------------------------------------------------------------------===//
 119
 120   Constant *CreateGetElementPtr(Constant *C, Constant* const *IdxList,
 121                                 unsigned NumIdx) const {
 122     return ConstantExpr::getGetElementPtr(C, IdxList, NumIdx);
 123   }
 124   Value *CreateGetElementPtr(Constant *C, Value* const *IdxList,
 125                              unsigned NumIdx) const {
 126     return GetElementPtrInst::Create(C, IdxList, IdxList+NumIdx);
 127   }
 128
 129   //===--------------------------------------------------------------------===//
 130   // Cast/Conversion Operators
 131   //===--------------------------------------------------------------------===//
 132
 133   Value *CreateCast(Instruction::CastOps Op, Constant *C,
 134                     const Type *DestTy) const {
 135     return CastInst::Create(Op, C, DestTy);
 136   }
 137   Value *CreateIntCast(Constant *C, const Type *DestTy,
 138                        bool isSigned) const {
 139     return CastInst::CreateIntegerCast(C, DestTy, isSigned);
 140   }
 141
 142   //===--------------------------------------------------------------------===//
 143   // Compare Instructions
 144   //===--------------------------------------------------------------------===//
 145
 146   Value *CreateICmp(CmpInst::Predicate P, Constant *LHS, Constant *RHS) const {
 147     return new ICmpInst(P, LHS, RHS);
 148   }
 149   Value *CreateFCmp(CmpInst::Predicate P, Constant *LHS, Constant *RHS) const {
 150     return new FCmpInst(P, LHS, RHS);
 151   }
 152
 153   //===--------------------------------------------------------------------===//
 154   // Other Instructions
 155   //===--------------------------------------------------------------------===//
 156
 157   Value *CreateSelect(Constant *C, Constant *True, Constant *False) const {
 158     return SelectInst::Create(C, True, False);
 159   }
 160
 161   Value *CreateExtractElement(Constant *Vec, Constant *Idx) const {
 162     return new ExtractElementInst(Vec, Idx);
 163   }
 164
 165   Value *CreateInsertElement(Constant *Vec, Constant *NewElt,
 166                              Constant *Idx) const {
 167     return InsertElementInst::Create(Vec, NewElt, Idx);
 168   }
 169
 170   Value *CreateShuffleVector(Constant *V1, Constant *V2, Constant *Mask) const {
 171     return new ShuffleVectorInst(V1, V2, Mask);
 172   }
 173
 174   Value *CreateExtractValue(Constant *Agg, const unsigned *IdxList,
 175                             unsigned NumIdx) const {
 176     return ExtractValueInst::Create(Agg, IdxList, IdxList+NumIdx);
 177   }
 178
 179   Value *CreateInsertValue(Constant *Agg, Constant *Val,
 180                            const unsigned *IdxList, unsigned NumIdx) const {
 181     return InsertValueInst::Create(Agg, Val, IdxList, IdxList+NumIdx);
 182   }
 183 };
 184
 185 }
 186
 187 #endif