summaryrefslogtreecommitdiff
path: root/lib/Transforms
diff options
context:
space:
mode:
authorDuncan Sands <baldrick@free.fr>2008-09-19 08:23:44 +0000
committerDuncan Sands <baldrick@free.fr>2008-09-19 08:23:44 +0000
commitacdb2eeb45ba6d9e71d0e0d0c5a0d82183422345 (patch)
tree427d2ef29db1206690c617932675caf3e1610443 /lib/Transforms
parent9f07a290b92a8ff06dfb9f3c28d6aa082217d9a6 (diff)
downloadllvm-acdb2eeb45ba6d9e71d0e0d0c5a0d82183422345.tar.gz
llvm-acdb2eeb45ba6d9e71d0e0d0c5a0d82183422345.tar.bz2
llvm-acdb2eeb45ba6d9e71d0e0d0c5a0d82183422345.tar.xz
Remove the MarkModRef pass (use AddReadAttrs instead).
Unfortunately this means removing one regression test of GlobalsModRef because I couldn't work out how to perform it without MarkModRef. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@56342 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Transforms')
-rw-r--r--lib/Transforms/Scalar/MarkModRef.cpp69
1 files changed, 0 insertions, 69 deletions
diff --git a/lib/Transforms/Scalar/MarkModRef.cpp b/lib/Transforms/Scalar/MarkModRef.cpp
deleted file mode 100644
index 5e83ee9310..0000000000
--- a/lib/Transforms/Scalar/MarkModRef.cpp
+++ /dev/null
@@ -1,69 +0,0 @@
-//===--------- MarkModRef.cpp - Mark functions readnone/readonly ----------===//
-//
-// The LLVM Compiler Infrastructure
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===//
-//
-// This pass marks functions readnone/readonly based on the results of alias
-// analysis. This requires a sufficiently powerful alias analysis, such as
-// GlobalsModRef (invoke as "opt ... -globalsmodref-aa -markmodref ...").
-//
-//===----------------------------------------------------------------------===//
-
-#define DEBUG_TYPE "markmodref"
-#include "llvm/ADT/Statistic.h"
-#include "llvm/Analysis/AliasAnalysis.h"
-#include "llvm/Support/Compiler.h"
-#include "llvm/Transforms/Scalar.h"
-#include "llvm/Function.h"
-#include "llvm/Pass.h"
-using namespace llvm;
-
-STATISTIC(NumReadNone, "Number of functions marked readnone");
-STATISTIC(NumReadOnly, "Number of functions marked readonly");
-
-namespace {
- struct VISIBILITY_HIDDEN MarkModRef : public FunctionPass {
- static char ID; // Pass identification, replacement for typeid
- MarkModRef() : FunctionPass(&ID) {}
-
- bool runOnFunction(Function &F);
-
- virtual void getAnalysisUsage(AnalysisUsage &AU) const {
- AU.setPreservesCFG();
- AU.addRequired<AliasAnalysis>();
- AU.addPreserved<AliasAnalysis>();
- }
- };
-}
-
-char MarkModRef::ID = 0;
-static RegisterPass<MarkModRef>
-X("markmodref", "Mark functions readnone/readonly");
-
-bool MarkModRef::runOnFunction(Function &F) {
- // FIXME: Wrong for functions with weak linkage.
- if (F.doesNotAccessMemory())
- // Cannot do better.
- return false;
-
- AliasAnalysis &AA = getAnalysis<AliasAnalysis>();
- AliasAnalysis::ModRefBehavior ModRef = AA.getModRefBehavior(&F);
- if (ModRef == AliasAnalysis::DoesNotAccessMemory) {
- F.setDoesNotAccessMemory();
- NumReadNone++;
- return true;
- } else if (ModRef == AliasAnalysis::OnlyReadsMemory && !F.onlyReadsMemory()) {
- F.setOnlyReadsMemory();
- NumReadOnly++;
- return true;
- }
- return false;
-}
-
-FunctionPass *llvm::createMarkModRefPass() {
- return new MarkModRef();
-}