Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //====- TargetFolder.h - Constant folding helper ---------------*- C++ -*-====// |
| 2 | // |
||
| 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
||
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
||
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
||
| 6 | // |
||
| 7 | //===----------------------------------------------------------------------===// |
||
| 8 | // |
||
| 9 | // This file defines the TargetFolder class, a helper for IRBuilder. |
||
| 10 | // It provides IRBuilder with a set of methods for creating constants with |
||
| 11 | // target dependent folding, in addition to the same target-independent |
||
| 12 | // folding that the ConstantFolder class provides. For general constant |
||
| 13 | // creation and folding, use ConstantExpr and the routines in |
||
| 14 | // llvm/Analysis/ConstantFolding.h. |
||
| 15 | // |
||
| 16 | //===----------------------------------------------------------------------===// |
||
| 17 | |||
| 18 | #ifndef LLVM_ANALYSIS_TARGETFOLDER_H |
||
| 19 | #define LLVM_ANALYSIS_TARGETFOLDER_H |
||
| 20 | |||
| 21 | #include "llvm/ADT/ArrayRef.h" |
||
| 22 | #include "llvm/Analysis/ConstantFolding.h" |
||
| 23 | #include "llvm/IR/Constants.h" |
||
| 24 | #include "llvm/IR/IRBuilderFolder.h" |
||
| 25 | #include "llvm/IR/Operator.h" |
||
| 26 | |||
| 27 | namespace llvm { |
||
| 28 | |||
| 29 | class Constant; |
||
| 30 | class DataLayout; |
||
| 31 | class Type; |
||
| 32 | |||
| 33 | /// TargetFolder - Create constants with target dependent folding. |
||
| 34 | class TargetFolder final : public IRBuilderFolder { |
||
| 35 | const DataLayout &DL; |
||
| 36 | |||
| 37 | /// Fold - Fold the constant using target specific information. |
||
| 38 | Constant *Fold(Constant *C) const { |
||
| 39 | return ConstantFoldConstant(C, DL); |
||
| 40 | } |
||
| 41 | |||
| 42 | virtual void anchor(); |
||
| 43 | |||
| 44 | public: |
||
| 45 | explicit TargetFolder(const DataLayout &DL) : DL(DL) {} |
||
| 46 | |||
| 47 | //===--------------------------------------------------------------------===// |
||
| 48 | // Value-based folders. |
||
| 49 | // |
||
| 50 | // Return an existing value or a constant if the operation can be simplified. |
||
| 51 | // Otherwise return nullptr. |
||
| 52 | //===--------------------------------------------------------------------===// |
||
| 53 | |||
| 54 | Value *FoldBinOp(Instruction::BinaryOps Opc, Value *LHS, |
||
| 55 | Value *RHS) const override { |
||
| 56 | auto *LC = dyn_cast<Constant>(LHS); |
||
| 57 | auto *RC = dyn_cast<Constant>(RHS); |
||
| 58 | if (LC && RC) { |
||
| 59 | if (ConstantExpr::isDesirableBinOp(Opc)) |
||
| 60 | return Fold(ConstantExpr::get(Opc, LC, RC)); |
||
| 61 | return ConstantFoldBinaryOpOperands(Opc, LC, RC, DL); |
||
| 62 | } |
||
| 63 | return nullptr; |
||
| 64 | } |
||
| 65 | |||
| 66 | Value *FoldExactBinOp(Instruction::BinaryOps Opc, Value *LHS, Value *RHS, |
||
| 67 | bool IsExact) const override { |
||
| 68 | auto *LC = dyn_cast<Constant>(LHS); |
||
| 69 | auto *RC = dyn_cast<Constant>(RHS); |
||
| 70 | if (LC && RC) { |
||
| 71 | if (ConstantExpr::isDesirableBinOp(Opc)) |
||
| 72 | return Fold(ConstantExpr::get( |
||
| 73 | Opc, LC, RC, IsExact ? PossiblyExactOperator::IsExact : 0)); |
||
| 74 | return ConstantFoldBinaryOpOperands(Opc, LC, RC, DL); |
||
| 75 | } |
||
| 76 | return nullptr; |
||
| 77 | } |
||
| 78 | |||
| 79 | Value *FoldNoWrapBinOp(Instruction::BinaryOps Opc, Value *LHS, Value *RHS, |
||
| 80 | bool HasNUW, bool HasNSW) const override { |
||
| 81 | auto *LC = dyn_cast<Constant>(LHS); |
||
| 82 | auto *RC = dyn_cast<Constant>(RHS); |
||
| 83 | if (LC && RC) { |
||
| 84 | if (ConstantExpr::isDesirableBinOp(Opc)) { |
||
| 85 | unsigned Flags = 0; |
||
| 86 | if (HasNUW) |
||
| 87 | Flags |= OverflowingBinaryOperator::NoUnsignedWrap; |
||
| 88 | if (HasNSW) |
||
| 89 | Flags |= OverflowingBinaryOperator::NoSignedWrap; |
||
| 90 | return Fold(ConstantExpr::get(Opc, LC, RC, Flags)); |
||
| 91 | } |
||
| 92 | return ConstantFoldBinaryOpOperands(Opc, LC, RC, DL); |
||
| 93 | } |
||
| 94 | return nullptr; |
||
| 95 | } |
||
| 96 | |||
| 97 | Value *FoldBinOpFMF(Instruction::BinaryOps Opc, Value *LHS, Value *RHS, |
||
| 98 | FastMathFlags FMF) const override { |
||
| 99 | return FoldBinOp(Opc, LHS, RHS); |
||
| 100 | } |
||
| 101 | |||
| 102 | Value *FoldICmp(CmpInst::Predicate P, Value *LHS, Value *RHS) const override { |
||
| 103 | auto *LC = dyn_cast<Constant>(LHS); |
||
| 104 | auto *RC = dyn_cast<Constant>(RHS); |
||
| 105 | if (LC && RC) |
||
| 106 | return Fold(ConstantExpr::getCompare(P, LC, RC)); |
||
| 107 | return nullptr; |
||
| 108 | } |
||
| 109 | |||
| 110 | Value *FoldUnOpFMF(Instruction::UnaryOps Opc, Value *V, |
||
| 111 | FastMathFlags FMF) const override { |
||
| 112 | if (Constant *C = dyn_cast<Constant>(V)) |
||
| 113 | return ConstantFoldUnaryOpOperand(Opc, C, DL); |
||
| 114 | return nullptr; |
||
| 115 | } |
||
| 116 | |||
| 117 | Value *FoldGEP(Type *Ty, Value *Ptr, ArrayRef<Value *> IdxList, |
||
| 118 | bool IsInBounds = false) const override { |
||
| 119 | if (auto *PC = dyn_cast<Constant>(Ptr)) { |
||
| 120 | // Every index must be constant. |
||
| 121 | if (any_of(IdxList, [](Value *V) { return !isa<Constant>(V); })) |
||
| 122 | return nullptr; |
||
| 123 | if (IsInBounds) |
||
| 124 | return Fold(ConstantExpr::getInBoundsGetElementPtr(Ty, PC, IdxList)); |
||
| 125 | else |
||
| 126 | return Fold(ConstantExpr::getGetElementPtr(Ty, PC, IdxList)); |
||
| 127 | } |
||
| 128 | return nullptr; |
||
| 129 | } |
||
| 130 | |||
| 131 | Value *FoldSelect(Value *C, Value *True, Value *False) const override { |
||
| 132 | auto *CC = dyn_cast<Constant>(C); |
||
| 133 | auto *TC = dyn_cast<Constant>(True); |
||
| 134 | auto *FC = dyn_cast<Constant>(False); |
||
| 135 | if (CC && TC && FC) |
||
| 136 | return Fold(ConstantExpr::getSelect(CC, TC, FC)); |
||
| 137 | |||
| 138 | return nullptr; |
||
| 139 | } |
||
| 140 | |||
| 141 | Value *FoldExtractValue(Value *Agg, |
||
| 142 | ArrayRef<unsigned> IdxList) const override { |
||
| 143 | if (auto *CAgg = dyn_cast<Constant>(Agg)) |
||
| 144 | return ConstantFoldExtractValueInstruction(CAgg, IdxList); |
||
| 145 | return nullptr; |
||
| 146 | }; |
||
| 147 | |||
| 148 | Value *FoldInsertValue(Value *Agg, Value *Val, |
||
| 149 | ArrayRef<unsigned> IdxList) const override { |
||
| 150 | auto *CAgg = dyn_cast<Constant>(Agg); |
||
| 151 | auto *CVal = dyn_cast<Constant>(Val); |
||
| 152 | if (CAgg && CVal) |
||
| 153 | return ConstantFoldInsertValueInstruction(CAgg, CVal, IdxList); |
||
| 154 | return nullptr; |
||
| 155 | } |
||
| 156 | |||
| 157 | Value *FoldExtractElement(Value *Vec, Value *Idx) const override { |
||
| 158 | auto *CVec = dyn_cast<Constant>(Vec); |
||
| 159 | auto *CIdx = dyn_cast<Constant>(Idx); |
||
| 160 | if (CVec && CIdx) |
||
| 161 | return Fold(ConstantExpr::getExtractElement(CVec, CIdx)); |
||
| 162 | return nullptr; |
||
| 163 | } |
||
| 164 | |||
| 165 | Value *FoldInsertElement(Value *Vec, Value *NewElt, |
||
| 166 | Value *Idx) const override { |
||
| 167 | auto *CVec = dyn_cast<Constant>(Vec); |
||
| 168 | auto *CNewElt = dyn_cast<Constant>(NewElt); |
||
| 169 | auto *CIdx = dyn_cast<Constant>(Idx); |
||
| 170 | if (CVec && CNewElt && CIdx) |
||
| 171 | return Fold(ConstantExpr::getInsertElement(CVec, CNewElt, CIdx)); |
||
| 172 | return nullptr; |
||
| 173 | } |
||
| 174 | |||
| 175 | Value *FoldShuffleVector(Value *V1, Value *V2, |
||
| 176 | ArrayRef<int> Mask) const override { |
||
| 177 | auto *C1 = dyn_cast<Constant>(V1); |
||
| 178 | auto *C2 = dyn_cast<Constant>(V2); |
||
| 179 | if (C1 && C2) |
||
| 180 | return Fold(ConstantExpr::getShuffleVector(C1, C2, Mask)); |
||
| 181 | return nullptr; |
||
| 182 | } |
||
| 183 | |||
| 184 | //===--------------------------------------------------------------------===// |
||
| 185 | // Cast/Conversion Operators |
||
| 186 | //===--------------------------------------------------------------------===// |
||
| 187 | |||
| 188 | Constant *CreateCast(Instruction::CastOps Op, Constant *C, |
||
| 189 | Type *DestTy) const override { |
||
| 190 | if (C->getType() == DestTy) |
||
| 191 | return C; // avoid calling Fold |
||
| 192 | return Fold(ConstantExpr::getCast(Op, C, DestTy)); |
||
| 193 | } |
||
| 194 | Constant *CreateIntCast(Constant *C, Type *DestTy, |
||
| 195 | bool isSigned) const override { |
||
| 196 | if (C->getType() == DestTy) |
||
| 197 | return C; // avoid calling Fold |
||
| 198 | return Fold(ConstantExpr::getIntegerCast(C, DestTy, isSigned)); |
||
| 199 | } |
||
| 200 | Constant *CreatePointerCast(Constant *C, Type *DestTy) const override { |
||
| 201 | if (C->getType() == DestTy) |
||
| 202 | return C; // avoid calling Fold |
||
| 203 | return Fold(ConstantExpr::getPointerCast(C, DestTy)); |
||
| 204 | } |
||
| 205 | Constant *CreateFPCast(Constant *C, Type *DestTy) const override { |
||
| 206 | if (C->getType() == DestTy) |
||
| 207 | return C; // avoid calling Fold |
||
| 208 | return Fold(ConstantExpr::getFPCast(C, DestTy)); |
||
| 209 | } |
||
| 210 | Constant *CreateBitCast(Constant *C, Type *DestTy) const override { |
||
| 211 | return CreateCast(Instruction::BitCast, C, DestTy); |
||
| 212 | } |
||
| 213 | Constant *CreateIntToPtr(Constant *C, Type *DestTy) const override { |
||
| 214 | return CreateCast(Instruction::IntToPtr, C, DestTy); |
||
| 215 | } |
||
| 216 | Constant *CreatePtrToInt(Constant *C, Type *DestTy) const override { |
||
| 217 | return CreateCast(Instruction::PtrToInt, C, DestTy); |
||
| 218 | } |
||
| 219 | Constant *CreateZExtOrBitCast(Constant *C, Type *DestTy) const override { |
||
| 220 | if (C->getType() == DestTy) |
||
| 221 | return C; // avoid calling Fold |
||
| 222 | return Fold(ConstantExpr::getZExtOrBitCast(C, DestTy)); |
||
| 223 | } |
||
| 224 | Constant *CreateSExtOrBitCast(Constant *C, Type *DestTy) const override { |
||
| 225 | if (C->getType() == DestTy) |
||
| 226 | return C; // avoid calling Fold |
||
| 227 | return Fold(ConstantExpr::getSExtOrBitCast(C, DestTy)); |
||
| 228 | } |
||
| 229 | Constant *CreateTruncOrBitCast(Constant *C, Type *DestTy) const override { |
||
| 230 | if (C->getType() == DestTy) |
||
| 231 | return C; // avoid calling Fold |
||
| 232 | return Fold(ConstantExpr::getTruncOrBitCast(C, DestTy)); |
||
| 233 | } |
||
| 234 | |||
| 235 | Constant *CreatePointerBitCastOrAddrSpaceCast(Constant *C, |
||
| 236 | Type *DestTy) const override { |
||
| 237 | if (C->getType() == DestTy) |
||
| 238 | return C; // avoid calling Fold |
||
| 239 | return Fold(ConstantExpr::getPointerBitCastOrAddrSpaceCast(C, DestTy)); |
||
| 240 | } |
||
| 241 | |||
| 242 | //===--------------------------------------------------------------------===// |
||
| 243 | // Compare Instructions |
||
| 244 | //===--------------------------------------------------------------------===// |
||
| 245 | |||
| 246 | Constant *CreateFCmp(CmpInst::Predicate P, Constant *LHS, |
||
| 247 | Constant *RHS) const override { |
||
| 248 | return Fold(ConstantExpr::getCompare(P, LHS, RHS)); |
||
| 249 | } |
||
| 250 | }; |
||
| 251 | |||
| 252 | } |
||
| 253 | |||
| 254 | #endif |