blob: 18360f837e93a40cb12c57f548bac8423a48df80 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===- AnalysisWrappers.cpp - Wrappers around non-pass analyses -----------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner5f5a5732007-12-29 20:44:31 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file defines pass wrappers around LLVM analyses that don't make sense to
11// be passes. It provides a nice standard pass interface to these classes so
12// that they can be printed out by analyze.
13//
14// These classes are separated out of analyze.cpp so that it is more clear which
15// code is the integral part of the analyze tool, and which part of the code is
16// just making it so more passes are available.
17//
18//===----------------------------------------------------------------------===//
19
20#include "llvm/Module.h"
21#include "llvm/Pass.h"
22#include "llvm/Support/CallSite.h"
23#include "llvm/Analysis/CallGraph.h"
Dan Gohmanf8b81bf2009-07-15 16:35:29 +000024#include "llvm/Support/raw_ostream.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000025#include <iostream>
26using namespace llvm;
27
28namespace {
29 /// ExternalFunctionsPassedConstants - This pass prints out call sites to
30 /// external functions that are called with constant arguments. This can be
31 /// useful when looking for standard library functions we should constant fold
32 /// or handle in alias analyses.
33 struct ExternalFunctionsPassedConstants : public ModulePass {
34 static char ID; // Pass ID, replacement for typeid
Dan Gohmanc74a1972009-02-18 05:09:16 +000035 ExternalFunctionsPassedConstants() : ModulePass(&ID) {}
Dan Gohmanf17a25c2007-07-18 16:29:46 +000036 virtual bool runOnModule(Module &M) {
Chris Lattner397f4562009-08-23 06:03:38 +000037 for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I) {
38 if (!I->isDeclaration()) continue;
39
40 bool PrintedFn = false;
41 for (Value::use_iterator UI = I->use_begin(), E = I->use_end();
42 UI != E; ++UI) {
43 Instruction *User = dyn_cast<Instruction>(*UI);
44 if (!User) continue;
45
46 CallSite CS = CallSite::get(User);
47 if (!CS.getInstruction()) continue;
48
49 for (CallSite::arg_iterator AI = CS.arg_begin(),
50 E = CS.arg_end(); AI != E; ++AI) {
51 if (!isa<Constant>(*AI)) continue;
52
53 if (!PrintedFn) {
54 errs() << "Function '" << I->getName() << "':\n";
55 PrintedFn = true;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000056 }
Chris Lattner397f4562009-08-23 06:03:38 +000057 errs() << *User;
58 break;
59 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +000060 }
Chris Lattner397f4562009-08-23 06:03:38 +000061 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +000062
63 return false;
64 }
65
66 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
67 AU.setPreservesAll();
68 }
69 };
70
71 char ExternalFunctionsPassedConstants::ID = 0;
72 RegisterPass<ExternalFunctionsPassedConstants>
Duncan Sandsd10d6f72008-09-23 12:47:39 +000073 P1("print-externalfnconstants",
74 "Print external fn callsites passed constants");
Duncan Sandsf7dbeb32008-09-19 07:57:09 +000075
Dan Gohmanf17a25c2007-07-18 16:29:46 +000076 struct CallGraphPrinter : public ModulePass {
77 static char ID; // Pass ID, replacement for typeid
Dan Gohmanc74a1972009-02-18 05:09:16 +000078 CallGraphPrinter() : ModulePass(&ID) {}
Dan Gohmanf17a25c2007-07-18 16:29:46 +000079
80 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
81 AU.setPreservesAll();
82 AU.addRequiredTransitive<CallGraph>();
83 }
Duncan Sandsf7dbeb32008-09-19 07:57:09 +000084 virtual bool runOnModule(Module &M) {
Chris Lattner397f4562009-08-23 06:03:38 +000085 getAnalysis<CallGraph>().print(errs(), &M);
Duncan Sandsf7dbeb32008-09-19 07:57:09 +000086 return false;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000087 }
88 };
Duncan Sandsf7dbeb32008-09-19 07:57:09 +000089
Dan Gohmanf17a25c2007-07-18 16:29:46 +000090 char CallGraphPrinter::ID = 0;
91 RegisterPass<CallGraphPrinter>
Duncan Sandsd10d6f72008-09-23 12:47:39 +000092 P2("print-callgraph", "Print a call graph");
Dan Gohmanf17a25c2007-07-18 16:29:46 +000093}