123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196 |
- #pragma once
- #ifdef __GNUC__
- #pragma GCC diagnostic push
- #pragma GCC diagnostic ignored "-Wunused-parameter"
- #endif
- //===- InstSimplifyFolder.h - InstSimplify folding helper --------*- 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 the InstSimplifyFolder class, a helper for IRBuilder.
- // It provides IRBuilder with a set of methods for folding operations to
- // existing values using InstructionSimplify. At the moment, only a subset of
- // the implementation uses InstructionSimplify. The rest of the implementation
- // only folds constants.
- //
- // The folder also applies target-specific constant folding.
- //
- //===----------------------------------------------------------------------===//
- #ifndef LLVM_ANALYSIS_INSTSIMPLIFYFOLDER_H
- #define LLVM_ANALYSIS_INSTSIMPLIFYFOLDER_H
- #include "llvm/ADT/ArrayRef.h"
- #include "llvm/Analysis/InstructionSimplify.h"
- #include "llvm/Analysis/TargetFolder.h"
- #include "llvm/IR/IRBuilderFolder.h"
- #include "llvm/IR/Instruction.h"
- namespace llvm {
- class Constant;
- /// InstSimplifyFolder - Use InstructionSimplify to fold operations to existing
- /// values. Also applies target-specific constant folding when not using
- /// InstructionSimplify.
- class InstSimplifyFolder final : public IRBuilderFolder {
- TargetFolder ConstFolder;
- SimplifyQuery SQ;
- virtual void anchor();
- public:
- InstSimplifyFolder(const DataLayout &DL) : ConstFolder(DL), SQ(DL) {}
- //===--------------------------------------------------------------------===//
- // Value-based folders.
- //
- // Return an existing value or a constant if the operation can be simplified.
- // Otherwise return nullptr.
- //===--------------------------------------------------------------------===//
- Value *FoldBinOp(Instruction::BinaryOps Opc, Value *LHS,
- Value *RHS) const override {
- return simplifyBinOp(Opc, LHS, RHS, SQ);
- }
- Value *FoldExactBinOp(Instruction::BinaryOps Opc, Value *LHS, Value *RHS,
- bool IsExact) const override {
- return simplifyBinOp(Opc, LHS, RHS, SQ);
- }
- Value *FoldNoWrapBinOp(Instruction::BinaryOps Opc, Value *LHS, Value *RHS,
- bool HasNUW, bool HasNSW) const override {
- return simplifyBinOp(Opc, LHS, RHS, SQ);
- }
- Value *FoldBinOpFMF(Instruction::BinaryOps Opc, Value *LHS, Value *RHS,
- FastMathFlags FMF) const override {
- return simplifyBinOp(Opc, LHS, RHS, FMF, SQ);
- }
- Value *FoldUnOpFMF(Instruction::UnaryOps Opc, Value *V,
- FastMathFlags FMF) const override {
- return simplifyUnOp(Opc, V, FMF, SQ);
- }
- Value *FoldICmp(CmpInst::Predicate P, Value *LHS, Value *RHS) const override {
- return simplifyICmpInst(P, LHS, RHS, SQ);
- }
- Value *FoldGEP(Type *Ty, Value *Ptr, ArrayRef<Value *> IdxList,
- bool IsInBounds = false) const override {
- return simplifyGEPInst(Ty, Ptr, IdxList, IsInBounds, SQ);
- }
- Value *FoldSelect(Value *C, Value *True, Value *False) const override {
- return simplifySelectInst(C, True, False, SQ);
- }
- Value *FoldExtractValue(Value *Agg,
- ArrayRef<unsigned> IdxList) const override {
- return simplifyExtractValueInst(Agg, IdxList, SQ);
- };
- Value *FoldInsertValue(Value *Agg, Value *Val,
- ArrayRef<unsigned> IdxList) const override {
- return simplifyInsertValueInst(Agg, Val, IdxList, SQ);
- }
- Value *FoldExtractElement(Value *Vec, Value *Idx) const override {
- return simplifyExtractElementInst(Vec, Idx, SQ);
- }
- Value *FoldInsertElement(Value *Vec, Value *NewElt,
- Value *Idx) const override {
- return simplifyInsertElementInst(Vec, NewElt, Idx, SQ);
- }
- Value *FoldShuffleVector(Value *V1, Value *V2,
- ArrayRef<int> Mask) const override {
- Type *RetTy = VectorType::get(
- cast<VectorType>(V1->getType())->getElementType(), Mask.size(),
- isa<ScalableVectorType>(V1->getType()));
- return simplifyShuffleVectorInst(V1, V2, Mask, RetTy, SQ);
- }
- //===--------------------------------------------------------------------===//
- // Cast/Conversion Operators
- //===--------------------------------------------------------------------===//
- Value *CreateCast(Instruction::CastOps Op, Constant *C,
- Type *DestTy) const override {
- if (C->getType() == DestTy)
- return C; // avoid calling Fold
- return ConstFolder.CreateCast(Op, C, DestTy);
- }
- Value *CreateIntCast(Constant *C, Type *DestTy,
- bool isSigned) const override {
- if (C->getType() == DestTy)
- return C; // avoid calling Fold
- return ConstFolder.CreateIntCast(C, DestTy, isSigned);
- }
- Value *CreatePointerCast(Constant *C, Type *DestTy) const override {
- if (C->getType() == DestTy)
- return C; // avoid calling Fold
- return ConstFolder.CreatePointerCast(C, DestTy);
- }
- Value *CreateFPCast(Constant *C, Type *DestTy) const override {
- if (C->getType() == DestTy)
- return C; // avoid calling Fold
- return ConstFolder.CreateFPCast(C, DestTy);
- }
- Value *CreateBitCast(Constant *C, Type *DestTy) const override {
- return ConstFolder.CreateBitCast(C, DestTy);
- }
- Value *CreateIntToPtr(Constant *C, Type *DestTy) const override {
- return ConstFolder.CreateIntToPtr(C, DestTy);
- }
- Value *CreatePtrToInt(Constant *C, Type *DestTy) const override {
- return ConstFolder.CreatePtrToInt(C, DestTy);
- }
- Value *CreateZExtOrBitCast(Constant *C, Type *DestTy) const override {
- if (C->getType() == DestTy)
- return C; // avoid calling Fold
- return ConstFolder.CreateZExtOrBitCast(C, DestTy);
- }
- Value *CreateSExtOrBitCast(Constant *C, Type *DestTy) const override {
- if (C->getType() == DestTy)
- return C; // avoid calling Fold
- return ConstFolder.CreateSExtOrBitCast(C, DestTy);
- }
- Value *CreateTruncOrBitCast(Constant *C, Type *DestTy) const override {
- if (C->getType() == DestTy)
- return C; // avoid calling Fold
- return ConstFolder.CreateTruncOrBitCast(C, DestTy);
- }
- Value *CreatePointerBitCastOrAddrSpaceCast(Constant *C,
- Type *DestTy) const override {
- if (C->getType() == DestTy)
- return C; // avoid calling Fold
- return ConstFolder.CreatePointerBitCastOrAddrSpaceCast(C, DestTy);
- }
- //===--------------------------------------------------------------------===//
- // Compare Instructions
- //===--------------------------------------------------------------------===//
- Value *CreateFCmp(CmpInst::Predicate P, Constant *LHS,
- Constant *RHS) const override {
- return ConstFolder.CreateFCmp(P, LHS, RHS);
- }
- };
- } // end namespace llvm
- #endif // LLVM_ANALYSIS_INSTSIMPLIFYFOLDER_H
- #ifdef __GNUC__
- #pragma GCC diagnostic pop
- #endif
|