From 310077034a85a6fb1435c6c891cecc0fafcda1a6 Mon Sep 17 00:00:00 2001 From: Duncan Sands Date: Fri, 19 Sep 2008 08:23:44 +0000 Subject: 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. llvm-svn: 56342 --- llvm/lib/Transforms/Scalar/MarkModRef.cpp | 69 ------------------------------- 1 file changed, 69 deletions(-) delete mode 100644 llvm/lib/Transforms/Scalar/MarkModRef.cpp (limited to 'llvm/lib/Transforms/Scalar/MarkModRef.cpp') diff --git a/llvm/lib/Transforms/Scalar/MarkModRef.cpp b/llvm/lib/Transforms/Scalar/MarkModRef.cpp deleted file mode 100644 index 5e83ee93103..00000000000 --- a/llvm/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(); - AU.addPreserved(); - } - }; -} - -char MarkModRef::ID = 0; -static RegisterPass -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::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(); -} -- cgit v1.2.3