123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113 |
- #pragma once
- #ifdef __GNUC__
- #pragma GCC diagnostic push
- #pragma GCC diagnostic ignored "-Wunused-parameter"
- #endif
- //===- 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();
- //===--------------------------------------------------------------------===//
- // Value-based folders.
- //
- // Return an existing value or a constant if the operation can be simplified.
- // Otherwise return nullptr.
- //===--------------------------------------------------------------------===//
- virtual Value *FoldBinOp(Instruction::BinaryOps Opc, Value *LHS,
- Value *RHS) const = 0;
- virtual Value *FoldExactBinOp(Instruction::BinaryOps Opc, Value *LHS,
- Value *RHS, bool IsExact) const = 0;
- virtual Value *FoldNoWrapBinOp(Instruction::BinaryOps Opc, Value *LHS,
- Value *RHS, bool HasNUW,
- bool HasNSW) const = 0;
- virtual Value *FoldBinOpFMF(Instruction::BinaryOps Opc, Value *LHS,
- Value *RHS, FastMathFlags FMF) const = 0;
- virtual Value *FoldUnOpFMF(Instruction::UnaryOps Opc, Value *V,
- FastMathFlags FMF) const = 0;
- virtual Value *FoldICmp(CmpInst::Predicate P, Value *LHS,
- Value *RHS) const = 0;
- virtual Value *FoldGEP(Type *Ty, Value *Ptr, ArrayRef<Value *> IdxList,
- bool IsInBounds = false) const = 0;
- virtual Value *FoldSelect(Value *C, Value *True, Value *False) const = 0;
- virtual Value *FoldExtractValue(Value *Agg,
- ArrayRef<unsigned> IdxList) const = 0;
- virtual Value *FoldInsertValue(Value *Agg, Value *Val,
- ArrayRef<unsigned> IdxList) const = 0;
- virtual Value *FoldExtractElement(Value *Vec, Value *Idx) const = 0;
- virtual Value *FoldInsertElement(Value *Vec, Value *NewElt,
- Value *Idx) const = 0;
- virtual Value *FoldShuffleVector(Value *V1, Value *V2,
- ArrayRef<int> Mask) 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 *CreateFCmp(CmpInst::Predicate P, Constant *LHS,
- Constant *RHS) const = 0;
- };
- } // end namespace llvm
- #endif // LLVM_IR_IRBUILDERFOLDER_H
- #ifdef __GNUC__
- #pragma GCC diagnostic pop
- #endif
|