1 //===- VPlanValue.h - Represent Values in Vectorizer Plan -----------------===// 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 /// \file 10 /// This file contains the declarations of the entities induced by Vectorization 11 /// Plans, e.g. the instructions the VPlan intends to generate if executed. 12 /// VPlan models the following entities: 13 /// VPValue VPUser 14 /// | | 15 /// VPInstruction 16 /// These are documented in docs/VectorizationPlan.rst. 17 /// 18 //===----------------------------------------------------------------------===// 19 20 #ifndef LLVM_TRANSFORMS_VECTORIZE_VPLAN_VALUE_H 21 #define LLVM_TRANSFORMS_VECTORIZE_VPLAN_VALUE_H 22 23 #include "llvm/ADT/DenseMap.h" 24 #include "llvm/ADT/SmallVector.h" 25 #include "llvm/ADT/iterator_range.h" 26 27 namespace llvm { 28 29 // Forward declarations. 30 class raw_ostream; 31 class Value; 32 class VPSlotTracker; 33 class VPUser; 34 class VPRecipeBase; 35 36 // This is the base class of the VPlan Def/Use graph, used for modeling the data 37 // flow into, within and out of the VPlan. VPValues can stand for live-ins 38 // coming from the input IR, instructions which VPlan will generate if executed 39 // and live-outs which the VPlan will need to fix accordingly. 40 class VPValue { 41 friend class VPBuilder; 42 friend struct VPlanTransforms; 43 friend class VPBasicBlock; 44 friend class VPInterleavedAccessInfo; 45 friend class VPSlotTracker; 46 friend class VPRecipeBase; 47 48 const unsigned char SubclassID; ///< Subclass identifier (for isa/dyn_cast). 49 50 SmallVector<VPUser *, 1> Users; 51 52 protected: 53 // Hold the underlying Value, if any, attached to this VPValue. 54 Value *UnderlyingVal; 55 56 VPValue(const unsigned char SC, Value *UV = nullptr) 57 : SubclassID(SC), UnderlyingVal(UV) {} 58 59 // DESIGN PRINCIPLE: Access to the underlying IR must be strictly limited to 60 // the front-end and back-end of VPlan so that the middle-end is as 61 // independent as possible of the underlying IR. We grant access to the 62 // underlying IR using friendship. In that way, we should be able to use VPlan 63 // for multiple underlying IRs (Polly?) by providing a new VPlan front-end, 64 // back-end and analysis information for the new IR. 65 66 /// Return the underlying Value attached to this VPValue. 67 Value *getUnderlyingValue() { return UnderlyingVal; } 68 const Value *getUnderlyingValue() const { return UnderlyingVal; } 69 70 // Set \p Val as the underlying Value of this VPValue. 71 void setUnderlyingValue(Value *Val) { 72 assert(!UnderlyingVal && "Underlying Value is already set."); 73 UnderlyingVal = Val; 74 } 75 76 public: 77 /// An enumeration for keeping track of the concrete subclass of VPValue that 78 /// are actually instantiated. Values of this enumeration are kept in the 79 /// SubclassID field of the VPValue objects. They are used for concrete 80 /// type identification. 81 enum { VPValueSC, VPInstructionSC, VPMemoryInstructionSC }; 82 83 VPValue(Value *UV = nullptr) : VPValue(VPValueSC, UV) {} 84 VPValue(const VPValue &) = delete; 85 VPValue &operator=(const VPValue &) = delete; 86 87 virtual ~VPValue() { 88 assert(Users.empty() && "trying to delete a VPValue with remaining users"); 89 } 90 91 /// \return an ID for the concrete type of this object. 92 /// This is used to implement the classof checks. This should not be used 93 /// for any other purpose, as the values may change as LLVM evolves. 94 unsigned getVPValueID() const { return SubclassID; } 95 96 void printAsOperand(raw_ostream &OS, VPSlotTracker &Tracker) const; 97 void print(raw_ostream &OS, VPSlotTracker &Tracker) const; 98 99 /// Dump the value to stderr (for debugging). 100 void dump() const; 101 102 unsigned getNumUsers() const { return Users.size(); } 103 void addUser(VPUser &User) { Users.push_back(&User); } 104 105 /// Remove a single \p User from the list of users. 106 void removeUser(VPUser &User) { 107 bool Found = false; 108 // The same user can be added multiple times, e.g. because the same VPValue 109 // is used twice by the same VPUser. Remove a single one. 110 erase_if(Users, [&User, &Found](VPUser *Other) { 111 if (Found) 112 return false; 113 if (Other == &User) { 114 Found = true; 115 return true; 116 } 117 return false; 118 }); 119 } 120 121 typedef SmallVectorImpl<VPUser *>::iterator user_iterator; 122 typedef SmallVectorImpl<VPUser *>::const_iterator const_user_iterator; 123 typedef iterator_range<user_iterator> user_range; 124 typedef iterator_range<const_user_iterator> const_user_range; 125 126 user_iterator user_begin() { return Users.begin(); } 127 const_user_iterator user_begin() const { return Users.begin(); } 128 user_iterator user_end() { return Users.end(); } 129 const_user_iterator user_end() const { return Users.end(); } 130 user_range users() { return user_range(user_begin(), user_end()); } 131 const_user_range users() const { 132 return const_user_range(user_begin(), user_end()); 133 } 134 135 /// Returns true if the value has more than one unique user. 136 bool hasMoreThanOneUniqueUser() { 137 if (getNumUsers() == 0) 138 return false; 139 140 // Check if all users match the first user. 141 auto Current = std::next(user_begin()); 142 while (Current != user_end() && *user_begin() == *Current) 143 Current++; 144 return Current != user_end(); 145 } 146 147 void replaceAllUsesWith(VPValue *New); 148 }; 149 150 typedef DenseMap<Value *, VPValue *> Value2VPValueTy; 151 typedef DenseMap<VPValue *, Value *> VPValue2ValueTy; 152 153 raw_ostream &operator<<(raw_ostream &OS, const VPValue &V); 154 155 /// This class augments VPValue with operands which provide the inverse def-use 156 /// edges from VPValue's users to their defs. 157 class VPUser { 158 SmallVector<VPValue *, 2> Operands; 159 160 protected: 161 /// Print the operands to \p O. 162 void printOperands(raw_ostream &O, VPSlotTracker &SlotTracker) const; 163 164 public: 165 VPUser() {} 166 VPUser(ArrayRef<VPValue *> Operands) { 167 for (VPValue *Operand : Operands) 168 addOperand(Operand); 169 } 170 171 VPUser(std::initializer_list<VPValue *> Operands) 172 : VPUser(ArrayRef<VPValue *>(Operands)) {} 173 template <typename IterT> VPUser(iterator_range<IterT> Operands) { 174 for (VPValue *Operand : Operands) 175 addOperand(Operand); 176 } 177 178 VPUser(const VPUser &) = delete; 179 VPUser &operator=(const VPUser &) = delete; 180 virtual ~VPUser() { 181 for (VPValue *Op : operands()) 182 Op->removeUser(*this); 183 } 184 185 void addOperand(VPValue *Operand) { 186 Operands.push_back(Operand); 187 Operand->addUser(*this); 188 } 189 190 unsigned getNumOperands() const { return Operands.size(); } 191 inline VPValue *getOperand(unsigned N) const { 192 assert(N < Operands.size() && "Operand index out of bounds"); 193 return Operands[N]; 194 } 195 196 void setOperand(unsigned I, VPValue *New) { 197 Operands[I]->removeUser(*this); 198 Operands[I] = New; 199 New->addUser(*this); 200 } 201 202 typedef SmallVectorImpl<VPValue *>::iterator operand_iterator; 203 typedef SmallVectorImpl<VPValue *>::const_iterator const_operand_iterator; 204 typedef iterator_range<operand_iterator> operand_range; 205 typedef iterator_range<const_operand_iterator> const_operand_range; 206 207 operand_iterator op_begin() { return Operands.begin(); } 208 const_operand_iterator op_begin() const { return Operands.begin(); } 209 operand_iterator op_end() { return Operands.end(); } 210 const_operand_iterator op_end() const { return Operands.end(); } 211 operand_range operands() { return operand_range(op_begin(), op_end()); } 212 const_operand_range operands() const { 213 return const_operand_range(op_begin(), op_end()); 214 } 215 216 /// Method to support type inquiry through isa, cast, and dyn_cast. 217 static inline bool classof(const VPRecipeBase *Recipe); 218 }; 219 class VPlan; 220 class VPBasicBlock; 221 class VPRegionBlock; 222 223 /// This class can be used to assign consecutive numbers to all VPValues in a 224 /// VPlan and allows querying the numbering for printing, similar to the 225 /// ModuleSlotTracker for IR values. 226 class VPSlotTracker { 227 DenseMap<const VPValue *, unsigned> Slots; 228 unsigned NextSlot = 0; 229 230 void assignSlots(const VPBlockBase *VPBB); 231 void assignSlots(const VPRegionBlock *Region); 232 void assignSlots(const VPBasicBlock *VPBB); 233 void assignSlot(const VPValue *V); 234 235 void assignSlots(const VPlan &Plan); 236 237 public: 238 VPSlotTracker(const VPlan *Plan) { 239 if (Plan) 240 assignSlots(*Plan); 241 } 242 243 unsigned getSlot(const VPValue *V) const { 244 auto I = Slots.find(V); 245 if (I == Slots.end()) 246 return -1; 247 return I->second; 248 } 249 }; 250 251 } // namespace llvm 252 253 #endif // LLVM_TRANSFORMS_VECTORIZE_VPLAN_VALUE_H 254