lib/Analysis/NoAliasAnalysis.cpp

   1 //===- NoAliasAnalysis.cpp - Minimal Alias Analysis Impl ------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // This file defines the default implementation of the Alias Analysis interface
  11 // that simply returns "I don't know" for all queries.
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15 #include "llvm/Analysis/Passes.h"
  16 #include "llvm/Analysis/AliasAnalysis.h"
  17 #include "llvm/IR/DataLayout.h"
  18 #include "llvm/IR/LLVMContext.h"
  19 #include "llvm/IR/Module.h"
  20 #include "llvm/Pass.h"
  21 using namespace llvm;
  22
  23 namespace {
  24   /// NoAA - This class implements the -no-aa pass, which always returns "I
  25   /// don't know" for alias queries.  NoAA is unlike other alias analysis
  26   /// implementations, in that it does not chain to a previous analysis.  As
  27   /// such it doesn't follow many of the rules that other alias analyses must.
  28   ///
  29   struct NoAA : public ImmutablePass, public AliasAnalysis {
  30     static char ID; // Class identification, replacement for typeinfo
  31     NoAA() : ImmutablePass(ID) {
  32       initializeNoAAPass(*PassRegistry::getPassRegistry());
  33     }
  34
  35     void getAnalysisUsage(AnalysisUsage &AU) const override {}
  36
  37     bool doInitialization(Module &M) override {
  38       // Note: NoAA does not call InitializeAliasAnalysis because it's
  39       // special and does not support chaining.
  40       DL = &M.getDataLayout();
  41       return true;
  42     }
  43
  44     AliasResult alias(const MemoryLocation &LocA,
  45                       const MemoryLocation &LocB) override {
  46       return MayAlias;
  47     }
  48
  49     ModRefBehavior getModRefBehavior(ImmutableCallSite CS) override {
  50       return UnknownModRefBehavior;
  51     }
  52     ModRefBehavior getModRefBehavior(const Function *F) override {
  53       return UnknownModRefBehavior;
  54     }
  55
  56     bool pointsToConstantMemory(const MemoryLocation &Loc,
  57                                 bool OrLocal) override {
  58       return false;
  59     }
  60     ModRefResult getArgModRefInfo(ImmutableCallSite CS,
  61                                   unsigned ArgIdx) override {
  62       return ModRef;
  63     }
  64
  65     ModRefResult getModRefInfo(ImmutableCallSite CS,
  66                                const MemoryLocation &Loc) override {
  67       return ModRef;
  68     }
  69     ModRefResult getModRefInfo(ImmutableCallSite CS1,
  70                                ImmutableCallSite CS2) override {
  71       return ModRef;
  72     }
  73
  74     /// getAdjustedAnalysisPointer - This method is used when a pass implements
  75     /// an analysis interface through multiple inheritance.  If needed, it
  76     /// should override this to adjust the this pointer as needed for the
  77     /// specified pass info.
  78     void *getAdjustedAnalysisPointer(const void *ID) override {
  79       if (ID == &AliasAnalysis::ID)
  80         return (AliasAnalysis*)this;
  81       return this;
  82     }
  83   };
  84 }  // End of anonymous namespace
  85
  86 // Register this pass...
  87 char NoAA::ID = 0;
  88 INITIALIZE_AG_PASS(NoAA, AliasAnalysis, "no-aa",
  89                    "No Alias Analysis (always returns 'may' alias)",
  90                    true, true, true)
  91
  92 ImmutablePass *llvm::createNoAAPass() { return new NoAA(); }