| //===- 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 |