1 //===- MemoryLocation.h - Memory location descriptions ----------*- 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 /// \file 9 /// This file provides utility analysis objects describing memory locations. 10 /// These are used both by the Alias Analysis infrastructure and more 11 /// specialized memory analysis layers. 12 /// 13 //===----------------------------------------------------------------------===// 14 15 #ifndef LLVM_ANALYSIS_MEMORYLOCATION_H 16 #define LLVM_ANALYSIS_MEMORYLOCATION_H 17 18 #include "llvm/ADT/DenseMapInfo.h" 19 #include "llvm/IR/Metadata.h" 20 #include "llvm/Support/TypeSize.h" 21 22 #include <optional> 23 24 namespace llvm { 25 26 class CallBase; 27 class Instruction; 28 class LoadInst; 29 class StoreInst; 30 class MemTransferInst; 31 class MemIntrinsic; 32 class AtomicCmpXchgInst; 33 class AtomicMemTransferInst; 34 class AtomicMemIntrinsic; 35 class AtomicRMWInst; 36 class AnyMemTransferInst; 37 class AnyMemIntrinsic; 38 class TargetLibraryInfo; 39 class VAArgInst; 40 class Value; 41 42 // Represents the size of a MemoryLocation. Logically, it's an 43 // std::optional<uint63_t> that also carries a bit to represent whether the 44 // integer it contains, N, is 'precise'. Precise, in this context, means that we 45 // know that the area of storage referenced by the given MemoryLocation must be 46 // precisely N bytes. An imprecise value is formed as the union of two or more 47 // precise values, and can conservatively represent all of the values unioned 48 // into it. Importantly, imprecise values are an *upper-bound* on the size of a 49 // MemoryLocation. 50 // 51 // Concretely, a precise MemoryLocation is (%p, 4) in 52 // store i32 0, i32* %p 53 // 54 // Since we know that %p must be at least 4 bytes large at this point. 55 // Otherwise, we have UB. An example of an imprecise MemoryLocation is (%p, 4) 56 // at the memcpy in 57 // 58 // %n = select i1 %foo, i64 1, i64 4 59 // call void @llvm.memcpy.p0i8.p0i8.i64(i8* %p, i8* %baz, i64 %n, i32 1, 60 // i1 false) 61 // 62 // ...Since we'll copy *up to* 4 bytes into %p, but we can't guarantee that 63 // we'll ever actually do so. 64 // 65 // If asked to represent a pathologically large value, this will degrade to 66 // std::nullopt. 67 // Store Scalable information in bit 62 of Value. Scalable information is 68 // required to do Alias Analysis on Scalable quantities 69 class LocationSize { 70 enum : uint64_t { 71 BeforeOrAfterPointer = ~uint64_t(0), 72 ScalableBit = uint64_t(1) << 62, 73 AfterPointer = (BeforeOrAfterPointer - 1) & ~ScalableBit, 74 MapEmpty = BeforeOrAfterPointer - 2, 75 MapTombstone = BeforeOrAfterPointer - 3, 76 ImpreciseBit = uint64_t(1) << 63, 77 78 // The maximum value we can represent without falling back to 'unknown'. 79 MaxValue = (MapTombstone - 1) & ~(ImpreciseBit | ScalableBit), 80 }; 81 82 uint64_t Value; 83 84 // Hack to support implicit construction. This should disappear when the 85 // public LocationSize ctor goes away. 86 enum DirectConstruction { Direct }; 87 LocationSize(uint64_t Raw,DirectConstruction)88 constexpr LocationSize(uint64_t Raw, DirectConstruction) : Value(Raw) {} LocationSize(uint64_t Raw,bool Scalable)89 constexpr LocationSize(uint64_t Raw, bool Scalable) 90 : Value(Raw > MaxValue ? AfterPointer 91 : Raw | (Scalable ? ScalableBit : uint64_t(0))) {} 92 93 static_assert(AfterPointer & ImpreciseBit, 94 "AfterPointer is imprecise by definition."); 95 static_assert(BeforeOrAfterPointer & ImpreciseBit, 96 "BeforeOrAfterPointer is imprecise by definition."); 97 static_assert(~(MaxValue & ScalableBit), "Max value don't have bit 62 set"); 98 99 public: 100 // FIXME: Migrate all users to construct via either `precise` or `upperBound`, 101 // to make it more obvious at the callsite the kind of size that they're 102 // providing. 103 // 104 // Since the overwhelming majority of users of this provide precise values, 105 // this assumes the provided value is precise. LocationSize(uint64_t Raw)106 constexpr LocationSize(uint64_t Raw) 107 : Value(Raw > MaxValue ? AfterPointer : Raw) {} 108 // Create non-scalable LocationSize precise(uint64_t Value)109 static LocationSize precise(uint64_t Value) { 110 return LocationSize(Value, false /*Scalable*/); 111 } precise(TypeSize Value)112 static LocationSize precise(TypeSize Value) { 113 return LocationSize(Value.getKnownMinValue(), Value.isScalable()); 114 } 115 upperBound(uint64_t Value)116 static LocationSize upperBound(uint64_t Value) { 117 // You can't go lower than 0, so give a precise result. 118 if (LLVM_UNLIKELY(Value == 0)) 119 return precise(0); 120 if (LLVM_UNLIKELY(Value > MaxValue)) 121 return afterPointer(); 122 return LocationSize(Value | ImpreciseBit, Direct); 123 } upperBound(TypeSize Value)124 static LocationSize upperBound(TypeSize Value) { 125 if (Value.isScalable()) 126 return afterPointer(); 127 return upperBound(Value.getFixedValue()); 128 } 129 130 /// Any location after the base pointer (but still within the underlying 131 /// object). afterPointer()132 constexpr static LocationSize afterPointer() { 133 return LocationSize(AfterPointer, Direct); 134 } 135 136 /// Any location before or after the base pointer (but still within the 137 /// underlying object). beforeOrAfterPointer()138 constexpr static LocationSize beforeOrAfterPointer() { 139 return LocationSize(BeforeOrAfterPointer, Direct); 140 } 141 142 // Sentinel values, generally used for maps. mapTombstone()143 constexpr static LocationSize mapTombstone() { 144 return LocationSize(MapTombstone, Direct); 145 } mapEmpty()146 constexpr static LocationSize mapEmpty() { 147 return LocationSize(MapEmpty, Direct); 148 } 149 150 // Returns a LocationSize that can correctly represent either `*this` or 151 // `Other`. unionWith(LocationSize Other)152 LocationSize unionWith(LocationSize Other) const { 153 if (Other == *this) 154 return *this; 155 156 if (Value == BeforeOrAfterPointer || Other.Value == BeforeOrAfterPointer) 157 return beforeOrAfterPointer(); 158 if (Value == AfterPointer || Other.Value == AfterPointer) 159 return afterPointer(); 160 if (isScalable() || Other.isScalable()) 161 return afterPointer(); 162 163 return upperBound(std::max(getValue(), Other.getValue())); 164 } 165 hasValue()166 bool hasValue() const { 167 return Value != AfterPointer && Value != BeforeOrAfterPointer; 168 } isScalable()169 bool isScalable() const { return (Value & ScalableBit); } 170 getValue()171 TypeSize getValue() const { 172 assert(hasValue() && "Getting value from an unknown LocationSize!"); 173 assert((Value & ~(ImpreciseBit | ScalableBit)) < MaxValue && 174 "Scalable bit of value should be masked"); 175 return {Value & ~(ImpreciseBit | ScalableBit), isScalable()}; 176 } 177 178 // Returns whether or not this value is precise. Note that if a value is 179 // precise, it's guaranteed to not be unknown. isPrecise()180 bool isPrecise() const { return (Value & ImpreciseBit) == 0; } 181 182 // Convenience method to check if this LocationSize's value is 0. isZero()183 bool isZero() const { 184 return hasValue() && getValue().getKnownMinValue() == 0; 185 } 186 187 /// Whether accesses before the base pointer are possible. mayBeBeforePointer()188 bool mayBeBeforePointer() const { return Value == BeforeOrAfterPointer; } 189 190 bool operator==(const LocationSize &Other) const { 191 return Value == Other.Value; 192 } 193 194 bool operator==(const TypeSize &Other) const { 195 return hasValue() && getValue() == Other; 196 } 197 198 bool operator!=(const LocationSize &Other) const { return !(*this == Other); } 199 200 bool operator!=(const TypeSize &Other) const { return !(*this == Other); } 201 202 // Ordering operators are not provided, since it's unclear if there's only one 203 // reasonable way to compare: 204 // - values that don't exist against values that do, and 205 // - precise values to imprecise values 206 207 void print(raw_ostream &OS) const; 208 209 // Returns an opaque value that represents this LocationSize. Cannot be 210 // reliably converted back into a LocationSize. toRaw()211 uint64_t toRaw() const { return Value; } 212 }; 213 214 inline raw_ostream &operator<<(raw_ostream &OS, LocationSize Size) { 215 Size.print(OS); 216 return OS; 217 } 218 219 /// Representation for a specific memory location. 220 /// 221 /// This abstraction can be used to represent a specific location in memory. 222 /// The goal of the location is to represent enough information to describe 223 /// abstract aliasing, modification, and reference behaviors of whatever 224 /// value(s) are stored in memory at the particular location. 225 /// 226 /// The primary user of this interface is LLVM's Alias Analysis, but other 227 /// memory analyses such as MemoryDependence can use it as well. 228 class MemoryLocation { 229 public: 230 /// UnknownSize - This is a special value which can be used with the 231 /// size arguments in alias queries to indicate that the caller does not 232 /// know the sizes of the potential memory references. 233 enum : uint64_t { UnknownSize = ~UINT64_C(0) }; 234 235 /// The address of the start of the location. 236 const Value *Ptr; 237 238 /// The maximum size of the location, in address-units, or 239 /// UnknownSize if the size is not known. 240 /// 241 /// Note that an unknown size does not mean the pointer aliases the entire 242 /// virtual address space, because there are restrictions on stepping out of 243 /// one object and into another. See 244 /// http://llvm.org/docs/LangRef.html#pointeraliasing 245 LocationSize Size; 246 247 /// The metadata nodes which describes the aliasing of the location (each 248 /// member is null if that kind of information is unavailable). 249 AAMDNodes AATags; 250 print(raw_ostream & OS)251 void print(raw_ostream &OS) const { OS << *Ptr << " " << Size << "\n"; } 252 253 /// Return a location with information about the memory reference by the given 254 /// instruction. 255 static MemoryLocation get(const LoadInst *LI); 256 static MemoryLocation get(const StoreInst *SI); 257 static MemoryLocation get(const VAArgInst *VI); 258 static MemoryLocation get(const AtomicCmpXchgInst *CXI); 259 static MemoryLocation get(const AtomicRMWInst *RMWI); get(const Instruction * Inst)260 static MemoryLocation get(const Instruction *Inst) { 261 return *MemoryLocation::getOrNone(Inst); 262 } 263 static std::optional<MemoryLocation> getOrNone(const Instruction *Inst); 264 265 /// Return a location representing the source of a memory transfer. 266 static MemoryLocation getForSource(const MemTransferInst *MTI); 267 static MemoryLocation getForSource(const AtomicMemTransferInst *MTI); 268 static MemoryLocation getForSource(const AnyMemTransferInst *MTI); 269 270 /// Return a location representing the destination of a memory set or 271 /// transfer. 272 static MemoryLocation getForDest(const MemIntrinsic *MI); 273 static MemoryLocation getForDest(const AtomicMemIntrinsic *MI); 274 static MemoryLocation getForDest(const AnyMemIntrinsic *MI); 275 static std::optional<MemoryLocation> getForDest(const CallBase *CI, 276 const TargetLibraryInfo &TLI); 277 278 /// Return a location representing a particular argument of a call. 279 static MemoryLocation getForArgument(const CallBase *Call, unsigned ArgIdx, 280 const TargetLibraryInfo *TLI); getForArgument(const CallBase * Call,unsigned ArgIdx,const TargetLibraryInfo & TLI)281 static MemoryLocation getForArgument(const CallBase *Call, unsigned ArgIdx, 282 const TargetLibraryInfo &TLI) { 283 return getForArgument(Call, ArgIdx, &TLI); 284 } 285 286 /// Return a location that may access any location after Ptr, while remaining 287 /// within the underlying object. 288 static MemoryLocation getAfter(const Value *Ptr, 289 const AAMDNodes &AATags = AAMDNodes()) { 290 return MemoryLocation(Ptr, LocationSize::afterPointer(), AATags); 291 } 292 293 /// Return a location that may access any location before or after Ptr, while 294 /// remaining within the underlying object. 295 static MemoryLocation 296 getBeforeOrAfter(const Value *Ptr, const AAMDNodes &AATags = AAMDNodes()) { 297 return MemoryLocation(Ptr, LocationSize::beforeOrAfterPointer(), AATags); 298 } 299 MemoryLocation()300 MemoryLocation() : Ptr(nullptr), Size(LocationSize::beforeOrAfterPointer()) {} 301 302 explicit MemoryLocation(const Value *Ptr, LocationSize Size, 303 const AAMDNodes &AATags = AAMDNodes()) Ptr(Ptr)304 : Ptr(Ptr), Size(Size), AATags(AATags) {} 305 getWithNewPtr(const Value * NewPtr)306 MemoryLocation getWithNewPtr(const Value *NewPtr) const { 307 MemoryLocation Copy(*this); 308 Copy.Ptr = NewPtr; 309 return Copy; 310 } 311 getWithNewSize(LocationSize NewSize)312 MemoryLocation getWithNewSize(LocationSize NewSize) const { 313 MemoryLocation Copy(*this); 314 Copy.Size = NewSize; 315 return Copy; 316 } 317 getWithoutAATags()318 MemoryLocation getWithoutAATags() const { 319 MemoryLocation Copy(*this); 320 Copy.AATags = AAMDNodes(); 321 return Copy; 322 } 323 324 bool operator==(const MemoryLocation &Other) const { 325 return Ptr == Other.Ptr && Size == Other.Size && AATags == Other.AATags; 326 } 327 }; 328 329 // Specialize DenseMapInfo. 330 template <> struct DenseMapInfo<LocationSize> { 331 static inline LocationSize getEmptyKey() { return LocationSize::mapEmpty(); } 332 static inline LocationSize getTombstoneKey() { 333 return LocationSize::mapTombstone(); 334 } 335 static unsigned getHashValue(const LocationSize &Val) { 336 return DenseMapInfo<uint64_t>::getHashValue(Val.toRaw()); 337 } 338 static bool isEqual(const LocationSize &LHS, const LocationSize &RHS) { 339 return LHS == RHS; 340 } 341 }; 342 343 template <> struct DenseMapInfo<MemoryLocation> { 344 static inline MemoryLocation getEmptyKey() { 345 return MemoryLocation(DenseMapInfo<const Value *>::getEmptyKey(), 346 DenseMapInfo<LocationSize>::getEmptyKey()); 347 } 348 static inline MemoryLocation getTombstoneKey() { 349 return MemoryLocation(DenseMapInfo<const Value *>::getTombstoneKey(), 350 DenseMapInfo<LocationSize>::getTombstoneKey()); 351 } 352 static unsigned getHashValue(const MemoryLocation &Val) { 353 return DenseMapInfo<const Value *>::getHashValue(Val.Ptr) ^ 354 DenseMapInfo<LocationSize>::getHashValue(Val.Size) ^ 355 DenseMapInfo<AAMDNodes>::getHashValue(Val.AATags); 356 } 357 static bool isEqual(const MemoryLocation &LHS, const MemoryLocation &RHS) { 358 return LHS == RHS; 359 } 360 }; 361 } // namespace llvm 362 363 #endif 364