diff options
Diffstat (limited to 'llvm/include/llvm/IR/IRBuilderFolder.h')
-rw-r--r-- | llvm/include/llvm/IR/IRBuilderFolder.h | 141 |
1 files changed, 141 insertions, 0 deletions
diff --git a/llvm/include/llvm/IR/IRBuilderFolder.h b/llvm/include/llvm/IR/IRBuilderFolder.h new file mode 100644 index 000000000000..e781e8e094af --- /dev/null +++ b/llvm/include/llvm/IR/IRBuilderFolder.h @@ -0,0 +1,141 @@ +//===- IRBuilderFolder.h - Const folder interface for IRBuilder -*- C++ -*-===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// +// +// This file defines for constant folding interface used by IRBuilder. +// It is implemented by ConstantFolder (default), TargetFolder and NoFoler. +// +//===----------------------------------------------------------------------===// + +#ifndef LLVM_IR_IRBUILDERFOLDER_H +#define LLVM_IR_IRBUILDERFOLDER_H + +#include "llvm/ADT/ArrayRef.h" +#include "llvm/IR/InstrTypes.h" +#include "llvm/IR/Instruction.h" + +namespace llvm { + +/// IRBuilderFolder - Interface for constant folding in IRBuilder. +class IRBuilderFolder { +public: + virtual ~IRBuilderFolder(); + + //===--------------------------------------------------------------------===// + // Binary Operators + //===--------------------------------------------------------------------===// + + virtual Value *CreateAdd(Constant *LHS, Constant *RHS, + bool HasNUW = false, bool HasNSW = false) const = 0; + virtual Value *CreateFAdd(Constant *LHS, Constant *RHS) const = 0; + virtual Value *CreateSub(Constant *LHS, Constant *RHS, + bool HasNUW = false, bool HasNSW = false) const = 0; + virtual Value *CreateFSub(Constant *LHS, Constant *RHS) const = 0; + virtual Value *CreateMul(Constant *LHS, Constant *RHS, + bool HasNUW = false, bool HasNSW = false) const = 0; + virtual Value *CreateFMul(Constant *LHS, Constant *RHS) const = 0; + virtual Value *CreateUDiv(Constant *LHS, Constant *RHS, + bool isExact = false) const = 0; + virtual Value *CreateSDiv(Constant *LHS, Constant *RHS, + bool isExact = false) const = 0; + virtual Value *CreateFDiv(Constant *LHS, Constant *RHS) const = 0; + virtual Value *CreateURem(Constant *LHS, Constant *RHS) const = 0; + virtual Value *CreateSRem(Constant *LHS, Constant *RHS) const = 0; + virtual Value *CreateFRem(Constant *LHS, Constant *RHS) const = 0; + virtual Value *CreateShl(Constant *LHS, Constant *RHS, + bool HasNUW = false, bool HasNSW = false) const = 0; + virtual Value *CreateLShr(Constant *LHS, Constant *RHS, + bool isExact = false) const = 0; + virtual Value *CreateAShr(Constant *LHS, Constant *RHS, + bool isExact = false) const = 0; + virtual Value *CreateAnd(Constant *LHS, Constant *RHS) const = 0; + virtual Value *CreateOr(Constant *LHS, Constant *RHS) const = 0; + virtual Value *CreateXor(Constant *LHS, Constant *RHS) const = 0; + virtual Value *CreateBinOp(Instruction::BinaryOps Opc, + Constant *LHS, Constant *RHS) const = 0; + + //===--------------------------------------------------------------------===// + // Unary Operators + //===--------------------------------------------------------------------===// + + virtual Value *CreateNeg(Constant *C, + bool HasNUW = false, bool HasNSW = false) const = 0; + virtual Value *CreateFNeg(Constant *C) const = 0; + virtual Value *CreateNot(Constant *C) const = 0; + virtual Value *CreateUnOp(Instruction::UnaryOps Opc, Constant *C) const = 0; + + //===--------------------------------------------------------------------===// + // Memory Instructions + //===--------------------------------------------------------------------===// + + virtual Value *CreateGetElementPtr(Type *Ty, Constant *C, + ArrayRef<Constant *> IdxList) const = 0; + // This form of the function only exists to avoid ambiguous overload + // warnings about whether to convert Idx to ArrayRef<Constant *> or + // ArrayRef<Value *>. + virtual Value *CreateGetElementPtr(Type *Ty, Constant *C, + Constant *Idx) const = 0; + virtual Value *CreateGetElementPtr(Type *Ty, Constant *C, + ArrayRef<Value *> IdxList) const = 0; + virtual Value *CreateInBoundsGetElementPtr( + Type *Ty, Constant *C, ArrayRef<Constant *> IdxList) const = 0; + // This form of the function only exists to avoid ambiguous overload + // warnings about whether to convert Idx to ArrayRef<Constant *> or + // ArrayRef<Value *>. + virtual Value *CreateInBoundsGetElementPtr(Type *Ty, Constant *C, + Constant *Idx) const = 0; + virtual Value *CreateInBoundsGetElementPtr( + Type *Ty, Constant *C, ArrayRef<Value *> IdxList) const = 0; + + //===--------------------------------------------------------------------===// + // Cast/Conversion Operators + //===--------------------------------------------------------------------===// + + virtual Value *CreateCast(Instruction::CastOps Op, Constant *C, + Type *DestTy) const = 0; + virtual Value *CreatePointerCast(Constant *C, Type *DestTy) const = 0; + virtual Value *CreatePointerBitCastOrAddrSpaceCast(Constant *C, + Type *DestTy) const = 0; + virtual Value *CreateIntCast(Constant *C, Type *DestTy, + bool isSigned) const = 0; + virtual Value *CreateFPCast(Constant *C, Type *DestTy) const = 0; + virtual Value *CreateBitCast(Constant *C, Type *DestTy) const = 0; + virtual Value *CreateIntToPtr(Constant *C, Type *DestTy) const = 0; + virtual Value *CreatePtrToInt(Constant *C, Type *DestTy) const = 0; + virtual Value *CreateZExtOrBitCast(Constant *C, Type *DestTy) const = 0; + virtual Value *CreateSExtOrBitCast(Constant *C, Type *DestTy) const = 0; + virtual Value *CreateTruncOrBitCast(Constant *C, Type *DestTy) const = 0; + + //===--------------------------------------------------------------------===// + // Compare Instructions + //===--------------------------------------------------------------------===// + + virtual Value *CreateICmp(CmpInst::Predicate P, Constant *LHS, + Constant *RHS) const = 0; + virtual Value *CreateFCmp(CmpInst::Predicate P, Constant *LHS, + Constant *RHS) const = 0; + + //===--------------------------------------------------------------------===// + // Other Instructions + //===--------------------------------------------------------------------===// + + virtual Value *CreateSelect(Constant *C, Constant *True, + Constant *False) const = 0; + virtual Value *CreateExtractElement(Constant *Vec, Constant *Idx) const = 0; + virtual Value *CreateInsertElement(Constant *Vec, Constant *NewElt, + Constant *Idx) const = 0; + virtual Value *CreateShuffleVector(Constant *V1, Constant *V2, + ArrayRef<int> Mask) const = 0; + virtual Value *CreateExtractValue(Constant *Agg, + ArrayRef<unsigned> IdxList) const = 0; + virtual Value *CreateInsertValue(Constant *Agg, Constant *Val, + ArrayRef<unsigned> IdxList) const = 0; +}; + +} // end namespace llvm + +#endif // LLVM_IR_IRBUILDERFOLDER_H |