MemoryDependenceAnalysis.h 22 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561
  1. //===- llvm/Analysis/MemoryDependenceAnalysis.h - Memory Deps ---*- 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 MemoryDependenceAnalysis analysis pass.
  10. //
  11. //===----------------------------------------------------------------------===//
  12. #ifndef LLVM_ANALYSIS_MEMORYDEPENDENCEANALYSIS_H
  13. #define LLVM_ANALYSIS_MEMORYDEPENDENCEANALYSIS_H
  14. #include "llvm/ADT/DenseMap.h"
  15. #include "llvm/ADT/Optional.h"
  16. #include "llvm/ADT/PointerEmbeddedInt.h"
  17. #include "llvm/ADT/PointerIntPair.h"
  18. #include "llvm/ADT/PointerSumType.h"
  19. #include "llvm/ADT/SmallPtrSet.h"
  20. #include "llvm/Analysis/MemoryLocation.h"
  21. #include "llvm/IR/BasicBlock.h"
  22. #include "llvm/IR/Metadata.h"
  23. #include "llvm/IR/PassManager.h"
  24. #include "llvm/IR/PredIteratorCache.h"
  25. #include "llvm/IR/ValueHandle.h"
  26. #include "llvm/Pass.h"
  27. #include "llvm/Support/ErrorHandling.h"
  28. #include <cassert>
  29. #include <cstdint>
  30. #include <utility>
  31. #include <vector>
  32. namespace llvm {
  33. class AAResults;
  34. class AssumptionCache;
  35. class BatchAAResults;
  36. class DominatorTree;
  37. class Function;
  38. class Instruction;
  39. class LoadInst;
  40. class PHITransAddr;
  41. class TargetLibraryInfo;
  42. class PhiValues;
  43. class Value;
  44. /// A memory dependence query can return one of three different answers.
  45. class MemDepResult {
  46. enum DepType {
  47. /// Clients of MemDep never see this.
  48. ///
  49. /// Entries with this marker occur in a LocalDeps map or NonLocalDeps map
  50. /// when the instruction they previously referenced was removed from
  51. /// MemDep. In either case, the entry may include an instruction pointer.
  52. /// If so, the pointer is an instruction in the block where scanning can
  53. /// start from, saving some work.
  54. ///
  55. /// In a default-constructed MemDepResult object, the type will be Invalid
  56. /// and the instruction pointer will be null.
  57. Invalid = 0,
  58. /// This is a dependence on the specified instruction which clobbers the
  59. /// desired value. The pointer member of the MemDepResult pair holds the
  60. /// instruction that clobbers the memory. For example, this occurs when we
  61. /// see a may-aliased store to the memory location we care about.
  62. ///
  63. /// There are several cases that may be interesting here:
  64. /// 1. Loads are clobbered by may-alias stores.
  65. /// 2. Loads are considered clobbered by partially-aliased loads. The
  66. /// client may choose to analyze deeper into these cases.
  67. Clobber,
  68. /// This is a dependence on the specified instruction which defines or
  69. /// produces the desired memory location. The pointer member of the
  70. /// MemDepResult pair holds the instruction that defines the memory.
  71. ///
  72. /// Cases of interest:
  73. /// 1. This could be a load or store for dependence queries on
  74. /// load/store. The value loaded or stored is the produced value.
  75. /// Note that the pointer operand may be different than that of the
  76. /// queried pointer due to must aliases and phi translation. Note
  77. /// that the def may not be the same type as the query, the pointers
  78. /// may just be must aliases.
  79. /// 2. For loads and stores, this could be an allocation instruction. In
  80. /// this case, the load is loading an undef value or a store is the
  81. /// first store to (that part of) the allocation.
  82. /// 3. Dependence queries on calls return Def only when they are readonly
  83. /// calls or memory use intrinsics with identical callees and no
  84. /// intervening clobbers. No validation is done that the operands to
  85. /// the calls are the same.
  86. Def,
  87. /// This marker indicates that the query has no known dependency in the
  88. /// specified block.
  89. ///
  90. /// More detailed state info is encoded in the upper part of the pair (i.e.
  91. /// the Instruction*)
  92. Other
  93. };
  94. /// If DepType is "Other", the upper part of the sum type is an encoding of
  95. /// the following more detailed type information.
  96. enum OtherType {
  97. /// This marker indicates that the query has no dependency in the specified
  98. /// block.
  99. ///
  100. /// To find out more, the client should query other predecessor blocks.
  101. NonLocal = 1,
  102. /// This marker indicates that the query has no dependency in the specified
  103. /// function.
  104. NonFuncLocal,
  105. /// This marker indicates that the query dependency is unknown.
  106. Unknown
  107. };
  108. using ValueTy = PointerSumType<
  109. DepType, PointerSumTypeMember<Invalid, Instruction *>,
  110. PointerSumTypeMember<Clobber, Instruction *>,
  111. PointerSumTypeMember<Def, Instruction *>,
  112. PointerSumTypeMember<Other, PointerEmbeddedInt<OtherType, 3>>>;
  113. ValueTy Value;
  114. explicit MemDepResult(ValueTy V) : Value(V) {}
  115. public:
  116. MemDepResult() = default;
  117. /// get methods: These are static ctor methods for creating various
  118. /// MemDepResult kinds.
  119. static MemDepResult getDef(Instruction *Inst) {
  120. assert(Inst && "Def requires inst");
  121. return MemDepResult(ValueTy::create<Def>(Inst));
  122. }
  123. static MemDepResult getClobber(Instruction *Inst) {
  124. assert(Inst && "Clobber requires inst");
  125. return MemDepResult(ValueTy::create<Clobber>(Inst));
  126. }
  127. static MemDepResult getNonLocal() {
  128. return MemDepResult(ValueTy::create<Other>(NonLocal));
  129. }
  130. static MemDepResult getNonFuncLocal() {
  131. return MemDepResult(ValueTy::create<Other>(NonFuncLocal));
  132. }
  133. static MemDepResult getUnknown() {
  134. return MemDepResult(ValueTy::create<Other>(Unknown));
  135. }
  136. /// Tests if this MemDepResult represents a query that is an instruction
  137. /// clobber dependency.
  138. bool isClobber() const { return Value.is<Clobber>(); }
  139. /// Tests if this MemDepResult represents a query that is an instruction
  140. /// definition dependency.
  141. bool isDef() const { return Value.is<Def>(); }
  142. /// Tests if this MemDepResult represents a query that is transparent to the
  143. /// start of the block, but where a non-local hasn't been done.
  144. bool isNonLocal() const {
  145. return Value.is<Other>() && Value.cast<Other>() == NonLocal;
  146. }
  147. /// Tests if this MemDepResult represents a query that is transparent to the
  148. /// start of the function.
  149. bool isNonFuncLocal() const {
  150. return Value.is<Other>() && Value.cast<Other>() == NonFuncLocal;
  151. }
  152. /// Tests if this MemDepResult represents a query which cannot and/or will
  153. /// not be computed.
  154. bool isUnknown() const {
  155. return Value.is<Other>() && Value.cast<Other>() == Unknown;
  156. }
  157. /// If this is a normal dependency, returns the instruction that is depended
  158. /// on. Otherwise, returns null.
  159. Instruction *getInst() const {
  160. switch (Value.getTag()) {
  161. case Invalid:
  162. return Value.cast<Invalid>();
  163. case Clobber:
  164. return Value.cast<Clobber>();
  165. case Def:
  166. return Value.cast<Def>();
  167. case Other:
  168. return nullptr;
  169. }
  170. llvm_unreachable("Unknown discriminant!");
  171. }
  172. bool operator==(const MemDepResult &M) const { return Value == M.Value; }
  173. bool operator!=(const MemDepResult &M) const { return Value != M.Value; }
  174. bool operator<(const MemDepResult &M) const { return Value < M.Value; }
  175. bool operator>(const MemDepResult &M) const { return Value > M.Value; }
  176. private:
  177. friend class MemoryDependenceResults;
  178. /// Tests if this is a MemDepResult in its dirty/invalid. state.
  179. bool isDirty() const { return Value.is<Invalid>(); }
  180. static MemDepResult getDirty(Instruction *Inst) {
  181. return MemDepResult(ValueTy::create<Invalid>(Inst));
  182. }
  183. };
  184. /// This is an entry in the NonLocalDepInfo cache.
  185. ///
  186. /// For each BasicBlock (the BB entry) it keeps a MemDepResult.
  187. class NonLocalDepEntry {
  188. BasicBlock *BB;
  189. MemDepResult Result;
  190. public:
  191. NonLocalDepEntry(BasicBlock *bb, MemDepResult result)
  192. : BB(bb), Result(result) {}
  193. // This is used for searches.
  194. NonLocalDepEntry(BasicBlock *bb) : BB(bb) {}
  195. // BB is the sort key, it can't be changed.
  196. BasicBlock *getBB() const { return BB; }
  197. void setResult(const MemDepResult &R) { Result = R; }
  198. const MemDepResult &getResult() const { return Result; }
  199. bool operator<(const NonLocalDepEntry &RHS) const { return BB < RHS.BB; }
  200. };
  201. /// This is a result from a NonLocal dependence query.
  202. ///
  203. /// For each BasicBlock (the BB entry) it keeps a MemDepResult and the
  204. /// (potentially phi translated) address that was live in the block.
  205. class NonLocalDepResult {
  206. NonLocalDepEntry Entry;
  207. Value *Address;
  208. public:
  209. NonLocalDepResult(BasicBlock *bb, MemDepResult result, Value *address)
  210. : Entry(bb, result), Address(address) {}
  211. // BB is the sort key, it can't be changed.
  212. BasicBlock *getBB() const { return Entry.getBB(); }
  213. void setResult(const MemDepResult &R, Value *Addr) {
  214. Entry.setResult(R);
  215. Address = Addr;
  216. }
  217. const MemDepResult &getResult() const { return Entry.getResult(); }
  218. /// Returns the address of this pointer in this block.
  219. ///
  220. /// This can be different than the address queried for the non-local result
  221. /// because of phi translation. This returns null if the address was not
  222. /// available in a block (i.e. because phi translation failed) or if this is
  223. /// a cached result and that address was deleted.
  224. ///
  225. /// The address is always null for a non-local 'call' dependence.
  226. Value *getAddress() const { return Address; }
  227. };
  228. /// Provides a lazy, caching interface for making common memory aliasing
  229. /// information queries, backed by LLVM's alias analysis passes.
  230. ///
  231. /// The dependency information returned is somewhat unusual, but is pragmatic.
  232. /// If queried about a store or call that might modify memory, the analysis
  233. /// will return the instruction[s] that may either load from that memory or
  234. /// store to it. If queried with a load or call that can never modify memory,
  235. /// the analysis will return calls and stores that might modify the pointer,
  236. /// but generally does not return loads unless a) they are volatile, or
  237. /// b) they load from *must-aliased* pointers. Returning a dependence on
  238. /// must-alias'd pointers instead of all pointers interacts well with the
  239. /// internal caching mechanism.
  240. class MemoryDependenceResults {
  241. // A map from instructions to their dependency.
  242. using LocalDepMapType = DenseMap<Instruction *, MemDepResult>;
  243. LocalDepMapType LocalDeps;
  244. public:
  245. using NonLocalDepInfo = std::vector<NonLocalDepEntry>;
  246. private:
  247. /// A pair<Value*, bool> where the bool is true if the dependence is a read
  248. /// only dependence, false if read/write.
  249. using ValueIsLoadPair = PointerIntPair<const Value *, 1, bool>;
  250. /// This pair is used when caching information for a block.
  251. ///
  252. /// If the pointer is null, the cache value is not a full query that starts
  253. /// at the specified block. If non-null, the bool indicates whether or not
  254. /// the contents of the block was skipped.
  255. using BBSkipFirstBlockPair = PointerIntPair<BasicBlock *, 1, bool>;
  256. /// This record is the information kept for each (value, is load) pair.
  257. struct NonLocalPointerInfo {
  258. /// The pair of the block and the skip-first-block flag.
  259. BBSkipFirstBlockPair Pair;
  260. /// The results of the query for each relevant block.
  261. NonLocalDepInfo NonLocalDeps;
  262. /// The maximum size of the dereferences of the pointer.
  263. ///
  264. /// May be UnknownSize if the sizes are unknown.
  265. LocationSize Size = LocationSize::afterPointer();
  266. /// The AA tags associated with dereferences of the pointer.
  267. ///
  268. /// The members may be null if there are no tags or conflicting tags.
  269. AAMDNodes AATags;
  270. NonLocalPointerInfo() = default;
  271. };
  272. /// Cache storing single nonlocal def for the instruction.
  273. /// It is set when nonlocal def would be found in function returning only
  274. /// local dependencies.
  275. DenseMap<AssertingVH<const Value>, NonLocalDepResult> NonLocalDefsCache;
  276. using ReverseNonLocalDefsCacheTy =
  277. DenseMap<Instruction *, SmallPtrSet<const Value*, 4>>;
  278. ReverseNonLocalDefsCacheTy ReverseNonLocalDefsCache;
  279. /// This map stores the cached results of doing a pointer lookup at the
  280. /// bottom of a block.
  281. ///
  282. /// The key of this map is the pointer+isload bit, the value is a list of
  283. /// <bb->result> mappings.
  284. using CachedNonLocalPointerInfo =
  285. DenseMap<ValueIsLoadPair, NonLocalPointerInfo>;
  286. CachedNonLocalPointerInfo NonLocalPointerDeps;
  287. // A map from instructions to their non-local pointer dependencies.
  288. using ReverseNonLocalPtrDepTy =
  289. DenseMap<Instruction *, SmallPtrSet<ValueIsLoadPair, 4>>;
  290. ReverseNonLocalPtrDepTy ReverseNonLocalPtrDeps;
  291. /// This is the instruction we keep for each cached access that we have for
  292. /// an instruction.
  293. ///
  294. /// The pointer is an owning pointer and the bool indicates whether we have
  295. /// any dirty bits in the set.
  296. using PerInstNLInfo = std::pair<NonLocalDepInfo, bool>;
  297. // A map from instructions to their non-local dependencies.
  298. using NonLocalDepMapType = DenseMap<Instruction *, PerInstNLInfo>;
  299. NonLocalDepMapType NonLocalDeps;
  300. // A reverse mapping from dependencies to the dependees. This is
  301. // used when removing instructions to keep the cache coherent.
  302. using ReverseDepMapType =
  303. DenseMap<Instruction *, SmallPtrSet<Instruction *, 4>>;
  304. ReverseDepMapType ReverseLocalDeps;
  305. // A reverse mapping from dependencies to the non-local dependees.
  306. ReverseDepMapType ReverseNonLocalDeps;
  307. /// Current AA implementation, just a cache.
  308. AAResults &AA;
  309. AssumptionCache &AC;
  310. const TargetLibraryInfo &TLI;
  311. DominatorTree &DT;
  312. PhiValues &PV;
  313. PredIteratorCache PredCache;
  314. unsigned DefaultBlockScanLimit;
  315. /// Offsets to dependant clobber loads.
  316. using ClobberOffsetsMapType = DenseMap<LoadInst *, int32_t>;
  317. ClobberOffsetsMapType ClobberOffsets;
  318. public:
  319. MemoryDependenceResults(AAResults &AA, AssumptionCache &AC,
  320. const TargetLibraryInfo &TLI, DominatorTree &DT,
  321. PhiValues &PV, unsigned DefaultBlockScanLimit)
  322. : AA(AA), AC(AC), TLI(TLI), DT(DT), PV(PV),
  323. DefaultBlockScanLimit(DefaultBlockScanLimit) {}
  324. /// Handle invalidation in the new PM.
  325. bool invalidate(Function &F, const PreservedAnalyses &PA,
  326. FunctionAnalysisManager::Invalidator &Inv);
  327. /// Some methods limit the number of instructions they will examine.
  328. /// The return value of this method is the default limit that will be
  329. /// used if no limit is explicitly passed in.
  330. unsigned getDefaultBlockScanLimit() const;
  331. /// Returns the instruction on which a memory operation depends.
  332. ///
  333. /// See the class comment for more details. It is illegal to call this on
  334. /// non-memory instructions.
  335. MemDepResult getDependency(Instruction *QueryInst);
  336. /// Perform a full dependency query for the specified call, returning the set
  337. /// of blocks that the value is potentially live across.
  338. ///
  339. /// The returned set of results will include a "NonLocal" result for all
  340. /// blocks where the value is live across.
  341. ///
  342. /// This method assumes the instruction returns a "NonLocal" dependency
  343. /// within its own block.
  344. ///
  345. /// This returns a reference to an internal data structure that may be
  346. /// invalidated on the next non-local query or when an instruction is
  347. /// removed. Clients must copy this data if they want it around longer than
  348. /// that.
  349. const NonLocalDepInfo &getNonLocalCallDependency(CallBase *QueryCall);
  350. /// Perform a full dependency query for an access to the QueryInst's
  351. /// specified memory location, returning the set of instructions that either
  352. /// define or clobber the value.
  353. ///
  354. /// Warning: For a volatile query instruction, the dependencies will be
  355. /// accurate, and thus usable for reordering, but it is never legal to
  356. /// remove the query instruction.
  357. ///
  358. /// This method assumes the pointer has a "NonLocal" dependency within
  359. /// QueryInst's parent basic block.
  360. void getNonLocalPointerDependency(Instruction *QueryInst,
  361. SmallVectorImpl<NonLocalDepResult> &Result);
  362. /// Removes an instruction from the dependence analysis, updating the
  363. /// dependence of instructions that previously depended on it.
  364. void removeInstruction(Instruction *InstToRemove);
  365. /// Invalidates cached information about the specified pointer, because it
  366. /// may be too conservative in memdep.
  367. ///
  368. /// This is an optional call that can be used when the client detects an
  369. /// equivalence between the pointer and some other value and replaces the
  370. /// other value with ptr. This can make Ptr available in more places that
  371. /// cached info does not necessarily keep.
  372. void invalidateCachedPointerInfo(Value *Ptr);
  373. /// Clears the PredIteratorCache info.
  374. ///
  375. /// This needs to be done when the CFG changes, e.g., due to splitting
  376. /// critical edges.
  377. void invalidateCachedPredecessors();
  378. /// Returns the instruction on which a memory location depends.
  379. ///
  380. /// If isLoad is true, this routine ignores may-aliases with read-only
  381. /// operations. If isLoad is false, this routine ignores may-aliases
  382. /// with reads from read-only locations. If possible, pass the query
  383. /// instruction as well; this function may take advantage of the metadata
  384. /// annotated to the query instruction to refine the result. \p Limit
  385. /// can be used to set the maximum number of instructions that will be
  386. /// examined to find the pointer dependency. On return, it will be set to
  387. /// the number of instructions left to examine. If a null pointer is passed
  388. /// in, the limit will default to the value of -memdep-block-scan-limit.
  389. ///
  390. /// Note that this is an uncached query, and thus may be inefficient.
  391. MemDepResult getPointerDependencyFrom(const MemoryLocation &Loc, bool isLoad,
  392. BasicBlock::iterator ScanIt,
  393. BasicBlock *BB,
  394. Instruction *QueryInst = nullptr,
  395. unsigned *Limit = nullptr);
  396. MemDepResult getPointerDependencyFrom(const MemoryLocation &Loc, bool isLoad,
  397. BasicBlock::iterator ScanIt,
  398. BasicBlock *BB,
  399. Instruction *QueryInst,
  400. unsigned *Limit,
  401. BatchAAResults &BatchAA);
  402. MemDepResult
  403. getSimplePointerDependencyFrom(const MemoryLocation &MemLoc, bool isLoad,
  404. BasicBlock::iterator ScanIt, BasicBlock *BB,
  405. Instruction *QueryInst, unsigned *Limit,
  406. BatchAAResults &BatchAA);
  407. /// This analysis looks for other loads and stores with invariant.group
  408. /// metadata and the same pointer operand. Returns Unknown if it does not
  409. /// find anything, and Def if it can be assumed that 2 instructions load or
  410. /// store the same value and NonLocal which indicate that non-local Def was
  411. /// found, which can be retrieved by calling getNonLocalPointerDependency
  412. /// with the same queried instruction.
  413. MemDepResult getInvariantGroupPointerDependency(LoadInst *LI, BasicBlock *BB);
  414. /// Release memory in caches.
  415. void releaseMemory();
  416. /// Return the clobber offset to dependent instruction.
  417. Optional<int32_t> getClobberOffset(LoadInst *DepInst) const {
  418. const auto Off = ClobberOffsets.find(DepInst);
  419. if (Off != ClobberOffsets.end())
  420. return Off->getSecond();
  421. return None;
  422. }
  423. private:
  424. MemDepResult getCallDependencyFrom(CallBase *Call, bool isReadOnlyCall,
  425. BasicBlock::iterator ScanIt,
  426. BasicBlock *BB);
  427. bool getNonLocalPointerDepFromBB(Instruction *QueryInst,
  428. const PHITransAddr &Pointer,
  429. const MemoryLocation &Loc, bool isLoad,
  430. BasicBlock *BB,
  431. SmallVectorImpl<NonLocalDepResult> &Result,
  432. DenseMap<BasicBlock *, Value *> &Visited,
  433. bool SkipFirstBlock = false,
  434. bool IsIncomplete = false);
  435. MemDepResult GetNonLocalInfoForBlock(Instruction *QueryInst,
  436. const MemoryLocation &Loc, bool isLoad,
  437. BasicBlock *BB, NonLocalDepInfo *Cache,
  438. unsigned NumSortedEntries,
  439. BatchAAResults &BatchAA);
  440. void RemoveCachedNonLocalPointerDependencies(ValueIsLoadPair P);
  441. void verifyRemoved(Instruction *Inst) const;
  442. };
  443. /// An analysis that produces \c MemoryDependenceResults for a function.
  444. ///
  445. /// This is essentially a no-op because the results are computed entirely
  446. /// lazily.
  447. class MemoryDependenceAnalysis
  448. : public AnalysisInfoMixin<MemoryDependenceAnalysis> {
  449. friend AnalysisInfoMixin<MemoryDependenceAnalysis>;
  450. static AnalysisKey Key;
  451. unsigned DefaultBlockScanLimit;
  452. public:
  453. using Result = MemoryDependenceResults;
  454. MemoryDependenceAnalysis();
  455. MemoryDependenceAnalysis(unsigned DefaultBlockScanLimit) : DefaultBlockScanLimit(DefaultBlockScanLimit) { }
  456. MemoryDependenceResults run(Function &F, FunctionAnalysisManager &AM);
  457. };
  458. /// A wrapper analysis pass for the legacy pass manager that exposes a \c
  459. /// MemoryDepnedenceResults instance.
  460. class MemoryDependenceWrapperPass : public FunctionPass {
  461. Optional<MemoryDependenceResults> MemDep;
  462. public:
  463. static char ID;
  464. MemoryDependenceWrapperPass();
  465. ~MemoryDependenceWrapperPass() override;
  466. /// Pass Implementation stuff. This doesn't do any analysis eagerly.
  467. bool runOnFunction(Function &) override;
  468. /// Clean up memory in between runs
  469. void releaseMemory() override;
  470. /// Does not modify anything. It uses Value Numbering and Alias Analysis.
  471. void getAnalysisUsage(AnalysisUsage &AU) const override;
  472. MemoryDependenceResults &getMemDep() { return *MemDep; }
  473. };
  474. } // end namespace llvm
  475. #endif // LLVM_ANALYSIS_MEMORYDEPENDENCEANALYSIS_H